[論文レビュー] Lifting harmonic morphisms I: metrized complexes and Berkovich skeleta

Omid Amini, Matthew Baker+2 more|arXiv (Cornell University)|Mar 20, 2013

Polynomial and algebraic computation参考文献 22被引用数 15

ひとこと要約

この論文は、非アーケメデス的体上の代数的曲線の有限被覆と、メトリックグラフ上の調和被覆との間の深い関係を、Berkovichのスケルトンを介して確立する。このような被覆は、メトリック複体の曲線への有限調和被覆に引き上げられることを証明し、同時安定化還元定理の解析的証明を提供するとともに、Ribetの問いに応えるために、誘導されたNéron成分群への写像が全射でない例を構成する。

ABSTRACT

Abstract Let K be an algebraically closed, complete non-Archimedean field. The purpose of this paper is to carefully study the extent to which finite morphisms of algebraic K -curves are controlled by certain combinatorial objects, called skeleta . A skeleton is a metric graph embedded in the Berkovich analytification of X . A skeleton has the natural structure of a metrized complex of curves. We prove that a finite morphism of K -curves gives rise to a finite harmonic morphism of a suitable choice of skeleta. We use this to give analytic proofs of stronger 'skeletonized' versions of some foundational results of Liu-Lorenzini, Coleman, and Liu on simultaneous semistable reduction of curves. We then consider the inverse problem of lifting finite harmonic morphisms of metrized complexes to morphisms of curves over K . We prove that every tamely ramified finite harmonic morphism of Λ -metrized complexes of k -curves lifts to a finite morphism of K -curves. If in addition the ramification points are marked, we obtain a complete classification of all such lifts along with their automorphisms. This generalizes and provides new analytic proofs of earlier results of Saïdi and Wewers. As an application, we discuss the relationship between harmonic morphisms of metric graphs and induced maps between component groups of Néron models, providing a negative answer to a question of Ribet motivated by number theory. This article is the first in a series of two. The second article contains several applications of our lifting results to questions about lifting morphisms of tropical curves.

研究の動機と目的

• 非アーケメデス的体上の代数的曲線の有限被覆が、スケルトンやメトリック複体といった組合せ的構造によってどのように支配されるかを理解すること。
• Liu–Lorenzini、Coleman、Liuの同時安定化還元定理を、離散的でない値の体へ拡張し、それらの解析的証明を提供すること。
• メトリック複体の有限調和被覆を曲線の被覆に引き上げる逆問題を解くこと。
• メトリックグラフ上の調和被覆とNéron成分群への誘導写像との関係を明確にし、Ribetの問いに答えること。

提案手法

• 三角形分割と安定化モデルを用いて、曲線のBerkovich解析的化のスケルトンを、穴あきを含むメトリックグラフとして構成する。
• 頂点に接続された曲線を備えたメトリックグラフとしてのメトリック複体の曲線を定義し、安定化モデルの幾何を捉える。
• 開アニュラスおよび球上の写像の解析的性質を用いて、曲線の有限被覆が適切なスケルトン上の有限調和被覆を誘導することを証明する。
• 「引き上げ定理」を確立：K-曲線のΛ-メトリック複体の曲線の、正則的分岐をもつ有限調和被覆は、K-曲線の有限被覆に引き上げられる。
• 正則化されたヤコビファンクターとモノドロミー対合を用いて、調和被覆とNéronモデルの成分群への写像を関連付ける。
• 古典的安定化還元理論に依存しないように、降下法と解析的手法を応用する。

実験結果

リサーチクエスチョン

• RQ1 K-曲線の有限被覆は、そのスケルトンへの誘導被覆によって完全に制御可能か。もしそうなら、どのような条件下でか？
• RQ2 メトリック複体の調和被覆は、K 上の代数的曲線の被覆にどの程度まで引き上げ可能か？
• RQ3 安定化曲線の有限被覆に対して、Néronモデルの成分群への誘導写像は常に全射のままであるか？
• RQ4 解析的手法は、同時に安定化還元定理を証明するための古典的代数幾何学的理論に代わって用いられるか？
• RQ5 メトリックグラフ上の調和被覆と、それに対応するNéron成分群への誘導写像との正確な関係は何か？

主な発見

• 正則的分岐をもつ、k-曲線のΛ-メトリック複体のすべての有限調和被覆は、K-曲線の有限被覆に引き上げられる。
• 分岐点がマークされたとき、すべての引き上げとそれらの自己同型の完全分類が得られる。
• Néronモデルの成分群への誘導写像は、正則化されたヤコビファンクターを介して、スケルトン上の調和被覆によって誘導される写像と同型である。
• 誘導された成分群への写像が全射でない例を構成することで、Ribetの問いに否定的な答えを与える。
• 写像φ∗が正則化されたヤコビアン上で全射であるときかつそのときに限り、成分群上の写像φ∗が単射であることが、モノドロミー対合における双対性により示される。
• 本論文は、離散的でない非アーケメデス的体に対しても、同時に安定化還元定理の解析的証明を提供する。