Transversal unfoldings of derived foliations

Sintesi Tecnica: Svolgimenti Trasversali di Fogliazioni Derivate

Enunciato del Problema
Il saggio affronta il problema del controllo del trasporto trasversale di fogliazioni derivate relative lungo uno spazio di parametri. Mentre le fogliazioni derivate, introdotte da Toën e Vezzosi, forniscono un potenziamento homotopico delle fogliazioni singolari tramite algebre di de Rham miste graduate, il comportamento di queste strutture sotto deformazione richiede un quadro derivato preciso. Nello specifico, l'autore distingue tra una deformazione generale (dove la struttura leafwise cambia con un parametro) e uno svolgimento (unfolding). Uno svolgimento è definito come una deformazione trasversale integrabile in cui le direzioni del parametro si sollevano nel totale spazio come simmetrie infinitesimali piatte. La sfida centrale consiste nell'identificare l'oggetto derivato che classifica tali svolgimenti, in particolare in presenza di singolarità e azioni non effettive (dove esistono stabilizzatori o isotropia centrale), e nello stabilire l'invarianza homotopica di tale classificazione indipendentemente da specifici modelli algebrici.

Metodologia
Il saggio sviluppa un formalismo basato su presentazioni di Chevalley–Eilenberg (CE) e algebra homotopica. La metodologia procede attraverso diverse fasi:

1. Modelli Stretti Affini: L'autore lavora inizialmente nel contesto affine stretto dove la fogliatura derivata relativa è presentata da un algebroide dg-Lie relativo, cofibrante e strettamente perfetto $\rho: \mathfrak{g} \to T_{A/B}$. In questo contesto, il "controllore trasversale" è costruito come l'algebroide dg-Lie delle derivazioni di primo ordine basiche di $\mathfrak{g}$ modulo le derivazioni interne.
2. Gestione della Non-Effettività: Quando la mappa di derivazione interna $\iota: \mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)$ non è iniettiva, il quoziente ordinario fallisce nel trattenere i dati dello stabilizzatore. Il saggio sostituisce il quoziente con un modulo incrociato (un algebroide $L_\infty$ a due termini) $Uder(\mathfrak{g}/B) = [\mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)]$, che agisce come quoziente homotopico.
3. Formulazione Intrinseca: Per garantire che i risultati siano indipendenti dalla scelta della presentazione CE, il saggio costruisce un "controllore misto graduato" intrinseco definito come il quoziente homotopico delle derivazioni miste graduate di peso zero dell'algebra di de Rham derivata $DR(F/S)$.
4. Descent e Globalizzazione: Utilizzando i hypercover e la teoria del descent per gli stack derivati, la classificazione affine locale viene estesa a un'affermazione globale. Il saggio stabilisce che la classificazione degli svolgimenti globali è equivalente allo spazio derivato delle splittature piatte del controllore intrinseco discendente.
5. Deformazione e Trasporto: Il saggio analizza la teoria della deformazione di un fissato svolgimento tramite un complesso di Maurer–Cartan e costruisce una connessione di Gauss–Manin per i cristalli linearizzati dalla fogliatura.

Contributi Chiave e Risultati

• Classificazione degli Svolgimenti: Il risultato primario (Teorema 5.6 per il caso affine effettivo e Teorema 7.5 per il caso non effettivo) stabilisce una bijezione (o equivalenza di groupoid derivati) tra svolgimenti trasversali stretti e splittature piatte del controllore trasversale.
  • Nel caso effettivo, gli svolgimenti sono classificati dalle splittature piatte dell'algebroide dg-Lie $uder(\mathfrak{g}/B) \to T_{B/k}$.
  • Nel caso non effettivo, gli svolgimenti sono classificati dallo spazio di mapping derivato di splittature superiori piatte del modulo incrociato $Uder(\mathfrak{g}/B)$.
• Invarianza Homotopica: Il Teorema 9.3 e il Corollario 9.4 provano che il controllore trasversale e la risultante classificazione sono indipendenti dalla scelta della presentazione CE. Il controllore intrinseco è identificato come il quoziente homotopico $[T_{F/S} \to D^{\text{gm}}_{\text{bas}}(DR(F/S))]$.
• Teorema di Descent Globale: Sotto ipotesi esplicite riguardanti la presentabilità CE e il descent dei controllori (Ipotesi 8.6), il Teorema 8.8 fornisce un'equivalenza globale: gli svolgimenti derivati trasversali di $F/S$ sono equivalenti allo spazio derivato delle splittature piatte del controllore discendente sopra l'algebroide tangente della base.
• Teoria degli Ostacoli: Il saggio identifica la classe di Atiyah–Kodaira–Spencer (Definizione 13.1) come l'ostacolo all'esistenza di una splittatura trasversale. La curvatura di una scelta di splittatura funge da ostacolo alla piattezza (Proposizione 13.4). Nel caso abeliano, l'esistenza di una splittatura piatta è governata da una classe di coomologia in $H^2(T_{B/k}, \ker(\text{ancora}))$ (Teorema 14.6).
• Forma Normale Splittata e Maurer–Cartan: Il saggio deriva una forma normale splittata per l'algebra di de Rham svolguta (Proposizione 15.3). La condizione affinché il differenziale misto totale abbia il quadrato nullo è mostrata essere l'equazione di Maurer–Cartan per il termine di derivata di Lie trasversale, generalizzando il classico termine di Suwa $h d\varepsilon$.
• Connessione di Gauss–Manin e Classi Caratteristiche: Per i cristalli coerentemente linearizzati rispetto a Cartan, il saggio costruisce una connessione di Gauss–Manin piatta (Teorema 10.6). Si mostra che tale connessione preserva la filtrazione di peso/Hodge linearizzata rispetto a Cartan (Proposizione 17.2) e che il carattere di Chern fogliato di tali cristalli è orizzontale (Proposizione 17.3).

Significatività e Rivendicazioni
Il saggio sostiene di fornire un quadro unificato e homotopicamente invariante per gli svolgimenti trasversali che assorbe ed estende le teorie classiche.

• Unificazione: La costruzione recupera i risultati classici per le fogliature lisce, gli algebroidi di Lie e le strutture logaritmiche, affrontando al contempo la geometria Poisson spostata (shifted Poisson) e gli spazi a foglie rappresentabili.
• Necessità Derivata: Il lavoro sottolinea che, per le fogliazioni derivate singolari, la classica troncatura è insufficiente. La struttura derivata (specificamente il differenziale misto graduato e il quoziente homotopico delle derivazioni) è necessaria per catturare correttamente l'integrabilità e le simmetrie trasversali, particolarmente in presenza di isotropia centrale dove i quozienti ordinari falliscono.
• Chiarezza Strutturale: Identificando il controllore trasversale come un particolare quoziente homotopico, il saggio chiarisce la natura geometrica degli svolgimenti come "deformazioni trasversali integrabili" dove le direzioni del parametro agiscono come simmetrie piatte.
• Limitazioni: Il teorema di descent globale è condizionato da specifiche ipotesi riguardanti la presentabilità CE e l'esistenza di pushforward derivati del controllore (Ipotesi 8.6). Il saggio non pretende di costruire una teoria di pushforward generale per tutti gli stack di algebroidi di Lie, ma isola i dati di descent specifici richiesti per questa classificazione.

L'autore nota che i risultati sono conseguenze derivate dalla classificazione, piuttosto che dati aggiuntivi, specificamente riguardo all'orizzontalità delle classi caratteristiche e l'esistenza della connessione di Gauss–Manin. Il lavoro funge da formalismo fondamentale per lo studio della teoria della deformazione delle fogliazioni derivate e dei loro invarianti coomologici associati.