[論文レビュー] Realizability of tropical canonical divisors

Martin Moeller, Martin Ulirsch+1 more|arXiv (Cornell University)|Oct 17, 2017

Algebraic Geometry and Number Theory参考文献 34被引用数 14

ひとこと要約

本稿は、非アーチメデス的体上の安定トロピカル曲線における有効トロピカル canonical ディバイザーの実現可能性について、完全な組合せ的基準を提供する。有理関数から導かれる強化レベルグラフを用い、不都合な頂点および水平辺に関する条件を適用することで、ペア $(\Gamma, D)$ が実現可能であるための必要十分条件として、すべての不都合な頂点が、$f(v)$ より低いレベルのノードを通らない単純なサイクル上にあること、およびすべての水平辺が同様のサイクル上にあること—これにより、トロピカル幾何学における長年の問題が解決される。

ABSTRACT

We use recent results by Bainbridge-Chen-Gendron-Grushevsky-Moeller on compactifications of strata of abelian differentials to give a comprehensive solution to the realizability problem for effective tropical canonical divisors in equicharacteristic zero. Given a pair $(Γ, D)$ consisting of a stable tropical curve $Γ$ and a divisor $D$ in the canonical linear system on $Γ$, we give a purely combinatorial condition to decide whether there is a smooth curve $X$ over a non-Archimedean field whose stable reduction has $Γ$ as its dual tropical curve together with a effective canonical divisor $K_X$ that specializes to $D$. Along the way, we develop a moduli-theoretic framework to understand Baker's specialization of divisors from algebraic to tropical curves as a natural toroidal tropicalization map in the sense of Abramovich-Caporaso-Payne.

研究の動機と目的

• 特徴標数 0 の非アーチメデス的体上での有効トロピカル canonical ディバイザーの実現可能性問題を解くこと。
• トロピカルペア $(\Gamma, D)$ が非アーチメデス的体上の滑らかな曲線の有効 canonical ディバイザーの特殊化として生じる条件を特定すること。
• 強化レベルグラフにおけるサイクル条件に基づいた、完全に組合せ的な実現可能性基準を提供すること。
• ベイカーの特殊化写像をトロピカル化のトロイダル枠組みと結びつけるモジュライ理論的枠組みを確立すること。
• トロピカル Hodge バンドル $\mathbb{P}\Omega\mathcal{M}_g^{\text{trop}}$ におけるトロピカル化写像の像およびそのストラトムを特徴づけること。

提案手法

• トロピカル曲線 $\Gamma$ 上の有理関数 $f$ から強化レベルグラフ $\Gamma^+(f)$ を構成し、整数の傾きから得られるレベル関数および辺の装飾を符号化する。
• 「不都合な頂点」として、 genus 0 で正の大きな辺装飾を持つ頂点、特に傾きが $-1$ 未満である辺を2本持つ三重点を定義する。
• サイクル条件を導入：各不都合な頂点 $v$ に対して、$f(v)$ より低いレベルのノードを通らない $v$ を基点とする単純なサイクルが存在する必要がある。
• 両方の半辺が装飾 $-1$ の水平辺 $e$ に対して、$f(e)$ より低いレベルのノードを通らないサイクルが $e$ を通る必要がある。
• グローバルな残差条件およびねじれた微分形式を用いて、代数幾何的極限線形系列とトロピカル対象を関連付ける。
• 安定グラフ、部分順序、強化、および条件を満たさない構成を除外することで、実現可能性領域の単体的構造を列挙するアルゴリズム的手順を開発する。

実験結果

リサーチクエスチョン

• RQ1 有効 canonical ディバイザーの特殊化として生じるトロピカルペア $(\Gamma, D)$（ただし $D$ は canonical 線形系列 $|K_\Gamma|$ に属する）が、非アーチメデス的体上の滑らかな曲線から実現可能であるのはいつか？
• RQ2 強化レベルグラフ $\Gamma^+(f)$ におけるどのような組合せ的条件が、$D = K_\Gamma + \text{div}(f)$ の実現可能性を保証するか？
• RQ3 アブラモビッチ＝カポラーゾ＝ペインの意味におけるトロイダルトロピカル化と、代数的からトロピカルへのベイカーの特殊化写像はどのように関係するか？
• RQ4 トロピカル Hodge バンドル $\mathbb{P}\Omega\mathcal{M}_g^{\text{trop}}$ 内部における実現可能性領域の構造はいかなるものか？
• RQ5 アーベル微分のストラトム $\mu$ に対して、その実現可能性領域を組合せ的に特徴づけることができるか？

主な発見

• ペア $(\Gamma, D)$ が $D = K_\Gamma + \text{div}(f)$ であるとき、すべての不都合な頂点 $v$ が $f(v)$ より低いレベルのノードを通らない単純なサイクル上にあるならば、実現可能である。
• すべての水平辺 $e$ は、$f(e)$ より低いレベルのノードを通らない単純なサイクル上に存在しなければならず、これにより持ち上げのための位相的障害がないことが保証される。
• 一般に canonical ディバイザー $K_\Gamma$ は実現可能ではない。例 6.4 で示されるように、不都合な頂点におけるサイクル条件の不成立が原因である。
• ダムベルグラフでは、実現可能性領域 $\mathbb{P}\mathcal{R}_\Omega(2)$ は4つの「ワイエルシュトラス点」からなる：サイクルの中点2つと中央頂点2つで、二重零点の位置に依存する。
• ストラトム型 $\mu$ に対して、実現可能性領域 $\mathbb{P}\mathcal{R}_\Omega(\mu)$ は、型 $\mu$ の強化レベルグラフに同じサイクル条件を適用することで特徴づけられ、命題 6.10 で形式化されている。
• 安定グラフ、レベル関数、強化を列挙し、サイクル条件を検証することで、実現可能性領域の単体的構造を計算する有効だが非効率なアルゴリズムが提供されている。