Thick subcategories on weighted projective curves and nilpotent representations of quivers

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto della classificazione delle sottocategorie spesse (thick subcategories) all'interno di categorie triangolate, in particolare nella categoria derivata limitata di fasci coerenti $D^b(\text{coh } X)$ su una curva proiettiva pesata $X$.
Una sottocategoria $T \subset D^b(\text{coh } X)$ è definita "spessa" se è triangolata e chiusa rispetto ai sommandi diretti. L'obiettivo principale è classificare queste sottocategorie, estendendo i risultati precedenti ottenuti per curve proiettive lisce (lavoro congiunto con Valery Lunts) al caso più generale delle curve proiettive pesate, che includono punti di orbifold (punti con peso $w(x) > 1$).

Il problema centrale è determinare se ogni sottocategoria spessa sia equivalente alla categoria derivata di rappresentazioni nilpotenti di un quiver ("quiver-like") o se appartenga a una classe eccezionale legata alla struttura geometrica della curva ("big").

2. Metodologia e Strumenti Teorici

L'autore utilizza una combinazione di teoria delle categorie triangolate, teoria delle rappresentazioni e geometria algebrica. I punti chiave metodologici includono:

• Categorie "Quiver-like": Vengono introdotte e caratterizzate le categorie equivalenti a $D^b_0(kQ)$ (la sottocategoria spessa di $D^b(\text{Mod-}kQ)$ generata dai moduli semplici).
• Categorie $A_\infty$ e $A_\infty$-algebre: Per dimostrare che una categoria triangolata generata da un insieme di oggetti con proprietà di omologia specifiche è "quiver-like", l'autore costruisce un'equivalenza con la categoria derivata perfetta di una categoria $A_\infty$. Grazie alle restrizioni di gradazione (assenza di morfismi in gradi $p \neq 0, 1$), la struttura $A_\infty$ risulta banale, riducendosi a una categoria dg formale, e quindi a una categoria di quiver.
• Relazione tra Categorie Abeliane e Derivate: Sfrutta il fatto che per categorie abeliane ereditarie (come $\text{coh } X$), esiste una biiezione tra le sottocategorie spesse nella categoria derivata e quelle nella categoria abeliana stessa. Questo permette di tradurre problemi triangolati in problemi abeliani.
• Sottocategorie "Small" e "Big":
  • Small: Sottocategorie generate da una collezione eccezionale di fasci torsonali (concentrate sui punti di orbifold).
  • Big: Sottocategorie ortogonali a una collezione eccezionale di fasci torsonali. Queste contengono fasci vettoriali non nulli e sono "vicine" alla categoria intera.
• Funzioni di Twist ($c_x$): L'uso di autoequivalenze ottenute iterando le mutazioni sferiche ($\sigma_x$) per analizzare l'invarianza delle sottocategorie rispetto ai fasci torsonali.

3. Contributi Chiave e Risultati Principali

A. Teoremi Generali su Categorie "Quiver-like"

L'autore generalizza i risultati precedenti rimuovendo ipotesi di finitezza e formalità.

• Teorema A: Se una categoria triangolata algebrica $T$ è classicamente generata da un insieme di oggetti $\{t_i\}$ tali che $\text{Hom}^p(t_i, t_j) = 0$ per $p \neq 0, 1$, $\text{Hom}(t_i, t_j)=0$ per $i \neq j$, e $\text{Hom}(t_i, t_i)=k$, allora $T$ è "quiver-like".
• Teorema B e C: Estensione di questi risultati al caso abeliano. Una categoria abeliana è "quiver-like" se e solo se è essenzialmente piccola, ha lunghezza finita, e soddisfa condizioni di estensione sui suoi oggetti semplici (assenza di $\text{Ext}^p$ per $p \ge 2$).

B. Classificazione delle Sottocategorie su Curve Pesate (Teorema D)

Il risultato principale del lavoro è la classificazione delle sottocategorie spesse su una curva proiettiva pesata $X = (X, w)$:

• Teorema D: Ogni sottocategoria spessa $T \subset D^b(\text{coh } X)$ è o quiver-like oppure è una sottocategoria big.
  • Le sottocategorie quiver-like sono equivalenti a $D^b_0(kQ)$ per qualche quiver $Q$.
  • Le sottocategorie big sono ortogonali a collezioni eccezionali di fasci torsonali. Esse contengono sia fasci vettoriali che fasci torsonali "sfera-like" (di lunghezza pari al peso del punto di supporto).
• Struttura delle Big: Le sottocategorie big possono essere descritte come prodotti di una sottocategoria "curve-like" (equivalente alla categoria di fasci su una curva pesata con pesi ridotti) e una sottocategoria "small".

C. Proprietà Strutturali e Conseguenze

• Proprietà di Jordan-Hölder: L'autore dimostra che le categorie derivate di curve proiettive pesate soddisfano la proprietà di Jordan-Hölder. Ciò significa che tutte le decomposizioni semi-ortogonali massimali hanno lo stesso numero di componenti e le stesse classi di equivalenza (a meno di permutazione).
• Assenza di Fantomi: Viene dimostrato che non esistono sottocategorie "fantasma" (sottocategorie non nulle con gruppo di Grothendieck nullo) in queste categorie derivate.
• Sottocategorie Ammissibili:
  • Se $X$ è una retta proiettiva pesata ($g(X)=0$), ogni sottocategoria ammissibile è generata da una collezione eccezionale.
  • Se $X$ ha genere $g(X) \ge 1$, ogni sottocategoria ammissibile è o "small" o "big". In particolare, non esistono fasci vettoriali eccezionali su curve di genere $\ge 1$.
• Decomposizione Torsione/Torsione-Free: Per le sottocategorie non "big", esiste una decomposizione semi-ortogonale unica in una parte puramente torsonale e una puramente torsione-free.

4. Significato e Impatto

Questo lavoro rappresenta un passo significativo nella comprensione della struttura delle categorie derivate di fasci coerenti su varietà singolari o con struttura di stack (curve pesate).

1. Generalizzazione: Estende la classificazione delle sottocategorie spesse dalle curve lisce alle curve pesate, gestendo la complessità introdotta dai punti di orbifold.
2. Nuovi Strumenti: L'uso delle categorie $A_\infty$ per dimostrare l'equivalenza con categorie di quiver senza assumere la formalità dell'algebra dg degli endomorfismi offre una via più diretta e potente rispetto ai metodi precedenti.
3. Struttura Geometrica: La distinzione tra sottocategorie "quiver-like" (di natura puramente algebrica/rappresentazionale) e "big" (di natura geometrica, legate alla curva stessa) chiarisce la topologia delle sottocategorie spesse.
4. Proprietà di Stabilità: La conferma della proprietà di Jordan-Hölder e l'assenza di fantomi per le curve pesate le colloca tra le poche classi di varietà geometriche (oltre a $\mathbb{P}^2$ e superfici del Pezzo) dove la teoria delle decomposizioni semi-ortogonali è ben comportata e priva di "patologie".

In sintesi, Elagin fornisce una mappa completa delle sottocategorie spesse su curve pesate, dimostrando che esse sono o di tipo "quiver" (generati da collezioni eccezionali) o di tipo "big" (ortogonali a collezioni eccezionali), risolvendo così il problema di classificazione in questo contesto geometrico.