Ulrich sheaves, the arithmetic writhe and algebraic isotopies of space curves

Sintesi Tecnica: Fasci di Ulrich, l'Avvolgimento Aritmetico e Isotopie Algebriche di Curve Spaziali

Enunciato del Problema
Il lavoro affronta due problemi interconnessi nel campo emergente della geometria enumerativa $\mathbb{A}^1$. In primo luogo, mira a stabilire le condizioni in cui il grado $\mathbb{A}^1$ di un morfismo tra varietà proiettive è ben definito (cioè costante sul target), in particolare nei casi in cui il target non è connesso per catene $\mathbb{A}^1$. In secondo luogo, intende generalizzare invarianti topologici dei nodi, specificamente l'avvolgimento (writhe) delle curve spaziali, a un contesto aritmetico su campi arbitrari. Mentre la teoria classica dei nodi si basa sui movimenti di Reidemeister e sulle proiezioni planari, l'analogo aritmetico richiede una definizione che sia invariante rispetto alle deformazioni algebriche e indipendente dal centro di proiezione, anche quando nei piani di proiezione appaiono nodi reali (singolarità isolate).

Metodologia
Gli autori collegano la teoria dei fasci di Ulrich alla teoria dell'omotopia $\mathbb{A}^1$. La loro metodologia procede in tre fasi principali:

1. Fasci di Ulrich e Grado $\mathbb{A}^1$: Gli autori sfruttano le proprietà dei fasci di Ulrich, in particolare quelli "f-Ulrich" (il cui pushforward è un fibrato banale), per costruire orientazioni relative per i morfismi. Dimostrano che se un'orientazione relativa è indotta da un fascio di Ulrich, i gradi locali $\mathbb{A}^1$ si sommano in una classe globale nel gruppo di Grothendieck–Witt $GW(K)$ che è indipendente dal punto del target. Ciò permette il calcolo dei gradi $\mathbb{A}^1$ tramite le risoluzioni libere di questi fasci, specificamente attraverso matrici simmetriche di forme lineari i cui determinanti producono forme di Chow.

2. Varietà Secanti e Avvolgimento Aritmetico: Per definire un avvolgimento aritmetico per una curva $C \subset \mathbb{P}^3$, gli autori costruiscono un fascio di Ulrich simmetrico specifico di rango uno sulla varietà secante $\Sigma$ della curva. Questa costruzione si basa sull'esistenza di una caratteristica theta non effettiva $\alpha$ sulla curva. L'avvolgimento aritmetico è quindi definito come il grado $\mathbb{A}^1$ della mappa di proiezione dalla varietà secante a $\mathbb{P}^3$. Questo grado conta le rette secanti passanti per un punto in $\mathbb{P}^3$ con molteplicità aritmetica.

3. Isotopie Algebriche: Gli autori definiscono le "isotopie algebriche" come famiglie di immersioni parametriche dalla retta affine $\mathbb{A}^1$. Investigano la classificazione delle immersioni di curve razionali in $\mathbb{P}^3$ fino a queste isotopie. Analizzando le componenti connesse naive dello spazio delle immersioni (viste come sottoinsiemi aperti di spazi proiettivi tramite sistemi lineari), collegano le classi di isotopia all'avvolgimento aritmetico e ad altri invarianti derivati da fasci di Ulrich di rango superiore.

Contributi e Risultati Chiave

• Ben-definizione del Grado $\mathbb{A}^1$ (Teorema A): Il lavoro stabilisce che se l'orientazione relativa di un morfismo finito e suriettivo $f: X \to Y$ è indotta da un fascio $f$-Ulrich, e $H^0(Y, \mathcal{O}_Y) = K$, allora il grado $\mathbb{A}^1$ di $f$ è ben definito. Ciò fornisce una condizione di ben-definizione che non richiede che il target $Y$ sia connesso per catene $\mathbb{A}^1$.

• Calcolo Esplicito tramite Forme di Chow (Teorema B): Per una varietà proiettiva immersa $X$ che supporta un fascio di Ulrich simmetrico di rango uno, gli autori mostrano che il grado $\mathbb{A}^1$ di qualsiasi proiezione lineare finita può essere letto direttamente dalla matrice simmetrica $\Lambda$ che appare nella rappresentazione determinale della forma di Chow di $X$. La classe $[\Lambda(s_0 \wedge \dots \wedge s_k)] \in GW(K)$ è precisamente il grado $\mathbb{A}^1$.

• Costruzione dell'Avvolgimento Aritmetico (Teorema C e Definizione): Gli autori costruiscono un fascio di Ulrich simmetrico di rango uno sulla varietà secante di una curva $C$ utilizzando una caratteristica theta non effettiva $\alpha$. Ciò permette la definizione dell'avvolgimento aritmetico $w(\psi(C), \alpha) \in GW(K)$. Questo invariante è un conteggio arricchito aritmeticamente dei nodi delle proiezioni piane. Per curve reali, ciò recupera l'avvolgimento encomplexed di Viro.

• Classificazione delle Curve Razionali (Teorema D): Il lavoro classifica le classi di isotopia algebrica delle curve razionali di basso grado in $\mathbb{P}^3$:

  • Grado 1 e 2: Tutte le immersioni sono algebricamente isotopiche.
  • Grado 3: Le classi di isotopia sono in biiezione con $K^\times / (K^\times)^4$.
  • Grado 4: Due immersioni sono algebricamente isotopiche se e solo se condividono lo stesso avvolgimento aritmetico. Ciò rafforza un risultato di Björklund riguardante l'isotopia rigida su $\mathbb{R}$.
  • Grado 5 e 6: L'avvolgimento aritmetico è insufficiente per distinguere tutte le classi di isotopia per il grado 5 (sconosciuto) e il grado 6. Per il grado 6, gli autori costruiscono un fascio di Ulrich di rango superiore sulla varietà secante di una curva normale razionale, producendo un nuovo invariante che distingue immersioni con lo stesso avvolgimento aritmetico.

Significato
Il lavoro afferma di fornire il primo invariante di nodo definito all'interno del contesto $\mathbb{A}^1$. Collegando i fasci di Ulrich alla teoria dell'omotopia $\mathbb{A}^1$, offre un quadro robusto per problemi enumerativi in cui gli invarianti topologici classici sono insufficienti o in cui il campo base non è algebricamente chiuso. L'avvolgimento aritmetico funge da ponte tra geometria algebrica e teoria dei nodi, generalizzando il lavoro di Viro a campi arbitrari. Inoltre, i risultati sulle isotopie algebriche dimostrano che, sebbene l'avvolgimento aritmetico sia un invariante potente per curve di basso grado, la geometria delle varietà secanti e i fasci di Ulrich di rango superiore sono necessari per catturare la complessità completa delle classi di isotopia per gradi superiori. Il lavoro suggerisce che l'avvolgimento aritmetico è un invariante completo per le curve razionali di grado al massimo quattro, ma probabilmente non per gradi superiori senza invarianti aggiuntivi.