[论文解读] The Galoisian envelope of a germ of foliation: the quasi-homogeneous case

Emmanuel Paul|ArXiv.org|Dec 11, 2006

Algebraic Geometry and Number Theory参考文献 3被引用 3

一句话总结

本文建立了复平面 $ℂ^2$ 中一类奇点余维数为一的准齐次叶状的适当伽罗瓦闭包（伽罗瓦包络）存在的几何与算法准则。通过分析相对单值群与形式法型，证明了伽罗瓦可约性等价于存在一个有限长度的戈德比昂-维序列（最多三个微分形式），并将其与米尔诺纤维的单值性联系起来，关键结果是通过向量场正规化，实现了阿贝尔单值群的实现定理。

ABSTRACT

We give geometric and algorithmic criterions in order to have of a proper Galois closure for a codimension one germ of quasi-homogeneous foliation. We recall this notion recently introduced by B. Malgrange, and describe the Galois envelope of a group of germs of analytic diffeomorphisms. The geometric criterions are obtained from transverse analytic invariants, whereas the algorithmic ones make use of formal normal forms.

研究动机与目标

• 确定余维数为一的准齐次叶状的奇点的适当伽罗瓦闭包（伽罗瓦包络）存在的充分必要条件。
• 将此类叶状的伽罗瓦可约性与存在有限长度的戈德比昂-维序列（最多三个形式）联系起来。
• 在准齐次奇点的背景下，建立几何不变量（相对单值群）与算法不变量（形式法型）之间的联系。
• 建立一个实现性定理：任何 $ \mathrm{Diff}_1(\mathbb{C},0) $ 中的非异常阿贝尔子群，均可作为某个准齐次叶状的相对单值群实现。
• 为将伽罗瓦理论方法扩展至余维数大于一的情形（特别是形式法型与可求和性方面）奠定基础。

提出的方法

• 本文利用准齐次向量场 $X_h$ 的解析化，分析了极小除数的结构以及叶状在米尔诺纤维上的行为。
• 将叶状的相对单值群定义为在米尔诺纤维上的单值作用，证明其为阿贝尔群，且由闭微分形式 $\eta_c$ 的周期决定。
• 通过形如 $X = \alpha X_h + \left(\sum c_i f_i\right) \delta(h) R$ 的向量场构造叶状的形式法型，其中 $f_i$ 为全纯函数，$R$ 为准齐次欧拉向量场。
• 从法型中的系数 $c_i$ 推导出算法不变量 $\mathcal{L}(\mathcal{F})$，其维数对应于伽罗瓦包络的横截秩。
• 将单值的周期 $T_i$ 与系数 $c_i$ 之间的关系编码于矩阵方程 $T = M \cdot C$ 中，其中 $M$ 为上同调基的周期矩阵。
• 本文证明：伽罗瓦包络是适当的（即叶状是伽罗瓦可约的）当且仅当相对单值群为阿贝尔群，且周期 $T_i$ 为有理相关，这对应于存在长度至多为三的有限戈德比昂-维序列。

实验结果

研究问题

• RQ1 在何种几何与代数条件下，余维数为一的准齐叶状的伽罗瓦包络是适当的（即严格小于完整的自同构群概形）？
• RQ2 存在长度至多为三的有限戈德比昂-维序列（长度至多为三）与叶状的伽罗瓦可约性之间有何关系？
• RQ3 叶状的相对单值群与向量场形式法型之间的精确关系为何？
• RQ4 能否将 $ \mathrm{Diff}_1(\mathbb{C},0) $ 中的任意非异常阿贝尔子群实现为某个准齐次叶状的相对单值群？
• RQ5 最终法型的 $k$-可求和性的几何意义为何？其与伽罗瓦闭包有何关联？

主要发现

• 余维数为一的准齐叶状的伽罗瓦包络是适当的，当且仅当其相对单值群为阿贝尔群，且相关微分形式 $\eta_c$ 的周期为有理相关。
• 存在长度至多为三的有限戈德比昂-维序列，等价于伽罗瓦可约性，且伽罗瓦包络的横截秩等于此类序列的最小长度。
• 证明了一个实现定理：对任意 $ \mathrm{Diff}_1(\mathbb{C},0) $ 中的非异常阿贝尔子群 $H$，存在一个准齐次叶状，其相对单值群为 $H$，通过在法型中适当地选择系数 $c_i$ 实现。
• 矩阵 $M = (m_{i,j})$，其元素 $m_{i,j} = \int_{\Gamma_i} \eta_j$ 可逆，确保了可从期望的周期 $T_i$ 唯一求解系数 $c_i$，从而在单值数据与法型参数之间建立一一对应。
• 伽罗瓦包络是平凡的（即完整的自同构群概形）当且仅当相对单值群非阿贝尔或周期不可公度，表明不可约性。
• 本文建立：算法不变量 $\mathcal{L}(\mathcal{F})$ 为一维，当且仅当叶状是刘维尔型的，将伽罗瓦理论中的可积性概念与特定超越扩张中首次积分的存在性联系起来。