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

In dit artikel wordt onder de voorwaarde dat een singulier foliatie een geometrische resolutie toelaat, een eindig-dimensionale hogere Lie-groepoid geconstrueerd die het foliatie integreert en waarvan de 1-truncatie de holonomie-groepoid van Androulidakis en Skandalis is.

De kern

Hier is een uitleg van het paper "The holonomy Lie 8-groupoid of a singular foliation I" in eenvoudig Nederlands, met behulp van creatieve metaforen.

De Kern: Een Kaart voor een Verwarde Stad

Stel je een stad voor (de wiskundige ruimte) waar de wegen niet overal even breed zijn.

• In sommige straten kun je overal naartoe rijden (dit zijn de reguliere foliaties).
• Maar in deze stad zijn er ook plekken waar de wegen plotseling eindigen, of waar ze samenkomen tot een enkel punt, of waar ze in een wirwar van kleine steegjes verdwijnen. Je kunt hier niet zomaar een kaart maken die overal hetzelfde werkt. Dit noemen wiskundigen een singuliere foliatie.

Het probleem is: hoe maak je een goede "reisgids" (een wiskundig object) voor zo'n chaotische stad? De oude methodes faalden vaak omdat ze probeerden de stad te beschrijven met één enkel, groot, glad object, wat onmogelijk is als de straten zo verschillend zijn.

De Oplossing: Een Stapel Legkaarten (Bi-submersies)

De auteurs, Camille Laurent-Gengoux en Ruben Louis, hebben een nieuwe manier bedacht om deze stad te beschrijven. In plaats van één grote kaart, bouwen ze een stapel legkaarten op.

1. De Legkaarten (Bi-submersies):
   Stel je voor dat je een complexe stad moet beschrijven. Je pakt een stukje papier en tekent daarop een klein stukje van de stad. Maar omdat de straten hier en daar anders zijn, moet je dat stukje papier soms dubbelvouwen of er een extra laagje onder leggen om het goed te kunnen zien.
   In de wiskunde noemen ze dit een bi-submersion. Het is een soort "tweezijdige lens" die je op de stad legt. Aan de ene kant zie je de stad, aan de andere kant zie je een "spiegelbeeld" van de stad, en de lens zorgt ervoor dat je de bewegingen (de wegen) in beide richtingen kunt volgen, zelfs op de plekken waar het raar is.

2. De Stapel (De Tower):
   De auteurs zeggen: "Laten we niet stoppen bij één kaart." Als je een kaart hebt, kun je er een nog kleinere, gedetailleerdere kaart onder leggen om de onduidelijke plekken op de eerste kaart op te lossen. En onder die tweede kaart leg je weer een derde, enzovoort.
   Dit noemen ze een bi-submersion tower (een toren van kaarten). Elke laag lost de problemen van de laag eronder op.

Het Hoogtepunt: De "8-Groupoid"

Nu komt het creatieve deel. Als je deze toren van kaarten oneindig hoog bouwt, krijg je een structuur die ze een Lie 8-groupoid noemen.

• Waarom "8"? In de wiskunde betekent dit niet dat er acht dingen zijn, maar dat het een heel complexe, veelzijdige structuur is. Het is alsof je niet alleen een platte kaart hebt, maar een 3D-model, een virtuele realiteit, en een tijdlijn van hoe je er bent gekomen, allemaal tegelijk.
• Waarom "Lie"? Dit betekent dat alles nog steeds glad en vloeiend is (zoals in de natuurkunde), ondanks de complexiteit.
• De "Para"-structuur: De auteurs geven eerlijk toe dat hun constructie niet perfect voldoet aan alle strenge regels van een standaard wiskundige structuur (ze noemen het een "para-simplicial" structuur). Het is alsof je een gebouw hebt dat bijna perfect rechtop staat, maar een klein beetje scheef is. Maar voor hun doeleinden werkt het prima!

Waarom is dit belangrijk?

Vroeger dachten wiskundigen dat je voor elke "stad" (foliatie) een simpele "reisgids" (een Lie-groupoid) kon maken. Maar ze ontdekten dat dit niet altijd mogelijk is.

Deze paper zegt: "Oké, we kunnen geen simpele reisgids maken, maar we kunnen wel een super-complexe, 8-dimensionale reisgids bouwen die wel werkt!"

• De Analogie: Stel je voor dat je een puzzel hebt met stukjes van verschillende groottes. Je kunt ze niet in een simpele doos stoppen. Maar als je ze in een speciale, lagen-structuur (een toren) legt, passen ze perfect.
• Het Resultaat: Ze hebben bewezen dat je voor elke "singuliere foliatie" (mits deze een zekere structuur heeft, een "geometrische resolutie") zo'n toren kunt bouwen. Deze toren bevat alle informatie over hoe je door die chaotische stad kunt reizen.

Samenvatting in één zin

De auteurs hebben een nieuwe, slimme manier bedacht om wiskundige "steden" met chaotische wegen te beschrijven, door in plaats van één simpele kaart, een oneindig hoge toren van overlappende, gedetailleerde kaarten te bouwen die samen een perfect beeld geven van de complexiteit.

Dit is een enorme stap vooruit in het begrijpen van hoe we complexe, onregelmatige structuren in de wiskunde en de natuurkunde kunnen modelleren.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "The holonomy Lie 8-groupoid of a singular foliation I" van Camille Laurent-Gengoux en Ruben Louis, in het Nederlands.

Titel: De holonomie Lie 8-groepoid van een singuliere foliatie I

Auteurs: Camille Laurent-Gengoux en Ruben Louis
Datum: 10 maart 2026 (arXiv:2503.23871v2)

---

1. Het Probleem

In de differentiaalmeetkunde is een singuliere foliatie een subheef van vectorvelden die gesloten is onder de Lie-haak en lokaal eindig gegenereerd is als een module over de functies. In tegenstelling tot reguliere foliaten kunnen de "bladeren" (orbits) van een singuliere foliatie verschillende dimensies hebben.

De centrale vraag (Vraag 0.1 in het artikel) is of elke singuliere foliatie $F$ op een variëteit $M$ kan worden geïntegreerd tot een Lie-groepoid $G \to M$ waarvan de geassocieerde Lie-algebroid $A_G$ precies $F$ induceert (d.w.z. $\rho(\Gamma(A_G)) = F$).

• Voor reguliere foliaten of Debord-singuliere foliaten is het antwoord bevestigend.
• Voor algemene singuliere foliaten is het antwoord vaak "nee", vooral wanneer het minimale aantal lokale generatoren niet globaal begrensd is.
• Zelfs als het aantal generatoren begrensd is, is het een open vraag of een Lie-algebroid (en dus een Lie-groepoid) bestaat die $F$ integreert, zonder dat de dimensie van de vezels van de ankermap strikt groter is dan nodig.

Recente benaderingen suggereren dat men moet kijken naar hogere structuren: Lie $\infty$-algebroiden en Lie $\infty$-groepoiden. De vraag wordt dan herschreven (Vraag 0.2): Bestaat er een eindig-dimensionaal Kan-simpliciale variëteit (een Lie $\infty$-groepoid) die de singuliere foliatie integreert?

2. Methodologie

De auteurs ontwikkelen een constructieve methode om een universale Lie $\infty$-algebroid van een singuliere foliatie te integreren tot een eindig-dimensionaal para-Lie $\infty$-groepoid.

De kern van hun aanpak rust op de volgende concepten:

• Geometrische Resoluties: Ze beperken zich tot singuliere foliaten die een geometrische resolutie toelaten. Dit is een verankerde complex van vectorbundels $(E_\bullet, d, \rho)$ die exact is op het niveau van secties. Dit omvat bijvoorbeeld (lokaal) reëel-analytische en holomorfe singuliere foliaten.
• Bi-submersies: Een fundamenteel concept uit de niet-commutatieve meetkunde (geïntroduceerd door Androulidakis en Skandalis). Een bi-submersie tussen twee singuliere foliaten $(M, F_M)$ en $(N, F_N)$ is een variëteit $W$ met twee submersies $p: W \to M$ en $q: W \to N$ die compatibel zijn met de foliaten. Ze fungeren als lokale kaarten voor de holonomie.
• Bi-submersie-torens: De auteurs gebruiken een recursieve constructie gebaseerd op een "bi-submersie-toren" (een concept uit eerdere werken van de tweede auteur). Ze bouwen een reeks variëteiten $K_0, K_1, K_2, \dots$ op, waarbij elke stap $K_{k+1}$ een equivalentie is tussen $K_k$ en de bijbehorende "hoornruimten" (horn spaces) $\Lambda^{k+1}_\ell K$.
• Para-simpliciale Structuur: De constructie voldoet niet aan alle simpliciale identiteiten (specifiek de relaties tussen de ontaardingsafbeeldingen $s_i$ en $s_j$ zijn niet altijd geldig). Daarom noemen ze het resultaat een para-Lie $\infty$-groepoid. Dit is sterker dan een semi-simpliciale variëteit (die geen ontaardingen heeft), maar zwakker dan een echt simpliciale variëteit. De Kan-conditie (het kunnen vullen van hoornen) blijft echter geldig.

3. Belangrijkste Bijdragen en Resultaten

Het hoofdstuk van het artikel is Stelling 2.3, die de volgende resultaten bevestigt:

1. Existentie van een Integratie: Elke singuliere foliatie $F$ die een geometrische resolutie toelaat, admiteert een holonomie para-Lie $\infty$-groepoid $K_\bullet(F)$.

   • $K_0 = M$ (de ruimte van objecten).
   • $K_1$ is een bi-submersie over $F$.
   • $K_2$ is een equivalentie tussen bi-submersies (relaties tussen $K_1$ en de hoornruimten).
   • Dit proces gaat recursief door voor alle $k \geq 1$.

2. Eindige Dimensie: In tegenstelling tot eerdere werken (zoals die van Širaň en Ševera, die oneindig-dimensionale Banach-variëteiten construeren), is de constructie van de auteurs eindig-dimensionaal.

   • De dimensie van $K_k$ wordt expliciet gegeven door:
     $$\dim K_k = \dim M + \sum_{i=1}^k \binom{k}{i} \text{rk}(E_{-i})$$
     waarbij $E_{-i}$ de vectorbundels zijn uit de geometrische resolutie van $F$.

3. Tangent Complex en Universaliteit:

   • Het "tangent complex" van dit Lie $\infty$-groepoid (beperkt tot de basis $M$) vormt precies de geometrische resolutie van $F$.
   • De differentiatie van dit groepoid levert een universale Lie $\infty$-algebroid van $F$ op. Omdat deze universaal is (uniek tot op homotopie), is de geconstrueerde groepoid een integratie van elke universelle Lie $\infty$-algebroid van $F$.

4. Truncatie: De 1-truncatie van dit object (d.w.z. $K_1$ modulo de equivalentierelatie) is precies de bekende holonomie-groepoid van Androulidakis-Skandalis.

5. Para-simpliciale Eigenschappen: De auteurs tonen aan dat hoewel de simpliciale relaties voor ontaardingskaarten niet volledig gelden, de Kan-conditie (de mogelijkheid om hoornen te vullen) wel geldt. Dit maakt het object een geldig "para-Lie $\infty$-groepoid".

4. Significatie en Implicaties

• Oplossing voor een Open Vraag: Het artikel biedt een positief antwoord op de vraag of singuliere foliaten (onder de voorwaarde van een geometrische resolutie) kunnen worden geïntegreerd, maar dan binnen de context van hogere categorische structuren (Lie $\infty$-groepoiden) in plaats van klassieke Lie-groepoiden.
• Nieuw Technisch Gereedschap: De auteurs introduceren en verfijnen het concept van bi-submersie-torens en bi-transversalen. Ze tonen aan hoe men via deze torens een globaal, eindig-dimensionaal object kan construeren zonder terug te vallen op oneindig-dimensionale analyse.
• Verbinding met Bestaande Theorie: Het werk verbindt de theorie van singuliere foliaten (Androulidakis-Skandalis) met de moderne theorie van Lie $\infty$-algebroiden en simpliciale manifolds. Het bevestigt dat de "universale Lie $\infty$-algebroid" (een infinitesimaal object) daadwerkelijk een integraal object heeft.
• Toekomstperspectief: De auteurs suggereren dat een vergelijkbare methode kan worden toegepast om willekeurige Lie $\infty$-algebroiden te integreren, zelfs als hun lineaire deel geen geometrische resolutie vormt.

Conclusie

Dit artikel is een grondige stap in het begrijpen van de integratie van singuliere foliaten. Door de beperkingen van klassieke Lie-groepoiden te omzeilen en in te zetten op para-Lie $\infty$-groepoiden gebaseerd op bi-submersies, slagen de auteurs erin om een eindig-dimensionaal en globaal gedefinieerd object te construeren dat de singuliere foliatie integreert. Dit object fungeert als de "holonomie" van de foliatie in de hogere meetkunde.