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

Resumo Técnico: Espinores $\mathbb{Z}_2$-harmônicos e 1-formas em Somas Conectadas e Somas de Toros de 3-Variedades

Enunciado do Problema
O artigo aborda a construção de exemplos explícitos de espinores $\mathbb{Z}_2$-harmônicos e 1-formas $\mathbb{Z}_2$-harmônicas em 3-variedades riemannianas fechadas e orientadas. Esses objetos surgem como soluções limites singulares de várias equações de teoria de gauge, incluindo as equações de Seiberg-Witten e o estudo de variedades de representação de $SL(2, \mathbb{C})$. Embora Doan e Walpuski [DW21] tenham estabelecido um teorema de existência geral para variedades com $b_1(Y) > 1$, sua prova foi não-construtiva. Além disso, exemplos explícitos eram anteriormente escassos, limitando-se principalmente a casos simétricos. Uma barreira técnica primária é que o operador de Dirac singular associado a esses objetos falha em ser Fredholm em espaços de funções padrão devido a obstruções de dimensão infinita relacionadas ao conjunto singular $Z$. Adicionalmente, o comportamento das 1-formas $\mathbb{Z}_2$-harmônicas é restringido pela teoria de Hodge $L^2$, distinguindo-as do caso dos espinores.

Metodologia
Os autores empregam um argumento de colagem (gluing) para construir soluções em somas conectadas ($Y_1 \# Y_2$) e somas de toros ($Y_1 \natural Y_2$) a partir de soluções nas variedades constituintes. O arcabouço técnico central baseia-se em uma versão parametrizada do teorema do função implícita de Nash-Moser, estabelecida por Donaldson [Don21] e Parker [Par26], que é necessária para lidar com a "perda de regularidade" inerente ao problema.

A metodologia procede em três estáveis principais:

1. Soluções Aproximadas: Os autores constroem soluções aproximadas na variedade colada através da junção de soluções das somas.
   • Para espinores em somas conectadas, eles utilizam a invariância conforme do operador de Dirac de spin e uma construção de "estiramento de pescoço" (neck-stretching), onde o comprimento do pescoço $T \to \infty$.
   • Para 1-formas e somas de toros, a invariância conforme falha. Em vez disso, eles empregam argumentos de "estrangulamento de pescoço" (neck-pinching) com métricas modelo (esféricas ou toroidais) e constroem soluções aproximadas usando formas localmente exatas (primitivas) para garantir que a condição de fechamento ($d\nu = 0$) seja mantida.
2. Estimativas Uniformes e Patching de Parametrizos: Os autores estabelecem estimativas elípticas uniformes para os operadores de Dirac degenerativos nas regiões de pescoço. Isso envolve analisar operadores modelo em extremidades cilíndricas (esféricas ou toroidais) e construir parametrizos colando inversos das somas com inversos no pescoço. Um componente crítico é a análise do fluxo espectral e o comportamento do operador próximo ao conjunto singular, o que revela obstruções de dimensão infinita.
3. Correção via Teoria de Nash-Moser: Para corrigir as soluções aproximadas para soluções verdadeiras, os autores aplicam o teorema da função implícita de Nash-Moser na categoria de variedades de Fréchet tamadas (tame Fréchet manifolds). Isso permite deformar o conjunto singular $Z$ e introduzir perturbações de dimensão finita (parâmetros) para cancelar as obstruções de dimensão infinita. O teorema garante a existência de uma solução verdadeira para parâmetros em um vizinhança aberta específica.

Principais Contribuições e Resultados

• Teoremas de Colagem:

  • Teorema 1.3 (Somas Conectadas): Dados espinores (ou 1-formas) $\mathbb{Z}_2$-harmônicos suaves e fracamente não-degenerados em $Y_1$ e $Y_2$, os autores constroem espinores $\mathbb{Z}_2$-harmônicos em $Y_1 \# Y_2$. O conjunto singular é a união disjunta dos conjuntos singulares originais, e a solução é uma combinação linear dos espinores originais.
  • Teorema 1.5 (Somas de Toros): Para o caso dos espinores, os autores constroem soluções em somas de toros $Y_1 \natural Y_2$ (formadas pela identificação de vizinhanças de nós). Isso requer o ajuste de estruturas de spin e enquadramento (framing). O resultado não se aplica geralmente a 1-formas devido a restrições topológicas na cohomologia $L^2$ da cobertura ramificada dupla.

• Abundância de Exemplos em Espaços de Fibração de Seifert:

  • Utilizando variedades de fibração de Seifert como blocos de construção, os autores provam o Teorema 1.7, mostrando que para cada $k \geq 1$, existem métricas que admitem espinores $\mathbb{Z}_2$-harmônicos suaves e não-degenerados com conjuntos singulares consistindo em fibras disjuntas.
  • O Corolário 1.8 fornece exemplos explícitos em $S^3$ (elos de Hopf), $S^1 \times S^2$ e a esfera de homologia de Poincaré.

• Existência Global e Classes de Isotopia:

  • Corolário 1.10: Combinando os resultados de colagem com o teorema de Bär sobre espinores harmônicos, os autores provam que toda 3-variedade fechada e orientada admite infinitos parâmetros que produzem espinores $\mathbb{Z}_2$-harmônicos suaves e não-degenerados. Crucialmente, os conjuntos singulares representam infinitas classes de isotopia distintas de links incorporados. Isso fortalece o resultado de existência de Doan-Walpuski ao remover a restrição $b_1(Y) > 1$ e fornecer construções explícitas.
  • Corolário 1.11: Usando somas de toros, eles constroem exemplos onde o conjunto singular representa classes homológicas não-triviais (especificamente, $2k$ cópias disjuntas de um nó $K$).

• Aplicações à Teoria de Seiberg-Witten:

  • Corolário 1.12: Os autores demonstram que, se $b_1(Y) > 0$, existem infinitas estruturas $\text{Spin}^c$ em $Y$ tais que o espaço de módulos de soluções para as duas equações de Seiberg-Witten de dois espinores é não-vazio e não-compacto. Isso contrasta fortemente com a teoria de Seiberg-Witten padrão, onde tais espaços de módulos são tipicamente vazios para dimensões formais negativas ou compactos.

• Resultados para 1-Formas e Cohomologia $L^2$:

  • O artigo destaca uma distinção fundamental entre espinores e 1-formas. Enquanto os espinores podem ser colados livremente, as 1-formas são restringidas pela cohomologia $L^2$ da cobertura ramificada dupla.
  • Proposição 1.13 constrói 1-formas $\mathbb{Z}_2$-harmônicas em espaços de fibração de Seifert que satisfazem condições topológicas específicas (por exemplo, esferas de homologia de Brieskorn com $n \geq 4$).
  • Conjectura 1.14: Os autores conjecturam que 1-formas $\mathbb{Z}_2$-harmônicas com conjuntos singulares não-triviais não existem em variedades onde a variedade de caracteres $SL(2, \mathbb{C})$ é de dimensão zero (ex: $S^3$).
  • Teorema 1.15: Descreve o comportamento da soma conectada para 1-formas em termos de cohomologia $L^2$, mostrando um fator $\mathbb{R}$ adicional na cohomologia da cobertura dupla, o que corresponde a novos estratos de fronteira na variedade de representação.

Significância
O artigo afirma fornecer o primeiro método sistemático para construir exemplos explícitos e abundantes de espinores e 1-formas $\mathbb{Z}_2$-harmônicos em 3-variedades gerais. Ao ir além de provas de existência não-construtivas e exemplos simétricos, o trabalho elucida a relação entre esses objetos singulares e a topologia global da variedade.

Especificamente, os resultados:

1. Fortalecem os Teoremas de Existência: Eles estendem a existência de espinores $\mathbb{Z}_2$-harmônicos para todas as 3-variedades fechadas, não apenas aquelas com $b_1 > 1$.
2. Esclarecem a Estrutura do Espaço de Módulos: Eles revelam que os espaços de módulos das equações de Seiberg-Witten de dois espinores podem ser não-compactos para infinitas estruturas $\text{Spin}^c$, um fenômeno ligado à não-compacidade da variedade de representação $SL(2, \mathbb{C})$.
3. Distinguem o Comportamento de Espinores vs. 1-Formas: O trabalho demonstra rigorosamente que, enquanto os espinores são robustos sob colagem, as 1-formas estão sujeitas a restrições topológicas mais estritas derivadas da teoria de Hodge e da estrutura da cobertura ramificada dupla.
4. Fornecem um Arcabouço para Estudos Futuros: A construção explícita de conjuntos singulares representando classes de isotopia distintas oferece uma nova ferramenta para investigar a geometria dos espaços de módulos de gauge e a compactificação de variedades de representação.