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

Este artigo constrói um grupoide de Lie superior de dimensão finita que integra uma foliação singular, utilizando recursivamente bi-submersões para obter um grupoide Kan cujos componentes são variedades não-conectadas de dimensão finita, generalizando o grupoide de holonomia de Androulidakis-Skandalis.

O essencial

Imagine que você está tentando entender a paisagem de um território muito estranho e complexo. Vamos chamar esse território de Manifold (uma superfície que pode ter curvas, buracos e dimensões variadas).

Neste território, existem "estradas" ou "caminhos" que os viajantes podem seguir. Em um mundo perfeito e simples, todas essas estradas teriam o mesmo tamanho e seguiriam regras rígidas. Isso seria uma foliação regular. É como um tabuleiro de xadrez onde cada quadrado é idêntico.

Mas a realidade é mais bagunçada. Às vezes, as estradas se fundem, se dividem, ou mudam de largura dependendo de onde você está. Em alguns lugares, você pode andar em todas as direções (uma estrada larga); em outros, só consegue andar em linha reta (uma estrada estreita); e em alguns pontos, a estrada desaparece completamente. Isso é uma foliação singular. É como um labirinto onde as paredes se movem e os corredores mudam de tamanho aleatoriamente.

O Grande Problema: "Como desenhar um mapa perfeito?"

Os matemáticos há muito tempo tentam responder a uma pergunta simples: "Dado esse labirinto bagunçado, existe um 'mapa mestre' (um grupoide de Lie) que descreva perfeitamente como nos movermos nele?"

Para foliações regulares (o tabuleiro de xadrez), a resposta é "sim". Mas para as singulares (o labirinto bagunçado), a resposta muitas vezes é "não" se tentarmos usar um mapa simples e finito. O labirinto é complexo demais para um único mapa plano.

A Solução Proposta: O "Super-Mapa" em Camadas

Os autores deste artigo, Camille Laurent-Gengoux e Ruben Louis, propõem uma solução criativa. Em vez de tentar forçar o labirinto a caber em um mapa simples, eles constroem um Super-Mapa em Camadas (chamado de Lie 8-groupoid).

Pense nisso como uma escultura de areia que você constrói em etapas:

1. A Base (O Chão): É o próprio território (M).
2. O Primeiro Nível (As Estradas): Você cria uma camada que representa todas as possíveis estradas que você pode percorrer.
3. O Segundo Nível (As Conexões): Agora, você precisa saber como conectar essas estradas. Você cria uma camada que mostra como uma estrada se transforma em outra. É como se você tivesse um "mapa de mapas".
4. O Terceiro Nível (As Conexões das Conexões): E como conectar os mapas de conexão? Você cria outra camada.

Eles continuam fazendo isso recursivamente, criando uma estrutura infinita, mas finita em dimensão. É como construir uma torre onde cada andar é um pouco mais complexo, mas todos os andares têm um tamanho controlado.

A Ferramenta Mágica: "Bi-submersões"

Como eles constroem essa torre? Usando uma ferramenta chamada Bi-submersão.

Imagine que você tem duas peças de um quebra-cabeça que parecem diferentes, mas que, se você olhar de perto, têm a mesma textura interna. Uma bi-submersão é como uma "ponte mágica" que conecta duas partes do seu labirinto, garantindo que, embora pareçam diferentes de fora, elas se comportam da mesma maneira por dentro.

Os autores usam essas pontes para "costurar" o labirinto. Eles pegam pedaços do território, conectam-nos com essas pontes, e depois usam as pontes para conectar as próprias pontes, criando a estrutura em camadas (a torre).

O Resultado: Um "Para-Lie 8-groupoid"

O resultado final é uma estrutura matemática chamada Para-Lie 8-groupoid.

• "8" (Infinito): Significa que a estrutura tem infinitas camadas de complexidade (como uma cebola infinita), permitindo capturar cada detalhe do labirinto.
• "Para": Significa que, embora seja quase um mapa perfeito, ele tem uma pequena imperfeição nas regras de simetria (como se algumas peças do quebra-cabeça não encaixassem perfeitamente em todos os ângulos, mas ainda funcionassem para o propósito).
• "Finite-dimensional": O mais importante é que, apesar de ser complexo, cada camada tem um tamanho finito e calculável. Não é uma estrutura infinita e caótica; é controlada.

Por que isso é importante?

Antes deste trabalho, se você tivesse um labirinto muito estranho (uma foliação singular que admite uma "resolução geométrica"), você não sabia se existia um mapa matemático preciso para ele.

Este artigo diz: "Sim, existe!"

Eles mostram que, usando essas pontes mágicas (bi-submersões) e construindo a torre camada por camada, podemos criar um objeto matemático que:

1. É finito e gerenciável.
2. Captura toda a complexidade do labirinto.
3. Funciona como um "mapa mestre" que permite aos matemáticos estudar e entender essas estruturas caóticas com as ferramentas da geometria clássica.

Resumo em uma frase:

Os autores criaram um "mapa em camadas" infinito, mas finito em tamanho, usando pontes mágicas para navegar por labirintos matemáticos complexos que antes pareciam impossíveis de mapear.

Resumo técnico

1. Problema e Contexto

O artigo aborda um problema fundamental na geometria diferencial e na teoria de foliações: a integração de foliações singulares.

• Definição de Foliação Singular: Uma subcamada $\mathcal{F}$ do feixe de campos vetoriais $X(M)$ que é fechada sob o colchete de Lie e localmente finitamente gerada como um módulo sobre o anel de funções. Diferentemente das foliações regulares, as folhas podem ter dimensões variáveis.
• A Questão Central (Questão 0.1): Dada uma foliação singular $\mathcal{F}$ em uma variedade $M$, existe um grupoide de Lie $G \to M$ cujo algebóide de Lie associado $A_G$ induz $\mathcal{F}$ (ou seja, a imagem do mapa âncora $\rho(\Gamma(A_G)) = \mathcal{F}$)?
  • A resposta é "sim" para foliações regulares ou foliações de Debord (módulos projetivos).
  • A resposta é "não" em geral, especialmente quando o número mínimo de geradores locais não é limitado globalmente ou quando obstruções cohomológicas impedem a existência de um algebóide de Lie de posto mínimo.
• A Abordagem de Estruturas Superiores: Para contornar as limitações dos grupoides de Lie clássicos, a pesquisa recente propõe a busca por estruturas de ordem superior, especificamente $\infty$-grupoides de Lie (ou Kan simpliciais) e $\infty$-algebóides de Lie.
• O Objetivo (Questão 0.2): Dada uma foliação singular $\mathcal{F}$, existe um $\infty$-grupoide de Lie (um Kan simplicial de dimensão finita) cuja diferenciação é um $\infty$-algebóide de Lie universal que induz $\mathcal{F}$?

2. Metodologia

Os autores desenvolvem uma nova abordagem de integração que não depende de equações de Maurer-Cartan em espaços de Banach de dimensão infinita (como feito por Širaň e Ševera), mas sim de conceitos da geometria não-comutativa e da teoria de foliações singulares.

• Bi-submersões (Bi-submersions): A ferramenta central é o conceito de bi-submersão, introduzido por Androulidakis e Skandalis. Uma bi-submersão entre duas foliações singulares $(M, \mathcal{F}_M)$ e $(N, \mathcal{F}_N)$ é uma variedade $W$ com duas submersões $p: W \to M$ e $q: W \to N$ que preservam a estrutura das foliações de maneira compatível. Elas atuam como "cartas locais" para o grupoide de holonomia.
• Torres de Bi-submersões (Bi-submersion Towers): O artigo generaliza o conceito de bi-submersão para uma sequência recursiva chamada "torre de bi-submersões". Isso é possível sob a hipótese de que a foliação admite uma resolução geométrica.
• Resolução Geométrica: Assume-se que a foliação $\mathcal{F}$ admite um complexo ancorado de fibrados vetoriais $(E, d, \rho)$ que é exato no nível de seções. Isso inclui foliações analíticas reais e holomorfas.
• Construção Recursiva: Os autores constroem um objeto chamado Kan simplicial para-Lie (ou $\infty$-grupoide de Lie para) $K_\bullet$ de dimensão finita. A construção é feita passo a passo:
  1. $K_0 = M$.
  2. $K_1$ é construído a partir de uma atlas de bi-submersões (usando a resolução geométrica para garantir dimensão finita e uniformidade).
  3. $K_2$ é construído como uma relação total entre $K_1$ e os espaços de chifre (horn spaces) $\Lambda^2 K$, garantindo a condição de Kan.
  4. O processo continua recursivamente para $K_n$, utilizando a existência de resoluções geométricas para as foliações singulares "bi-verticais" geradas em cada etapa.

3. Principais Contribuições e Resultados

O artigo apresenta o seguinte teorema principal (Teorema 2.3):

Teorema Principal: Toda foliação singular $\mathcal{F}$ em uma variedade $M$ que admite uma resolução geométrica possui um $\infty$-grupoide de Lie de holonomia (mais precisamente, um para-$\infty$-grupoide de Lie) $K_\bullet$ que integra o $\infty$-algebóide de Lie universal de $\mathcal{F}$.

Características Chave do Objeto Construído:

1. Dimensão Finita: Diferente de outras construções de integração que resultam em variedades de Fréchet de dimensão infinita, este objeto é composto por variedades de dimensão finita. A dimensão de cada nível $K_k$ é explicitamente dada por:
   $$\dim K_k = \dim M + \sum_{i=1}^k \binom{k}{i} \text{rk}(E_{-i})$$
   onde $E_{-i}$ são os fibrados vetoriais da resolução geométrica.
2. Estrutura "Para-Simplicial": O objeto não satisfaz todas as identidades simpliciais (especificamente as relações de degeneração $s_i s_j = s_{j+1} s_i$ para $i \leq j$) de forma estrita. Portanto, é chamado de para-simplicial. No entanto, ele satisfaz a condição de Kan (os mapas de projeção nos espaços de chifre são submersões sobrejetoras), o que é suficiente para definir a estrutura de $\infty$-grupoide.
3. Conexão com o Grupoide de Holonomia Clássico: A 1-truncação deste $\infty$-grupoide (o quociente de $K_1$ pela relação de equivalência induzida por $K_2$) recupera exatamente o grupoide de holonomia de Androulidakis-Skandalis, que é um grupoide topológico (mas não necessariamente de Lie).
4. Unicidade Homotópica: O $\infty$-algebóide de Lie universal associado a $\mathcal{F}$ é único a menos de equivalência homotópica. O objeto construído $K_\bullet$ é uma integração global desse algebóide.
5. Complexo Tangente: O complexo tangente deste $\infty$-grupoide, restrito à base $M$, recupera a resolução geométrica original da foliação $\mathcal{F}$.

4. Significado e Impacto

• Resolução de um Problema Aberto: O trabalho fornece uma resposta positiva e construtiva para a questão de integrar foliações singulares (sob a condição de resolução geométrica) para o contexto de estruturas de ordem superior, superando as limitações dos grupoides de Lie clássicos.
• Novo Paradigma de Integração: Introduz uma metodologia baseada em bi-submersões e torres de bi-submersões para a integração de estruturas algébricas complexas, evitando a necessidade de coordenadas locais arbitrárias ou gauge-fixing que geram dependências não-canônicas em outras abordagens.
• Generalidade: O método aplica-se a uma classe ampla de foliações, incluindo todas as foliações analíticas reais e holomorfas, que são casos onde as resoluções geométricas sempre existem localmente.
• Fundamentação Teórica: O artigo estabelece a base para uma teoria de "holonomia de ordem superior" para foliações singulares, conectando a geometria não-comutativa (via bi-submersões) com a teoria de $\infty$-categorias e álgebra homotópica (via $\infty$-grupoides).

Em resumo, o artigo demonstra que, embora uma foliação singular possa não ser integrada por um grupoide de Lie simples, ela pode ser integrada por um objeto geométrico finito-dimensional e bem-comportado (um Kan simplicial para-Lie), cuja estrutura reflete a complexidade da resolução geométrica da foliação.