Stacky geometry and logarithmic topology of transversely affine foliations

Sintesi Tecnica: Geometria Stacky e Topologia Logaritmica dei Foliaggi Transversalmente Affini

Enunciazione del Problema
Il lavoro affronta le strutture geometriche e topologiche sottostanti ai foliaggi transversalmente affini su varietà complesse. Mentre il teorema classico di Singer sugli integrali primi liouvilliani stabilisce che tali foliaggi sono governati da quadrature, esponenziali di primitive ed estensioni algebriche, gli autori mirano a riformulare questa rigidità in un quadro geometrico moderno. Nello specifico, il lavoro mira a fornire una descrizione unificata della "coordinata di sviluppo trasversa" e delle sue riparametrizzazioni utilizzando due prospettive complementari:

1. Geometria Stacky: Descrivere la coordinata di sviluppo moltiplicativa e la sua monodromia tramite stack quoziente.
2. Topologia Logaritmica: Analizzare il comportamento al bordo, i residui e le dinamiche indotte tramite lo spazio di Kato–Nakayama.

La sfida centrale è conciliare la natura algebrica delle operazioni di Singer (riparametrizzazioni ed estensioni algebriche) con i dati analitici e topologici del foliaggio, in particolare quando il gruppo di olonomia è non discreto o l'azione è non propria.

Metodologia
Gli autori adottano un approccio duale che combina la teoria degli stack, la geometria logaritmica e i sistemi dinamici:

1. Formulazione Teorica degli Stack:

   • Gli autori associano a un foliaggio transversalmente affine $(\omega, \eta)$ un carattere di monodromia lineare $\rho: \pi_1(U) \to \mathbb{C}^*$.
   • Definiscono lo stack quoziente $[\mathbb{C}^*/\Gamma]$, dove $\Gamma = \text{im}(\rho)$, come la base geometrica naturale per la coordinata di sviluppo moltiplicativa.
   • Utilizzando il formalismo di Morita/bibundle, caratterizzano i morfismi tra questi stack. Distinguono tra mappe semi-equivarianti strette sull'atlante e 2-morfismi intrinseci dello stack.
   • Introducono rifinimenti di Kummer (radicali) $[\mathbb{C}^*/(\mu_N \times \Gamma)]$ per modellare geometricamente i passaggi di estensione algebrica di Singer.

2. Analisi Topologica Logaritmica:

   • Gli autori passano allo spazio di Kato–Nakayama $X^{\log}$, il blow-up orientato reale del divisore $D$ con fibre toriche sopra gli strati di bordo.
   • Analizzano il pull-back della forma logaritmica $\eta$ su $X^{\log}$, mostrando che induce un foliaggio reale di codimensione due.
   • Studiano la restrizione di questo foliaggio ai tori di bordo, dimostrando che le dinamiche sono lineari e governate dall'aritmetica del vettore dei residui.

3. Sintesi:

   • Il lavoro costruisce un sollevamento logaritmico canonico della mappa di sviluppo, $F_{\log}: X^{\log} \to [\mathbb{C}^*/\Gamma]$, che unifica la descrizione stacky interna con i dati topologici di bordo.

Contributi e Risultati Chiave

• Il Teorema Stacky di Singer (Proposizione 3.15):
  Gli autori dimostrano che ogni integrale primo stacky olomorfo per un foliaggio transversalmente affine è ottenuto, a meno di 2-isomorfismo, componendo a destra il morfismo di sviluppo canonico $F: U \to [\mathbb{C}^*/\Gamma]$ con un endomorfismo dello stack $[\mathbb{C}^*/\Gamma]$. Ciò stabilisce che la "libertà di riparametrizzazione" è interamente catturata dal monoide degli endomorfismi dello stack quoziente.

• Classificazione delle Riparametrizzazioni per Regime (Sezione 5):
  Il lavoro fornisce una classificazione rigorosa degli endomorfismi di $[\mathbb{C}^*/\Gamma]$ basata sulla topologia del gruppo di olonomia $\Gamma$:

  • Casi Propri/Discreti: Se $\Gamma$ è finito (torsione) o ciclico infinito con $|q| \neq 1$ (regime ellittico), il quoziente è una curva di Deligne–Mumford o una curva ellittica. Qui, gli automorfismi analitici coincidono con quelli algebrici (GAGA).
  • Casi Selvaggi/Non Discreti: Se $\Gamma$ non è chiuso (ad esempio, denso in $\mathbb{C}^*$ o accumulante in 1), il quoziente grezzo è non di Hausdorff. Gli autori mostrano che, nonostante ciò, la base stacky rimane ben definita. In questi regimi di "accumulazione", gli endomorfismi olomorfi e meromorfi sono rigidi: sono necessariamente mappe monomiali ($z \mapsto az^n$) o le loro inverse.

• Rifinimenti di Kummer come Estensioni Algebriche (Teorema 4.5):
  Il lavoro identifica i cambiamenti di base di Kummer (passaggio a stack radicali) come la realizzazione geometrica del passaggio di estensione algebrica di Singer. Dimostra che ogni integrale primo stacky può essere fattorizzato attraverso un rifinimento di Kummer seguito da un endomorfismo meromorfo della base rifinita.

• Dinamiche Logaritmiche al Bordo (Sezione 7):
  Nello spazio di Kato–Nakayama $X^{\log}$, i residui di $\eta$ definiscono caratteri canonici di bordo. Il foliaggio reale indotto sui tori di bordo è lineare. Gli autori classificano la topologia delle foglie:

  • Le foglie sono traslati di sottotori.
  • Le loro chiusure sono determinate dallo span razionale del vettore dei residui (dicotomia di tipo Kronecker: chiuse, dense nel toro, o dense in un sottotoro proprio).
  • Il comportamento radiale (attrattivo, repulsivo o neutro) è determinato dalla parte reale dei residui.

• Il Sollevamento Logaritmico e Realizzazioni Complementari (Teorema 8.15):
  Gli autori costruiscono un morfismo canonico $F_{\log}: X^{\log} \to [\mathbb{C}^*/\Gamma]$. Dimostrano che gli stessi dati di residuo ammettono due realizzazioni di bordo complementari:

  1. Realizzazione di Kummer: Rimuove la torsione nella monodromia meridiana tramite costruzioni radicali (estensione algebrica).
  2. Realizzazione di Kato–Nakayama: Mantiene i dati angolari di bordo e le dinamiche lineari indotte, che sono invisibili in una compattificazione puramente radiale.

Significato e Affermazioni
Il lavoro afferma di fornire un "corrispettivo geometrico" al teorema classico di Singer. La sua importanza primaria risiede in:

1. Unificazione: Colma il divario tra le operazioni algebriche dell'algebra differenziale (chiusura di Singer) e la geometria analitica dei foliaggi, interpretandole come morfismi di stack quoziente.
2. Gestione di Azioni Non Proprie: Dimostra che gli stack quoziente sono gli oggetti geometrici corretti per studiare i foliaggi transversalmente affini anche quando il gruppo di olonomia è non discreto e il quoziente grezzo è patologico (non di Hausdorff). Lo stack conserva le informazioni necessarie sulla monodromia e sull'isotopia.
3. Insight Dinamico: Rivela che lo spazio di Kato–Nakayama non è meramente uno strumento topologico ausiliario, ma il contesto naturale in cui il "bordo logaritmico" acquista una forma geometrica e dinamica concreta. I residui governano non solo la monodromia, ma le effettive dinamiche lineari sui tori di bordo.
4. Rigidità: Stabilisce forti risultati di rigidità per le riparametrizzazioni nei regimi non discreti, mostrando che la natura "selvaggia" dell'olonomia forza le riparametrizzazioni a essere monomiali, semplificando così la classificazione degli integrali primi in questi casi.

Gli autori concludono che lo stack quoziente $[\mathbb{C}^*/\Gamma]$ controlla gli aspetti lineari e teorici delle riparametrizzazioni della teoria, mentre lo spazio di Kato–Nakayama fornisce il contesto topologico e dinamico naturale in cui la geometria di bordo dei foliaggi transversalmente affini diventa visibile.