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

Sintesi Tecnica: Spinori $\mathbb{Z}_2$-armonici e 1-forme su somme connesse e somme di tori di varietà 3-dimensionali

Enunciato del Problema
Il saggio affronta la costruzione di esempi espliciti di spinori $\mathbb{Z}_2$-armonici e 1-forme $\mathbb{Z}_2$-armoniche su varietà riemanniane chiuse e orientate a dimensione 3. Questi oggetti emergono come soluzioni limite singolari di varie equazioni di teoria di gauge, incluse le equazioni di Seiberg-Witten e lo studio delle varietà di rappresentazione $SL(2, \mathbb{C})$. Sebbene Doan e Walpuski [DW21] abbiano stabilito un teorema di esistenza generale per varietà con $b_1(Y) > 1$, la loro dimostrazione era non costruttiva. Inoltre, gli esempi espliciti erano precedentemente scarsi, limitati quasi esclusivamente a casi simmetrici. Una barriera tecnica primaria è che l'operatore di Dirac singolare associato a questi oggetti non è Fredholm sugli spazi funzionali standard a causa di ostacoli a dimensione infinita legati all'insieme singolare $Z$. Inoltre, il comportamento delle 1-forme $\mathbb{Z}_2$-armoniche è vincolato dalla teoria di Hodge $L^2$, distinguendosi dal caso degli spinori.

Metodologia
Gli autori utilizzano un argomento di incollatura (gluing) per costruire soluzioni su somme connesse ($Y_1 \# Y_2$) e somme di tori ($Y_1 \natural Y_2$) a partire da soluzioni sulle varietà costituenti. Il quadro tecnico centrale si basa su una versione parametrizzata del teorema del funzione implicita di Nash-Moser, stabilito da Donaldson [Don21] e Parker [Par26], necessaria per gestire la "perdita di regolarità" inerente al problema.

La metodologia procede in tre fasi principali:

1. Soluzioni Approssimate: Gli autori costruiscono soluzioni approssimate sulla varietà incolata unendo le soluzioni delle componenti.
   • Per gli spinori sulle somme connesse, utilizzano l'invarianza conforme dell'operatore di Dirac di spin e una costruzione di "stiramento del collo" (neck-stretching), dove la lunghezza del collo $T \to \infty$.
   • Per le 1-forme e le somme di tori, l'invarianza conforme fallisce. Invece, utilizzano argomenti di "strozzamento del collo" (neck-pinching) con metriche modello (sferiche o toroidali) e costruiscono soluzioni approssimate usando forme localmente esatte (primitive) per garantire che la condizione di chiusura ($d\nu = 0$) sia mantenuta.
2. Stime Uniformi e Patching del Parametro: Gli autori stabiliscono stime ellittiche uniformi per gli operatori di Dirac degeneranti sulle regioni del collo. Ciò comporta l'analisi di operatori modello su estremità cilindriche (sferiche o toroidali) e la costruzione di parametri tramite l'incollamento degli inversi dalle componenti con gli inversi sul collo. Una componente critica è l'analisi del flusso spettrale e del comportamento dell'operatore vicino all'insieme singolare, che rivela ostacoli a dimensione infinita.
3. Correzione via Teoria di Nash-Moser: Per correggere le soluzioni approssimate in soluzioni vere, gli autori applicano il teorema del funzione implicita di Nash-Moser nella categoria delle varietà di Fréchet tame. Ciò consente di deformare l'insieme singolare $Z$ e introdurre perturbazioni a dimensione finita (parametri) per cancellare gli ostacoli a dimensione infinita. Il teorema garantisce l'esistenza di una soluzione vera per parametri in uno specifico intorno aperto.

Contributi Chiave e Risultati

• Teoremi di Incollatura (Gluing):

  • Teorema 1.3 (Somme Connesse): Dati spinori $\mathbb{Z}_2$-armonici (o 1-forme) regolari e debolmente non degeneri su $Y_1$ e $Y_2$, gli autori costruiscono spinori $\mathbb{Z}_2$-armonici su $Y_1 \# Y_2$. L'insieme singolare è l'unione disgiunta degli insiemi singolari originali, e la soluzione è una combinazione lineare degli spinori originali.
  • Teorema 1.5 (Somme di Tori): Per il caso degli spinori, gli autori costruiscono soluzioni su somme di tori $Y_1 \natural Y_2$ (formate identificando i vicinati dei nodi). Ciò richiede l'accoppiamento delle strutture di spin e del framing. Il risultato non vale generalmente per le 1-forme a causa dei vincoli topologici sulla coomologia $L^2$ del doppio rivestimento ramificato.

• Abbondanza di Esempi su Spazi di Seifert:

  • Utilizzando le varietà di Seifert come blocchi costruttivi, gli autori dimostrano il Teorema 1.7, mostrando che per ogni $k \geq 1$, esistono metriche che ammettono spinori $\mathbb{Z}_2$-armonici regolari e non degeneri con insiemi singolari costituiti da fibre disgiunte.
  • Il Corollario 1.8 fornisce esempi espliciti su $S^3$ (legami di Hopf), $S^1 \times S^2$ e la sfera omeomorfica di Poincaré.

• Esistenza Globale e Classi di Isotopia:

  • Corollario 1.10: Combinando i risultati di incollatura con il teorema di Bär sugli spinori armonici, gli autori dimostrano che ogni varietà chiusa e orientata ammette infiniti parametri che producono spinori $\mathbb{Z}_2$-armonici regolari e non degeneri. Fondamentalmente, gli insiemi singolari rappresentano infiniti distinti classi di isotopia di legami immersi. Questo rafforza il risultato di esistenza di Doan-Walpuski rimuovendo la restrizione $b_1(Y) > 1$ e fornendo costruzioni esplicite.
  • Corollario 1.11: Utilizzando le somme di tori, costruiscono esempi in cui l'insieme singolare rappresenta classi omologiche non triviali (specificamente, $2k$ copie disgiunte di un nodo $K$).

• Applicazioni alla Teoria di Seiberg-Witten:

  • Corollario 1.12: Gli autori dimostrano che se $b_1(Y) > 0$, esistono infinitamente molte strutture $\text{Spin}^c$ su $Y$ tali che lo spazio dei moduli delle soluzioni alle equazioni di Seiberg-Witten a due spinori sia non vuoto e non compatto. Ciò contrasta nettamente con la teoria standard di Seiberg-Witten, dove tali spazi dei moduli sono tipicamente vuoti per dimensioni formali negative o compatti.

• Risultati per 1-Forme e Cohomologia $L^2$:

  • Il saggio evidenzia una distinzione fondamentale tra spinori e 1-forme. Mentre gli spinori possono essere incollati liberamente, le 1-forme sono vincolate dalla coomologia $L^2$ del doppio rivestimento ramificato.
  • Proposizione 1.13 costruisce 1-forme $\mathbb{Z}_2$-armoniche su spazi di Seifert che soddisfano specifiche condizioni topologiche (ad esempio, sfere omeomorfiche di Brieskorn con $n \geq 4$).
  • Congettura 1.14: Gli autori congetturano che le 1-forme $\mathbb{Z}_2$-armoniche con insiemi singolari non triviali non esistano su varietà dove la varietà di caratteri $SL(2, \mathbb{C})$ è zero-dimensionale (ad esempio $S^3$).
  • Teorema 1.15: Descrive il comportamento della somma connessa per le 1-forme in termini di coomologia $L^2$, mostrando un ulteriore fattore $\mathbb{R}$ nella coomologia del doppio rivestimento, che corrisponde a nuovi strati limite nella varietà di rappresentazione.

Significato
Il saggio sostiene di fornire il primo metodo sistematico per costruire esempi espliciti e abbondanti di spinori $\mathbb{Z}_2$-armonici e 1-forme su varietà 3-dimensionali generali. Andando oltre le prove di esistenza non costruttive e gli esempi simmetrici, il lavoro elucida la relazione tra questi oggetti singolari e la topologia globale della varietà.

Nello specifico, i risultati:

1. Rafforzano i Teoremi di Esistenza: Estendono l'esistenza di spinori $\mathbb{Z}_2$-armonici a tutte le varietà 3-dimensionali chiuse, non solo a quelle con $b_1 > 1$.
2. Chiariscono la Struttura dello Spazio dei Moduli: Rivelano che gli spazi dei moduli delle equazioni di Seiberg-Witten a due spinori possono essere non compatti per infinitamente molte strutture $\text{Spin}^c$, un fenomeno legato alla non compattezza della varietà di rappresentazione $SL(2, \mathbb{C})$.
3. Distinguono il Comportamento Spinore vs 1-Forma: Il lavoro dimostra rigorosamente che, mentre gli spinori sono robusti sotto incollatura, le 1-forme sono soggette a vincoli topologici più stretti derivanti dalla teoria di Hodge e dalla struttura del doppio rivestimento ramificato.
4. Forniscono un Quadro per Studi Futuri: La costruzione esplicita di insiemi singolari che rappresentano distinte classi di isotopia offre un nuovo strumento per investigare la geometria degli spazi dei moduli di gauge e la compattificazione delle varietà di rappresentazione.