[論文レビュー] The skeleton of the Jacobian, the Jacobian of the skeleton, and lifting meromorphic functions from tropical to algebraic curves

Matthew J. Baker, Joseph Rabinoff|arXiv (Cornell University)|Aug 18, 2013

Advanced Differential Equations and Dynamical Systems被引用数 6

ひとこと要約

この論文は、非アーチメデス的代数曲線のヤコビアンのスケルトンと、その関連する距離的グラフ（スケルトン）のヤコビアンの間に、標準的な同型写像を確立し、スケルトン上のΛ-有理主因子が曲線上の主因子の再帰的写像として正確に得られることを示している。主な結果は、このような因子を上げるには高々g個の追加の零点とg個の追加の極が必要であることを証明しており、トロピカルな持ち上げに関する予想を解決し、曲線をP³への忠実なトロピカル埋め込みが可能になる。

ABSTRACT

Let K be an algebraically closed field which is complete with respect to a nontrivial, non-Archimedean valuation and let \\Lambda be its value group. Given a smooth, proper, connected K-curve X and a skeleton \\Gamma of the Berkovich analytification X^\\an, there are two natural real tori which one can consider: the tropical Jacobian Jac(\\Gamma) and the skeleton of the Berkovich analytification Jac(X)^\\an. We show that the skeleton of the Jacobian is canonically isomorphic to the Jacobian of the skeleton as principally polarized tropical abelian varieties. In addition, we show that the tropicalization of a classical Abel-Jacobi map is a tropical Abel-Jacobi map. As a consequence of these results, we deduce that \\Lambda-rational principal divisors on \\Gamma, in the sense of tropical geometry, are exactly the retractions of principal divisors on X. We actually prove a more precise result which says that, although zeros and poles of divisors can cancel under the retraction map, in order to lift a \\Lambda-rational principal divisor on \\Gamma to a principal divisor on X it is never necessary to add more than g extra zeros and g extra poles. Our results imply that a continuous function F:\\Gamma -> R is the restriction to \\Gamma of -log|f| for some nonzero meromorphic function f on X if and only if F is a \\Lambda-rational tropical meromorphic function, and we use this fact to prove that there is a rational map f : X --> P^3 whose tropicalization, when restricted to \\Gamma, is an isometry onto its image.

研究の動機と目的

• 非アーチメデス的曲線のヤコビアンのスケルトンと、そのスケルトンのヤコビアンとの間に、主に極化されたトロピカルアーベル多様体としての標準的同型写像を確立すること。
• 古典的アーベル・ジャコビ写像のトロピカル化が、トロピカルアーベル・ジャコビ写像に一致することを示すこと。
• Λ-有理トロピカル有理型関数を、曲線上の有理型関数fに対する−log|f|の制限として特徴付けること。
• スケルトン上のΛ-有理主因子が、曲線上の主因子の再帰的写像であることを証明し、持ち上げに高々g個の追加の零点と極が必要であることを示すこと。
• X⇢P³への有理写像fが存在し、そのトロピカル化がスケルトン上に等長写像として制限されることを示すこと。

提案手法

• Berkovichの解析的化と変形再びτ:X^an→Γを用い、X上の代数的因子と距離的グラフΓ上のトロピカル因子を関連付ける。
• 非アーチメデス的解析を適用し、Γに制限された−log|f|が、τ*(div(f))と等しい除数を持つΛ-有理トロピカル有理型関数であることを示す。
• 重心分割と、精密化されたグラフG''上での非対称なトロピカル関数F₁, F₂, F₃を用い、R³への等長埋め込みを構成する。
• 整数の傾きとΛ-有理値を持つ区分的アフィン関数を用いて、トロピカル有理型関数とその除数を定義する。
• トロピカル幾何におけるバランスの条件を活用し、準バランスの埋め込みの存在を保証する。
• 関数F₁, F₂, F₃を明示的に構成し、異なる傾きと非対称な振る舞いを示すことで、トロピカル化写像の単射性と等長性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非アーチメデス的曲線のヤコビアンのスケルトンは、主に極化されたトロピカルアーベル多様体として、そのスケルトンのヤコビアンと標準的に同型であるか？
• RQ2 スケルトン上の任意のΛ-有理主因子は、曲線上の主因子に持ち上げ可能か？その場合、何個の追加の零点と極が必要か？
• RQ3 連続関数F:Γ→Rが、あるX上の有理型関数fに対する−log|f|の制限であるための必要十分条件は、FがΛ-有理トロピカル有理型関数であることか？
• RQ4 X⇢P³への有理写像fが存在し、そのトロピカル化がスケルトンΓ上で等長写像として制限されるか？
• RQ5 このような写像は、トロピカル幾何の意味でスケルトンを忠実に表現するように構成可能か？

主な発見

• ヤコビアンJac(X)^anのスケルトンは、主に極化されたトロピカルアーベル多様体として、スケルトンのヤコビアンJac(Γ)と標準的に同型である。
• 古典的アーベル・ジャコビ写像のトロピカル化は、トロピカルアーベル・ジャコビ写像に一致し、代数的幾何とトロピカル幾何との間の橋渡しを確立する。
• スケルトン上のΛ-有理主因子は、曲線X上の主因子の再帰的写像に正確に一致する。
• Γ上のΛ-有理主因子をX上の主因子に持ち上げるには、高々g個の追加の零点とg個の追加の極が必要である。
• 連続関数F:Γ→Rが、あるX上の有理型関数fに対する−log|f|の制限であるための必要十分条件は、FがΛ-有理トロピカル有理型関数であることである。
• X⇢P³への有理写像fが存在し、そのトロピカル化がスケルトンΓに制限された際に、その像上への等長写像となる。