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

Bajo la suposición de que una foliación singular admite una resolución geométrica, el artículo construye un grupoide de Lie superior de dimensión finita que integra su álgebroides de Lie universal mediante el uso recursivo de bi-submersiones, generalizando así el grupoide de holonomía de Androulidakis-Skandalis.

Lo esencial

Imagina que estás explorando un territorio geográfico muy extraño y complejo. En este territorio, hay "ríos" que fluyen, pero a veces estos ríos se dividen, se unen, se vuelven muy estrechos o incluso desaparecen por completo. En matemáticas, a estos patrones de flujo los llamamos foliaciones singulares.

El problema es que, cuando los ríos cambian de tamaño o dirección de forma brusca (singularidades), las herramientas matemáticas tradicionales para navegarlos (como los "grupos de Lie") se rompen. Es como intentar usar un mapa de una ciudad plana para navegar por una montaña con cañones profundos; el mapa no funciona.

¿Qué hace este artículo?
Los autores, Camille Laurent-Gengoux y Ruben Louis, han creado una nueva "brújula" y un nuevo "sistema de navegación" para este territorio caótico. Han construido una estructura matemática llamada 8-grupoide de holonomía (suena a ciencia ficción, ¿verdad?).

Para explicarlo de forma sencilla, usaremos una analogía de construcción con bloques de LEGO.

1. El Problema: El Mapa Roto

Imagina que quieres describir un viaje por este territorio.

• En un mundo normal (ríos regulares), podrías decir: "Caminas 5 metros al norte, luego giras". Es simple.
• En este mundo singular, a veces el camino se divide en dos, luego se une, y luego se vuelve tan estrecho que solo cabe un grano de arena. Si intentas usar las reglas normales, te pierdes.

Los matemáticos sabían que existía una estructura llamada "grupoide de holonomía" (como un mapa de todas las rutas posibles), pero este mapa solía ser "feo" (topológico), no suave. No se podía usar para hacer cálculos precisos de velocidad o curvatura.

2. La Solución: Los Bloques de LEGO (Bi-submersiones)

Los autores usan una herramienta inventada por otros matemáticos llamada bi-submersión.

• La analogía: Imagina que tienes un bloque de LEGO que representa un trozo de tu territorio. Este bloque tiene dos caras: una cara que mira hacia el "origen" del viaje y otra hacia el "destino".
• Una bi-submersión es como un "puente" o un "túnel" que conecta dos puntos de tu territorio, permitiéndote viajar de uno a otro sin romper las reglas del terreno.

El truco de este artículo es que, en lugar de usar un solo bloque gigante, construyen una torre de bloques.

3. La Torre de Bloques (La Construcción Recursiva)

Aquí es donde entra la magia de "8-grupoide". No es solo un mapa plano; es una estructura en capas, como una torre de LEGO:

• Capa 0 (El suelo): Es tu ciudad base (la variedad $M$).
• Capa 1 (Los caminos): Son los puentes (bi-submersiones) que te permiten ir de un punto a otro.
• Capa 2 (Las relaciones entre caminos): A veces, hay dos formas diferentes de ir del punto A al punto B. Esta capa registra esas "historias alternativas" y cómo se relacionan entre sí.
• Capa 3 y superiores (Las historias de las historias): ¿Qué pasa si hay dos formas de relacionar esas historias? Aquí es donde la estructura se vuelve "infinita" en teoría, pero los autores logran cortarla de forma inteligente.

4. El Secreto: La "Resolución Geométrica"

Para que esta torre de LEGO no se caiga y sea manejable, los autores asumen que el territorio tiene una "resolución geométrica".

• La analogía: Imagina que el territorio es un edificio con grietas. Una "resolución" es como poner andamios perfectos alrededor del edificio para poder repararlo y entender su estructura real.
• Si el territorio tiene estos andamios (una resolución geométrica), los autores pueden construir su torre de LEGO con un tamaño finito y controlado.

5. El Resultado: Un "Para-Simplicio"

El resultado final es una estructura llamada para-Lie 8-grupoide.

• ¿Qué significa "Para"? Significa que es casi un objeto perfecto (un simplicio), pero tiene un pequeño defecto: algunas de las reglas de conexión (las "degeneraciones") no son perfectas, como si algunos bloques de LEGO estuvieran un poco torcidos.
• ¿Por qué es genial? A pesar de ese pequeño defecto, la estructura es lo suficientemente sólida para funcionar. Cumple con la condición de "Kan", que en nuestro lenguaje de LEGO significa: "Si tienes la mitad de una figura (un cuerno), siempre puedes encontrar el bloque que falta para completarla". Esto garantiza que la navegación es posible en todas direcciones.

En Resumen

Este papel es como un manual de instrucciones para construir un GPS universal para terrenos matemáticos rotos y complejos.

1. Antes: Teníamos mapas que se rompían en los lugares difíciles.
2. Ahora: Usamos bloques de LEGO (bi-submersiones) para construir una torre de niveles.
3. El Logro: Hemos demostrado que, si el terreno tiene una estructura subyacente ordenada (resolución geométrica), podemos construir un mapa finito, suave y preciso que integra toda la complejidad del terreno en una sola estructura matemática elegante.

Es un paso gigante para entender cómo se comportan las formas y los flujos en el universo matemático, incluso cuando todo parece estar desordenado. Han convertido el caos en una estructura ordenada, capa por capa.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "The holonomy Lie 8-groupoid of a singular foliation I" (El 8-grupoide de Lie de holonomía de una foliación singular I), escrito por Camille Laurent-Gengoux y Ruben Louis.

1. El Problema: Integración de Foliaciones Singulares

El trabajo aborda una cuestión fundamental en geometría diferencial y teoría de foliaciones: ¿Es posible integrar una foliación singular arbitraria en un objeto geométrico global de dimensión finita?

• Contexto: Una foliación singular $\mathcal{F}$ en una variedad $M$ es un subsheaf de campos vectoriales cerrado bajo el corchete de Lie y localmente finitamente generado. A diferencia de las foliaciones regulares, sus hojas pueden tener dimensiones variables.
• La Obstrucción Clásica: Para foliaciones regulares o ciertas clases especiales (como las foliaciones de Debord), existe un grupoide de Lie que integra la foliación. Sin embargo, para foliaciones singulares generales, la pregunta de si existe un grupoide de Lie $G \to M$ cuyo algebroides asociado induzca $\mathcal{F}$ (es decir, $\rho(\Gamma(A_G)) = \mathcal{F}$) tiene una respuesta negativa en general, especialmente si el número mínimo de generadores locales no está acotado globalmente o si la obstrucción de [LLS20] es no nula.
• La Propuesta de "Higher Structures": Ante la imposibilidad de encontrar un grupoide de Lie ordinario (dimensión 1), la comunidad matemática ha explorado estructuras de orden superior: $\infty$-gruoides de Lie (Lie $\infty$-groupoids). Estos son objetos simpliciales que generalizan los gruposoides, permitiendo "homotopías" de orden superior.
• La Pregunta Central (Question 0.2): Dada una foliación singular $\mathcal{F}$, ¿existe un Lie $\infty$-grupoide (específicamente, una variedad simplicial Kan de dimensión finita) cuya diferenciación sea un Lie $\infty$-algebroides que induzca $\mathcal{F}$? Si es así, ¿es único y cuál es su dimensión mínima?

2. Metodología y Herramientas Principales

Los autores desarrollan un método de integración recursivo basado en conceptos de geometría no conmutativa y la teoría de foliaciones singulares desarrollada por Androulidakis y Skandalis.

A. Resoluciones Geométricas

El trabajo asume que la foliación singular $\mathcal{F}$ admite una resolución geométrica. Esto significa que existe un complejo anclado de fibrados vectoriales:
$$\dots \to E_{-2} \xrightarrow{d} E_{-1} \xrightarrow{\rho} TM$$
tal que la secuencia de secciones es exacta localmente. Esta condición es natural y cubre casos analíticos reales y holomorfos.

B. Bi-submersiones (Bi-submersions)

La herramienta central es la noción de bi-submersión, introducida por Androulidakis y Skandalis [AS09].

• Una bi-submersión entre $(M, \mathcal{F})$ y $(N, \mathcal{G})$ es una variedad $W$ con dos submersiones $p: W \to M$ y $q: W \to N$ que preservan la estructura de la foliación de manera compatible.
• Las bi-submersiones actúan como "cartas locales" para el grupoide de holonomía.
• Los autores extienden esta noción a torres de bi-submersiones y definen relaciones de equivalencia entre ellas.

C. Estructura Para-Simplicial y Kan

En lugar de construir un grupoide de Lie estándar, los autores construyen un para-Lie $\infty$-grupoide.

• Definición: Es una estructura similar a una variedad simplicial, pero donde las relaciones de degeneración ($s_i \circ s_j = s_{j+1} \circ s_i$) no se satisfacen estrictamente. Sin embargo, sí satisfacen la condición Kan (las proyecciones de cuernos son submersiones sobreyectivas), lo cual es suficiente para definir la estructura de $\infty$-grupoide.
• Ventaja: Este enfoque permite mantener la dimensión finita de los componentes, algo que no siempre es posible con otros métodos de integración de algebroides $\infty$ (como los de Širaň y Ševera, que producen variedades de Banach de dimensión infinita).

3. Contribuciones Clave y Resultados Principales

El resultado central es el Teorema 2.3, que establece la construcción explícita de un objeto integrador.

A. Construcción del 8-Grupoide de Holonomía

Los autores demuestran que toda foliación singular $\mathcal{F}$ que admite una resolución geométrica $(E_\bullet, d, \rho)$ posee un holonomy para-Lie $\infty$-grupoide $K_\bullet$:
$$\dots \rightrightarrows K_3 \rightrightarrows K_2 \rightrightarrows K_1 \rightrightarrows M$$
donde:

1. Dimensión Finita: Cada componente $K_k$ es una variedad de dimensión finita (posiblemente no conexa, pero con componentes de la misma dimensión).
2. Fórmula de Dimensión: La dimensión de $K_k$ está dada explícitamente por:
   $$\dim K_k = \dim M + \sum_{i=1}^k \binom{k}{i} \text{rk}(E_{-i})$$
   Esto responde a la pregunta sobre la minimalidad de la dimensión en términos de la resolución geométrica.
3. Relación con el Grupoide de Androulidakis-Skandalis: La 1-truncación de este objeto ($K_1 / \sim$) recupera exactamente el grupoide de holonomía topológico clásico construido por Androulidakis y Skandalis.

B. Propiedades de Integración

• Algebroides Universales: La diferenciación de este $\infty$-grupoide produce un Lie $\infty$-algebroides que es el algebroides universal $U_\mathcal{F}$ de la foliación (definido en trabajos previos de los autores y Lavau-Strobl).
• Exactitud: El complejo tangente de este grupoide es una resolución geométrica de $\mathcal{F}$.
• Condiciones Kan: Se prueba que las proyecciones de cuernos (horn projections) son submersiones sobreyectivas, cumpliendo así la condición Kan necesaria para la estructura de $\infty$-grupoide.

C. Método Recursivo

La prueba se realiza por inducción:

1. Orden 1: Se construye $K_1$ como una bi-submersión de holonomía (atlas) basada en la resolución $E_{-1}$.
2. Orden $N \to N+1$: Utilizando el teorema de existencia de relaciones totales de bi-submersiones (Teorema D.13) y la reducción de dimensión (Teorema D.17), se construye $K_{N+1}$ como una unión disjunta de relaciones totales entre los cuernos de $K_N$ y $K_{N+1}$.
3. Degeneraciones: Se definen mapas de degeneración $s_i$ que permiten incrustar $K_N$ en $K_{N+1}$, aunque no satisfacen todas las identidades simpliciales estrictas (de ahí el término "para").

4. Significado e Impacto

Este trabajo es un hito significativo en la teoría de foliaciones singulares y geometría de orden superior:

1. Solución a un Problema Abierto: Resuelve positivamente la pregunta de integración para una clase amplia de foliaciones singulares (aquellas con resolución geométrica) dentro del marco de los $\infty$-gruoides, superando las limitaciones de los grupos de Lie ordinarios.
2. Dimensión Finita Global: A diferencia de las construcciones algebraicas o analíticas que a menudo resultan en objetos de dimensión infinita (variedades de Fréchet o Banach), este método produce un objeto globalmente de dimensión finita, situándose en el ámbito de la geometría diferencial clásica.
3. Unificación Conceptual: Conecta la teoría de bi-submersiones (geometría no conmutativa) con la teoría de $\infty$-algebroides y $\infty$-gruoides, proporcionando una interpretación geométrica concreta del algebroides universal.
4. Generalización del Grupoide de Holonomía: Muestra que el grupoide de holonomía de Androulidakis-Skandalis no es solo un objeto topológico, sino la "base" de una estructura simplicial mucho más rica y estructurada que codifica la información homotópica de la foliación.
5. Aplicabilidad: La condición de resolución geométrica es satisfecha por foliaciones analíticas reales y complejas, así como por muchas foliaciones suaves de interés físico y geométrico.

En resumen, el artículo establece la existencia y construcción explícita de un $\infty$-grupoide de Lie de dimensión finita que integra foliaciones singulares, utilizando torres de bi-submersiones y proporcionando una fórmula precisa para su dimensión en términos de la resolución geométrica de la foliación.