Odd Knörrer periodicity as a double cover

Riepilogo Tecnico: La Periodicità Dispari di Knörrer come Doppio Rivestimento

Enunciato del Problema
Il lavoro affronta il comportamento globale della periodicità di Knörrer, un'equivalenza fondamentale nella teoria delle fattorizzazioni di matrici. Classicamente, la periodicità di Knörrer stabilisce che l'aggiunta di un termine quadratico $x^2$ a un superpotenziale $w$ (una "stabilizzazione") preserva la categoria derivata delle fattorizzazioni di matrici se il rango della forma quadratica è pari, mentre le stabilizzazioni di rango dispari possono essere risolte passando a una categoria equivariante. Sebbene le versioni globali della periodicità di rango pari siano ben comprese (relazionando le fattorizzazioni di matrici su un fibrato vettoriale alla categoria derivata della base), una dichiarazione globale per le forme quadratiche di rango uno è rimasta sfuggente. Nello specifico, l'equivalenza puntuale $MF_{|x|=1}(\mathbb{A}^1, x^2) \simeq D^b(2 \text{ pts})$ suggerisce una relazione tra le fattorizzazioni di matrici e i doppi rivestimenti ramificati, ma i quadri esistenti per le fattorizzazioni di matrici graduate sono insufficienti per gestire i necessari dati di "gradazione dispari".

La difficoltà principale risiede nel fatto che le definizioni standard delle fattorizzazioni di matrici si basano sulla scissione degli oggetti in parti pari e dispari ($E_0 \leftrightarrows E_1$), un fenomeno unico agli anelli con gradazione pari. Quando la coordinata della fibra lineare ha grado coomologico dispari, il fascio strutturale non è più super-commutativo, la differenziale sui fasci di morfismi non è lineare e la definizione standard di $RHom$ cessa di funzionare. Di conseguenza, la categoria derivata delle fattorizzazioni di matrici per tali modelli di Landau–Ginzburg (LG) "con gradazione dispari" non può essere costruita utilizzando metodi tradizionali.

Metodologia
L'autore sviluppa un quadro per le fattorizzazioni di matrici dispari in cui la coordinata della fibra lineare $q$ ha grado coomologico dispari ($|q|=1$).

1. Riformulazione delle Definizioni: Invece di affidarsi alla scissione $E_0 \leftrightarrows E_1$ o a $RHom$ sullo spazio base $X$, il lavoro adotta la definizione a livello di oggetti di Segal e costruisce la categoria derivata come quoziente di Verdier della categoria omotopica delle fattorizzazioni di matrici rispetto agli oggetti aciclici (seguendo Orlov e Preygel).
2. Dal Locale al Globale tramite Stack Quoziente: Per recuperare una nozione di omi interni ed eseguire calcoli dal locale al globale, l'autore osserva che, sebbene i morfismi non formino fasci sullo spazio con gradazione dispari $X$, essi formano fasci sullo stack quoziente $[X/\mathbb{Z}_2]$. La gradazione indotta su $[X/\mathbb{Z}_2]$ è pari, permettendo l'applicazione della teoria standard per le algebre curve su una base con gradazione pari.
3. Trasformata di Fourier–Mukai: Il teorema principale è dimostrato costruendo un nucleo esplicito di Fourier–Mukai. L'equivalenza è realizzata tramite un bimodulo curvo sullo spazio totale del fibrato in rette e sul doppio rivestimento ramificato. La prova tiene accuratamente conto dei segni di Koszul derivanti dalla natura non commutativa del prodotto tensoriale di algebre con gradazione dispari.

Contributi e Risultati Chiave

• Teorema A (Equivalenza Principale): Il lavoro stabilisce un'equivalenza tra la categoria derivata di un doppio rivestimento ramificato $\tilde{X} = \{y^2 = f\} \subset \text{Tot}(L)$ e la categoria delle fattorizzazioni di matrici sullo spazio totale del fibrato in rette duale $\text{Tot}(L^{-1})$ con un potenziale quadratico fibra per fibra.
  $$MF(\text{Tot}(L^{-1}), fq^2) \simeq D^b(\tilde{X})$$
  Qui, la coordinata della fibra $q$ è assegnata un grado dispari, rendendo il potenziale $fq^2$ di grado totale 2. Questo risultato globalizza l'equivalenza puntuale $MF_{|q|=1}(\mathbb{A}^1, q^2) \simeq D^b(2 \text{ pts})$.

• Corollario B (Versione Orbifold): Viene dimostrata un'equivalenza analoga per lo stack radice associato (quoziente stacky):
  $$MF([\text{Tot}(L^{-1})/\mathbb{Z}_2], fq^2) \simeq D^b(\sqrt{f}/X)$$
  Questo rimane nel regno delle fattorizzazioni di matrici con gradazione pari, poiché l'azione di $\mathbb{Z}_2$ sullo stack quoziente banalizza la gradazione dispari.

• Risoluzione del "Paradosso" dell'Iterazione: Il lavoro chiarisce perché iterare la costruzione del doppio rivestimento non porti trivialmente a una contraddizione con la periodicità pari di Knörrer. Quando si itera la costruzione su una base con gradazione dispari, l'algebra risultante diventa non commutativa (nello specifico, un'algebra di Clifford). Queste algebre non commutative sono banali per Morita, risolvendo il paradosso apparente secondo cui un doppio rivestimento iterato (non banale) dovrebbe essere equivalente a una stabilizzazione pari (banale).

• Applicazioni alla Simmetria Speculare e alle Risoluzioni:

  • Simmetria Speculare: Il quadro accoglie naturalmente esempi di simmetria speculare in 1 dimensione che coinvolgono superfici orbifold e categorie di Fukaya avvolte, dove le gradazioni dispari sorgono da campi di linee su punti orbifold.
  • Equivalenze di Tipo Orlov: Il risultato fornisce una riduzione dimensionale del teorema di Orlov per i doppi rivestimenti, relazionando la categoria derivata di un doppio rivestimento ramificato Fano alle fattorizzazioni di matrici su un orbifold affine.
  • Risoluzioni Categoricali: Il lavoro applica il teorema per costruire e analizzare risoluzioni categoriali di singolarità (ad esempio, singolarità di curve $A_2$ e $A_3$) tramite compattificazioni parziali di modelli LG. Dimostra come le sottocategorie nucleo di queste risoluzioni possano essere calcolate utilizzando le equivalenze stabilite, corrispondendo a risultati di altre costruzioni (ad esempio, Kuznetsov, Kalck).
  • Exoflops: La teoria è utilizzata per reinterpretare gli "exoflops" (fenomeni in cui le risoluzioni di singolarità corrispondono a compattificazioni parziali di modelli LG) nel contesto della periodicità dispari, mostrando come il flop possa essere realizzato tramite variazione GIT senza strutture orbifold.

Significato e Affermazioni
L'autore afferma che il significato primario di questo lavoro è fornire una dichiarazione globale rigorosa per le forme quadratiche di rango uno che necessita di dati di gradazione dispari. Il lavoro sostiene che gli approcci esistenti alle fattorizzazioni di matrici graduate sono inadeguati a questo scopo perché assumono super-commutatività e scissione pari. Sviluppando la teoria delle fattorizzazioni di matrici con gradazione dispari e dimostrando l'equivalenza con i doppi rivestimenti ramificati, il lavoro:

1. Unifica l'equivalenza puntuale (1.1) con costruzioni geometriche globali.
2. Offre un nuovo strumento per comprendere le fattorizzazioni di matrici con superpotenziali della forma $fq^2$.
3. Fornisce un'interpretazione geometrica per la dualità proiettiva omologica nel contesto delle famiglie di quadriche diagonali e dei doppi rivestimenti singolari.
4. Chiarisce la relazione tra doppi rivestimenti iterati e algebre di Clifford, risolvendo potenziali confusioni riguardo all'iterazione della periodicità di Knörrer.

Il lavoro rimane modesto riguardo alle implicazioni future, notando che, sebbene i risultati suggeriscano connessioni con la simmetria speculare omologica per doppi rivestimenti singolari e risoluzioni categoriali minime, questi sono ambiti per ulteriori indagini piuttosto che conclusioni stabilite del lavoro corrente. Il lavoro è presentato come un passo fondazionale nella formalizzazione del lato "dispari" della periodicità di Knörrer.