A Poisson--Poincaré--Dulac for Poisson Connections

Technische Samenvatting: Een Poisson–Poincaré–Dulac voor Poisson-verbindingen

Probleemstelling
Dit werk behandelt de lokale analytische classificatie van logaritmische Poisson-vlakke verbindingen op een holomorfe Poisson-variëteit $(X, \sigma)$ met polen langs een simple normal crossings (SNC) divisor $D$. In tegenstelling tot klassieke logaritmische vlakke verbindingen, waarbij vlakheid wordt gedefinieerd met betrekking tot de volledige logaritmische tangentbundel $TX(-\log D)$, zijn de hier bestudeerde verbindingen vereist om alleen vlak te zijn langs de symplectische foliatie $\mathcal{F}_\sigma$ geïnduceerd door de Poisson-bivector $\sigma$. De centrale vraag is of dergelijke verbindingen, onder geschikte niet-resonantievoorwaarden, holomorf gauge-getransformeerd kunnen worden naar een canonieke "normaalvorm" (specifiek een Euler–Poisson-vorm met constante commuterende residuen) en in welke mate deze vorm uniek is.

De auteurs benadrukken een technisch onderscheid: de vlakheidsrichtingen worden bepaald door de symplectische foliatie, die een variërende rang en degeneratie kan hebben, in plaats van door de omringende geometrie. Bijgevolg kan de standaardtheorie van logaritmische verbindingen niet direct worden toegepast; men moet homologische vergelijkingen oplossen langs $\mathcal{F}_\sigma terwijl de logaritmische Hamiltoniaanse generatoren die voortvloeien uit de Poisson-structuur expliciet worden beheerd.

Methodologie
De methodologie combineert holomorfe Poisson-geometrie, Lie-algebroid-cohomologie en de theorie van real oriented blow-ups.

1. Geometrisch Kader: De auteurs werken binnen de logaritmische cotangente Poisson Lie-algebroid $A_\sigma(\log D) = \Omega^1_X(\log D)$, uitgerust met de Koszul-bracket en de anker $\sigma^\#$. Zij definiëren een logaritmische Poisson-verbinding als een representatie van deze algebroid, die voldoet aan een Leibniz-regel gestuurd door de Poisson-afgeleide $\delta(f) = \sigma^\#(df)$.
2. Principale Delen en Residuen: De auteurs definiëren een "Euler–Poisson principaal deel" $\Theta_0 = \sum A_i X_i$, waarbij $X_i = \sigma^\#(d \log z_i)$ logaritmische Hamiltoniaanse vectorvelden zijn die tangent zijn aan de componenten van de divisor, en $A_i$ constante matrices zijn. Het "residu" wordt geïdentificeerd met deze matrices.
3. Niet-resonantie Hypothese: Een cruciale innovatie is de formulering van een "effectieve niet-resonantievoorwaarde". Omdat de logaritmische Hamiltoniaanse $X_i$ lineaire relaties kunnen bevredigen modulo het boundary-ideaal, definiëren de auteurs een effectieve Euler–Poisson ruimte $t_{\sigma, p} = \mathbb{C}^r / k_{\sigma, p}$. De niet-resonantievoorwaarde vereist dat voor verschillende gezamenlijke gegeneraliseerde eigenwaarden $\lambda_\kappa, \lambda_{\kappa'}$ van de residu-tuple, het verschil $[\alpha]_\sigma + \bar{\lambda}_\kappa - \bar{\lambda}_{\kappa'}$ voor alle multi-indices $\alpha$ niet nul is.
4. Normalisatie via Homologische Vergelijkingen: Het bewijs van de normaalvormstelling verloopt door de homologische vergelijking $L(K) = -\eta$ orde-voor-orde in het boundary-ideaal $I_D op te lossen. De geliniariseerde operator$L = \delta + [\Theta_0, -]$ wordt geanalyseerd met behulp van een filtratie gebaseerd op de gezamenlijke gegeneraliseerde eigenruimten van de residuen. De auteurs maken gebruik van een leafwise logaritmische Poincaré-lemma (Lemma 5.6) om exacte vormen te scheiden van meridionale perioden, wat ervoor zorgt dat de homologische vergelijkingen in het effectief niet-resonante regime opgelost kunnen worden.
5. Grotoïde Constructie: Om zowel leafwise transport als boundary winding te coderen, construeren de auteurs een "getwiste leafwise fundamentele grotoïde". Dit wordt bereikt via een 2-pushout die de interne leafwise fundamentele grotoïde samenvoegt met een boundary collar die verrijkt is met canonieke meridionale isotropie (gegenereerd door rotaties van de hoekcoördinaten op de real oriented blow-up).

Belangrijkste Bijdragen en Resultaten

• Poisson–Poincaré–Dulac Stelling (Theorem 5.10): Onder de effectieve niet-resonantiehypothese is elke logaritmische Poisson-vlakke verbinding met een vaste Euler–Poisson principaal deel holomorf gauge-equivalent aan een zuivere Euler–Poisson normaalvorm $\Theta_{nf} = \sum \tilde{A}_i X_i$, waarbij de residu-matrices $\tilde{A}_i$ constant zijn en commuteren.
• Uniciteit (Theorem 5.13): De normaalvorm is uniek op basis van gauge-transformaties die Casimir-waardig zijn (constant langs symplectische bladeren) en liggen in de "effectieve centralizer" van de residu-tuple. Dit weerspiegelt een specifieke gauge-ambiguïteit die inherent is aan de Poisson-setting, waarbij Casimir-functies als leafwise constanten fungeren.
• Meridionale Karakter (Proposition 5.18): In het effectief niet-resonante regime definieert de residu-tuple een canonieke karakter van de boundary meridiale subgroep $\mathbb{Z}^r$ binnen de getwiste grotoïde. De meridiale monodromie wordt expliciet gegeven door $\exp(-2\pi i \tilde{A}_i)$. Dit biedt een Poisson-analoog van de Riemann–Hilbert-correspondentie, die de algebraïsche data van residuen koppelt aan de topologische data van de getwiste grotoïde.
• Rang-Twee Toepassingen (Sectie 6): De theorie wordt toegepast op rang-twee meromorfe Poisson-modules (Poisson-triples). De auteurs leiden expliciete lokale modellen en resonantiebeperkingen af voor $sl_2$-waardige verbindingen, waarmee zij de abstracte normalisatie verbinden met concrete projectieve Poisson-geometrieën en Morita-theoretische kenmerken.

Betekenis en Claims
Het artikel claimt een rigide lokale classificatie vast te stellen van Poisson-vlakke verbinding-data nabij een SNC-divisor, specifiek in regimes waarin de symplectische foliatie een kleinere of variërende rang heeft. Het breidt de klassieke Poincaré–Dulac filosofie uit naar de Poisson-context, waar de "vlakheid" beperkt is tot een singuliere foliatie in plaats van de omringende ruimte.

De auteurs benadrukken dat hun aanpak de spanning tussen leafwise dynamica en boundary topologie oplost. Door de getwiste leafwise grotoïde te construeren, bieden zij een kader waarin de "meridiale boundary-component" van het logaritmische Riemann–Hilbert beeld wordt vastgelegd naast de leafwise monodromie. Het werk wordt gepresenteerd als een fundamentele stap voor het begrijpen van de representatie-theoretische data van Poisson-modules en de geometrie van projectieve Poisson-variëteiten, waarbij een precies mechanisme wordt geboden om de "Casimir-waardige" gauge-vrijheid te hanteren die Poisson-verbindingen onderscheidt van hun gewone tegenhangers. De resultaten worden geïllustreerd door expliciete voorbeelden met diagonale kwadratische Poisson-structuren op $\mathbb{P}^3$, wat de toepasbaarheid van de theorie in concrete algebro-geometrische settings aantoont.