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

Résumé Technique : Spin deurs $Z_2$-harmoniques et 1-formes sur les sommes connexes et les sommes de tores de variétés de dimension 3

Énoncé du Problème
L'article traite de la construction d'exemples explicites de spinors $Z_2$-harmoniques et de 1-formes $Z_2$-harmoniques sur des variétés riemanniennes fermées et orientées de dimension 3. Ces objets apparaissent comme des solutions limites singulières de diverses équations de théorie de jauge, notamment les équations de Seiberg-Witten et l'étude des variétés de représentations $SL(2, \mathbb{C})$. Bien que Doan et Walpuski [DW21] aient établi un théorème d'existence général pour les variétés avec $b_1(Y) > 1$, leur preuve était non constructive. De plus, les exemples explicites étaient auparavant rares, limités principalement aux cas symétriques. Une barrière technique primaire est que l'opérateur de Dirac singulier associé à ces objets ne parvient pas à être de Fredholm sur les espaces de fonctions standards en raison d'obstructions de dimension infinie liées à l'ensemble singulier $Z$. De plus, le comportement des 1-formes $Z_2$-harmoniques est contraint par la théorie de Hodge $L^2$, ce qui les distingue du cas des spinors.

Méthodologie
Les auteurs utilisent un argument de collage pour construire des solutions sur des sommes connexes ($Y_1 \# Y_2$) et des sommes de tores ($Y_1 \natural Y_2$) à partir de solutions sur les variétés constituantes. Le cadre technique central repose sur une version paramétrée du théorème de la fonction implicite de Nash-Moser, établie par Donaldson [Don21] et Parker [Par26], qui est nécessaire pour gérer la « perte de régularité » inhérente au problème.

La méthodologie procède en trois étapes principales :

1. Solutions Approchées : Les auteurs construisent des solutions approximatives sur la variété collée en assemblant des solutions provenant des sommandes.
   • Pour les spinors sur les sommes connexes, ils utilisent l'invariance conforme de l'opérateur de Dirac de spin et une construction de « l'étirement du cou » (neck-stretching), où la longueur du cou $T \to \infty$.
   • Pour les 1-formes et les sommes de tores, l'invariance conforme échoue. Au lieu de cela, ils emploient des arguments de « pincement du cou » (neck-pinching) avec des métriques modèles (sphériques ou toroïdales) et construisent des solutions approximatives en utilisant des formes localement exactes (primitives) pour garantir que la condition de fermeture ($d\nu = 0$) soit maintenue.
2. Estimations Uniformes et Patching de Paramètre : Les auteurs établissent des estimations elliptiques uniformes pour les opérateurs de Dirac dégénérés sur les régions de cou. Cela implique l'analyse d'opérateurs modèles sur des extrémités cylindriques (sphériques ou toroïdales) et la construction de paramètres en assemblant les inverses des sommandes avec les inverses sur le cou. Une composante critique est l'analyse du flux spectral et du comportement de l'opérateur près de l'ensemble singulier, ce qui révèle des obstructions de dimension infinie.
3. Correction via la Théorie de Nash-Moser : Pour corriger les solutions approximatives en solutions réelles, les auteurs appliquent le théorème de la fonction implicite de Nash-Moser dans la catégorie des variétés de Fréchet tamisées. Cela permet de déformer l'ensemble singulier $Z$ et d'introduire des perturbations de dimension finie (paramètres) pour annuler les obstructions de dimension infinie. Le théorème garantit l'existence d'une solution réelle pour des paramètres dans un voisinage ouvert spécifique.

Contributions Clés et Résultats

• Théorèmes de Collage :

  • Théorème 1.3 (Sommes Connexes) : Étant donnés des spinors (ou 1-formes) $Z_2$-harmoniques lisses et faiblement non dégénérés sur $Y_1$ et $Y_2$, les auteurs construisent des spinors $Z_2$-harmoniques sur $Y_1 \# Y_2$. L'ensemble singulier est l'union disjointe des ensembles singuliers originaux, et la solution est une combinaison linéaire des spinors originaux.
  • Théorème 1.5 (Sommes de Tores) : Pour le cas des spinors, les auteurs construisent des solutions sur des sommes de tores $Y_1 \natural Y_2$ (formées par l'identification de voisinages de nœuds). Cela nécessite l'appariement des structures de spin et du cadrage. Le résultat ne tient généralement pas pour les 1-formes en raison de contraintes topologiques sur la cohomologie $L^2$ du revêtement double.

• Abondance d'Exemples sur les Espaces de Seifert :

  • En utilisant des variétés de Seifert comme blocs de construction, les auteurs prouvent le Théorème 1.7, montrant que pour tout $k \geq 1$, il existe des métriques admettant des spinors $Z_2$-harmoniques lisses et non dégénérés dont les ensembles singuliers consistent en des fibres disjointes.
  • Le Corollaire 1.8 fournit des exemples explicites sur $S^3$ (liens de Hopf), $S^1 \times S^2$ et la sphère de Poincaré.

• Existence Globale et Classes d'Isotopie :

  • Corollaire 1.10 : En combinant les résultats de collage avec le théorème de Bär sur les spinors harmoniques, les auteurs prouvent que chaque variété de dimension 3, fermée et orientée, admet une infinité de paramètres produisant des spinors $Z_2$-harmoniques lisses et non dégénérés. Crucialement, les ensembles singuliers représentent une infinité de classes d'isotopie distinctes de liens enchâssés. Cela renforce le résultat d'existence de Doan-Walpuski en supprimant la restriction $b_1(Y) > 1$ et en fournissant des constructions explicites.
  • Corollaire 1.11 : En utilisant les sommes de tores, ils construisent des exemples où l'ensemble singulier représente des classes homologiques non triviales (spécifiquement $2k$ copies disjointes d'un nœud $K$).

• Applications à la Théorie de Seiberg-Witten :

  • Corollaire 1.12 : Les auteurs démontrent que si $b_1(Y) > 0$, il existe une infinité de structures $\text{Spin}^c$ sur $Y$ telles que l'espace de modules des solutions aux équations de Seiberg-Witten à deux spinors est non vide et non compact. Cela contraste fortement avec la théorie de Seiberg-Witten standard, où de tels espaces de modules sont typiquement vides pour des dimensions formelles négatives ou compacts.

• Résultats pour les 1-formes et la Cohomologie $L^2$ :

  • Le papier souligne une distinction fondamentale entre les spinors et les 1-formes. Alors que les spinors peuvent être collés librement, les 1-formes sont contraintes par la cohomologie $L^2$ du revêtement double.
  • Proposition 1.13 construit des 1-formes $Z_2$-harmoniques sur des espaces de Seifert satisfaisant des conditions topologiques spécifiques (par exemple, les sphères homologiques de Brieskorn avec $n \geq 4$).
  • Conjecture 1.14 : Les auteurs conjecturent que les 1-formes $Z_2$-harmoniques avec des ensembles singuliers non triviaux n'existent pas sur les variétés où la variété de caractères $SL(2, \mathbb{C})$ est de dimension zéro (par exemple, $S^3$).
  • Théorème 1.15 : Décrit le comportement de la somme connexe pour les 1-formes en termes de cohomologie $L^2$, montrant un facteur $\mathbb{R}$ supplémentaire dans la cohomologie du revêtement double, ce qui correspond à de nouveaux strata de bord dans la variété de représentation.

Signification
Le papier affirme fournir la première méthode systématique pour construire des exemples explicites et abondants de spinors et de 1-formes $Z_2$-harmoniques sur des variétés de dimension 3 générales. En allant au-delà des preuves d'existence non constructives et des exemples symétriques, ce travail élucide la relation entre ces objets singuliers et la topologie globale de la variété.

Plus précisément, les résultats :

1. Renforcent les Théorèmes d'Existence : Ils étendent l'existence des spinors $Z_2$-harmoniques à toutes les variétés de dimension 3 fermées, et non seulement à celles avec $b_1 > 1$.
2. Clarifient la Structure des Espaces de Modules : Ils révèlent que les espaces de modules des équations de Seiberg-Witten à deux spinors peuvent être non compacts pour une infinité de structures $\text{Spin}^c$, un phénomène lié à la non-compacité de la variété de représentation $SL(2, \mathbb{C})$.
3. Distinguent le Comportement des Spinors vs 1-formes : Le travail démontre rigoureusement que si les spinors sont robustes sous le collage, les 1-formes sont soumises à des contraintes topologiques plus strictes découlant de la théorie de Hodge et de la structure du revêtement double.
4. Fournissent un Cadre pour des Études Futures : La construction explicite d'ensembles singuliers représentant des classes d'isotopie distinctes offre un nouvel outil pour étudier la géométrie des espaces de modules de jauge et la compactification des variétés de représentation.