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

技术摘要：关于 Poisson 连接的 Poisson–Poincaré–Dulac 定理

问题陈述
本研究旨在解决在具有沿简单正规交叉（SNC）除子 $D$ 的极点的全纯 Poisson 流形 $(X, \sigma)$ 上，对数 Poisson 平坦连接（logarithmic Poisson-flat connections）的局部解析分类问题。与经典的对数平坦连接（其平坦性是相对于完整的对数切丛 $TX(-\log D)$ 定义的）不同，此处研究的连接被要求仅在由 Poisson 双向量 $\sigma$ 诱导的 $\sigma$-辛叶状 $\mathcal{F}_\sigma$ 上是平坦的。核心问题在于：在适当的非共振条件下，此类连接是否可以被全纯规范变换为一种规范形式（具体而言是具有常数交换残差的 Euler–Poisson 形式），以及这种形式在多大程度上是唯一的。

作者强调了一个技术性的区别：平坦方向是由 $\sigma$-辛叶状决定的，该叶状的秩可能变化且存在退化，而非由环境几何决定。因此，标准的对数连接理论无法直接应用；必须沿着 $\mathcal{F}_\sigma$ 求解同调方程，同时显式地处理由 Poisson 结构产生的对数 Hamiltonian 生成元。

方法论
该方法结合了全纯 Poisson 几何、Lie 代数余环上同调以及实定向吹胀（real oriented blow-ups）理论。

1. 几何框架： 作者在对数余切 Poisson Lie 代数 $A_\sigma(\log D) = \Omega^1_X(\log D)$ 内进行工作，该代数配备了 Koszul 括号和锚映射 $\sigma^\#$。他们定义了一个对数 Poisson 连接，它是该代数的一个表示，满足由 Poisson 导数 $\delta(f) = \sigma^\#(df)$ 控制的 Leibniz 法则。
2. 主部与残差： 作者定义了一个“Euler–Poisson 主部” $\Theta_0 = \sum A_i X_i$，其中 $X_i = \sigma^\#(d \log z_i)$ 是切于除子分量的对数 Hamiltonian 向量场，$A_i$ 是常数矩阵。其“残差”被识别为这些矩阵。
3. 非共振假设： 一个关键的创新是提出了“有效非共振”条件的公式化表达。由于对数 Hamiltonian $X_i$ 在模掉边界理想时可能满足线性关系，作者定义了一个有效 Euler–Poisson 空间 $t_{\sigma, p} = \mathbb{C}^r / k_{\sigma, p}$。非共振条件要求：对于残差元组的互异联合广义特征值 $\lambda_\kappa, \lambda_{\kappa'}$，对于所有多指标 $\alpha$，有效权重差 $[\alpha]_\sigma + \bar{\lambda}_\kappa - \bar{\lambda}_{\kappa'}$ 均不为零。
4. 通过同调方程进行规范化： 通过在边界理想 $I_D$ 中逐阶求解同调方程 $L(K) = -\eta$ 来进行证明。线性算子 $L = \delta + [\Theta_0, -]$ 是利用基于残差联合广义特征空间的过滤进行分析的。作者利用叶内对数 Poincaré 引理（引理 5.6）将精确形式与经向周期（meridional periods）分离，从而确保在有效非共振机制下可以求解同调方程。
5. 群组构造： 为了编码叶内传输与边界绕行，作者构造了一个“扭曲叶内基本群组”（twisted leafwise fundamental groupoid）。这是通过一个 2-推结（2-pushout）实现的，该构造将内部叶内基本群组与一个富含规范经向同构（由实定向吹胀上角坐标的旋转生成）的边界邻域粘合在一起。

主要贡献与结果

• Poisson–Poincaré–Dulac 定理 (定理 5.10)： 在有效非共振假设下，任何具有固定 Euler–Poisson 主部的对数 Poisson 平坦连接都与一个纯 Euler–Poisson 规范形式 $\Theta_{nf} = \sum \tilde{A}_i X_i$ 全纯规范等价，其中残差矩阵 $\tilde{A}_i$ 是常数且交换。
• 唯一性 (定理 5.13)： 该规范形式在由 Casimir 值（沿 $\sigma$-辛叶为常数）且属于残差元组的“有效中心化子”的规范变换意义下是唯一的。这反映了 Poisson 环境中固有的特定规范歧义，即 Casimir 函数作为叶内常数起作用。
• 经向特征 (命题 5.18)： 在有效非共振机制下，残差元组定义了扭曲群组内边界经向子群 $\mathbb{Z}^r$ 的一个规范特征。经向单值性显式地由 $\exp(-2\pi i \tilde{A}_i)$ 给出。这提供了 Poisson 版的 Riemann–Hilbert 对应关系，将残差的代数数据与扭曲群组的拓扑数据联系起来。
• 秩-二应用 (第 6 节)： 该理论被应用于秩为二的亚纯 Poisson 模（Poisson 三元组）。作者推导了 $sl_2$ 值的连接的显式局部模型和共振约束，将抽象规范化与具体的射影 Poisson 几何及 Morita 等价特征联系起来。

意义与主张
本文声称建立了一种在靠近 SNC 除子处、特别是当 $\sigma$-辛叶的秩较小或发生变化时的 Poisson 平坦连接数据的刚性局部分类。它将经典的 Poincaré–Dulac 哲学扩展到了 Poisson 背景下，在此背景下，“平坦性”受限于奇异叶状而非环境空间。

作者强调，其方法解决了叶内动力学与边界拓扑之间的张力。通过构造扭曲叶内群组，他们提供了一个框架，使得“经向边界部分”可以与叶内单值性一同被记录在对数 Riemann–Hilbert 图景中。这项工作被呈现为理解 Poisson 模的表示论数据以及射影 Poisson 簇几何的基础性步骤，为处理区分于普通连接的“Casimir 值”规范自由度提供了一种精确机制。作者通过涉及 $\mathbb{P}^3$ 上对角二次 Poisson 结构的显式示例说明了该理论的适用性，展示了其在具体代数几何设置中的应用价值。