Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem

Technische Samenvatting: Equivariante Quotiënten van Afgeleide Symplectische Ruimten en het Stelling van Legendriaanse Snijpunten

Probleemstelling
De klassieke contactmeetkunde rust op een fundamenteel transversaliteitslemma: een Liouville-vectorveld op een symplectische variëteit induceert een contactstructuur op elke hypersfeer die transversaal is aan dat veld. Deze constructie is afhankelijk van gladde lokale flows, punt-sets transversaliteit en het bestaan van een transversale hypersfeer. Echter, deze klassieke methoden falen in de context van algebraïsche moduli-problemen, waar ruimten vaak singulariteiten, nilpotentie en niet-triviale automorfismegroepen vertonen, waardoor transversaliteitsvoorwaarden onbereikbaar of slecht gedefinieerd worden. Bovendien lijden snijproblemen in de algebraïsche meetkunde vaak aan vergelijkbare pathologieën, waarbij vezelproducten de juiste homologische dimensie of structuur missen. Het artikel adresseert de noodzaak om het klassieke transversaliteitslemma en de bijbehorende Legendriaanse snijpuntentheorie te vertalen naar het raamwerk van Afgeleide Algebraïsche Meetkunde (DAG), waarbij niet-generieke situaties (zoals niet-transversale snijpunten en "slechte" quotiënten) worden behandeld via homotopische en hoger-categoriale methoden.

Methodologie
De auteurs maken gebruik van de machinerie van Afgeleide Algebraïsche Meetkunde, specifiek het benutten van stabiele $\infty$-categorieën, afgeleide commutatieve algebra's (cdga's) en verschoven symplectische/contactstructuren. De fundamentele methodologische verschuiving bestaat uit het vervangen van het klassieke Liouville-vectorveld door een $G_m$-actie met gewicht 1 op een afgeleide symplectische stack.

1. Afgeleide Transversaliteit via Quotiënten: In plaats van een transversale hypersfeer te construeren, maakt het artikel gebruik van de geometrie van $G_m$-torsoren en symplectificatie. Het fundamentele vectorveld van een $G_m$-actie met gewicht 1 op een $n$-verschoven symplectische afgeleide Artin-stack $\tilde{X}$ vervangt het Liouville-vectorveld. De quotiënt-stack $[\tilde{X}/G_m]$ blijkt een contactstructuur te erven, wat effectief de noodzaak van een transversale doorsnede omzeilt door de "nulstellen" van het vectorveld op te nemen in de stabilisatorstructuur van de stack.
2. Legendriaanse Snijpunten via Symplectificatie: Om het probleem van Legendriaanse snijpunten aan te pakken, stellen de auteurs een woordenboek op tussen Legendriaanse structuren in contactmoduli en Lagrangiaanse structuren in symplectische moduli. Dit wordt bereikt via $G_m$-equivariante liften langs de symplectificatie-projectie $p: \tilde{X} \to X$. Door Legendriaanse morfismen te liften naar de symplectische overdekking, wordt het probleem getransformeerd tot een equivariant Lagrangiaans snijpuntprobleem.
3. $\infty$-Categorische Descent: De bewijzen vertrouwen zwaar op $\infty$-categorische operaties, waaronder basisverandering, exacte driehoeken van perfecte complexen en descent-cubes. De constructie van de contactstructuur op het snijpunt houdt in dat de transgressie van isotrope structuren wordt geanalyseerd en dat niet-degeneratie wordt geverifieerd via de stabiliteit van vezelrijen in de afgeleide categorie.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Afgeleide Analogon van Klassieke Transversaliteit): Het artikel bewijst dat, gegeven een $n$-verschoven symplectische afgeleide Artin-stack $(\tilde{X}, \omega_{\tilde{X}})$ uitgerust met een $G_m$-actie met gewicht 1, de stack-quotiënt $[\tilde{X}/G_m]$ een $n$-verschoven contactstructuur erft. Dit resultaat formaliseert afgeleide symplectificatie en toont aan dat het nemen van het quotiënt van een homogene symplectische ruimte symplectische data doet afdalen naar een contactstructuur zonder dat een transversale hypersfeer vereist is. Het Liouville-vectorveld wordt geïdentificeerd met het fundamentele vectorveld van de $G_m$-actie.
• Stelling 1.2 (Afgeleide Stelling van Legendriaanse Snijpunten): De auteurs bewijzen dat het snijpunt van twee Legendriaanse morfismen $f_1: L_1 \to X$ en $f_2: L_2 \to X$ in een $n$-verschoven contact afgeleide Artin-stack een $(n-1)$-verschoven contactstructuur toelaat. Dit wordt vastgesteld door het snijpunt te liften naar het symplectische niveau (waar het een Lagrangiaans snijpunt wordt), de stelling voor verschoven symplectische snijpunten toe te passen, en de resulterende structuur terug te doen afdalen naar de contact-quotiënt.
• Corollarium 1.3 (Afgeleide Discriminantloci): Als directe toepassing wordt aangetoond dat de afgeleide discriminantlocus $\Delta_{loc}(f)$ van een reguliere functie $f$ op een glad $K$-schema $L$ een $(-1)$-verschoven contactstructuur draagt. Deze locus wordt gedefinieerd als het afgeleide vezelproduct van de Legendriaanse inbedding van $L$ in de 1-jet-ruimte en de nul-sectie.
• Toepassingen op Moduli-theorie: Het artikel biedt concrete voorbeelden van afgeleide stacks met verschoven contactstructuren:
  • Projectieve Higgs-bundels: De afgeleide moduli-stack van projectieve Higgs-bundels, gedefinieerd als het quotiënt van de 1-verschoven cotangent-stack van principale bundels door de schaalactie, staat een canonieke 1-verschoven contactstructuur toe.
  • $\ell$-adische lokale systemen: De formele stack-quotiënt van de afgeleide moduli-stack van geometrische $\ell$-adische lokale systemen door een groepsschema dat wordt geco-representeerd door $K[x]/(x^{q^d}-1)$, erft een $(2-2d)$-verschoven contactstructuur, voortkomend uit de arithmetische dilatie geïnduceerd door de geometrische Frobenius.
  • Lie 2-groepen: De afgeleide stack-quotiënt $P(T^*[2]BG)$ draagt een canonieke 2-verschoven contactstructuur. Bovendien draagt het afgeleide vezelproduct van twee Legendrienen geassocieerd met ondergroepen $H_1, H_2 \subset G$ een canonieke 1-verschoven contactstructuur.

Betekenis en Claims
Het artikel claimt succesvol het klassieke transversaliteitslemma te hebben vertaald naar de afgeleide setting, waardoor een robuust raamwerk wordt geboden voor het definiëren van contactstructuren op moduli-ruimten waar klassieke transversaliteit faalt. Door punt-sets topologische argumenten te vervangen door stabiele $\infty$-categorische operaties, lossen de auteurs het probleem van "slechte" quotiënten en niet-transversale snijpunten op.

De betekenis van het werk ligt in het vermogen om:

1. Contactmeetkunde te Generaliseren: Het breidt contactmeetkunde uit tot oneven-dimensionale moduli-ruimten en singuliere omgevingen via verschoven structuren, waarbij $G_m$-acties worden gebruikt als het algebraïsche proxy voor Liouville-flows.
2. Snijproblemen op te Lossen: Het biedt een definitief bevestigend antwoord op het probleem van Legendriaanse snijpunten in afgeleide meetkunde, en koppelt dit aan de goed begrepen theorie van Lagrangiaanse snijpunten via symplectificatie.
3. Moduli-problemen te Unificeren: De resultaten bieden een unificerende geometrische grondslag voor diverse moduli-problemen, waaronder projectieve Higgs-bundels, $\ell$-adische lokale systemen en Lie 2-groepen, en voorzien ze van natuurlijke verschoven contactstructuren die eerder ontoegankelijk of ongedefinieerd waren binnen het klassieke raamwerk.

De auteurs benadrukken dat hun aanpak de noodzaak van lokale analytische argumenten of globale doorsneden vermijdt, en in plaats daarvan vertrouwt op de intrinsieke homologische eigenschappen van afgeleide stacks en de descent van equivariante data. Dit maakt de constructie van contactstructuren op ruimten mogelijk die inherent singulier zijn of niet-triviale stabilisatoren bezitten, waardoor het toepassingsgebied van contactmeetkunde binnen de algebraïsche meetkunde wordt uitgebreid.