[論文レビュー] Moduli of Trigonal Curves

Zvezdelina E. Stankova-Frenkel|arXiv (Cornell University)|Oct 12, 1997

Advanced Numerical Analysis Techniques参考文献 19被引用数 55

ひとこと要約

本稿は、基底曲線 $B$ 上の三角曲線ファイブレーションのスロープ $\delta_B/\lambda_B$ に対して、鋭い上界 $\frac{36(g+1)}{5g+1}$ を確立し、これがすべてのファイバーが既約であり、ある特定の divisor class $\eta$ が数的に自明である場合にのみ達成されることを証明する。さらに、この上界を三角曲線のマローニー多様体 $\overline{\mathfrak{T}}_g$ 内の幾何学と結びつけ、関連するランク2ベクトル束のボゴモロフ半安定性を用いて、偶数の genus における $\overline{\mathfrak{T}}_g$ の有理 Picard 群を計算する。

ABSTRACT

We study the moduli of trigonal curves. We establish the exact upper bound of ${36(g+1)}/(5g+1)$ for the slope of trigonal fibrations. Here, the slope of any fibration $X o B$ of stable curves with smooth general member is the ratio $δ_B/λ_B$ of the restrictions of the boundary class $δ$ and the Hodge class $λ$ on the moduli space $\bar{\mathfrak{M}}_g$ to the base $B$. We associate to a trigonal family $X$ a canonical rank two vector bundle $V$, and show that for Bogomolov-semistable $V$ the slope satisfies the stronger inequality ${δ_B}/{λ_B}\leq 7+{6}/{g}$. We further describe the rational Picard group of the {trigonal} locus $\bar{\mathfrak T}_g$ in the moduli space $\bar{\mathfrak{M}}_g$ of genus $g$ curves. In the even genus case, we interpret the above Bogomolov semistability condition in terms of the so-called Maroni divisor in $\bar{\mathfrak T}_g$.

研究の動機と目的

• 基底曲線 $B$ 上の非等方的三角曲線ファイブレーションのスロープ $\delta_B/\lambda_B$ の正確な上界を特定すること。
• この最大スロープに達するファミリーを、ファイブレーションおよび関連するベクトル束の幾何学的・コhomオロジカルな条件を用いて特徴付けること。
• $\overline{\mathfrak{M}}_g$ 内の三角曲線の閉包 $\overline{\mathfrak{T}}_g$ の有理 Picard 群を、特に偶数の genus の場合に記述すること。
• 三角ファイブレーションに関連する canonical ランク2ベクトル束 $V$ のボゴモロフ半安定性条件を、$\overline{\mathfrak{T}}_g$ 内のマローニー divisor にどのように解釈できるかを明らかにすること。

提案手法

• 任意の三角曲線ファイブレーション $X \to B$ に付随する canonical ランク2ベクトル束 $V$ を構成し、これが線形系列 $g^1_3$ を符号化すること。
• ベクトル束 $V$ のボゴモロフ半安定性条件を用いて、より良いスロープ上界 $\delta_B/\lambda_B \leq 7 + \frac{6}{g}$ を導出し、これは一般の上界よりも強いものである。
• $\overline{\mathfrak{T}}_g$ 内のマローニー多様体の幾何を分析する。この多様体は、$\mathbb{F}_0$ や $\mathbb{F}_1$ に埋め込めることがない三角曲線の閉包として定義され、最大スロープに達するファミリーがすべてその内部に含まれることを示す。
• ファイブレーションの全空間 $X$ 上での交点論を用い、非根元成分と分岐の寄与を計算することで、$\lambda|_B$、$\delta|_B$ および境界 divisor との間の基本的な線形関係を導出する。
• 差分 $\mathfrak{S}_h = (8g+4)\lambda|_B - g\delta|_B$ を用いて、境界 divisor の有効な線形結合 $\mathcal{E}_h$ を構成し、$\operatorname{Pic}_{\mathbb{Q}}\overline{\mathfrak{I}}_g$ 内の基本的関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 基底曲線 $B$ 上の非等方的三角曲線ファイブレーションのスロープ $\delta_B/\lambda_B$ の正確な上界は何か？
• RQ2 三角ファイブレーションに関連する canonical ランク2ベクトル束 $V$ のボゴモロフ半安定性は、ファイブレーションのスロープにどのような制約を課えるか？
• RQ3 $\overline{\mathfrak{T}}_g$ 内のマローニー多様体の幾何的意味は何か？また、最大スロープに達するファミリーとどのように関係しているか？
• RQ4 有理 Picard 群 $\overline{\mathfrak{T}}_g$ は、境界 divisor とホッジクラスを用いてどのように記述できるか？
• RQ5 $\operatorname{Pic}_{\mathbb{Q}}\overline{\mathfrak{T}}_g$ 内で、ホッジクラス $\lambda$ と境界 divisor クラスの間にはどのような線形関係が存在するか？

主な発見

• 非等方的三角曲線ファイブレーションのスロープの正確な上界は $\frac{36(g+1)}{5g+1}$ であり、これは鋭い上界である。
• スロープ上界における等号成立は、すべてのファイバーが既約であり、$X$ が $B$ 上のルールド表面 $Y$ への三重被覆である場合にかつその場合にのみ達成される。さらに、$X$ 上の divisor class $\eta$ が数的にゼロであることも必要十分条件である。
• ボゴモロフ半安定な関連ベクトル束 $V$ を持つ場合、スロープはより強い不等式 $\delta_B/\lambda_B \leq 7 + \frac{6}{g}$ を満たすが、マローニー多様体の存在により、これはグローバルな最大値ではない。
• $\overline{\mathfrak{T}}_g$ 内のマローニー多様体は、$\mathbb{F}_0$ や $\mathbb{F}_1$ に埋め込めない三角曲線からなるものであり、最大スロープ $\frac{36(g+1)}{5g+1}$ を達成するすべてのファミリーは、この多様体に含まれる。
• 偶数の genus における $\overline{\mathfrak{T}}_g$ の有理 Picard 群は、ホッジクラス $\lambda$ と境界 divisor クラスを含む線形関係によって記述され、交点論的計算から得られる係数を有する。
• 本稿は $\operatorname{Pic}_{\mathbb{Q}}\overline{\mathfrak{I}}_g$ 内に基本的関係を確立する：$(8g+4)\lambda = g\xi_0 + \sum_{i=1}^{[(g-1)/2]} 2(i+1)(g-i)\xi_i + \sum_{j=1}^{[g/2]} 4j(g-j)\delta_j$ であり、これはハイパーオービックの場合へのスロープ上界の一般化である。