[论文解读] 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

一句话总结

该论文证明了射影直线上的八个有序点的射影不变量环由一个唯一的斜对称三次多项式的所有14个偏导数生成，从而提供了关系理想的一个表示论、概念性的描述。在Q上，该三次多项式及其导数在奇异点处截取出模空间；而在Z[1/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上八个有序点的模空间关系理想的表示提供一个概念性、表示论的描述。
• 证明在Q上，八个点的射影不变量环由唯一一个斜对称三次多项式的14个偏导数生成。
• 在Z上建立整性结果，表明该三次多项式及其导数生成理想，且在特征3时三次多项式是必需的。
• 计算坐标环的极小自由解析的分次Betti数，适用于所有特征。
• 为后续工作中n个点在P^1上带任意权值的模空间的一般性表述奠定基础。

提出的方法

• 利用S8的表示理论分析次数为1的14维不变量空间，识别出Sym³(V)中的唯一斜对称三次多项式。
• 应用李理论与交换代数，证明由s定义的三次超曲面的奇异点集恰好是模空间M8。
• 利用理想中次数1与次数2部分之间的对称性与对偶性，证明s的14个偏导数在Q上生成理想I8。
• 使用计算机代数（Magma）验证在Z上的理想积分性与饱和性，特别关注次数3和4的情形，并计算初等因子。
• 将证明方法推广至正特征情形，利用R是Cohen-Macaulay且Gorenstein且a = -2的性质，计算所有特征下的Betti数。
• 通过沿对角线的交错和与对称性计算Betti图，表明除特征3外，其在基域改变下保持不变。

实验结果

研究问题

• RQ1 在射影直线P^1上八个点的不变量环中是否存在唯一的斜对称三次多项式？它是否以其奇异点集的形式截取出模空间？
• RQ2 在Q上，关系理想I8是否可由单个三次多项式的偏导数生成？若可，其表示论意义为何？
• RQ3 在Z上，I8的最小生成集为何？当3不可逆时，三次多项式是否必要？
• RQ4 坐标环的极小自由解析的分次Betti数如何随基域特征变化？
• RQ5 Q上的结果能否整性地推广至Z？在正特征下，三次多项式起什么作用？

主要发现

• 在Q上，存在唯一（至多相差一个常数倍）的斜对称三次多项式s ∈ Sym³(R₈⁽¹⁾)，且s = 0的奇异点集恰好是模空间M8。
• s的14个偏导数在Q上生成理想I8，且这些导数之间无线性关系。
• 在Z[1/3]上，理想I8由s的14个偏导数生成；但在Z上，必须将三次多项式s本身作为生成元。
• 在特征3时，仅偏导数无法生成I8，三次多项式s是必需的；这一结论由Magma计算导数矩阵的初等因子3所证实。
• 极小自由解析的分次Betti数在所有特征下均相同，除了特征3时，有b₁,₂ = b₂,₁ = 1 且 b₇,₂ = b₆,₃ = 1。
• Betti图具有对称性，除特征3中指定的改变外，与特征零情形一致；中间行因对角线交错和的不变性而保持不变。