[論文レビュー] The identification of three moduli spaces

Noam D. Elkies|ArXiv.org|May 31, 1999

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

ひとこと要約

この論文は、2または3の特徴を持たない、立方根の単位根を含む体上で、三つの異なるモジュライ空間——三重被覆の2 torsion、二重被覆の3 torsion、P¹ 上の6点の配置空間のG被覆——が同型であることを代数的に証明する。同型は、位数25920の例外的群Gと関連しており、これはシンプレクティック群としてもユニタリ群としても作用する。この群は、6次係数を持つ楕円的表面におけるMordell-Weil格子E₈と関係している。

ABSTRACT

It is one of the wonderful ``coincidences'' of the theory of finite groups that the simple group G of order 25920 arises as both a symplectic group in characteristic 3 and a unitary group in characteristic 2. These two realizations of G yield two G-covers of the moduli space of configurations of six points on the projective line modulo PGL_2, via the 3- and 2-torsion of the Jacobians of the double and triple cyclic covers of P^1 branched at those six points. Remarkably these two covers are isomorphic. This was proved over C by transcendental methods by Hunt and Weintraub. We give an algebraic proof valid over any field not of characteristic 2 or 3 that contains the cube roots of unity. We then explore the connection between this $G$-cover and the elliptic surface $y^2 = x^3 + sextic(t), whose Mordell-Weil lattice is E_8 with automorphisms by a central extension of G.

研究の動機と目的

• 異なる群作用と被覆から生じる三つのモジュライ空間の同型を代数的に証明すること。
• 位数25920の群Gを、特徴3におけるシンプレクティック群および特徴2におけるユニタリ群として統合すること。
• 6点配置空間のG被覆を、楕円的表面y² = x³ + sextic(t) 上のMordell-Weil格子E₈に結びつけること。
• HuntおよびWeintraubによる従来の超越的証明を、一般の体上で有効な代数的設定に拡張すること。

提案手法

• P¹ に6点を分岐点とする二重および三重巡回被覆を構成し、それらのヤコビアンとねじれ部分群を解析する。
• 位数25920の群Gが三重被覆の2 torsionおよび二重被覆の3 torsionに作用することを用いて、6点配置空間のモジュライ空間への二つのG被覆を定義する。
• 特徴2または3でない、立方根の単位根を含む任意の体上で有効な代数的幾何学的技法を用いて、これらの二つのG被覆の同型を証明する。
• 得られたG被覆を、y² = x³ + sextic(t) という形の楕円的表面に関連させ、そのMordell-Weil格子がE₈であり、自己同型群がGの中心拡大であることを示す。
• モジュライ空間、ヤコビアン上の群作用、ねじれ構造を含む、代数的幾何学および算術的幾何学の技法を適用する。
• 底体に立方根の単位根が存在することにより、同型が成立するための必要な対称性およびアイソゲニーやが保証されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 P¹ 上の6点配置空間のモジュライ空間へのG被覆——三重被覆の2 torsionおよび二重被覆の3 torsionから生じる——は、一般の体上で同型であるか？
• RQ2 HuntおよびWeintraubによるこの同型の超越的証明を、代数的証明に置き換えられるか？
• RQ3 位数25920の例外的群Gは、異なる特徴においてどのようにシンプレクティックおよびユニタリ実現を統合するか？
• RQ4 G被覆と楕円的表面y² = x³ + sextic(t) 上のMordell-Weil格子E₈との間の明確な関係は何か？
• RQ5 立方根の単位根は、三つのモジュライ空間の同型を可能にするために果たす役割は何か？

主な発見

• 二重被覆および三重被覆のヤコビアンの2 torsionおよび3 torsionから構成された6点配置空間のモジュライ空間への二つのG被覆は、特徴2または3でなく、立方根の単位根を含む任意の体上で同型である。
• 同型は代数的に確立されており、従来の超越的証明をより広範な代数的幾何的設定に拡張している。
• 位数25920の群Gは、特徴3ではシンプレクティック群として、特徴2ではユニタリ群として作用し、深い算術的幾何的一致を示している。
• G被覆は、y² = x³ + sextic(t) という形の普遍的な楕円的表面と同型であり、そのMordell-Weil格子はE₈であり、自己同型群はGの中心拡大である。
• 底体に立方根の単位根が存在することは、同型が成立する上で不可欠であり、必要な対称性およびアイソゲニーの存在を保証する。
• この構成により、異なる代数的および算術的文脈において、例外的群Gの統一的な幾何的実現が得られる。