A categorical flop in dimension one

1. Il Problema e il Contesto

Il lavoro si inserisce nel contesto della risoluzione delle singolarità e della teoria delle categorie derivate. La congettura di Bondal e Orlov suggerisce che le diverse risoluzioni crepanti di una varietà singolare dovrebbero essere equivalenti a livello di categorie derivate. Tuttavia, per singolarità "irrazionali" (come le curve nodali), le risoluzioni geometriche standard falliscono nel fornire risoluzioni categoriali valide (in quanto la categoria derivata della normalizzazione non è liscia o non soddisfa le proprietà richieste).

Il problema centrale affrontato è:

• Come si manifesta la struttura di un "flop" (una trasformazione birazionale che preserva la classe canonica) in dimensione uno, ovvero per curve nodali?
• Qual è la natura delle risoluzioni categoriali per queste singolarità e come si relazionano alle nozioni di crepanza (crepancy)?
• È possibile identificare una condizione intermedia che distingua le risoluzioni "minime" da quelle non minime, dato che le risoluzioni categoriali esistenti (come quella di Auslander) non sono minimali?

2. Metodologia

L'autore utilizza un approccio che combina algebra non commutativa, geometria algebrica e modelli di Landau-Ginzburg (LG).

• Struttura Algebrica: Si considera la curva nodale $X = \{xy = 0\} \subset \mathbb{A}^2$. La risoluzione categoriale proposta è basata sull'ordine di Auslander $A = H^0 \text{End}_X(\mathcal{O}_X \oplus \pi_*\mathcal{O}_{\tilde{X}})$, dove $\tilde{X}$ è la normalizzazione.
• Diagramma di "Roof": Si costruisce un diagramma di equivalenze derivate che collega la categoria grande $D^b(A)$ a due sottocategorie più piccole $D^b(A_x)$ e $D^b(A_y)$, ottenute tramite contrazioni di oggetti eccezionali. Questo struttura è analoga al diagramma di un flop in dimensione tre (flop di Atiyah).
• Strumenti Categoriali:
  • Uso di twist sferici (spherical twists) per descrivere le autoequivalenze ottenute componendo i funtori di push-pull tra le diverse risoluzioni.
  • Analisi dei funtori Serre relativi per definire e classificare i gradi di crepanza.
  • Interpretazione tramite modelli di Landau-Ginzburg (B-brane su compattificazioni parziali) e, tramite la simmetria speculare omologica, categorie di Fukaya parzialmente avvolte (wrapped Fukaya categories).

3. Contributi Chiave e Risultati

A. La Struttura di Flop Categoriale in Dimensione Uno

L'autore dimostra che le contrazioni delle risoluzioni categoriali per una curva nodale replicano esattamente il comportamento dei funtori coinvolti in un flop di dimensione tre.

• Esiste un'equivalenza derivata $\Phi: D^b(A_x) \to D^b(A_y)$.
• La composizione $\Phi \circ \Phi^{-1}$ (o il "flop-flop") su $D^b(A_x)$ è un'autoequivalenza data dal twist sferico attorno a un oggetto sferico specifico ($F_x$).
• Questo conferma che la struttura categorica dei flop non è limitata alle varietà di dimensione $\ge 3$, ma emerge anche in contesti degeneri di dimensione 1.

B. Crepanza Debole, Forte e una Nuova Condizione Intermedia

Il lavoro analizza le proprietà di "crepanza" (preservazione della classe canonica) delle risoluzioni:

1. Crepanza Debole: Tutte le risoluzioni considerate ($D^b(A)$, $D^b(A_x)$, ecc.) sono debolmente crepanti.
2. Crepanza Forte: Nessuna di queste è fortemente crepante (la classe canonica non è globalmente banale), il che è coerente con il fatto che le compattificazioni parziali dei modelli LG non sono varietà Calabi-Yau.
3. Nuova Definizione (Fair Crepancy): L'autore introduce una condizione intermedia chiamata "fair crepancy" (crepanza equa).
   • Una risoluzione è fairly crepant se il sottocategoria nucleo $\ker(\pi^*)$ è Calabi-Yau rispetto al funtore Serre relativo (cioè il funtore Serre agisce come uno shift omologico $[n]$ sul nucleo).
   • L'indice di crepanza $n$ è definito come lo shift.
   • Risultato: La risoluzione minima $D^b(A_x)$ è fairly crepant con indice 2, mentre la risoluzione non minimale $D^b(A)$ non lo è.

C. Interpretazione Geometrica e Modelli LG

• Le risoluzioni sono equivalenti alle categorie di B-brane su compattificazioni parziali di un modello di Landau-Ginzburg $(A^3, xyz)$.
• La non-minimalità di $D^b(A)$ è spiegata dalla presenza di punti orbifold nella compattificazione del luogo critico del potenziale.
• Le risoluzioni più piccole ($D^b(A_x)$) corrispondono alla rimozione di uno di questi punti orbifold (o di uno dei "stop" nella descrizione A-side).
• L'autore suggerisce un'analogia con gli stack di radici (root stacks): il flop categoriale per una curva liscia può essere visto attraverso la lente degli stack di radici, dove l'autoequivalenza è data dal twist con un fascio lineare.

D. Generalizzazioni

• I risultati si estendono a qualsiasi singolarità nodale o cuspidale di curva.
• Viene mostrato che per singolarità nodali in dimensione $d$, l'indice di crepanza segue una sequenza periodica (es. 2, 2, 0, 0, -2, -2...), dove l'indice 0 corrisponde esattamente ai casi in cui esistono risoluzioni crepanti geometriche (dimensioni pari per certi tipi di nodi).

4. Significato e Implicazioni

• Unificazione dei Concetti: Il lavoro unifica la teoria dei flop in dimensione alta con la teoria delle singolarità di curve, mostrando che le strutture categoriali fondamentali (twist sferici, diagrammi di roof) sono universali.
• Nuovo Criterio di Minimalità: La definizione di fair crepancy offre un potenziale criterio per identificare le risoluzioni categoriali minimali. L'autore ipotizza che le risoluzioni minimali siano esattamente quelle che sono fairly crepant.
• Limiti della Crepanza Forte: Dimostra che la condizione di crepanza forte è troppo restrittiva per garantire la minimalità in contesti categoriali generali, poiché anche le risoluzioni "minime" possono fallire nel soddisfare la crepanza forte a causa di ostacoli globali (non Calabi-Yau).
• Connessione con la Simmetria Speculare: Fornisce una descrizione dettagliata del lato A (Fukaya) del problema, collegando gli oggetti sferici alle curve che circondano gli "stop" (ostacoli) su una superficie "pair-of-pants", offrendo una visione geometrica intuitiva delle trasformazioni algebriche.

In sintesi, Crossley dimostra che la complessa struttura dei flop categoriali, solitamente associata alla geometria delle varietà di Calabi-Yau in dimensione 3, è intrinseca anche alle singolarità più semplici (curve nodali), e propone un nuovo invariante categoriale (fair crepancy) per distinguere le risoluzioni ottimali in assenza di risoluzioni geometriche crepanti.