[論文レビュー] Effective faithful tropicalizations associated to linear systems on curves

Shu Kawaguchi, Kazuhiko Yamaki|arXiv (Cornell University)|Dec 4, 2016

Algebraic Geometry and Number Theory参考文献 22被引用数 3

ひとこと要約

本稿は、完備非アルキメデス体上の滑らかで射影的な曲線 $X$ について、$g \geq 2$ の場合、任意の線分束 $L$ が $\deg(L) \geq 3g-1$ を満たすとき、$X^\mathrm{an}$ の任意のスケルトン $\Gamma$ がトロピカル射影空間への忠実なトロピカル化を誘導することを確立する。この結果は、古典的な射影埋め込みの非アルキメデス的類似を与えるものであり、トロピカル化が位相的構造と整数的構造の両方を保存することを示している。

ABSTRACT

For a connected smooth projective curve $X$ of genus $g$, global sections of any line bundle $L$ with $°(L) \geq 2g+ 1$ give an embedding of the curve into projective space. We consider an analogous statement for a Berkovich skeleton in nonarchimedean geometry, in which projective space is replaced by tropical projective space, and an embedding is replaced by a homeomorphism onto its image preserving integral structures (called a faithful tropicalization). Let $K$ be an algebraically closed field which is complete with respect to a non-trivial nonarchimedean value. Suppose that $X$ is defined over $K$ and has genus $g \geq 2$ and that $Γ$ is a skeleton (that is allowed to have ends) of the analytification $X^{\mathrm{an}}$ of $X$ in the sense of Berkovich. We show that if $°(L) \geq 3g-1$, then global sections of $L$ give a faithful tropicalization of $Γ$ into tropical projective space. As an application, when $Y$ is a suitable affine curve, we describe the analytification $Y^{\mathrm{an}}$ as the limit of tropicalizations of an effectively bounded degree.

研究の動機と目的

• 曲線の古典的射影埋め込み定理の非アルキメデス的類似を、トロピカル幾何学を用いて確立すること。
• 曲線のベルコヴィッチスケルトンの忠実なトロピカル化を保証する最小の線分束の次数を特定すること。
• genus $g \geq 2$ の場合、$\deg(L) \geq 3g-1$ が任意のスケルトン $\Gamma$ の忠実なトロピカル化を十分に与えることを示すこと。
• 結果を応用し、有界次数の写像のトロピカル化の極限として、アフィン曲線の解析的化を記述すること。

提案手法

• 完備非アルキメデス体上の滑らかで射影的な曲線 $X$ に対して、ベルコヴィッチ解析的化 $X^{\mathrm{an}}$ に関連するスケルトン $\Gamma$ を構成する。
• 線分束 $L$ の正則切断 $s_0, \dots, s_N$ を用いて、$p \mapsto (-\log|s_0(p)| : \cdots : -\log|s_N(p)|)$ で定義されるトロピカル化写像 $\varphi: X^{\mathrm{an}} \to \mathbb{T}\mathrm{P}^N$ を定義する。
• $\deg(L) \geq 3g-1$ のとき、この写像が像へのホメオモルフィズムに制限され、かつ整数的構造を保存することを証明する。
• 逆極限と固有写像の理論を用いて、トロピカル化写像が全射かつ閉写像であることを示し、したがってホメオモルフィズムであることを証明する。
• 逆極限構成におけるコンパクト集合の有限交差性質を用いて、任意のトロピカル化のタプルへ写像される点の存在を証明する。
• トロピカル化写像の固有性と逆極限における部分空間位相を組み合わせ、ホメオモルフィズム性を確立する。

実験結果

リサーチクエスチョン

• RQ1 genus $g$ の曲線上で、任意のスケルトン $\Gamma$ の忠実なトロピカル化を保証する最小の次数 $d(g)$ は何か？
• RQ2 トロピカル化を用いて、古典的射影埋め込み結果を非アルキメデス的設定へ拡張できるか？
• RQ3 $g \geq 2$ の場合、$\deg(L) \geq 3g-1$ がスケルトンの忠実なトロピカル化に最適な境界であるか？
• RQ4 アフィン曲線の解析的化は、有界次数の写像のトロピカル化の極限として記述可能か？

主な発見

• genus $g \geq 2$ の場合、任意の線分束 $L$ が $\deg(L) \geq 3g-1$ を満たすとき、$X^{\mathrm{an}}$ の任意のスケルトン $\Gamma$ が忠実なトロピカル化を誘導する。
• $g = 2$ の場合、$3g-1$ は最適であり、$\deg(L) = 4$ で忠実なトロピカル化が失敗する例が存在する。
• $g = 1$ の場合、最適な境界は $3$ であり、$g = 0$ の場合、$1$ であり、両者とも理論的閾値と一致する。
• $g \geq 2$ の場合、$m \geq 3$ に対して、$|\omega_X^{\otimes m}|$ の多項式システムが $\Gamma$ の忠実なトロピカル化を与える。
• 滑らかなアフィン曲線 $Y$ の解析的化 $Y^{\mathrm{an}}$ は、有界次数の写像のトロピカル化の逆極限とホメオモルフィックに同型である。
• 任意のスケルトン $\Gamma$ に対して、曲線の次数に依存する最大次数 $D$ の多項式が存在し、そのトロピカル化が $\Gamma$ の忠実なモデルを与える。