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

Technische Samenvatting: $\mathbb{Z}_2$-harmonische spinor en 1-vormen op verbonden sommen en torus-sommen van 3-variëteiten

Probleemstelling
Het artikel behandelt de constructie van expliciete voorbeelden van $\mathbb{Z}_2$-harmonische spinor en $\mathbb{Z}_2$-harmonische 1-vormen op gesloten, georiënteerde Riemanniaanse 3-variëteiten. Deze objecten ontstaan als singuliere limiterende oplossingen van diverse gauge-theoretische vergelijkingen, waaronder de Seiberg-Witten vergelijkingen en de studie van $SL(2, \mathbb{C})$ representatievariëteiten. Hoewel Doan en Walpuski [DW21] een algemeen existentiebewijs hebben vastgesteld voor variëteiten met $b_1(Y) > 1$, was hun bewijs niet-constructief. Bovendien waren expliciete voorbeelden voorheen schaars, grotendeels beperkt tot symmetrische gevallen. Een primair technisch obstakel is dat de singuliere Dirac-operator geassocieerd met deze objecten faalt om Fredholm te zijn op standaard functieruimten vanwege oneindig-dimensionale obstructies gerelateerd aan de singuliere verzameling $Z$. Daarnaast wordt het gedrag van $\mathbb{Z}_2$-harmonische 1-vormen beperkt door $L^2$-Hodge-theorie, wat hen onderscheidt van het geval van de spinor.

Methodologie
De auteurs maken gebruik van een gluing-argument om oplossingen op verbonden sommen ($Y_1 \# Y_2$) en torus-sommen ($Y_1 \natural Y_2$) te construeren vanuit oplossingen op de constituerende variëteiten. Het kerntechnische kader steunt op een geparametriseerde versie van de Nash-Moser impliciete functentheorema, vastgesteld door Donaldson [Don21] en Parker [Par26], die noodzakelijk is om de "verlies van regulariteit" die inherent is aan het probleem te behandelen.

De methodologie verloopt in drie hoofdfasen:

1. Benaderende oplossingen: De auteurs construeren benaderende oplossingen op het samengevoegde variëteit door oplossingen van de sommaties aan elkaar te plakken.
   • Voor spinoren op verbonden sommen maken zij gebruik van de conformale invariantie van de spin Dirac-operator en een "neck-stretching" constructie, waarbij de nek-lengte $T \to \infty$ gaat.
   • Voor 1-vormen en torus-sommen faalt de conformale invariantie. In plaats daarvan gebruiken zij "neck-pinching" argumenten met model-metrieken (sferisch of toriaal) en construeren zij benaderende oplossingen met behulp van lokaal exacte vormen (primitieven) om te waarborgen dat de geslotenheidsvoorwaarde ($d\nu = 0$) behouden blijft.
2. Uniforme schattingen en parametrix-patching: De auteurs vestigen uniforme elliptische schattingen voor de degenererende Dirac-operatoren op de nek-regio's. Dit omvat het analyseren van model-operatoren op cilindrische uiteinden (sferisch of toriaal) en het construeren van parametrices door inversen van de sommaties te plakken met inversen op de nek. Een cruciaal onderdeel is de analyse van de spectrale flow en het gedrag van de operator nabij de singuliere verzameling, wat oneindig-dimensionale obstructies onthult.
3. Correctie via Nash-Moser-theorie: Om de benaderende oplossingen te corrigeren naar ware oplossingen, passen de auteurs het Nash-Moser impliciete functentheorema toe in de categorie van tame Fréchet-variëteiten. Dit stelt hen in staat om de singuliere verzameling $Z$ te vervormen en eindige-dimensionale perturbaties (parameters) te introduceren om de oneindig-dimensionale obstructies te annuleren. Het theorema garandeert het bestaan van een ware oplossing voor parameters in een specifieke open omgeving.

Belangrijkste bijdragen en resultaten

• Gluing-stellingen:

  • Stelling 1.3 (Verbonden Sommen): Gegeven gladde, zwak niet-degeneratieve $\mathbb{Z}_2$-harmonische spinor (of 1-vormen) op $Y_1$ en $Y_2$, construeren de auteurs $\mathbb{Z}_2$-harmonische spinor op $Y_1 \# Y_2$. De singuliere verzameling is de disjuncte vereniging van de oorspronkelijke singuliere verzamelingen, en de oplossing is een lineaire combinatie van de oorspronkelijke spinor.
  • Stelling 1.5 (Torus-sommen): Voor het geval van de spinor construeren de auteurs oplossingen op torus-sommen $Y_1 \natural Y_2$ (gevormd door knoop-neighborhoods te identificeren). Dit vereist het matchen van spin-structuren en framing. Het resultaat geldt over het algemeen niet voor 1-vormen vanwege topologische beperkingen op de $L^2$-cohomologie van de dubbel vertakte bedekking.

• Overvloed aan voorbeelden op Seifert-gefibreerde ruimten:

  • Met behulp van Seifert-gefibreerde variëteiten als bouwstenen bewijzen de auteurs Stelling 1.7, waaruit blijkt dat er voor elke $k \geq 1$ metrieken bestaan die gladde, niet-degeneratieve $\mathbb{Z}_2$-harmonische spinor toelaten met singuliere verzamelingen bestaande uit disjuncte vezels.
  • Corollary 1.8 biedt expliciete voorbeelden op $S^3$ (Hopf-links), $S^1 \times S^2$ en de Poincaré-homologie-sfeer.

• Globale existentie en isotopieklassen:

  • Corollary 1.10: Door de gluing-resultaten te combineren met Bär's theorema over harmonische spinor, bewijzen de auteurs dat elk gesloten, georiënteerd 3-variëteit oneindig veel parameters bezit die gladde, niet-degeneratieve $\mathbb{Z}_2$-harmonische spinor opleveren. Cruciaal is dat de singuliere verzamelingen oneindig veel verschillende isotopieklassen van ingebedde links vertegenwoordigen. Dit versterkt het Doan-Walpuski existentiebewijs door de $b_1(Y) > 1$ restrictie te verwijderen en expliciete constructies te bieden.
  • Corollary 1.11: Met behulp van torus-sommen construeren zij voorbeelden waarbij de singuliere verzameling niet-triviale homologieklassen vertegenwoordigt (specifiek $2k$ disjuncte kopieën van een knoop $K$).

• Toepassingen op Seiberg-Witten-theorie:

  • Corollary 1.12: De auteurs demonstreren dat als $b_1(Y) > 0$, er oneindig veel $\text{Spin}^c$ structuren op $Y$ bestaan zodanig dat de moduli-ruimte van oplossingen voor de twee-spinor Seiberg-Witten vergelijkingen niet-leeg en niet-compact is. Dit contrasteert scherp met de standaard Seiberg-Witten theorie, waar dergelijke moduli-ruimten typisch leeg (voor negatieve formele dimensies) of compact zijn.

• Resultaten voor 1-vormen en $L^2$-cohomologie:

  • Het artikel benadrukt een fundamenteel onderscheid tussen spinor en 1-vormen. Terwijl spinor vrij kunnen worden samengevoegd (glued), worden 1-vormen beperkt door de $L^2$-cohomologie van de dubbel vertakte bedekking.
  • Proposition 1.13 construeert $\mathbb{Z}_2$-harmonische 1-vormen op Seifert-gefibreerde ruimten die voldoen aan specifieke topologische voorwaarden (bijv. Brieskorn homologie-sferen met $n \geq 4$).
  • Conjecture 1.14: De auteurs vermoeden dat $\mathbb{Z}_2$-harmonische 1-vormen met niet-triviale singuliere verzamelingen niet bestaan op variëteiten waar de $SL(2, \mathbb{C})$ karakter-variëteit nul-dimensionaal is (bijv. $S^3$).
  • Theorem 1.15: Beschrijft het gedrag van verbonden sommen voor 1-vormen in termen van $L^2$-cohomologie, waarbij een extra $\mathbb{R}$-factor wordt getoond in de cohomologie van de dubbel vertakte bedekking, wat overeenkomt met nieuwe rand-strata in de representatie-variëteit.

Betekenis
Het artikel claimt de eerste systematische methode te bieden voor het construeren van expliciete, overvloedige voorbeelden van $\mathbb{Z}_2$-harmonische spinor en 1-vormen op algemene 3-variëteiten. Door verder te gaan dan niet-constructieve existentiebewijzen en symmetrische voorbeelden, werpt het werk licht op de relatie tussen deze singuliere objecten en de globale topologie van het variëteit.

Specifiek de resultaten:

1. Versterken van existentie-stellingen: Ze breiden de existentie van $\mathbb{Z}_2$-harmonische spinor uit naar alle gesloten 3-variëteiten, niet alleen die met $b_1 > 1$.
2. Verhelderen van de moduli-ruimte structuur: Ze onthullen dat de moduli-ruimten van de twee-spinor Seiberg-Witten vergelijkingen niet-compact kunnen zijn voor oneindig veel $\text{Spin}^c$ structuren, een fenomeen dat gelinkt is aan de niet-compactheid van de $SL(2, \mathbb{C})$ representatie-variëteit.
3. Onderscheid maken tussen de gedragingen van spinor vs. 1-vorm: Het werk demonstreert rigoureus dat terwijl spinor robuust zijn onder gluing, 1-vormen onderworpen zijn aan striktere topologische beperkingen voortvloeiend uit Hodge-theorie en de structuur van de dubbel vertakte bedekking.
4. Bieden van een kader voor toekomstig onderzoek: Het expliciete constructie van singuliere verzamelingen die verschillende isotopieklassen vertegenwoordigen, biedt een nieuw instrument voor het onderzoeken van de geometrie van gauge-theoretische moduli-ruimten en de compactificatie van representatie-variëteiten.