[论文解读] The identification of three moduli spaces

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

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

一句话总结

本文提供了三个不同模空间之间同构关系的代数证明：这三个模空间分别源于三重覆盖的2阶挠子群、双重覆盖的3阶挠子群，以及六点在P¹上配置空间的G-覆盖，其同构关系在特征不为2或3且包含单位根的域上成立。该同构与阶为25920的例外群G相关，该群同时作为辛群与酉群作用，且与具有六次系数的椭圆曲面上的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下作为酉群的几何实现。
• 将六点配置空间的G-覆盖与具有六次系数的椭圆曲面y² = x³ + sextic(t)上的Mordell-Weil格E₈联系起来。
• 将Hunt与Weintraub先前的超越性证明推广至一般域上有效的代数框架。

提出的方法

• 构造P¹上在六点处分支的双重与三重循环覆盖，分析其雅可比簇及挠子群。
• 利用阶为25920的群G在三重覆盖的2阶挠子群与双重覆盖的3阶挠子群上的作用，定义模空间上六点配置的两个G-覆盖。
• 通过代数几何方法证明这两个G-覆盖在特征不为2或3且包含单位根的域上同构。
• 将所得的G-覆盖与椭圆曲面y² = x³ + sextic(t)联系起来，其Mordell-Weil格为E₈，自同构群为G的中心扩张。
• 应用代数几何与算术几何中的技术，包括模空间、雅可比簇上的群作用及挠结构。
• 利用基域中存在单位根，以确保同构成立所必需的对称性与同源性。

实验结果

研究问题

• RQ1 在一般域上，由三重覆盖的2阶挠子群与双重覆盖的3阶挠子群所导出的六点在P¹上配置空间的G-覆盖是否同构？
• RQ2 Hunt与Weintraub的该同构关系的超越性证明能否被代数证明所取代？
• RQ3 阶为25920的例外群G如何在不同特征下统一其辛群与酉群的实现？
• RQ4 G-覆盖与椭圆曲面y² = x³ + sextic(t)上的Mordell-Weil格E₈之间的确切联系是什么？
• RQ5 单位根在促成三个模空间之间同构关系中起到何种作用？

主要发现

• 在特征不为2或3且包含单位根的任意域上，由双重与三重覆盖的雅可比簇的2阶与3阶挠子群所构造的模空间上六点配置的两个G-覆盖彼此同构。
• 该同构关系通过代数方法建立，将先前的超越性证明推广至更广泛的代数几何框架。
• 阶为25920的群G在特征3下作为辛群、在特征2下作为酉群作用，揭示了深刻的算术-几何巧合。
• 该G-覆盖同构于椭圆曲面y² = x³ + sextic(t)的通用族，其Mordell-Weil格为E₈，自同构群为G的中心扩张。
• 基域中单位根的存在对于同构关系的成立至关重要，因其确保了所必需的对称性与同源性。
• 该构造在不同代数与算术背景下，统一实现了例外群G的几何实现。