Equivariant Contact Darboux Quotients and Perversely Categorified Legendrian Correspondences

Technische Samenvatting: Equivariante Contact Darboux-quotiënten en Perverse Categorificatie van Legendriaanse Correspondenties

Probleemstelling
Het artikel behandelt de uitdaging om enumeratieve invarianten te definiëren en categorische structuren te lineariseren binnen de afgeleide contactgeometrie. Hoewel eerder werk heeft vastgesteld dat verschoven contact afgeleide Artin-stacks gladde Darboux-atlassen bezitten, zijn deze lokale modellen onvoldoende voor het berekenen van equivariante étale vanishing cycles, die noodzakelijk zijn voor enumeratieve theorieën (zoals Donaldson-Thomas invarianten). Voorts missen de globale niet-lineaire 2-categorieën van Legendriaanse correspondenties, die eerder door de auteur zijn geconstrueerd, een gelineariseerd kader dat de afgeleide contact moduli-ruimten verbindt met microlocale sheaf-theorie. De kern van de moeilijkheid ligt in de "generieke topologische acycliciteit" van contactruimten als gevolg van de structurele $\mathbb{G}_m$-actie (Reeb-flow), die ervoor zorgt dat naïeve topologische Euler-karakteristieken verdwijnen.

Methodologie
De auteur maakt gebruik van een combinatie van afgeleide algebraïsche geometrie, equivariante geometrie en $\ell$-adische sheaf-theorie. De methodologie verloopt via de volgende stappen:

1. Equivariante Lokale Modellen: Het artikel vestigt een Equivariante Contact Darboux-stelling. Door de afgeleide symplectificatie van een $-1$-verschoven contact stack te benutten en Kreschs stelling over stratificatie door quotient stacks toe te passen, verfijnt de auteur de lokale gladde atlas tot een geometrische quotient stack $[\Delta_{\text{loc}}(s)/G]$. Hierbij is $\Delta_{\text{loc}}(s)$ de afgeleide discriminant locus geassocieerd met een relatieve sectie $s$, en $G$ is een reductieve stabilisatorgroep.
2. Descent van Perverse Sheaves: Met behulp van het BBDJS (Beilinson-Bernstein-Deligne-Gabber-Joyce-Schürmann) minimale model voor vanishing cycles op de afgeleide symplectificatie, voert de auteur de descent van deze structuren naar de contact stack uit. Deze descent rust op de Verdier-specialisatie-equivalentie voor monodromische sheaves. De $\mathbb{G}_m$-actie op de symplectificatie induceert een tamme geometrische monodromie-automorfisme $T$ op de resulterende $\ell$-adische perverse sheaf.
3. Linearisatie van Categorieën: Het artikel formuleert een contact-analoog van de conjectuur van Joyce om de niet-lineaire Legendriaanse categorieën te lineariseren. Door gebruik te maken van de zes-functor formalisme voor $\ell$-adische sheaves en Fourier-Mukai pull-push functoren, construeert de auteur geliniariseerde 2-categorieën waarbij 2-morfismen worden gedefinieerd door de étale hypercohomologie van monodromische perverse sheaves.
4. Invarianten via Trace-formules: Om het probleem van topologische acycliciteit op te lossen, definieert het artikel enumeratieve invarianten met behulp van de $\ell$-adische Grothendieck-Lefschetz trace van de getordeerde monodromie-operator $\tau$ werkend op de perverse sheaf van vanishing cycles. Dit leidt tot de definitie van een contact Behrend-functie.

Kernbijdragen en Resultaten

• Stelling 1.1 (Equivariante Contact Darboux-stelling): Bewijst dat elke $-1$-verschoven contact afgeleide Artin stack over een algebraisch gesloten veld $K$ van karakter nul een gladde atlas bezit door een contact Darboux schema $\text{Spec}(A) \simeq \Delta_{\text{loc}}(s)$. In de aanwezigheid van reductieve stabilisatoren $G$, is de stack lokaal equivalent in de gladde topologie aan de geometrische quotient stack $[\Delta_{\text{loc}}(s)/G]$.
• Stelling 1.2 (Monodromische $\ell$-adische Perverse Sheaves): Stelt vast dat elke georiënteerde $-1$-verschoven contact afgeleide Artin stack een $\ell$-adische perverse sheaf $P_Z$ bezit, uitgerust met een tamme geometrische monodromie-automorfisme $T$. Deze structuur wordt verkregen door de BBDJS vanishing cycles van de symplectificatie te descenderen.
• Stelling 1.3 (Categorified Legendrian Category): Construeert een geliniariseerde 2-categorie $\mathcal{LF}_c(X)$ voor een $1$-verschoven contact stack $X$. De 1-morfismen zijn proper georiënteerde Legendriaanse correspondenties, en de 2-morfismen worden gegeven door de étale hypercohomologie van monodromische perverse sheaves op afgeleide intersecties. Een globale gecategoriseerde lineaire zwakke 2-categorie $\mathcal{LLeg}_0$ wordt eveneens geconstrueerd voor $0$-verschoven contact stacks.
• Stelling 7.2 ($\ell$-adische Contact Topologische Integratie): Biedt een formule voor de contact Donaldson-Thomas (DT) invariant als de $\ell$-adische topologische integratie van de contact Behrend-functie $\nu^{\text{contact}}_Z$. Dit lost het verdwijnen van topologische invarianten op door strata te wegen met de trace van de monodromie-operator.
• Computationele Voorbeelden: Het artikel berekent de contact Behrend-functie voor $A_k$-singulariteiten en niet-degeneratieve kwadratische singulariteiten. In beide gevallen wordt de lokale contact multipliciteit gevonden te zijn gelijk aan 1, wat contrasteert met de klassieke Behrend-functie waarden (bijv. $k$ voor $A_k$), wat aantoont hoe de alternerende trace van cyclische monodromie bijdragen van multi-sheeted branches wegcijfert.

Betekenis en Claims
Het artikel claimt de obstructie voor het definiëren van enumeratieve invarianten in afgeleide contactgeometrie op te lossen door equivariante lokale modellen en een monodromische perverse sheaf-formalisme te introduceren. Door de Legendriaanse categorieën te lineariseren, verbindt het werk afgeleide contact moduli-ruimten met microlocale sheaf-theorie, waarmee een "Contact-analoog van de conjectuur van Joyce" wordt gerealiseerd.

De auteur stelt dat dit kader het mogelijk maakt om afgeleide enumeratieve invarianten te extraheren via de $\ell$-adische Grothendieck-Lefschetz trace, waardoor de inherente generieke topologische acycliciteit van contactruimten effectief wordt omzeild. De resultaten leggen de basis voor toekomstige ontwikkelingen in motieve contact DT-invarianten, Cohomological Hall Algebras (CoHAs), en een potentiële "Contact Homological Mirror Symmetry" via een Contact Nadler-Zaslow correspondentie. Het artikel positioneert deze resultaten als de noodzakelijke geometrische en cohomologische fundamenten voor een afgeleide Symplectic Field Theory (SFT) geformuleerd in algebraïsche termen.