Stability conditions and infinitesimal deformation of curves

Sintesi Tecnica: Condizioni di Stabilità e Deformazione Infinitesimale di Curve

Enunciato del Problema
Il lavoro indaga il comportamento dello spazio delle condizioni di stabilità, denotato $\text{Stab}(\mathcal{D})$, sotto deformazioni infinitesime di varietà algebriche. Sebbene la struttura di $\text{Stab}(\mathcal{D})$ sia ben compresa per curve proiettive lisce su un campo (classificata da Okada, Bridgeland e Macrì per diversi generi), la letteratura esistente si concentra principalmente su schemi ridotti. L'autore affronta il vuoto nella comprensione delle condizioni di stabilità per schemi non ridotti, in particolare le deformazioni infinitesime di curve proiettive lisce. La domanda centrale è se lo spazio delle condizioni di stabilità sia invariante sotto tali deformazioni e come le simmetrie derivate dello schema deformato si relazionino allo schema ridotto originale.

Metodologia
L'autore impiega una combinazione di teoria delle categorie derivate, teoria delle deformazioni dei fasci coerenti e le proprietà specifiche delle condizioni di stabilità. La metodologia procede attraverso i seguenti passaggi logici:

1. Modello Giocattolo (Anelli Artiniani): Il lavoro stabilisce innanzitutto una linea di base analizzando lo schema affine $\text{Spec}(R)$ dove $(R, \mathfrak{m})$ è una $k$-algebra locale artiniana. Si dimostra che $\text{Stab}(\mathcal{D}^b(\text{Spec } R))$ è non vuoto e isomorfo a $\text{Stab}(\mathcal{D}^b(k))$. Ciò si basa sull'osservazione che gli oggetti stabili nella categoria derivata di un anello artiniano sono essenzialmente moduli sul campo residuo.

2. Sottocategorie Quasi-Ereditarie: Uno strumento tecnico fondamentale introdotto è il concetto di sottocategoria "quasi-ereditaria". Una sottocategoria abeliana piena $\mathcal{A}_0 \subset \mathcal{A}$ è quasi-ereditaria se l'annullamento di $\text{Hom}^0$ e $\text{Hom}^1$ tra oggetti in $\mathcal{A}_0$ implica l'annullamento di tutti i gruppi $\text{Hom}$ superiori. L'autore dimostra che per una deformazione infinitesima $\pi: X \to \text{Spec } R$ di una curva liscia $X_0$, l'inclusione dei fasci coerenti $\text{Coh}(X_0) \hookrightarrow \text{Coh}(X)$ soddisfa questa proprietà. Ciò è stabilito utilizzando la teoria delle deformazioni dei fasci localmente liberi su curve, sfruttando specificamente l'annullamento degli ostacoli in $H^2$.

3. Analisi degli Oggetti Stabili: Utilizzando la proprietà quasi-ereditaria, l'autore dimostra che qualsiasi oggetto stabile rispetto a una condizione di stabilità su $\mathcal{D}^b(X)$ deve giacere nell'immagine del funtore push-forward derivato $j_*: \mathcal{D}^b(X_0) \to \mathcal{D}^b(X)$ (a meno di shift). Ciò riduce lo studio della stabilità sullo spazio deformato allo spazio ridotto.

4. Analisi Caso per Caso: La prova dell'isomorfismo principale è suddivisa in base al genere $g$ della curva $X_0$:

   • Genere $g > 0$: L'autore utilizza il fatto che la dimensione omologica di $\mathcal{D}^b(X_0)$ è 1. Analizzando la stabilità dei fasci skyscraper e dei fibrati lineari, si dimostra che il gruppo delle autoequivalenze e le condizioni di stabilità si comportano in modo uniforme.
   • Genere $g = 0$: Il caso della retta proiettiva $\mathbb{P}^1$ è trattato generalizzando i risultati di Okada. L'autore utilizza decomposizioni semi-ortogonali e i triangoli esatti specifici che coinvolgono fibrati lineari e fasci skyscraper su $\mathbb{P}^1_R$ per classificare le condizioni di stabilità.
   • Genere $g = 1$: L'analisi coinvolge l'interazione tra la stabilità per pendenza e la struttura specifica dei fasci indecomponibili su curve ellittiche.

5. Azioni Indotte: Il lavoro costruisce un omomorfismo di gruppi dal gruppo delle autoequivalenze $\text{Aut}(\mathcal{D}^b(X))$ a $\text{Aut}(\mathcal{D}^b(X_0))$ mostrando che ogni autoequivalenza della categoria deformato preserva la sottocategoria $\text{Im}(j_*)$.

Contributi e Risultati Chiave

• Teorema 1.2 (Risultato Principale): Sia $X$ una deformazione infinitesima di una curva proiettiva liscia $X_0$ su un anello locale artiniano. Il funtore push-forward derivato $j_*$ induce un isomorfismo di varietà complesse:
  $$j_*^{-1}: \text{Stab}(\mathcal{D}^b(X)) \xrightarrow{\sim} \text{Stab}(\mathcal{D}^b(X_0)).$$
  Questo risultato implica che l'esistenza e la struttura delle condizioni di stabilità dipendono esclusivamente dallo schema ridotto sottostante e sono insensibili all'ispessimento infinitesimale.

• Proposizione 1.3: Esiste un omomorfismo naturale di gruppi $\text{Aut}(\mathcal{D}^b(X)) \to \text{Aut}(\mathcal{D}^b(X_0))$. Ciò stabilisce un legame tra le simmetrie derivate dello schema deformato e lo schema originale, mostrando che la struttura della deformazione non introduce nuove autoequivalenze che agiscono in modo non banale sulla parte ridotta.

• Proposizione 3.10 e Corollario 3.12: Il lavoro conferma che per un anello locale artiniano $R$, $\text{Stab}(\mathcal{D}^b(R))$ è non vuoto e isomorfo a $\text{Stab}(\mathcal{D}^b(k))$, e più in generale, $\text{Stab}(\mathcal{D}^b(A))$ è non vuoto se e solo se la dimensione di Krull dell'anello noetheriano $A$ è zero.

• Lemma Tecnico (Proposizione 4.4): La prova che $\text{Coh}(X_0)$ è una sottocategoria quasi-ereditaria di $\text{Coh}(X)$ è un contributo tecnico significativo, che permette la riduzione dei problemi di stabilità dall'impostazione non ridotta all'impostazione ridotta.

Significato
Il lavoro rivendica importanza estendendo la teoria delle condizioni di stabilità all'impostazione non ridotta, un dominio precedentemente largamente inesplorato nella letteratura. Dimostrando che lo spazio delle condizioni di stabilità è invariante sotto deformazioni infinitesime di curve, l'autore fornisce un confronto diretto tra impostazioni deformate e non deformate. Questo risultato suggerisce che la struttura di "varietà complessa" di $\text{Stab}(\mathcal{D})$ è robusta rispetto a perturbazioni infinitesime della geometria sottostante. Inoltre, la costruzione dell'omomorfismo tra gruppi di autoequivalenze offre una nuova prospettiva su come le simmetrie derivate interagiscano con la teoria delle deformazioni, collegando le simmetrie dell'oggetto deformato direttamente a quelle del suo nucleo ridotto. L'autore nota che generalizzare questi risultati a curve singolari o varietà di dimensione superiore (come le superfici) richiederebbe nuove idee, poiché la prova attuale si basa pesantemente sul fatto che la dimensione omologica della curva sia 1.