Stacky geometry and logarithmic topology of transversely affine foliations

Resumo Técnico: Geometria de Pilhas e Topologia Logarítmica de Folheações Transversalmente Afins

Enunciado do Problema
O artigo aborda as estruturas geométricas e topológicas subjacentes às folheações transversalmente afins em variedades complexas. Enquanto o teorema clássico de Singer sobre integrais primeiras liouvillianas estabelece que tais folheações são governadas por quadraturas, exponenciais de primitivas e extensões algébricas, os autores buscam reformular essa rigidez num quadro geométrico moderno. Especificamente, o trabalho visa fornecer uma descrição unificada da "coordenada de desenvolvimento transversal" e das suas reparametrizações, utilizando duas perspetivas complementares:

1. Geometria de Pilhas: Descrevendo a coordenada de desenvolvimento multiplicativa e a sua monodromia através de pilhas quociente.
2. Topologia Logarítmica: Analisando o comportamento na fronteira, os resíduos e as dinâmicas induzidas através do espaço de Kato–Nakayama.

O desafio central é conciliar a natureza algébrica das operações de Singer (reparametrizações e extensões algébricas) com os dados analíticos e topológicos da folheação, particularmente quando o grupo de holonomia é não-discreto ou a ação é não-própria.

Metodologia
Os autores empregam uma abordagem dual que combina a teoria de pilhas, a geometria logarítmica e os sistemas dinâmicos:

1. Formulação Teórica de Pilhas:

   • Os autores associam uma folheação transversalmente afim $(\omega, \eta)$ a um caráter de monodromia linear $\rho: \pi_1(U) \to \mathbb{C}^*$.
   • Definem a pilha quociente $[\mathbb{C}^*/\Gamma]$, onde $\Gamma = \text{im}(\rho)$, como a base geométrica natural para a coordenada de desenvolvimento multiplicativa.
   • Utilizando o formalismo de Morita/bibundles, caracterizam os morfismos entre estas pilhas. Distinguem entre mapas semi-equivariantes estritos no atlas e 2-morfismos intrínsecos da pilha.
   • Introduzem refinamentos de Kummer (raiz) $[\mathbb{C}^*/(\mu_N \times \Gamma)]$ para modelar geometricamente os passos de extensão algébrica de Singer.

2. Análise Topológica-Logarítmica:

   • Os autores passam ao espaço de Kato–Nakayama $X^{\log}$, o estouro orientado real do divisor $D$ com fibras de toro sobre os estratos de fronteira.
   • Analisam o pull-back da forma logarítmica $\eta$ para $X^{\log}$, mostrando que induz uma folheação real de codimensão dois.
   • Estudam a restrição desta folheação aos toros de fronteira, demonstrando que as dinâmicas são lineares e governadas pela aritmética do vetor de resíduos.

3. Síntese:

   • O artigo constrói um levantamento logarítmico canônico do mapa de desenvolvimento, $F_{\log}: X^{\log} \to [\mathbb{C}^*/\Gamma]$, que unifica a descrição interna de pilhas com os dados topológicos de fronteira.

Principais Contribuições e Resultados

• O Teorema de Singer de Pilhas (Proposição 3.15):
  Os autores provam que qualquer integral primeira de pilha holomorfa para uma folheação transversalmente afim é obtida, a menos de 2-isomorfismo, pela pós-composição do morfismo de desenvolvimento canônico $F: U \to [\mathbb{C}^*/\Gamma]$ com um endomorfismo da pilha $[\mathbb{C}^*/\Gamma]$. Isto estabelece que a "liberdade de reparametrização" é inteiramente capturada pelo monoide de endomorfismos da pilha quociente.

• Classificação das Reparametrizações por Regime (Secção 5):
  O artigo fornece uma classificação rigorosa dos endomorfismos de $[\mathbb{C}^*/\Gamma]$ baseada na topologia do grupo de holonomia $\Gamma$:

  • Casos Próprios/Discretos: Se $\Gamma$ é finito (torção) ou cíclico infinito com $|q| \neq 1$ (regime elíptico), o quociente é uma curva de Deligne–Mumford ou uma curva elíptica. Aqui, os automorfismos analíticos coincidem com os algébricos (GAGA).
  • Casos Selvagens/Não-Discretos: Se $\Gamma$ não é fechado (por exemplo, denso em $\mathbb{C}^*$ ou acumulando em 1), o quociente grosseiro é não-Hausdorff. Os autores mostram que, apesar disso, a base de pilha permanece bem definida. Nestes regimes de "acumulação", os endomorfismos holomorfos e meromorfos são rígidos: são necessariamente mapas monomiais ($z \mapsto az^n$) ou os seus inversos.

• Refinamentos de Kummer como Extensões Algébricas (Teorema 4.5):
  O artigo identifica as mudanças de base de Kummer (passagem para pilhas de raiz) como a realização geométrica do passo de extensão algébrica de Singer. Prova que qualquer integral primeira de pilha pode ser fatorada através de um refinamento de Kummer seguido por um endomorfismo meromorfo da base refinada.

• Dinâmicas Logarítmicas na Fronteira (Secção 7):
  No espaço de Kato–Nakayama $X^{\log}$, os resíduos de $\eta$ definem caracteres canônicos de fronteira. A folheação real induzida nos toros de fronteira é linear. Os autores classificam a topologia das folhas:

  • As folhas são translatos de subtoros.
  • Os seus fechos são determinados pelo span racional do vetor de resíduos (dicotomia do tipo Kronecker: fechadas, densas no toro, ou densas num subtoro próprio).
  • O comportamento radial (atrativo, repulsivo ou neutro) é determinado pela parte real dos resíduos.

• O Levantamento Logarítmico e Realizações Complementares (Teorema 8.15):
  Os autores constroem um morfismo canônico $F_{\log}: X^{\log} \to [\mathbb{C}^*/\Gamma]$. Demonstram que os mesmos dados de resíduos admitem duas realizações de fronteira complementares:

  1. Realização de Kummer: Remove a torção na monodromia meridiana através de construções de raiz (extensão algébrica).
  2. Realização de Kato–Nakayama: Retém os dados angulares de fronteira e as dinâmicas lineares induzidas, que são invisíveis numa compactificação puramente radial.

Significado e Afirmações
O artigo afirma fornecer um "correspondente geométrico" ao teorema clássico de Singer. O seu significado primordial reside em:

1. Unificação: Ponte a lacuna entre as operações algébricas da álgebra diferencial (fecho de Singer) e a geometria analítica das folheações, interpretando-as como morfismos de pilhas quociente.
2. Tratamento de Ações Não-Próprias: Demonstra que as pilhas quociente são os objetos geométricos corretos para estudar folheações transversalmente afins, mesmo quando o grupo de holonomia é não-discreto e o quociente grosseiro é patológico (não-Hausdorff). A pilha retém a informação necessária de monodromia e isotropia.
3. Insight Dinâmico: Revela que o espaço de Kato–Nakayama não é meramente uma ferramenta topológica auxiliar, mas o cenário natural onde a "fronteira logarítmica" adquire forma geométrica e dinâmica concreta. Os resíduos governam não apenas a monodromia, mas a própria dinâmica linear nos toros de fronteira.
4. Rigidez: Estabelece resultados fortes de rigidez para reparametrizações em regimes não-discretos, mostrando que a natureza "selvagem" da holonomia força as reparametrizações a serem monomiais, simplificando assim a classificação das integrais primeiras nestes casos.

Os autores concluem que a pilha quociente $[\mathbb{C}^*/\Gamma]$ controla os aspetos lineares e teóricos de reparametrização da teoria, enquanto o espaço de Kato–Nakayama fornece o cenário topológico e dinâmico natural onde a geometria de fronteira das folheações transversalmente afins se torna visível.