A Hopf index for isotropic sections of orthogonal bundles

Sintesi Tecnica: Un Indice di Hopf per Sezioni Isotrope di Bundles Ortogonali

Enunciato del Problema
Il saggio affronta il calcolo delle molteplicità degli zeri di sezioni isotrope di bundle vettoriali dotati di una forma quadratica non degenere. Nella topologia classica, il teorema dell'indice di Hopf equipara la molteplicità di uno zero di una sezione di un bundle vettoriale reale orientabile con un numero di winding (un elemento di $\pi_{2n-1}(S^{2n-1}) \cong \mathbb{Z}$). Per le sezioni olomorfe, questa molteplicità coincide con la lunghezza del luogo degli zeri.

Tuttavia, per sezioni isotrope $s$ di un bundle ortogonale $(E, q)$ (dove $q(s,s)=0$), la situazione è più complessa. Sebbene esista una "radice quadrata della classe di Euler" $\sqrt{e}(E, s)$ (definita tramite la localizzazione per cosezione in [KL] e [OT1]), essa non è sempre uguale alla lunghezza del luogo degli zeri $Z(s)$, né si comporta sempre come un conteggio di punti invariante per deformazione standard. Gli autori evidenziano un controesempio specifico (Equazione 0.1) dove $Z(s)$ ha lunghezza 3, ma la molteplicità assegnata è 0. Il problema centrale è fornire formule esplicite e computabili per questa molteplicità $\sqrt{e}(E, s)$ e comprendere le sue proprietà topologiche e algebriche, nonché il motivo per cui può annullarsi o differire dalla lunghezza schematica.

Metodologia
Gli autori sviluppano un insieme di otto analoghi del classico teorema dell'indice di Hopf, adattati specificamente per sezioni isotrope di bundle $SO(2n, \mathbb{C})$. La metodologia prevede:

1. Analisi Topologica: Utilizzo dei gruppi di omotopia dello spazio dei vettori isotropi. Per $n=2$, lo spazio delle rette isotrope è isomorfo a $\mathbb{P}^1 \times \mathbb{P}^1$, permettendo di raffinare l'indice da un singolo intero a una coppia $(d_1, d_2)$.
2. Tecniche Ologiche e Cohomologiche: Impiego della mappa di Hurewicz, delle sequenze spettrali di Leray e della teoria delle intersezioni sulle quadriche per relazionare le classi di omotopia con le classi di omologia.
3. Geometria Algebrica e K-Teoria: Utilizzo del complesso di Koszul e delle algebre di Clifford. Nello specifico, gli autori utilizzano il complesso 2-periodico $M_\bullet$ formato dalla moltiplicazione di Clifford per $s$ sul modulo spinore $M = M_+ \oplus M_-$.
4. Deformazione e Localizzazione: Analisi delle deformazioni delle sezioni verso zeri semplici e applicazione di tecniche di localizzazione per toro (coomologia equivariante) per calcolare gli invarianti.
5. Localizzazione per Cosezione: Confronto delle loro nuove formule con la definizione originale di $\sqrt{e}(E, s)$ tramite la costruzione di localizzazione per cosezione di Kiem-Li [KL], dimostrando che le nuove formule sono spesso computazionalmente superiori.

Contributi Chiave e Risultati

Il saggio stabilisce che l'indice di Hopf ortogonale $\sqrt{e}(E, s)$ può essere calcolato tramite otto formule distinte (indicate come OH1–OH8), che si dimostrano essere equivalenti:

• Formule Topologiche (OH1, OH2): L'indice è il grado della proiezione della sezione sulla sfera della parte reale del bundle, o la classe di omotopia della sezione proiettata sulla quadrica delle rette isotrope $Q \subset \mathbb{P}(E)$. Per $n=2$, questo si raffina in una coppia di interi $(d_1, d_2) \in \mathbb{Z} \oplus \mathbb{Z}$ tale che $\sqrt{e}(E, s) = d_1 - d_2$.
• Formule Olomorfe e di Deformazione (OH3, OH4): Sebbene l'indice sia uguale a $\pm \text{lunghezza}(Z(s))$ se la sezione fattorizza attraverso un subbundle isotropo massimale, ciò fallisce in generale. Gli autori forniscono una formula che coinvolge una deformazione verso zeri semplici, sommando i segni determinati dallo spazio isotropo massimale generato dal differenziale in ogni zero.
• Formule Omogenee e del Cono Normale (OH5, OH6): Per sezioni omogenee, l'indice è espresso in termini dei gradi della mappa verso le componenti della quadrica. Per sezioni generali, è calcolato tramite il cono normale proiettivo $P(C_{Z(s)}/C^n)$.
• Formula K-teorica (OH7): L'indice è la differenza nelle lunghezze dei fasci di coomologia del complesso di Clifford 2-periodico: $\sqrt{e}(E, s) = \text{lunghezza } H^+(M_\bullet) - \text{lunghezza } H^-(M_\bullet)$.
• Localizzazione per Toro (OH8): Una formula equivariante che esprime l'indice come rapporto di classi di Euler equivarianti.

Raffinamento per $n=2$
Una parte significativa del saggio è dedicata al caso $n=2$. Qui, l'indice si raffina in una coppia $(d_1, d_2)$. Gli autori dimostrano che $d_1$ e $d_2$ corrispondono alle lunghezze dei fasci di coomologia $H^+(M_\bullet)$ e $H^-(M_\bullet)$ rispettivamente. Crucialmente, mentre la differenza $d_1 - d_2$ è il conteggio virtuale invariante per deformazione, i termini individuali $d_1$ e $d_2$ non sono necessariamente invarianti per deformazione nel caso generale, sebbene lo siano per $n=2$ sotto deformazioni isotrope olomorfe.

Esempio Corrente
Il saggio utilizza ripetutamente la sezione $s = (x^2, y^2, xy, -xy)$ su $\mathbb{C}^2$ con forma quadratica $XY+ZW$.

• Il luogo degli zeri $Z(s)$ ha lunghezza 3.
• Utilizzando l'approccio K-teorico, gli autori calcolano che $H^+(M_\bullet)$ e $H^-(M_\bullet)$ abbiano lunghezze 2 e 2 rispettivamente.
• L'indice risultante è $2 - 2 = 0$.
• Ciò dimostra esplicitamente che $\sqrt{e}(E, s)$ può annullarsi anche quando il luogo degli zeri è non vuoto e ha lunghezza positiva, spiegando il fallimento della naiva invarianza per deformazione.

Significato e Applicazioni
Il saggio rivendica importanza in due aree primarie della geometria algebrica e della fisica matematica:

1. Cicli Virtuali Localizzati per Cosezione: I risultati forniscono un toolkit pratico per calcolare i gradi dei cicli virtuali localizzati per cosezione, utilizzati per definire invarianti enumerativi quando lo spazio dei moduli ha un luogo di dimensione attesa dove la cosezione svanisce. Il saggio mostra che questi invarianti possono essere zero anche per spazi dei moduli non vuoti.
2. Cicli Virtuali DT4: Il lavoro si applica alla definizione degli invarianti di Donaldson-Thomas per varietà Calabi-Yau 4-fold (teoria DT4). In questo contesto, lo spazio dei moduli di fasci stabili possiede una struttura simpatica spostata di $(-2)$. Il saggio nota che per spazi dei moduli DT4 generali, il conteggio virtuale può essere zero o negativo, comportandosi più come un conteggio reale (dove $x^2-a=0$ può avere 0 o 2 soluzioni) piuttosto che un conteggio complesso. Tuttavia, nel caso speciale in cui lo spazio dei moduli è un bundle cotangente spostato di $(-2)$ (ad esempio, local Calabi-Yau 4-folds), la teoria recupera lo standard ciclo virtuale di Behrend-Fantechi, comportandosi come un conteggio complesso.

Gli autori concludono che la "morale" del lavoro è che contare in presenza di una cosezione (come nella teoria DT4) è fondamentalmente diverso dalla standard geometria enumerativa complessa, producendo spesso contributi nulli o negativi, e che l'indice di Hopf ortogonale fornisce il quadro corretto per comprendere e calcolare questi fenomeni.