[論文レビュー] Arbres de Hurwitz et automorphismes d'ordre p des disques et des couronnes p-adiques formels

Yannick Henrio|ArXiv.org|Nov 15, 2000

Algebraic Geometry and Number Theory参考文献 1被引用数 32

ひとこと要約

本稿は、形式的 $p$-進円板およびアニュラスの位数 $p$ の自己同型を分類するために、Hurwitz 樹の組合せ論的概念を導入する。このような自己同型が存在するための必要十分条件を、樹の構造および微分形式に基づいて確立し、Green と Matignon の先行研究を一般化・完成させる。主たる貢献は、樹の頂点および辺における微分的条件を用いた Hurwitz 樹の実現可能性基準の確立である。

ABSTRACT

Let R be a complete discrete valuation ring of mixed characteristics (0,p). Given an order p-automorphism of a formal disc (or annulus) over R, we describe the minimal semi-stable model for which the specialisations of fixed points are distincts and lie in the smooth locus of the special fiber. The description leads to a combinatorial object called Hurwitz tree. Our main result is a necessary and sufficient condition for a Hurwitz tree to arise from an order p-automorphism.

研究の動機と目的

• 既存の結果を超えて、形式的 $p$-進円板およびアニュラスの位数 $p$ の自己同型の分類を拡張すること。
• 固定点および特異点の専用化に関する幾何的・計量的制約を符号化するための組合せ論的概念として Hurwitz 樹を導入すること。
• Hurwitz 樹が実際に形式的円板またはアニュラスの $R$-自己同型から生じるための必要十分条件を提供すること。
• Green と Matignon の結果をアニュラスの場合に一般化し、関連する Hurwitz 樹の構造定理を確立すること。
• 対応する自己同型の作用が接空間に与える影響に関連して、対象の成分における対数的および完全微分形式の存在に関する基準を提示すること。

提案手法

• 固定点および特異点の専用化を符号化するため、頂点タイプ（乗法的、加法的）および辺の重みを備えた距離的樹として Hurwitz 樹を定義する。
• 形式的幾何および特異点の最小解消を用いて、吹き上げの特別ファイバーを構成し、これが Hurwitz 樹となるようにする。
• Kummer トーラスの理論およびその還元を用いて、自己同型が境界および特別ファイバー上で与える作用を分析する。
• 樹の成分における対数的および完全微分形式を用いて、重みおよび付値に関する必要条件を導出する。
• Hurwitz 樹が次の3条件を満たす場合に限り実現可能であるという実現定理を確立する：(D1) 根頂点の次数が1、(D2) 最大次数頂点が葉である、(D3) 3以上の次数を持つ頂点が微分形式によって実現可能である。
• 条件が満たされない場合に、ローラン級数展開および留数解析を用いて矛盾を導出し、基準の必要性を証明する。

実験結果

リサーチクエスチョン

• RQ1 与えられた組合せ論的 Hurwitz 樹が、形式的 $p$-進円板またはアニュラスの位数 $p$ の自己同型から生じる条件は何か？
• RQ2 このような自己同型が存在するための、樹の構造および辺の重みに関する必要十分条件は何か？
• RQ3 一般ファイバー上の固定点の専用化は、特別ファイバーの樹の幾何にどのように関係するか？
• RQ4 対数的および完全微分形式は、可能な自己同型型を制約するために果たす役割は何か？
• RQ5 自己同型の接空間への作用の付値は、樹の頂点タイプおよび辺の重みとどのように関係するか？

主な発見

• Hurwitz 樹が形式的円板の位数 $p$ の自己同型から生じるための必要十分条件は、(D1)、(D2)、(D3) を満たすことである：根頂点の次数が1、最大次数頂点が葉、3以上の次数を持つ頂点が微分形式によって実現可能である。
• 円板自己同型の最小解消により得られる特別ファイバーは、残差体上の射影直線の距離的樹となり、厳密変換からの自然な向きが存在する。
• 樹の最大の葉上で、固定点の専用化にちょうど極をもち、二重点に零点を持つ唯一の対数的微分形式が存在し、その留数は接空間への作用に関連する。
• 樹の内部成分上で、その成分の二重点にのみ台を持つ唯一の完全微分形式が存在する。
• アニュラスの場合、Green と Matignon の定理 III 3.1 に類似した構造定理が確立され、小さな導手条件の下での可能な樹の構成を記述する。
• 証明により、正の基本辺のうち高々1つが正の重みを持ち、負の基本辺のうち高々1つが負の重みを持つことが示され、3種類の樹（I, II, III）が得られ、それぞれが異なる幾何的および付値的制約を持つ。