$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds

Resumen Técnico: Espinores $\mathbb{Z}_2$-armónicos y 1-formas en sumas conexas y sumas de toros de 3-variedades

Planteamiento del Problema
El artículo aborda la construcción de ejemplos explícitos de espinores $\mathbb{Z}_2$-armónicos y 1-formas $\mathbb{Z}_2$-armónicas en variedades riemannianas de dimensión 3, cerradas y orientadas. Estos objetos surgen como soluciones límite singulares de diversas ecuaciones de teoría de gauge, incluyendo las ecuaciones de Seiberg-Witten y el estudio de las variedades de representaciones de $SL(2, \mathbb{C})$. Si bien Doan y Walpuski [DW21] establecieron un teorema de existencia general para variedades con $b_1(Y) > 1$, su prueba no era constructiva. Además, los ejemplos explícitos han sido escasos anteriormente, limitándose mayormente a casos simétricos. Una barrera técnica primaria es que el operador de Dirac singular asociado a estos objetos no es Fredholm en espacios de funciones estándar debido a obstrucciones de dimensión infinita relacionadas con el conjunto singular $Z$. Adicionalmente, el comportamiento de las 1-formas $\mathbb{Z}_2$-armónicas está constreñido por la teoría de Hodge $L^2$, lo que las distingue del caso de los espinores.

Metodología
Los autores emplean un argumento de pegado (gluing) para construir soluciones en sumas conexas ($Y_1 \# Y_2$) y sumas de toros ($Y_1 \natural Y_2$) a partir de soluciones en las variedades constituyentes. El marco técnico central se basa en una versión parametrizada del teorema del implícito de Nash-Moser, establecido por Donaldson [Don21] y Parker [Par26], la cual es necesaria para manejar la "pérdida de regularidad" inherente al problema.

La metodología procede en tres etapas principales:

1. Soluciones Aproximadas: Los autores construyen soluciones aproximadas en la variedad pegada uniendo soluciones de los sumandos.
   • Para espinores en sumas conexas, utilizan la invarianza conformal del operador de Dirac de spin y una construcción de "estiramiento de cuello" (neck-stretching), donde la longitud del cuello $T \to \infty$.
   • Para 1-formas y sumas de toros, la invarianza conformal falla. En su lugar, emplean argumentos de "estrangulamiento de cuello" (neck-pinching) con métricas modelo (esféricas o toroidales) y construyen soluciones aproximadas utilizando formas localmente exactas (primitivas) para asegurar que se mantenga la condición de clausura ($d\nu = 0$).
2. Estimaciones Uniformes y Parámetro de Patching: Los autores establecen estimaciones elípticas uniformes para los operadores de Dirac degenerantes en las regiones del cuello. Esto implica analizar operadores modelo en extremos cilíndricos (esféricos o toroidales) y construir parametrices uniendo inversas de los sumandos con inversas en el cuello. Un componente crítico es el análisis del flujo espectral y el comportamiento del operador cerca del conjunto singular, lo que revela obstrucciones de dimensión infinita.
3. Corrección vía Teoría de Nash-Moser: Para corregir las soluciones aproximadas hacia soluciones verdaderas, los autores aplican el teorema del implícito de Nash-Moser en la categoría de variedades de Fréchet tame. Esto permite deformar el conjunto singular $Z$ e introducir perturbaciones de dimensión finita (parámetros) para cancelar las obstrucciones de dimensión infinita. El teorema garantiza la existencia de una solución verdadera para parámetros en un vecindario abierto específico.

Contribuciones Clave y Resultados

• Teoremas de Pegado (Gluing):

  • Teorema 1.3 (Sumas Conexas): Dados espinores $\mathbb{Z}_2$-armónicos (o 1-formas) suaves y débilmente no degenerados en $Y_1$ y $Y_2$, los autores construyen espinores $\mathbb{Z}_2$-armónicos en $Y_1 \# Y_2$. El conjunto singular es la unión disjunta de los conjuntos singulares originales, y la solución es una combinación lineal de los espinores originales.
  • Teorema 1.5 (Sumas de Toros): Para el caso de los espinores, los autores construyen soluciones en sumas de toros $Y_1 \natural Y_2$ (formadas mediante la identificación de vecindarios de nudos). Esto requiere el ajuste de estructuras de spin y de enmarcación (framing). El resultado no se cumple generalmente para las 1-formas debido a restricciones topológicas en la cohomología $L^2$ de la doble cobertura ramificada.

• Abundancia de Ejemplos en Espacios Fibrados de Seifert:

  • Utilizando variedades fibradas de Seifert como bloques de construcción, los autores demuestran el Teorema 1.7, mostrando que para cada $k \geq 1$, existen métricas que admiten espinores $\mathbb{Z}_2$-armónicos suaves y no degenerados con conjuntos singulares consistentes en fibras disjuntas.
  • El Corolario 1.8 proporciona ejemplos explícitos en $S^3$ (enlaces de Hopf), $S^1 \times S^2$ y la esfera de Poincaré.

• Existencia Global y Clases de Isotopía:

  • Corolario 1.10: Combinando los resultados de pegado con el teorema de Bär sobre espinores armónicos, los autores demuestran que toda variedad cerrada y orientada admite infinitos parámetros que producen espinores $\mathbb{Z}_2$-armónicos suaves y no degenerados. Crucialmente, los conjuntos singulares representan infinitas clases de isotopía distintas de enlaces embebidos. Esto fortalece el resultado de existencia de Doan-Walpuski al eliminar la restricción $b_1(Y) > 1$ y proporcionar construcciones explícitas.
  • Corolario 1.11: Utilizando sumas de toros, construyen ejemplos donde el conjunto singular representa clases homológicas no triviales (específicamente, $2k$ copias disjuntas de un nudo $K$).

• Aplicaciones a la Teoría de Seiberg-Witten:

  • Corolario 1.12: Los autores demuestran que si $b_1(Y) > 0$, existen infinitas estructuras $\text{Spin}^c$ en $Y$ tales que el espacio de módulos de soluciones a las ecuaciones de Seiberg-Witten de dos espinores es no vacío y no compacto. Esto contrasta fuertemente con la teoría de Seiberg-Witten estándar, donde tales espacios de módulos son típicamente vacíos para dimensiones formales negativas o compactos.

• Resultados para 1-formas y Cohomología $L^2$:

  • El artículo destaca una distinción fundamental entre espinores y 1-formas. Mientras que los espinores pueden pegarse libremente, las 1-formas están constreñidas por la cohomología $L^2$ de la doble cobertura ramificada.
  • La Proposición 1.13 construye 1-formas $\mathbb{Z}_2$-armónicas en espacios fibrados de Seifert que satisfacen condiciones topológicas específicas (por ejemplo, esferas de homología de Brieskorn con $n \geq 4$).
  • Conjetura 1.14: Los autores conjeturan que las 1-formas $\mathbb{Z}_2$-armónicas con conjuntos singulares no triviales no existen en variedades donde la variedad de caracteres de $SL(2, \mathbb{C})$ es de dimensión cero (por ejemplo, $S^3$).
  • Teorema 1.15: Describe el comportamiento de la suma conexa para las 1-formas en términos de la cohomología $L^2$, mostrando un factor $\mathbb{R}$ adicional en la cohomología de la doble cobertura, lo que corresponde a nuevos estratos de frontera en la variedad de representaciones.

Significado
El artículo afirma proporcionar el primer método sistemático para construir ejemplos explícitos y abundantes de espinores $\mathbb{Z}_2$-armónicos y 1-formas en variedades de dimensión 3 generales. Al ir más allá de las pruebas de existencia no constructivas y los ejemplos simétricos, el trabajo elucida la relación entre estos objetos singulares y la topología global de la variedad.

Específicamente, los resultados:

1. Fortalecen los Teoremas de Existencia: Extienden la existencia de espinores $\mathbb{Z}_2$-armónicos a todas las variedades cerradas de dimensión 3, no solo aquellas con $b_1 > 1$.
2. Clarifican la Estructura del Espacio de Módulos: Revelan que los espacios de módulos de las ecuaciones de Seiberg-Witten de dos espinores pueden ser no compactos para infinitas estructuras $\text{Spin}^c$, un fenómeno vinculado a la no compacidad de la variedad de representaciones de $SL(2, \mathbb{C})$.
3. Distinguen el Comportamiento de Espinores vs. 1-formas: El trabajo demuestra rigurosamente que, mientras los espinores son robustos bajo el pegado, las 1-formas están sujetas a restricciones topológicas más estrictas derivadas de la teoría de Hodge y la estructura de la doble cobertura ramificada.
4. Proporcionan un Marco para Estudios Futuros: La construcción explícita de conjuntos singulares que representan clases de isotopía distintas ofrece una nueva herramienta para investigar la geometría de los espacios de módulos de gauge y la compactificación de las variedades de representación.