Odd Knörrer periodicity as a double cover

Technische Samenvatting: Vreemde Knörrer-periodiciteit als dubbele overdekking

Probleemstelling
Het artikel behandelt het globale gedrag van Knörrer-periodiciteit, een fundamentele equivalentie in de theorie van matrixfactorisaties. Classisch stelt Knörrer-periodiciteit dat het toevoegen van een kwadratische term $x^2$ aan een superpotentiaal $w$ (een "stabilisatie") de afgeleide categorie van matrixfactorisaties behoudt als de rang van de kwadratische vorm even is, terwijl stabilisaties met oneven rang kunnen worden opgelost door over te gaan naar een equivariante categorie. Hoewel globale versies van periodiciteit met even rang goed begrepen zijn (waardoor matrixfactorisaties op een vectorbundel worden gerelateerd aan de afgeleide categorie van de basis), is een globale uitspraak voor kwadratische vormen van rang één onvindbaar gebleven. Specifiek suggereert de puntsgewijze equivalentie $MF_{|x|=1}(\mathbb{A}^1, x^2) \simeq D^b(2 \text{ pts})$ een relatie tussen matrixfactorisaties en vertakte dubbele overdekkingen, maar bestaande kaders voor gegradueerde matrixfactorisaties zijn ontoereikend om de nodige "oneven" gradueringsdata te behandelen.

De kernmoeilijkheid ligt in het feit dat standaarddefinities van matrixfactorisaties afhankelijk zijn van de splitsing van objecten in even en oneven delen ($E_0 \leftrightarrows E_1$), een fenomeen dat uniek is voor evenweg-gegradueerde ringen. Wanneer de lineaire vezelcoördinaat een oneven cohomologische graad heeft, is de structuurhekel niet langer super-commutatief, faalt de differentiaal op morfismehekkels lineair te zijn, en breekt de standaarddefinitie van $RHom$ af. Bijgevolg kan de afgeleide categorie van matrixfactorisaties voor dergelijke "onevenweg-gegradueerde" Landau–Ginzburg (LG) modellen niet worden geconstrueerd met traditionele methoden.

Methodologie
De auteur ontwikkelt een kader voor oneven matrixfactorisaties waarbij de lineaire vezelcoördinaat $q$ een oneven cohomologische graad heeft ($|q|=1$).

1. Hervorming van Definities: In plaats van te vertrouwen op de $E_0 \leftrightarrows E_1$-splitsing of $RHom$ op de basisruimte $X$, hanteert het artikel de definitie op objectniveau van Segal en construeert de afgeleide categorie als een Verdier-kwotiënt van de homotopiecategorie van matrixfactorisaties door acyclische objecten (volgend op Orlov en Preygel).
2. Lokaal-naar-Globaal via Quotiëntstapels: Om een notie van interne homs te herstellen en lokaal-naar-globaal berekeningen uit te voeren, observeert de auteur dat hoewel morfismen geen sheaves vormen over de onevenweg-gegradueerde ruimte $X$, ze wel sheaves vormen over de quotiëntstapel $[X/\mathbb{Z}_2]$. De geïnduceerde gradatie op $[X/\mathbb{Z}_2]$ is even, waardoor de toepassing van de standaardtheorie voor gekromde algebra's over een evenweg-gegradueerde basis mogelijk wordt.
3. Fourier–Mukai-transformatie: De hoofdstelling wordt bewezen door een expliciete Fourier–Mukai-kern te construeren. De equivalentie wordt gerealiseerd via een gekromde bimodule over de totale ruimte van de lijnbundel en de vertakte dubbele overdekking. Het bewijs houdt zorgvuldig rekening met Koszul-tekenen die voortvloeien uit de niet-commutatieve aard van het tensorproduct van onevenweg-gegradueerde algebra's.

Belangrijkste Bijdragen en Resultaten

• Stelling A (Hoofdequivalentie): Het artikel vestigt een equivalentie tussen de afgeleide categorie van een vertakte dubbele overdekking $\tilde{X} = \{y^2 = f\} \subset \text{Tot}(L)$ en de categorie van matrixfactorisaties op de totale ruimte van de duale lijnbundel $\text{Tot}(L^{-1})$ met een vezelgewijze kwadratische potentiaal.
  $$MF(\text{Tot}(L^{-1}), fq^2) \simeq D^b(\tilde{X})$$
  Hier wordt de vezelcoördinaat $q$ een oneven graad toegewezen, waardoor de potentiaal $fq^2$ een totale graad van 2 krijgt. Dit resultaat globaliseert de puntsgewijze equivalentie $MF_{|q|=1}(\mathbb{A}^1, q^2) \simeq D^b(2 \text{ pts})$.

• Corollarium B (Orbifold-versie): Een analoge equivalentie wordt bewezen voor de bijbehorende wortelstapel (stapelkwotiënt):
  $$MF([\text{Tot}(L^{-1})/\mathbb{Z}_2], fq^2) \simeq D^b(\sqrt{f}/X)$$
  Dit blijft binnen het domein van evenweg-gegradueerde matrixfactorisaties, aangezien de $\mathbb{Z}_2$-actie op de quotiëntstapel de oneven gradatie trivialiseert.

• Oplossing van het "Paradox" van Iteratie: Het artikel verduidelijkt waarom het herhaald toepassen van de constructie van de dubbele overdekking niet triviaal leidt tot een contradictie met Knörrer-periodiciteit met even rang. Bij het itereren van de constructie op een onevenweg-gegradueerde basis wordt de resulterende algebra niet-commutatief (specifiek, een Clifford-algebra). Deze niet-commutatieve algebra's zijn Morita-triviaal, waardoor de schijnbare paradox wordt opgelost dat een geïtereerde dubbele overdekking (niet-triviaal) equivalent zou moeten zijn aan een even stabilisatie (triviaal).

• Toepassingen op Spiegelsymmetrie en Oplossingen:

  • Spiegelsymmetrie: Het kader past natuurlijk 1-dimensionale voorbeelden van spiegelsymmetrie aan die orbifolds en ingepakte Fukaya-categorieën betreffen, waarbij oneven gradaties voortkomen uit lijnvelden op orbifoldpunten.
  • Orlov-type Equivalenties: Het resultaat biedt een dimensionale reductie van Orlovs stelling voor dubbele overdekkingen, waarbij de afgeleide categorie van een Fano vertakte dubbele overdekking wordt gerelateerd aan matrixfactorisaties op een affiene orbifold.
  • Categorische Oplossingen: Het artikel past de stelling toe om categorische oplossingen van singulariteiten (bijv. $A_2$- en $A_3$-krommesingulariteiten) te construeren en te analyseren via partiële compactificaties van LG-modellen. Het toont aan hoe kernsubcategorieën van deze oplossingen kunnen worden berekend met de gevestigde equivalenties, wat overeenkomt met resultaten uit andere constructies (bijv. Kuznetsov, Kalck).
  • Exoflops: De theorie wordt gebruikt om "exoflops" (fenomenen waarbij oplossingen van singulariteiten corresponderen met partiële compactificaties van LG-modellen) te herinterpreteren in de context van oneven periodiciteit, en laat zien hoe de flop kan worden gerealiseerd via GIT-variatie zonder orbifoldstructuren.

Betekenis en Aanspraken
De auteur stelt dat de primaire betekenis van dit werk het bieden is van een rigoureuze globale uitspraak voor kwadratische vormen van rang één die oneven gradueringsdata vereist. Het artikel betoogt dat bestaande benaderingen van gegradueerde matrixfactorisaties ontoereikend zijn voor dit doel omdat ze super-commutativiteit en even splitsing veronderstellen. Door de theorie van onevenweg-gegradueerde matrixfactorisaties te ontwikkelen en de equivalentie met vertakte dubbele overdekkingen te bewijzen, doet het artikel het volgende:

1. Het verenigt de puntsgewijze equivalentie (1.1) met globale geometrische constructies.
2. Het biedt een nieuw instrument voor het begrijpen van matrixfactorisaties met superpotentialen van de vorm $fq^2$.
3. Het biedt een geometrische interpretatie voor homologische projectieve dualiteit in de context van diagonale kwadrische families en singuliere dubbele overdekkingen.
4. Het verduidelijkt de relatie tussen geïtereerde dubbele overdekkingen en Clifford-algebra's, en lost mogelijke verwarring op met betrekking tot de iteratie van Knörrer-periodiciteit.

Het artikel blijft bescheiden wat toekomstige implicaties betreft, en merkt op dat hoewel de resultaten verbanden suggereren met homologische spiegelsymmetrie voor singuliere dubbele overdekkingen en minimale categorische oplossingen, dit gebieden zijn voor verder onderzoek en geen gevestigde conclusies van het huidige werk. Het werk wordt gepresenteerd als een fundamentele stap in het formaliseren van de "oneven" kant van Knörrer-periodiciteit.