[論文レビュー] The rationality of the moduli spaces of trigonal curves

Shouhei Ma|arXiv (Cornell University)|Jul 1, 2012

Algebraic Geometry and Number Theory参考文献 6被引用数 4

ひとこと要約

この論文は、$\mathrm{SL}_2 \times \mathrm{SL}_2$ の不変理論を活用して、$g = 4N$ の三重点曲線のモジュライ空間が有理的であることを証明する。特に、適切に選ばれた二重変換を用いて、有理的商空間 $\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ の有理的性を、グレアマン多様体の安定有理的性に還元する。これにより、$g \geq 5$ のすべての $g$ に対して、有理的分類が完成する。この結果により、すべての $g \geq 5$ に対して $\mathcal{T}_g$ が有理的であることが確認され、三重点モジュライ空間の分類における最後のケースが解決される。

ABSTRACT

The moduli spaces of trigonal curves are proven to be rational when the genus is divisible by 4.

研究の動機と目的

• $g \geq 5$ の三重点曲線のモジュライ空間 $\mathcal{T}_g$ の有理的分類を完了すること。これは、$g \equiv 2 \pmod{4}$ および奇数 $g$ については既に知られていたが、$g \equiv 0 \pmod{4}$ の場合については未解決であった。
• $b \geq 5$ の奇数 $b$ に対して、$\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ の有理的性を示すこと。これは、$\mathbb{P}^1 \times \mathbb{P}^1$ への標準埋め込みを通じて、$g = 4N$ の三重点曲線をパラメトライズする。
• $\mathrm{SL}_2 \times \mathrm{SL}_2$-双線形写像（二重変換）を用いた計算的手法を開発し、$V_{3,b}$ からグレアマン多様体への支配的有理写像を構成することで、有理的性問題をグレアマン多様体の安定有理的性に還元すること。
• 適切に選ばれた二重変換に対して、誘導される有理写像 $v \mapsto \operatorname{Ker}(T(v, \cdot))$ の非退化性を確認し、バンドル構造が適切に定義され、支配的であることを保証すること。

提案手法

• 論文は二重バンドル法を用いる。二重変換 $T: V_{3,b} \times V_{a',b'} \to V_{a'',b''}$ を構成し、$\dim V_{a',b'} > \dim V_{a'',b''}$ となるようにする。これにより、$V_{3,b}$ からグレアマン多様体 $G(c, V_{a',b'})$（$c = \dim V_{a',b'} - \dim V_{a'',b''}$）への有理写像 $v \mapsto \operatorname{Ker}(T(v, \cdot))$ が定義される。
• 二重変換の選択は $b \mod 5$ に依存し、各剰余類に合わせて明示的な構成がなされ、$c$ を小さく、かつ $a', b', c$ が奇数となるようにする。これは、群作用における $-1$ スカラー作用に対応する上で不可欠である。
• 核写像の非退化性は、クリーブシュ＝ゴルダンの公式と明示的な変換式を用いて、単項式基底上の誘導線形写像を分析することで確認される。特に $r = e$ および $r = e-1$ の場合に注目する。
• $\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ の有理的性は、$G(c, V_{a',b'})/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ の安定有理的性に還元され、不変理論の標準的技法により確立される。
• 各 $b \mod 5$ の場合、すなわち $b \equiv 0 \pmod{5}$、$b \equiv 1 \pmod{5}$、$b \equiv 2 \pmod{5}$、$b \equiv 3 \pmod{5}$、$b \equiv 4 \pmod{5}$ を別々に取り扱い、詳細な検証を実施する。特に $b = 7$ の特殊ケースも含む。
• $b = 7$ の場合、$V_{3,7}$ のあるベクトル $v$ と $V_{3,3}$ のあるベクトル $w$ を構成し、$w$ が $T(v, \cdot)$ の核を生成することを示す。さらに、$T(\cdot, w)$ の全射性は、単項式部分空間への像の包含関係を確認することで確認する。

実験結果

リサーチクエスチョン

• RQ1 三重点曲線のモジュライ空間 $\mathcal{T}_g$ が $g \equiv 0 \pmod{4}$ の場合に有理的であるか？
• RQ2 不変理論的手法を用いて、すべての奇数 $b \geq 5$ に対して $\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ の有理的性を確立できるか？
• RQ3 適切に選ばれた二重変換を用いて、$c$ を小さくし、$a', b', c$ が奇数となるようにする有理写像 $V_{3,b} \dashrightarrow G(c, V_{a',b'})$ が存在し、有理的性問題を安定有理的性に還元できるか？
• RQ4 特に $b \equiv 4 \pmod{5}$ の場合、$V_{1,3n+4}$ 上の $T(v, \cdot)$ の核が、適切な $v \in V_{3,5n+4}$ に対して次元1であるか？これにより写像が適切に定義され、支配的であることが保証されるか？
• RQ5 選ばれた $w \in V_{3,3}$ に対して、写像 $T(\cdot, w): V_{3,7} \to V_{2,4}$ が全射であるか？これは証明の最終ケースを確認する。

主な発見

• すべての $g \geq 5$ に対して、三重点曲線のモジュライ空間 $\mathcal{T}_g$ は有理的である。これにより、三重点モジュライ空間の有理的分類が完全に完了する。
• すべての奇数 $b \geq 5$ に対して、商空間 $\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ は有理的である。これは、$g = 4N$ で $b = 2N+1$ の三重点曲線のモジュライ空間に対応する。
• 適切に選ばれた二重変換を用いて、$V_{3,b}$ からグレアマン多様体 $G(c, V_{a',b'})$ への支配的有理写像 $v \mapsto \operatorname{Ker}(T(v, \cdot))$ が構成される。$c$ を小さくし、$a', b', c$ が奇数となるようにすることで、$-1$ スカラー作用と整合性を持つ。
• 各 $b \mod 5$ の剰余類に対して、単項式基底の分析と、次数が互いに素であるときの変換 $T^{(r)}$ の非退化性を用いて、核写像の非退化性が確認される。
• $b = 7$ の場合、$V_{3,3}$ 上の $T(v, \cdot)$ の核は1次元であることが示され、$T(\cdot, w): V_{3,7} \to V_{2,4}$ が、$x^2$、$xy$、$y^2$ の成分ごとの像の包含関係を確認することで全射であることが証明される。
• グレアマン多様体 $G(c, V_{a',b'})$ における $\mathrm{SL}_2 \times \mathrm{SL}_2$ の作用の下での安定有理的性が、重要な中間段階として確立され、元の商空間の有理的性が既知の安定有理的性の結果に還元される。