[論文レビュー] 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.

研究の動機と目的

• 「穴あき曲線」のたたくエタール被覆と、その距離付き複体の有限たたく被覆との間のカテゴリカル同値性を確立すること。ただし、接続データを含む。
• これらの固定された被覆のカテゴリにガロアカテゴリ構造を導入することで、距離付き複体に対するプロファイント基本群を定義すること。
• この基本群内での分解群および分岐群を特徴づけ、それらが正規部分群であることを示すこと。
• 基本群を分解群で割った商が、基礎となるグラフの基本群のプロファイント完備化と同型であることを示すこと。
• 分解群および分岐群のアーベル化が、解析的ヤコビアンのトーリック部および連結部から生じる拡張と正確に一致することを示すこと。

提案手法

• 穴あき曲線のたたくエタール被覆から距離付き複体の有限たたく被覆への被覆関手を導入すること。
• 各頂点において局所的モノドロミーと分岐を反映させるために、距離付き複体上の被覆カテゴリに接続データを追加すること。
• この固定されたたたく被覆の拡張カテゴリが、元のたたくエタール被覆のカテゴリと同値であることを証明すること。
• この同値性を用いて、固定された被覆のカテゴリにガロアカテゴリ構造を導入し、距離付き複体に対するプロファイント基本群を定義すること。
• グラフ論的技法を用いて基本群を解析し、分解群および分岐部分群が正規部分群として特定されることを示すこと。
• 基本群を分解群で割った商と、基礎となるグラフの基本群のプロファイント完備化との間に同型を確立すること。

実験結果

リサーチクエスチョン

• RQ1 非アルキメデス的曲線のたたくエタール被覆を、その関連する距離付き複体の被覆とどのように体系的に関連付けることができるか？
• RQ2 距離付き複体の被覆から、たたくエタール被覆の完全なカテゴリを回復するために、どのような追加データが必要か？
• RQ3 分解群および分岐群は、距離付き複体のプロファイント基本群内でどのように現れるか？
• RQ4 基本群を分解群で割った商の構造は何か？また、基礎となるグラフとどのように関係するか？
• RQ5 分解群および分岐群のアーベル化は、解析的ヤコビアンのトーリック部および連結部から生じる拡張に対応するか？

主な発見

• 距離付き複体上の固定されたたたく被覆のカテゴリは、穴あき曲線のたたくエタール被覆のカテゴリと同値である。
• この同値性から導かれる距離付き複体の基本群は、自然なガロアカテゴリ構造を備えている。
• この基本群における分解群および分岐群は正規部分群である。
• 基本群を分解群で割った商は、基礎となるグラフの基本群のプロファイント完備化と同型である。
• 分解群のアーベル化は、解析的ヤコビアンのトーリック部から生じる拡張に対応する。
• 分岐群のアーベル化は、解析的ヤコビアンの連結部から生じる拡張に対応する。