[論文レビュー] Jacobian varieties of reduced tropical curves

Shuhei Yoshitomi|ArXiv.org|Dec 28, 2006

Polynomial and algebraic computation参考文献 5被引用数 3

ひとこと要約

本稿は、ℝ² 内の縮約されたトロピカル曲線について、その bunch（ひときょうエッジおよびレイヤーを点に圧縮した位相的商）が genus g のバケツに等しいとき、その Jacobian 多様体がバケツのサイクルの g 重積と同型であることを確立する。主な結果は、(P₁,…,Pg) ↦ P₁+⋯+Pg−g𝒪 で定義される写像 φ: Λ₁×⋯×Λg → Jac(C) の全単射性の完全な証明であり、以前の研究における不完全な議論を解消し、トロピカル楕円曲線の群構造を高 genus の場合に拡張する。

ABSTRACT

On tropical geometry in $ r^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.

研究の動機と目的

• トロピカル楕円曲線に対して写像 φ: Bunch(C) → Jac(C) が全単射であるというヴィーゲランドの予想の証明を完了すること。
• トロピカル楕円曲線の群構造を高 genus のトロピカル曲線に一般化すること。
• 縮約されたトロピカル曲線 C ⊂ ℝ² の bunch がバケツであるとき、その Jacobian 多様体の明確な特徴づけを確立すること。
• トロピカル幾何学における線形同値の代数的定義と幾何的定義、および Jacobian 多様体との関係を明確にすること。

提案手法

• 線形同値を安定的交差を通じて定義する Div⁰(C)/∼ として、Jacobian 多様体 Jac(C) を商群として定義する。
• トロピカル曲線 C の「ぶらんち」を、すべてのひときょうエッジおよびレイヤーを点に圧縮して得られる商空間として定義する。
• genus g がサイクルの数に等しい g 個の円のワッセ・サム（wedge sum）として、バケツを定義する。
• 写像 φ: Λ₁×⋯×Λg → Jac(C) を (P₁,…,Pg) ↦ P₁+⋯+Pg−g𝒪 で定義し、それが適切に定義されておりかつ全単射であることを証明する。
• 局所的パラメータ化と安定的交差の連続性を用いて、交差数写像 σ(L) = λ(C·L) が、固定されたニュートン複体を持つ連続的なトロピカル曲線の族全体で局所定数であることを示す。
• トロピカル Bézout の定理とモーメント条件を適用し、等しい交差数がサイクル上に対応する点の点ごとの一致を強制することにより、φ の単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 トロピカル曲線のぶらんちがどのような位相的条件を満たすとき、その Jacobian 多様体は高次元トーラスと同型になるか？
• RQ2 縮約されたトロピカル曲線のぶらんちがバケツである場合、写像 φ: Λ₁×⋯×Λg → Jac(C) が (P₁,…,Pg) ↦ P₁+⋯+Pg−g𝒪 で定義されるとき、全単射であるか？
• RQ3 トロピカル曲線の文脈において、代数的 Jacobian 多様体と幾何的 Jacobian 多様体の関係は何か？
• RQ4 genus 1 のトロピカル曲線に対してヴィーゲランドの全単射性の主張の不完全な証明を、高 genus に一般化して完成できるか？
• RQ5 2 つの除法がトロピカル曲線上で線形同値であることを保証する、どのような位相的および組合せ的制約があるか？

主な発見

• 縮約されたトロピカル曲線 C のぶらんちが genus g のバケツであるとき、写像 φ: Λ₁×⋯×Λg → Jac(C) は全単射である。
• このような曲線の Jacobian 多様体 Jac(C) は、g 次元の実トーラス ℝ^g/ℤ^g と同型である。すなわち、高次元トーラスである。
• 写像 φ は適切に定義されている：同じひときょうエッジまたはレイヤー上にある点は線形同値であるため、ぶらんちの商構造を尊重する。
• 交差数写像 σ(L) = λ(C·L) は、固定されたニュートン複体を持つ連続的なトロピカル曲線族全体で局所定数である。
• φ の単射性は、トロピカル Bézout の定理とモーメント条件を用いて証明され、サイクル全体で等しい交差数が得られることから、除法の台が点ごとに一致することが示された。
• 固定されたニュートン複体 𝒩 を持つトロピカル曲線のパラメータ空間 𝒫(𝒩,ℝ²) は、ℝ^{l+2} 内の連結で相対的開な凸錐であるため、同じニュートン多角形を持つ曲線は同じ連結成分に属する。