[論文レビュー] The Moduli Space of Cubic Rational Maps

Lloyd West|arXiv (Cornell University)|Aug 14, 2014

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

ひとこと要約

本稿は、二進形式の古典的不変量理論を用いて、$\bar{k}$ 上の3次有理写像のモジュライ空間 $M_3$ を構成し、$M_3$ の明示的不変量と方程式を提供する。モジュライ点から有理写像を再構成する逆問題を解き、定義体への明示的降下法を提示する。特に奇数次有理写像のモジュライ体と定義体の応用に役立つ。

ABSTRACT

We construct the moduli space, $M_d$, of degree $d$ rational maps on $\mathbb{P}^1$ in terms of invariants of binary forms. We apply this construction to give explicit invariants and equations for $M_3$. Using classical invariant theory, we give solutions to the following problems: (1) explicitly construct, from a moduli point $P\in M_d(k)$, a rational map $ϕ$ with the given moduli; (2) find a model for $ϕ$ over the field of definition (i.e. explicit descent). We work out the method in detail for the cases $d=2,3$.

研究の動機と目的

• 有理写像の次数 $d$ のモジュライ空間 $M_d$ を $\mathbb{P}^1$ 上に、二進形式の対の $\mathrm{SL}_2$-商として構成すること。
• 古典的不変量理論を用いて、$M_3$ を不変量と方程式で明示的に記述すること。
• 逆問題を解くこと：与えられたモジュライ点 $P \in M_d(k)$ に対して、そのモジュライを有する有理写像 $\phi$ を明示的に構成すること。
• 特に奇数次写像において、モジュライ体が定義体と一致しない場合を含め、不変量から有理写像の定義体を特定すること。

提案手法

• 次数 $d$ と $d$ の同次二進形式の対の空間を $\mathrm{SL}_2$-商として $M_d$ を構成し、不変量を用いてモジュライ空間をパラメトライズする。
• 3次有理写像の絶対不変量 $s_1, s_2, s_3, r$ を古典的不変量理論を用いて計算し、二次形式と四次形式の係数の関数として表現する。
• $\mathrm{GL}_2$ における変換則とコベリアント $V_i$ を用い、異なる座標系における形式を関連づけ、射影的同値性を保証する。
• 線形形式および3次形式 $f_0, g_0$ 及びそのコベリアントを用いて、不変量 $s_1, s_2, s_3, r$ から有理写像 $\phi = [f:g]$ の明示的公式を導出する。
• 行列式 $r = \det[V_0, V_1]$ を用いて形式を正規化し、定義体上に定義されたモデルを構成する。
• 奇数次写像に対して、コhomological メソッドおよび降下技術を適用し、モジュライ体から定義体へのモデルの回復を行う。

実験結果

リサーチクエスチョン

• RQ1 3次有理写像のモジュライ空間 $M_3$ は、二進形式の不変量を用いてどのように明示的に記述できるか？
• RQ2 $M_d(k)$ の点が与えられたとき、その点に対応するモジュライ類を持つ有理写像 $\phi$ を体 $k$ 上でアルゴリズム的に構成できるか？
• RQ3 奇数次有理写像において、モジュライ体が定義体と一致するのはいつか？また、不変量から定義体をどのように計算できるか？
• RQ4 奇数次写像において、モジュライ体から定義体への降下の障害は何か？そして、その障害はどのように計算できるか？
• RQ5 古典的不変量理論を用いて、$M_3$ の明示的方程式と不変量を導出できるか？

主な発見

• モジュライ空間 $M_3$ は、次数2および4の二進形式の対の空間の商として明示的に記述され、不変量 $s_1, s_2, s_3, r$ が絶対不変量の環を生成する。
• 3次有理写像の不変量 $d, i, j, a, b, c$ の明示的公式が、その定義に用いる二次形式および四次形式の係数の関数として導出された。
• モジュライ点 $P \in M_3(k)$ から、不変量およびコベリアント $V_i$ を用いて有理写像 $\phi = [f:g]$ を明示的に再構成でき、得られる写像は正しいモジュライを持つことが保証される。
• 奇数次写像において、一般に定義体はモジュライ体よりも真に大きい。本稿では、不変量からその定義体を計算する方法を提示する。
• 構成法により、定義体上に定義された写像のモデルが得られ、一般の奇数次写像についての降下問題が解決される。
• 本手法は $d=2$ および $d=3$ について明示的に示され、逆問題および降下が古典的不変量理論を用いてアルゴリズム的に解けることが示された。