[論文レビュー] The ring of projective invariants of eight points on the line via representation theory

Ben Howard, John J. Millson+2 more|ArXiv.org|Sep 7, 2008

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

ひとこと要約

本論文は、射影直線上の8個の順序付き点の射影不変量の環が、一意に存在する反対称的不変量をもつ3次多項式の14個の偏導関数によって生成されることを確立し、関係式のイデアルの表現論的で概念的な記述を提供する。Q上では、この3次多項式とその導関数がモジュライ空間を特徴づける特異点集合として切り出すが、Z[1/3]上では導関数だけがイデアルを生成し、特に対数3では3次多項式が不可欠である。

ABSTRACT

The ring of projective invariants of eight ordered points on the line is a quotient of the polynomial ring on V, where V is a fourteen-dimensional representation of S_8, by an ideal I_8, so the modular fivefold (P^1)^8 // GL(2) is Proj(Sym* (V)/I_8). We show that there is a unique cubic hypersurface S in PV whose equation s is skew-invariant, and that the singular locus of S is the modular fivefold. In particular, over Z[1/3], the modular fivefold is cut out by the 14 partial derivatives of s. Better: these equations generate I_8. In characteristic 3, the cubic s is needed to generate the ideal. The existence of such a cubic was predicted by Dolgachev. Over Q, we recover the 14 quadrics found by computer calculation by Koike, and our approach yields a conceptual representation-theoretic description of the presentation. Additionally we find the graded Betti numbers of a minimal free resolution in any characteristic. The proof over Q is by pure thought, using Lie theory and commutative algebra. Over Z, the assistance of a computer was necessary. This result will be used as the base case describing the equations of the moduli space of an arbitrary number of points on P^1, with arbitrary weighting, in a later paper, completing the program of our previous paper (Duke Math. J.). The modular fivefold, and corresponding ring, are known to have a number of special incarnations, due to Deligne-Mostow, Kondo, and Freitag-Salvati Manni, for example as ball quotients or ring of modular forms respectively.

研究の動機と目的

• P^1 上の8個の順序付き点のモジュライ空間の関係式のイデアルについて、概念的で表現論的な記述を提供すること。
• Q上での8点の射影不変量の環が、一意に存在する反対称的3次多項式の14個の偏導関数によって生成されることを証明すること。
• Z上での整数論的結果を確立し、3次多項式とその導関数がイデアルを生成することを示し、特に対数3では3次多項式が不可欠であることを示すこと。
• すべての特徴的における座標環の最小自由分解の階数ごとのベッチ数を計算すること。
• 後続の研究で用いられる、任意の重みをもつP^1 上のn点のモジュライ空間の一般的提示の基礎的事例を構築すること。

提案手法

• S8 の表現論の応用により、1次不変量の14次元空間を解析し、Sym³(V) 内に一意の反対称的3次多項式を同定する。
• リー理論と可換代数の応用により、s によって定義される3次超曲面の特異点集合が正確にモジュライ空間 M8 に一致することを証明する。
• 対称性とイデアルの1次成分と2次成分の双対性を用いて、Q上での s の14個の偏導関数がイデアル I8 を生成することを証明する。
• Magma を用いたコンピュータ代数による、Z 上での整数論的性質とイデアルの飽和の検証、特に次数3および4における計算、および基本因子の算出。
• R が Cohen-Macaulay かつ Gorenstein で a = -2 であることを利用し、正の特徴的におけるベッチ数の計算に証明を適応する。
• 対称性と対角線に沿った交代和を用いたベッチ図の計算により、特徴的3を除き体の変更に対して不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 P^1 上の8点の不変量環に一意に存在する反対称的3次多項式は存在するか？ また、その多項式は特異点集合としてモジュライ空間を切り出すか？
• RQ2 Q上での関係式イデアル I8 は、1つの3次多項式の偏導関数によって生成可能か？ もしそうなら、その表現論的意味は何か？
• RQ3 Z上での I8 の最小生成集合は何か？ 3が可逆でない場合、3次多項式は必要か？
• RQ4 座標環の最小自由分解の階数ごとのベッチ数は、基体の特徴的によってどのように変化するか？
• RQ5 Q上での結果をZ上に整数論的に拡張可能か？ また、正の特徴的における3次多項式の役割は何か？

主な発見

• Q上では、Sym³(R₈⁽¹⁾) 内に一意（スカラー倍を除き）の反対称的3次多項式 s が存在し、s = 0 の特異点集合は正確にモジュライ空間 M8 に一致する。
• s の14個の偏導関数は Q 上でイデアル I8 を生成し、これらの導関数には線形のシジーが存在しない。
• Z[1/3] 上では、イデアル I8 は s の14個の偏導関数によって生成されるが、Z 上では s 自身が生成元として必要となる。
• 特徴的3では、偏導関数だけでは I8 を生成できない。3次多項式 s は不可欠であり、Magma による導関数行列の基本因子の計算で3が確認される。
• すべての特徴的において、最小自由分解の階数ごとのベッチ数は同一であるが、特徴的3では b₁,₂ = b₂,₁ = 1 および b₇,₂ = b₆,₃ = 1 となる。
• ベッチ図は対称的であり、特徴的0のケースと一致するが、指定された変更を除き、対角線に沿った交代和の不変性により中央行が保存される。