[论文解读] Decompositions of tame profinite fundamental groups of non-archimedean curves using metrized complexes

Paul Alexander Helminck|arXiv (Cornell University)|Aug 9, 2018

Topological and Geometric Data Analysis参考文献 12被引用 2

一句话总结

本文建立了非阿基米德曲线的驯服平展覆盖与关联度量复形的刚性化驯服覆盖之间的等价性，从而实现了对代数基本群的图论解释。它将分解群和伽罗瓦群定义为正规子群，并证明其商群给出底层图基本群的豪斯多夫完备化，且其阿贝尔化与解析雅可比簇的环形与连通分支所诱导的扩张精确对应。

ABSTRACT

In this paper, we study a natural covering functor from the category of tame \'{e}tale coverings of a punctured curve over a complete algebraically closed non-archimedean field to the category of finite tame coverings of a metrized complex associated to the punctured curve. We enhance the latter category by adding a set of gluing data to every covering and we show that this yields an equivalence of categories. This enhanced category of so-called rigidified tame coverings then inherits the structure of a Galois category, yielding a natural notion of a profinite fundamental group for metrized complexes. Using this graph-theoretical interpretation, we define the (absolute) decomposition and inertia groups of the metrized complex in the fundamental group of a nonpunctured curve and we show that they define normal subgroups. We then show that the quotient of the fundamental group by the decomposition group is isomorphic to the profinite completion of the ordinary fundamental group of the underlying graph of the metrized complex. Furthermore, we prove that the extensions that arise from the abelianization of the decomposition and inertia quotients coincide with the extensions that arise from the toric and connected parts of the analytic Jacobian of the curve.

研究动机与目标

• 建立带 punctured 曲线的驯服平展覆盖与度量复形的有限驯服覆盖之间的范畴等价，且附加粘合数据。
• 在这些刚性化覆盖上引入伽罗瓦范畴结构，从而为度量复形定义一个代数基本群。
• 在该基本群中刻画分解群与伽罗瓦群，并证明它们是正规子群。
• 将基本群对分解群的商群与底层图基本群的豪斯多夫完备化联系起来。
• 证明分解群与伽罗瓦群商群的阿贝尔化精确对应于解析雅可比簇的环形与连通部分所诱导的扩张。

提出的方法

• 从带 punctured 曲线的驯服平展覆盖到度量复形的有限驯服覆盖引入一个覆盖函子。
• 通过在每个顶点处添加粘合数据，增强度量复形上覆盖的范畴，以反映局部单值性与分歧。
• 证明增强后的刚性化驯服覆盖范畴与原始的驯服平展覆盖范畴等价。
• 利用该等价性，为刚性化覆盖范畴赋予伽罗瓦范畴结构，从而为度量复形定义一个代数基本群。
• 应用图论方法分析基本群，并将分解群与伽罗瓦子群识别为正规子群。
• 建立基本群对分解群的商群与底层图基本群的豪斯多夫完备化之间的同构。

实验结果

研究问题

• RQ1 如何系统地将非阿基米德曲线的驯服平展覆盖与关联度量复形的覆盖联系起来？
• RQ2 从度量复形的覆盖中恢复完整的驯服平展覆盖范畴，还需添加何种额外数据？
• RQ3 分解群与伽罗瓦群在度量复形的代数基本群中如何体现？
• RQ4 基本群对分解群的商群的结构是什么？它与底层图有何关系？
• RQ5 分解群与伽罗瓦群商群的阿贝尔化是否精确对应于解析雅可比簇的环形与连通部分所诱导的扩张？

主要发现

• 度量复形上的刚性化驯服覆盖范畴与带 punctured 曲线的驯服平展覆盖范畴等价。
• 由该等价性导出的度量复形基本群自然具有伽罗瓦范畴结构。
• 该基本群中的分解群与伽罗瓦群为正规子群。
• 基本群对分解群的商群同构于底层图基本群的豪斯多夫完备化。
• 分解群商群的阿贝尔化对应于解析雅可比簇环形部分所诱导的扩张。
• 伽罗瓦群商群的阿贝尔化对应于解析雅可比簇连通部分所诱导的扩张。