Transversal unfoldings of derived foliations

Technische Samenvatting: Transversale Ontvouwingen van Afgeleide Foliaties

Probleemstelling
Het artikel behandelt het probleem van het controleren van het transversale transport van relatieve afgeleide foliaties langs een parameterruimte. Hoewel afgeleide foliaties, geïntroduceerd door Toën en Vezzosi, een homotopische verrijking bieden van singuliere foliaties via gegradeerde gemengde de Rham-algebra's, vereist het gedrag van deze structuren onder deformatie een precieze afgeleide context. Specifiek maakt de auteur onderscheid tussen een algemene deformatie (waarbij de bladwijze structuur verandert met een parameter) en een ontvouwing (unfolding). Een ontvouwing wordt gedefends als een integreerbare transversale deformatie waarbij de parameterrichtingen zichzelf naar de totale ruimte liften als vlakke infinitesimale symmetrieën. De centrale uitdaging is het identificeren van het afgeleide object dat dergelijke ontvouwingen classificeert, in het bijzonder in aanwezigheid van singulariteiten en niet-effectieve acties (waar stabilisatoren of centrale isotropie bestaan), en het vaststellen van de homotopische invariantie van deze classificatie, onafhankelijk van specifieke algebraïsche modellen.

Methodologie
Het artikel ontwikkelt een formalisme gebaseerd op Chevalley–Eilenberg (CE) presentaties en homotopische algebra. De methodologie verloopt via verschillende stadia:

1. Affiene Strakke Modellen: De auteur werkt eerst in de strakke affiene setting waar de relatieve afgeleide foliatie wordt gepresenteerd door een cofibrante, strikt perfecte relatieve dg-Lie-algebroid $\rho: \mathfrak{g} \to T_{A/B}$. In deze context wordt de "transversale controller" geconstrueerd als de dg-Lie algebra van basische eerste-orde afgeleiden van $\mathfrak{g}$ modulo inwendige afgeleiden.
2. Afhandeling van Niet-Effectiviteit: Wanneer de inwendige afleiding-afbeelding $\iota: \mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)$ niet injectief is, faalt de gewone quotient om de stabilisator-data te behouden. Het artikel vervangt de quotient door een gekruist module (een twee-term $L_\infty$-algebroid) $Uder(\mathfrak{g}/B) = [\mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)]$, die fungeert als de homotopische quotient.
3. Intrinsieke Formulering: Om te waarborgen dat de resultaten onafhankelijk zijn van de gekozen CE-presentatie, construeert het artikel een intrinsieke "gegradeerde gemengde controller" gedefinieerd als de homotopische quotient van gewicht-nul gegradeerde gemengde afgeleiden van de afgeleide de Rham-algebra $DR(F/S)$.
4. Descent en Globalisering: Gebruikmakend van hypercovers en descenttheorie voor afgeleide stacks, wordt de lokale affiene classificatie uitgebreid naar een globale uitspraak. Het artikel stelt vast dat de classificatie van globale ontvouwingen equivalent is aan de afgeleide ruimte van vlakke splitsingen van de gedescende intrinsieke controller.
5. Deformatie en Transport: Het artikel analyseert de deformatietheorie van een vaste ontvouwing via een Maurer–Cartan-complex en construeert een Gauss–Manin-verbinding voor kristallen die lineair worden gemaakt door de ontvouwing.

Kernbijdragen en Resultaten

• Classificatie van Ontvouwingen: Het primaire resultaat (Theorema 5.6 voor het effectieve affiene geval en Theorema 7.5 voor het niet-effectieve geval) vestigt een bijeenwerking (of equivalentie van afgeleide groïdoïden) tussen strikte transversale ontvouwingen en vlakke splitsingen van de transversale controller.
  • In het effectieve geval worden ontvouwingen geclassificeerd door vlakke splitsingen van de dg-Lie algebroid $uder(\mathfrak{g}/B) \to T_{B/k}$.
  • In het niet-effectieve geval worden ontvouwingen geclassificeerd door de afgeleide mapping-ruimte van vlakke hogere splitsingen van de gekruiste module $Uder(\mathfrak{g}/B)$.
• Homotopische Invariantie: Theorema 9.3 en Corolarium 9.4 bewijzen dat de transversale controller en de resulterende classificatie onafhankelijk zijn van de gekozen CE-presentatie. De intrinsieke controller wordt geïdentificeerd als de homotopische quotient $[T_{F/S} \to D^{\text{gm}}_{\text{bas}}(DR(F/S))]$.
• Global Descent Theorem: Onder expliciete hypothesen betreffende CE-presenteerbaarheid en de descent van controllers (Hypothese 8.6), biedt Theorema 8.8 een globale equivalentie: transversale afgeleide ontvouwingen van $F/S$ zijn equivalent aan de afgeleide ruimte van vlakke splitsingen van de gedescende controller over de basis-tangent algebroid.
• Obstructionstheorie: Het artikel identificeert de Atiyah–Kodaira–Spencer klasse (Definitie 13.1) als de obstructie voor het bestaan van een transversale splitting. De kromming van een gekozen splitting dient als de obstructie voor vlakheid (Proposition 13.4). In het abeliënse geval wordt het bestaan van een vlakke splitting bepaald door een cohomologieklasse in $H^2(T_{B/k}, \ker(\text{anchor}))$ (Theorema 14.6).
• Split Normaal Vorm en Maurer–Cartan: Het artikel leidt een split normale vorm af voor de ontvouwen de Rham-algebra (Proposition 15.3). De voorwaarde dat de totale gemengde differentiaal kwadraat nul is, wordt getoond te zijn de Maurer–Cartan vergelijking voor de transversale Lie-afgeleide term, wat de klassieke transversale term $h d\varepsilon$ van Suwa generaliseert.
• Gauss–Manin Verbinding en Karakteristieke Klassen: Voor coherent Cartan-lineair gemaakte kristallen construeert het artikel een vlakke Gauss–Manin-verbinding (Theorema 10.6). Er wordt aangetoond dat deze verbinding de coherente Cartan-lineaire gewichts/Hodge-filtratie behoudt (Proposition 17.2) en dat de gefoliëerde Chern-karakter van dergelijke kristallen horizontaal is (Proposition 17.3).

Betekenis en Claims
Het artikel beweert een verenigd, homotopisch invariant kader te bieden voor transversale ontvouwingen dat klassieke theorieën omvat en uitbreidt.

• Unificatie: De constructie herstelt klassieke resultaten voor gladde foliaties, Lie-algebroids, en logaritmische structuren, terwijl het ook shifted Poisson-geometrie en representabele bladruimtes adresseert.
• Noodzaak van de Afgeleide Structuur: Het werk benadrukt dat voor singuliere afgeleide foliaties de klassieke truncatie onvoldoende is. De afgeleide structuur (specifiek de gegradeerde gemengde differentiaal en de homotopische quotient van afgeleiden) is noodzakelijk om integrabiliteit en transversale symmetrieën correct te vatten, in het bijzonder bij de aanwezigheid van centrale isotropie waar gewone quotients falen.
• Structurele Helderheid: Door de transversale controller te identificeren als een specifieke homotopische quotient, verheldert het artikel de geometrische aard van ontvouwingen als "integreerbare transversale deformaties" waarbij de parameterrichtingen fungeren als vlakke symmetrieën.
• Beperkingen: Het globale descent theorem is voorwaardelijk aan specifieke hypothesen betreffende CE-presenteerbaarheid en het bestaan van afgeleide pushforwards van de controller (Hypothese 8.6). Het artikel claimt geen algemene pushforward-theorie te construeren voor alle Lie-algebroid stacks, maar isoleert de specifieke descent-data die nodig zijn voor deze classificatie.

De auteur merkt op dat de resultaten afgeleide consequenties zijn van de classificatietheorema, in plaats van extra data, specifal met betrekking tot de horizontaliteit van karakteristieke klassen en het bestaan van de Gauss–Manin-verbinding. Het werk dient als een fundamenteel formalisme voor het bestuderen van de deformatietheorie van afgeleide foliaties en hun geassocieerde cohomologische invarianten.