Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties

Titolo

Fascetto Tangente dello Schema di Hilbert Puntuale e Distinguibilità dei Prodotti di Varietà

1. Problema e Contesto

Il lavoro si concentra su due problemi fondamentali nella geometria algebrica complessa:

1. La struttura del fascetto tangente: Determinare la decomposizione in componenti indecomponibili del fascetto tangente $T_{X[n]}$ dello schema di Hilbert puntuale $X[n]$ di una superficie proiettiva liscia $X$. Lo schema $X[n]$ parametrizza i sottoschemi di lunghezza $n$ su $X$ ed è una varietà proiettiva liscia di dimensione $2n$.
2. Il problema di cancellazione per i prodotti: Stabilire se un isomorfismo tra prodotti di varietà (in questo caso, prodotti di schemi di Hilbert o potenze simmetriche) implichi che i fattori siano gli stessi a meno di riordinamento. In termini formali, se $\prod X_{a_i} \cong \prod X_{b_j}$, si può concludere che gli insiemi multiset $\{a_i\}$ e $\{b_j\}$ coincidono?

2. Metodologia

L'autore utilizza un approccio che combina la teoria dei fasci vettoriali, la teoria delle rappresentazioni dei gruppi simmetrici e la geometria delle varietà abeliane e delle superfici.

• Analisi del Fascetto Tangente:

  • Si sfrutta il fatto che ogni fascetto vettoriale su una varietà proiettiva è somma diretta di fasci indecomponibili (Teorema di Krull-Schmidt).
  • Si studia l'azione del gruppo simmetrico $S_n$ sulla varietà prodotto $X^n$. Poiché $X[n]$ è una risoluzione delle singolarità di $X^n/S_n$, l'autore collega la decomposizione di $T_{X[n]}$ alla decomposizione $S_n$-invariante di $T_{X^n}$.
  • Si dimostra che la maggior parte delle decomposizioni possibili di $T_{X^n}$ non si "estendono" a $X[n]$. Questo è un punto cruciale: si utilizza un argomento locale e di chiusura per mostrare che certi sottofascelli $S_n$-invarianti su $X^n$ non possono essere il pullback di un fascetto su $X[n]$.

• Classificazione delle Superfici:

  • Si introduce una classificazione delle superfici lisce basata sulla scindibilità del loro fascetto tangente $T_X$.
  • Si definisce la Classe $\tilde{C}$: superfici che sono o di Classe $C$ (di tipo $(D \times Y)/G$ con $D$ curva ellittica e $Y$ curva di tipo generale), o superfici biellittiche, o fibrati $\mathbb{P}^1$ su una curva ellittica con $T_X$ scindibile.
  • Si utilizzano teoremi di copertura universale (basati su [6]) per analizzare la struttura di $X$ quando $T_X$ ammette somme dirette.

• Strumenti Tecnici:

  • Morfismo di Hilbert-Chow: $f: X^n \to X(n)$ e la mappa di quoziente $q: X^n \to X(n)$.
  • Azione diagonale: Si analizzano azioni di gruppi su prodotti di varietà per decomporre i fascetti tangenti (Lemma 6.1).
  • Induzione e Normalizzazione: Per il Teorema C, si usa l'induzione sulla dimensione e si studiano le componenti irriducibili del luogo singolare delle potenze simmetriche.

3. Risultati Principali

Teorema A: Decomposizione del Fascetto Tangente

L'autore classifica la struttura del fascetto tangente $T_{X[n]}$ per $n \ge 2$ in base alla superficie $X$:

1. Se $X$ è una superficie abeliana:
   $$T_{X[n]} \cong \mathcal{O}_{X[n]}^{\oplus 2} \oplus E$$
   dove $E$ è un fascetto vettoriale indecomponibile.
2. Se $X$ è di Classe $\tilde{C}$:
   $$T_{X[n]} \cong \mathcal{O}_{X[n]} \oplus E$$
   dove $E$ è un fascetto vettoriale indecomponibile.
3. In tutti gli altri casi:
   $T_{X[n]}$ è indecomponibile.

Inoltre, nei casi (1) e (2), esiste una morfismo liscio $\pi: X[n] \to F'$ (dove $F'$ è una varietà abeliana) tale che $E = \ker(d\pi)$.

Teorema B: Classificazione dei Prodotti di Schemi di Hilbert

Sia $X$ una superficie proiettiva lissa. Se esistono interi positivi $a_1, \dots, a_r$ e $b_1, \dots, b_s$ tali che:
$$\prod_{i=1}^r X[a_i] \cong \prod_{j=1}^s X[b_j]$$
allora $r=s$ e i multisetti $\{a_1, \dots, a_r\}$ e $\{b_1, \dots, b_s\}$ sono identici.
Questo risolve una congettura recente (citata come [10]) e generalizza risultati noti per le curve.

Teorema C: Classificazione dei Prodotti di Potenze Simmetriche

Sia $X$ una varietà lissa di dimensione $\ge 2$ (non necessariamente propria). Se:
$$\prod_{i=1}^r X^{(a_i)} \cong \prod_{j=1}^s X^{(b_j)}$$
allora $r=s$ e i multisetti degli indici coincidono.
Nota: Il teorema non vale per curve lisce ($\dim X = 1$) in generale (es. $X=\mathbb{A}^1$), ma vale per curve proiettive lisce.

4. Contributi Chiave e Significato

1. Struttura Geometrica di $X[n]$: Il lavoro fornisce una descrizione completa della decomposizione del fascetto tangente, un oggetto fondamentale per comprendere la geometria di $X[n]$. La distinzione tra superfici abeliane, superfici di classe $\tilde{C}$ e le altre è sottile e basata sulla scindibilità del fascetto tangente della superficie di base.
2. Risoluzione di una Congettura: Il Teorema B conferma la congettura sulla classificazione dei prodotti di schemi di Hilbert, dimostrando che questi oggetti sono "rigidi" dal punto di vista della fattorizzazione in prodotti. Questo estende la comprensione della cancellazione di Zariski a una classe importante di varietà proiettive.
3. Nuovi Invarianti: L'autore dimostra che il numero di volte che un certo tipo di fascetto vettoriale indecomponibile appare nella decomposizione di $T_{\prod X[a_i]}$ funge da invariante completo per distinguere i prodotti. Questo collega la teoria dei fasci vettoriali alla teoria della classificazione delle varietà.
4. Metodologia Innovativa: L'uso della "non estendibilità" di certi sottofascelli da $X^n$ a $X[n]$ (Teorema 5.1) è un argomento tecnico potente che evita di dover analizzare direttamente la geometria globale di $X[n]$ in tutti i casi, riducendo il problema allo studio delle azioni di $S_n$ su $X^n$.

Conclusione

Il paper di Sarkar rappresenta un avanzamento significativo nella comprensione della geometria degli schemi di Hilbert e delle potenze simmetriche. Stabilendo una connessione profonda tra la scindibilità del fascetto tangente della superficie di base e la struttura del fascetto tangente dello schema di Hilbert, l'autore riesce a risolvere problemi di classificazione dei prodotti che erano rimasti aperti. I risultati hanno implicazioni per lo studio delle varietà iperkähler, delle varietà abeliane e della teoria dei fasci vettoriali su varietà singolari o con azioni di gruppo.