[論文レビュー] Tropicalizing the space of admissible covers

Renzo Cavalieri, Hannah Markwig+1 more|arXiv (Cornell University)|Jan 19, 2014

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

ひとこと要約

本稿は、トロピカル化を通じて、古典的およびトロピカルHurwitzモジュライ空間の間の幾何的かつ函子的対応を確立し、古典的分岐写像の次数—Hurwitz数を符号化するもの—がトロピカルデータから回復可能であることを示している。適切な被覆のBerkovich解析的化のスケルトンを分析し、トロピカル化がタウトロジカル写像と可換であることを証明することで、非アルキメデス幾何と変形理論を用いて、古典的およびトロピカルHurwitz数の等価性をモジュライ空間のレベルで再証明している。

ABSTRACT

We study the relationship between tropical and classical Hurwitz moduli spaces. Following recent work of Abramovich, Caporaso and Payne, we outline a tropicalization for the moduli space of generalized Hurwitz covers of an arbitrary genus curve. Our approach is to appeal to the geometry of admissible covers, which compactify the Hurwitz scheme. We define and construct a moduli space of tropical admissible covers, and study its relationship with the skeleton of the Berkovich analytification of the classical space of admissible covers. We use techniques from non-archimedean geometry to show that the tropical and classical tautological maps are compatible via tropicalization, and that the degree of the classical branch map can be recovered from the tropical side. As a consequence, we obtain a proof, at the level of moduli spaces, of the equality of classical and tropical Hurwitz numbers.

研究の動機と目的

• 古典的およびトロピカルHurwitzモジュライ空間の間の幾何的かつ函手的関係を確立すること。
• これらのモジュライ空間上でのトロピカル化が、ソース写像および分岐写像と可換であることを示すこと。
• 古典的分岐写像の次数—Hurwitz数を計算するもの—をトロピカル側から回復することにより、古典的およびトロピカルHurwitz数の等価性を証明すること。

提案手法

• 著者たちは、適切な被覆のモジュライ空間のBerkovich解析的化を用い、そのスケルトンを錐複体として研究する。
• 解析的化から適切なトロピカル被覆のモジュライ空間へのトロピカル化写像を定義する。
• この写像がスケルトンを通って因数分解され、錐複体の全単射の面写像を誘導することを証明する。
• 変形理論および滑らか化パラメータの価値論を用いて、トロピカル分岐写像の拡大係数を計算する。
• トロピカル被覆の組み合わせ的型に重みを定義し、その重みを局所Hurwitz数、展開係数、自己同型因子の積とする。
• 古典的Hurwitz数が、固定されたターゲットトロピカル曲線の上にあるすべての組み合わせ的型にわたる、重みω(Θ)と拡大係数dΘ(brtrop)の積の和に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 適切な被覆のモジュライ空間のトロピカル化は、そのBerkovich解析的化のスケルトンとどのように関係するか？
• RQ2 適切な被覆のモジュライ空間上でのトロピカル化は、タウトロジカルなソース写像および分岐写像と可換か？
• RQ3 古典的分岐写像の次数—Hurwitz数を計算するもの—は、トロピカルデータから回復可能か？
• RQ4 古典的側およびトロピカル側の錐複体の整数構造の正確な関係は何か？
• RQ5 変形パラメータおよび滑らか化パラメータの価値は、トロピカル化写像をどのように決定するか？

主な発見

• 適切な被覆のモジュライ空間の解析的化からのトロピカル化写像は、そのスケルトンを通って因数分解され、錐複体の全単射の面写像を誘導する。
• トロピカル分岐写像は、整数構造を備えた錐複体の写像であり、各組み合わせ的型に対してその拡大係数は局所Hurwitz数の寄与に一致する。
• 古典的Hurwitz数は、すべてのトロピカルな組み合わせ的型にわたる、重みω(Θ)と拡大係数dΘ(brtrop)の積の和に等しい。
• 二重Hurwitz数（h=0で非単純分岐型が2つある場合）では、公式は、1/|Aut(Γ)|および辺の重みの積で重み付けられた、3価ターゲット曲線の和に簡略化される。
• 分岐写像の総次数は、トロピカルモジュライ空間内のすべての最大次元セルの寄与の和として計算され、各寄与は分岐指数のLCMと自己同型因子によって決定される。
• 結果は、トロピカル幾何と非アルキメデス的手法を用いて、モジュライ空間のレベルで古典的対応定理が成立することを確認している。