[论文解读] Topological Moduli Space for Germs of Holomorphic Foliations

David Marín, Jean-François Mattei+1 more|arXiv (Cornell University)|May 15, 2017

Geometric and Algebraic Topology参考文献 38被引用 7

一句话总结

本文通过固定拓扑不变量——分离子集、Camacho-Sad 指标和单值表示——引入了 (C², 0) 上全纯叶状结构芽的拓扑模空间，利用一种称为群图的新代数对象的上同调构造模空间。在一般条件下，模空间被证明同构于复环面与有限交换群的乘积的商，揭示了有限型叶状结构的有限维、代数拓扑结构。

ABSTRACT

This work deals with the topological classification of germs of singular foliations on (ℂ2,0). Working in a suitable class of foliations we fix the topological invariants given by the separatrix set, the Camacho-Sad indices, and the projective holonomy representations and we compute the moduli space of topological classes in terms of the cohomology of a new algebraic object that we call group-graph. This moduli space may be an infinite-dimensional functional space but under generic conditions we prove that it has finite dimension and we describe its algebraic and topological structure.

研究动机与目标

• 对 (C², 0) 上奇异全纯叶状结构芽按拓扑等价进行分类。
• 识别并分离出分离子集、Camacho-Sad 指标和单值表示之外的剩余拓扑不变量。
• 描述此类叶状结构的拓扑类模空间的几何与代数结构。
• 刻画模空间为有限维的叶状结构类——称为“有限型”——的特征。
• 在一般条件下，通过构造一个参数化于有限维空间的普遍解析族，实现完整的拓扑分类。

提出的方法

• 定义一个标记除子 E⋄ = (E, Σ, ı)，其中包含具有法向相交的紧致曲线、有限个奇点集 Σ，以及交配对 ı。
• 引入与叶状结构的例外除子及奇点相关的群图概念，编码拓扑与单值数据。
• 利用群图的非交换上同调计算拓扑类的模空间。
• 通过一种改进的等价关系 ∼E 实现拓扑等价性的全局化，该关系在非节点奇点处尊重全纯性。
• 通过横截与几何实现的归纳构造，实现拓扑共轭，将局部共轭扩展至割分量。
• 利用刚性条件 (TR) 与横截结构，确保共轭映射的解析性，最终实现全局 C⁰ 共轭。

实验结果

研究问题

• RQ1 除了分离子集、Camacho-Sad 指标和单值表示之外，(C², 0) 上全纯叶状结构芽的完整拓扑不变量集是什么？
• RQ2 在何种条件下，拓扑类的模空间是有限维的？
• RQ3 模空间如何通过上同调数据在代数与拓扑上进行刻画？
• RQ4 群图在编码叶状结构的拓扑与动力结构中起什么作用？
• RQ5 在何种情况下，拓扑等价意味着全纯共轭？何时可将此类共轭全局延拓？

主要发现

• 在一般条件下，拓扑类的模空间同构于商群 (F ⊕ B ⊕ ⨁λj=1 (C∗/αjZ) ⊕ (C∗)ν) / Z，其中 F 为有限交换群，B 为 U(1) 的完全不连通子群之和，λ, ν, β 取决于局部奇点类型。
• 模空间为有限维当且仅当叶状结构为有限型，其特征为：每个分量上不存在含 ≤2 个奇点的例外割分量。
• 当横截刚性条件 (TR) 成立时，叶状结构的拓扑共轭蕴含全纯共轭，从而确保共轭映射的解析性。
• 全局共轭的构造依赖于利用 [29] 中主要定理的推广版本，将局部单值共轭沿非例外割分量扩展。
• 对于例外割分量（每分量含 ≤2 个奇点），通过相等的 Camacho-Sad 指标与自交数，可将局部共轭拼接为全局 C⁰ 共轭。
• 通过将连续映射从圆盘的并集延拓至 Aut₀(C, 0)，并在更大圆盘上采用常值延拓，实现对狄利克雷分量的最终延拓，从而保持拓扑结构。