The holonomy Lie $\infty$-groupoid of a singular foliation I

Il lavoro costruisce un gruppoide Lie superiore finito-dimensionale che integra una foliazione singolare ammettente una risoluzione geometrica, utilizzando ricorsivamente le bi-sommersioni di Androulidakis e Skandalis per ottenere una varietà simpliciale Kan la cui 1-troncatura corrisponde al gruppoide di olonomia originale.

L'essenziale

Immagina di dover descrivere il traffico in una grande città. In una città "normale" (che i matematici chiamano foliazione regolare), le strade sono tutte parallele, ben segnate e di larghezza costante. Puoi disegnare una mappa semplice: ogni strada è una linea retta, e le auto viaggiano senza problemi.

Ma ora immagina una città caotica, piena di vicoli ciechi, piazze che si restringono in un punto, strade che diventano sentieri e poi spariscono, e incroci dove il traffico si ferma o esplode. Questa è una foliazione singolare. È un sistema complesso dove le "strade" (le foglie) cambiano dimensione e forma in modo imprevedibile.

Il problema storico per i matematici è stato: "Come possiamo costruire una mappa perfetta (un gruppoide) per questa città caotica?"
Finora, la risposta era: "Non possiamo farcela con una mappa semplice e finita. La mappa diventa infinitamente complessa o si rompe."

Questo articolo, scritto da Camille Laurent-Gengoux e Ruben Louis, dice: "Aspetta, abbiamo trovato un nuovo modo per costruire la mappa!"

Ecco come funziona, spiegato con metafore semplici:

1. Il Problema: La Città che Cambia Forma

Immagina che la tua città non sia fatta di strade fisse, ma di un fluido che cambia forma. A volte è un fiume largo, a volte un ruscello, a volte una pozza.
I matematici volevano costruire un "super-gruppo" (un Lie 8-groupoid) che descrivesse come ci si sposta in questa città, tenendo conto di tutte le possibili deviazioni, incroci e cambi di direzione.
Il problema è che le mappe tradizionali falliscono perché la città ha "singolarità" (punti dove la geometria si rompe).

2. La Soluzione: I "Ponte-Doppio" (Bi-submersions)

Gli autori usano uno strumento inventato da altri matematici (Androulidakis e Skandalis) chiamato bi-submersion.
Immagina la bi-submersione come un ponte doppio.

• Da un lato del ponte c'è la tua città (il punto di partenza).
• Dall'altro lato c'è un'altra vista della stessa città (il punto di arrivo).
• Il ponte stesso è una struttura che ti permette di vedere come le strade si collegano, anche se la città è caotica.

Invece di cercare di disegnare l'intera città in un unico foglio gigante (che sarebbe troppo grande e complesso), costruiscono una serie di ponti locali che si incastrano perfettamente.

3. La Torre di Mattoni (La "Torre di Bi-submersions")

Il trucco geniale di questo articolo è costruire una torre di questi ponti.

• Piano 0: È la città stessa (il punto di partenza).
• Piano 1: Costruisci un ponte che collega due punti della città. Questo ponte è la tua "mappa di movimento".
• Piano 2: Ora, come fai a sapere se due percorsi diversi sul Ponte 1 sono in realtà lo stesso percorso? Costruisci un "ponte tra i ponti" (Piano 2) che collega le diverse possibilità.
• Piano 3: E se ci sono dubbi su come collegare i ponti del Piano 2? Costruisci un "ponte tra i ponti dei ponti" (Piano 3).

Questa torre continua a salire. Ogni livello risolve i dubbi del livello precedente.
La cosa incredibile è che, anche se la città è caotica, ogni piano della torre ha una dimensione finita e precisa. Non diventa infinito! È come se avessi una scala a pioli che, invece di allargarsi all'infinito, mantiene una larghezza costante e gestibile.

4. Il Risultato: La "Mappa Kan" (Para-Lie 8-groupoid)

Alla fine, questa torre di ponti forma una struttura chiamata Para-Lie 8-groupoid.

• "8" (Infinito): Significa che la torre può essere alta quanto vuoi per descrivere ogni dettaglio del caos.
• "Para": Significa che è una struttura "quasi perfetta". Manca un piccolo dettaglio matematico (le regole di simmetria non sono perfette come in una torre di Lego standard), ma è abbastanza buona per funzionare.
• "Kan": È una garanzia matematica che la mappa è "riempibile". Se hai un pezzo di puzzle incompleto (un angolo mancante), la struttura ti assicura che esiste sempre un pezzo che lo completa.

Perché è importante?

Prima di questo lavoro, pensavamo che per descrivere queste città caotiche avremmo bisogno di matematica infinita e complessa.
Questo articolo dice: "No, puoi costruire una mappa finita, solida e comprensibile."

È come se avessimo scoperto che, anche in una città dove le strade si spezzano e si ricompongono, possiamo costruire un sistema di navigazione GPS che funziona perfettamente, usando solo un numero finito di "livelli" di mappe sovrapposte.

In sintesi

• Il Caos: Le foliazioni singolari sono sistemi complessi che cambiano forma.
• Il Vecchio Problema: Non si riusciva a creare una mappa matematica finita per descriverli.
• La Nuova Idea: Costruire una torre di "ponti doppi" (bi-submersions) che si incastrano.
• Il Risultato: Una mappa finita, strutturata e potente (il holonomy para-Lie 8-groupoid) che risolve il caos e ci permette di navigare in questi sistemi complessi con precisione.

È un passo avanti enorme per capire come funziona la geometria del mondo reale, che è spesso piena di irregolarità e non di linee perfette.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "The holonomy Lie 8-groupoid of a singular foliation I" di Camille Laurent-Gengoux e Ruben Louis, presentato in italiano.

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto della geometria differenziale e della teoria dei foliazioni singolari. Il problema centrale affrontato è la seguente domanda (Question 0.1 nel testo):

Dato un foliazione singolare $\mathcal{F}$ su una varietà $M$, esiste un gruppoide di Lie $G \to M$ il cui algebroido di Lie associato $A_G$ induce $\mathcal{F}$ (cioè, l'immagine dell'ancora $\rho(\Gamma(A_G))$ è esattamente $\mathcal{F}$)?

Mentre la risposta è affermativa per le foliazioni regolari o per le foliazioni singolari di Debord (moduli proiettivi), è generalmente negativa o aperta per foliazioni singolari più generali, specialmente quando il numero minimo di generatori locali non è globalmente limitato o quando l'algebroido di Lie minimo non esiste.

Per aggirare l'ostacolo dell'esistenza di un gruppoide di Lie classico (dimensione finita e struttura liscia), gli autori riformulano la domanda (Question 0.2) cercando un $\infty$-gruppoide di Lie (Lie $\infty$-groupoid), ovvero una varietà simpliciale Kan finita, la cui differenziazione sia un $\infty$-algebroido di Lie che induce la foliazione singolare.

2. Metodologia e Strumenti Chiave

La metodologia si basa su un approccio ricorsivo che utilizza strumenti della geometria non commutativa, in particolare il concetto di bi-sommersione (bi-submersion), introdotto originariamente da Androulidakis e Skandalis.

• Ipotesi di Partenza: Si assume che la foliazione singolare $\mathcal{F}$ ammetta una risoluzione geometrica. Questo significa che esiste un complesso ancorato di fibrati vettoriali $(E_\bullet, d, \rho)$ tale che la sequenza di fasci di sezioni sia esatta:
  $$\cdots \to \Gamma(E_{-2}) \xrightarrow{d} \Gamma(E_{-1}) \xrightarrow{\rho} \mathcal{F} \to 0$$
  Questa classe include le foliazioni singolari reali analitiche e olomorfe.

• Strumento Principale: Bi-sommersioni:
  Una bi-sommersione tra due foliazioni singolari $(M, \mathcal{F}_M)$ e $(N, \mathcal{F}_N)$ è una varietà $W$ dotata di due subimmersioni $p: W \to M$ e $q: W \to N$ che soddisfano condizioni di compatibilità con le foliazioni (i pull-back delle foliazioni coincidono e sono generati dai campi vettoriali verticali rispetto a $p$ e $q$).
  Gli autori estendono questo concetto per costruire strutture di ordine superiore.

• Torre di Bi-sommersioni:
  Utilizzando un risultato precedente (Lou23), gli autori costruiscono una "torre" di bi-sommersioni ricorsiva. Partendo da una risoluzione geometrica, si costruisce una sequenza di varietà $T_i$ e mappe che collegano le foliazioni verticali (bi-vertical) di ogni livello.

• Costruzione Ricorsiva:
  L'integrazione avviene costruendo una varietà simpliciale $K_\bullet$ passo dopo passo:

  1. $K_0 = M$.
  2. $K_1$ è una bi-sommersione su $\mathcal{F}$ (costruita come unione disgiunta di bi-sommersioni di tipo "path-holonomy" e ridotta a dimensione costante tramite il Teorema D.17).
  3. $K_2$ è una relazione totale (total relation) tra le "cornici" (horn spaces) $\Lambda^2_\ell K$ e $K_1$, garantendo che le cornici siano equivalenti a $K_2$.
  4. Si procede ricorsivamente per $K_n$, utilizzando il Teorema D.13 per garantire l'esistenza di relazioni totali e il Teorema D.17 per garantire che le varietà abbiano dimensione finita e costante.

3. Contributi Chiave e Risultati

Il risultato principale è il Teorema 2.3, che afferma:

Ogni foliazione singolare $\mathcal{F}$ su una varietà $M$ che ammette una risoluzione geometrica ammette un holonomy para-Lie $\infty$-groupoid $K_\bullet(\mathcal{F})$.

I punti salienti di questo risultato sono:

1. Dimensione Finita: A differenza di altre costruzioni (come quelle di Širaň e Ševera che producono varietà di Banach infinite-dimensionali), questo oggetto è una varietà simpliciale finita-dimensionale. La dimensione di ogni componente $K_k$ è data esplicitamente da:
   $$\dim K_k = \dim M + \sum_{i=1}^k \binom{k}{i} \text{rk}(E_{-i})$$
   dove $\text{rk}(E_{-i})$ sono i ranghi dei fibrati nella risoluzione geometrica.

2. Struttura "Para-Simpliciale":
   L'oggetto costruito non è un vero e proprio gruppoide di Lie simpliciale completo perché le relazioni di degenerazione ($s_i \circ s_j = s_{j+1} \circ s_i$) non sono soddisfatte in generale. Tuttavia, soddisfa la condizione di Kan (le proiezioni sulle cornici sono subimmersioni suriettive). Gli autori lo chiamano para-Lie $\infty$-groupoid.

   • La condizione di Kan è sufficiente per definire l'integrazione e la struttura omotopica.
   • La 1-troncatura di questo oggetto è esattamente il gruppoide di holonomia di Androulidakis-Skandalis (che è un gruppoide topologico, non necessariamente di Lie).

3. Unicità e Universalità:
   Il complesso tangente di questo $\infty$-gruppoide è isomorfo alla risoluzione geometrica di partenza. Di conseguenza, la differenziazione di questo gruppoide restituisce un Lie $\infty$-algebroido universale di $\mathcal{F}$, che è unico a meno di equivalenza omotopica (come stabilito in lavori precedenti LLS20, LGL22).

4. Costruzione Globale:
   Il metodo fornisce un oggetto globale, non solo locale, risolvendo il problema dell'integrazione per una vasta classe di foliazioni singolari.

4. Significato e Implicazioni

• Risoluzione del Problema di Integrazione: Il paper dimostra che, anche quando non esiste un gruppoide di Lie classico che integra una foliazione singolare, esiste sempre un oggetto di ordine superiore (Lie $\infty$-groupoid) finito-dimensionale che lo fa, purché la foliazione ammetta una risoluzione geometrica.
• Nuova Prospettiva sulla Geometria Non Commutativa: L'uso delle bi-sommersioni, originariamente introdotte per definire l'algebra di $C^*$ associata a una foliazione, viene esteso alla costruzione di strutture di ordine superiore, collegando la geometria non commutativa alla teoria degli $\infty$-grupoidi.
• Generalizzazione: Questo lavoro generalizza la costruzione del gruppoide di holonomia di Androulidakis-Skandalis (che è il caso $n=1$) a tutti gli ordini $n$, fornendo una struttura simpliciale completa che codifica l'omotopia della foliazione.
• Limiti e Sviluppi Futuri: L'articolo nota che la struttura è "para-simpliciale" a causa delle degenerazioni non perfettamente compatibili. Tuttavia, la condizione di Kan è preservata, il che è sufficiente per la maggior parte delle applicazioni geometriche e fisiche (come la quantizzazione o la teoria dei campi). Il lavoro apre la strada alla costruzione di oggetti simili per algebroidi di Lie arbitrari che non formano necessariamente una risoluzione geometrica.

In sintesi, questo paper fornisce un metodo costruttivo e rigoroso per integrare foliazioni singolari in oggetti geometrici finiti-dimensionali di ordine superiore, risolvendo un problema aperto nella teoria delle foliazioni e aprendo nuove strade nello studio degli $\infty$-grupoidi di Lie.