[論文レビュー] Tropical theta characteristics

Ilia Zharkov|ArXiv.org|Dec 19, 2007

Advanced Algebra and Geometry参考文献 1被引用数 7

ひとこと要約

本稿は、距離グラフ上の古典的テータ特性のトロピカル版を確立し、$2^g$ 個の同値類の中で唯一非有効なテータ特性であるリーマン定数 $κ$ を特定する。距離関数とサイクル上の勾配フローを用いてすべてのテータ特性を構成し、トロピカルヤコビアン理論とアーベル・ジャコビ写像を用いて、$κ_0 = -κ$ のみが有効な除数類と線形同値でないことを証明する。

ABSTRACT

This note is a follow up of math.AG/0612267v2 and it is largely inspired by a beautiful description of Baker-Norine of non-effective degree (g-1) divisors via chip-firing game. We consider the set of all theta characteristics on a tropical curve and identify the Riemann constant as a unique non-effective one among them.

研究の動機と目的

• 距離グラフ上のすべてのトロピカルテータ特性を幾何的・組合せ的手段を用いて特徴付けること。
• リーマン定数 $\kappa$ が $2^g$ 個の同値類の中で唯一非有効なテータ特性であることを特定すること。
• テータ特性の集合と $H_1(C, \mathbb{Z}/2\mathbb{Z})$ の間に標準的な同型写像を確立すること。
• 距離関数とサイクル上の勾配フローを用いた、テータ特性の明示的幾何的構成を提供すること。

提案手法

• 1形式の積分と整数サイクルの格子を用いて、$J(C) = \Omega(C)^*/H_1(C,\mathbb{Z})$ としてトロピカルヤコビアン $J(C)$ を定義する。
• テータ divisor を定義するために、$\Theta(x) = \max_{\lambda \in \Lambda} \{ Q(\lambda,x) - \frac{1}{2}Q(\lambda,\lambda) \}$ を用いてトロピカルテータ関数 $\Theta(x)$ を構成する。
• $[\Theta_\lambda]$ を移動させたテータ divisor を引き戻すためにアーベル・ジャコビ写像 $\mu^{g-1}$ を用い、曲線上の除数 $D_\lambda$ を得る。
• 除数類 $\mathcal{K}$ を $2\mathcal{K} = \mu^{2g-2}(K)$ として定義し、$\mathcal{K}_0 = -\kappa$ が唯一非有効なものを特定する。
• 距離関数 $d_S$ と $d_\gamma$ から $\mathcal{K}^\pm_S$ と $\mathcal{K}^\pm_\gamma$ を構成し、勾配フローを用いてグラフの向きを定め、次数に基づく除数を定義する。
• $(\mu^{g-1}(\mathcal{K}^\pm_S) = -\mathcal{K}_0$ および $\mathcal{K}_\gamma - \mathcal{K}_0 = \frac{1}{2}\gamma$ in $J(C)$ を証明し、同型写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 $2^g$ 個のトロピカルテータ特性の中で、有効な除数類と線形同値でないのはどれか？
• RQ2 サイクルと距離関数から、すべてのトロピカルテータ特性をどのように幾何的に構成できるか？
• RQ3 リーマン定数 $\kappa$ はトロピカルテータ divisor 理論において果たす役割は何か？
• RQ4 トロピカルアーベル・ジャコビ写像はテータ divisor およびテータ特性とどのように関係するか？
• RQ5 トロピカルテータ特性の集合と $H_1(C, \mathbb{Z}/2\mathbb{Z})$ の間に標準的な同型写像が存在するか？

主な発見

• リーマン定数 $\kappa$ は、$\operatorname{Pic}^{g-1}(C)$ 内の $2^g$ 個の同値類の中で唯一非有効なテータ特性である。
• $H_1(C, \mathbb{Z}/2\mathbb{Z})$ からテータ特性の集合への写像 $\gamma \mapsto \mathcal{K}_\gamma$ は、アフィン $\mathbb{Z}/2\mathbb{Z}$-格子としての同型写像である。
• $\mathcal{K}_0 = -\kappa$ は、$x=0$ における $\Theta$ のコーナー集合によって示されるように、有効な除数類と線形同値でない唯一のテータ特性である。
• 任意の有限部分集合 $S$ に対して、除数 $\mathcal{K}^\pm_S$ は同じ類 $\mathcal{K}_0$ を表し、$\mu^{g-1}(\mathcal{K}^\pm_S) = -\mathcal{K}_0$ が成り立つ。
• 任意の自明でない $\gamma \in H_1(C, \mathbb{Z}/2\mathbb{Z})$ に対して、除数 $\mathcal{K}^{-}_\gamma$ は有効であり、$J(C)$ 内で $\mathcal{K}_\gamma - \mathcal{K}_0 = \frac{1}{2}\gamma$ が成り立つ。
• クラス $\mathcal{K}_\gamma$ は、$\bar{\gamma}$ の取り方とは無関係に定まる。また、勾配フローに源点がないため、$\mathcal{K}^{-}_\gamma$ は明示的に有効である。