[论文解读] A W(E_6)-equivariant projective embedding of the moduli space of cubic surfaces

Masaaki Yoshida|ArXiv.org|Feb 13, 2000

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

一句话总结

该论文通过在 ℙ⁷⁸ 的一个 9 维子空间中使用线性与三次方程的系统，构建了标记三次曲面模空间在 W(E₆)-等变作用下的射影嵌入，尽管自然目标空间为 79 维。关键结果是模空间被实现为在 E₆ 的 Weyl 群作用下不变的显式多项式关系所定义的闭子簇。

ABSTRACT

An explicit projective embedding of the moduli space of marked cubic surfaces is given. This embedding is equivariant under the Weyl group of type E6. The image is defined by a system of linear and cubic equations. To express the embedding in a most symmetric way, the target would be 79-dimensional, however the image lies in a 9-dimensional linear subspace.

研究动机与目标

• 构建一个在 Weyl 群 W(E₆) 作用下等变的标记三次曲面模空间的射影嵌入。
• 通过在 ℙ² 上对六个点进行爆破所得坐标，以对称且代数显式的形式表达该嵌入。
• 在最小维数的环境空间中，将像的定义方程识别为线性与三次多项式的系统。
• 证明尽管自然嵌入为 79 维，但像位于 ℙ⁷⁸ 的一个 9 维线性子空间中。
• 通过 E₆ 的 Weyl 群作用与对应其生成元的有理变换，提供模空间的显式不变描述。

提出的方法

• 将模空间 M 表示为仿射开集 {x ∈ ℂ⁴ | D(x) ≠ 0}，其中 D(x) 是确保三次曲面光滑性的线性与二次不变量的乘积。
• 在 M 上定义六个有理互换 s₁ 到 s₆，它们生成一个与 Weyl 群 W(E₆) 同构的群，且作为六点构型的对称性作用。
• 通过将每个标记三次曲面映射到 79 维空间中的一个点，构造一个有理映射 φ: M → ℙ⁷⁸，使用 30 个齐次坐标 y₁,…,y₃₀，以及满足线性与三次关系的附加坐标 g₀,…,g₉。
• 通过证明像满足 70 个线性与三次关系（包括 y₃, y₇, y₁₀, y₁₉ 的消失），将环境空间减少到一个 9 维线性子空间。
• 利用 W(E₆) 的群作用分析像的结构，特别是与坐标超平面的交集，证明 V ∩ {y₁ = 0} 的分量位于某个低维子簇的 G-轨道中。
• 通过结式与系数多项式的最大公因式推导相容性条件，得到一个二次判别式 dd(s) 和一个二次型 qq(s,t)，从而可将 t 表示为 s 的函数，并将系统约化为三个关键方程：dd=0，qq=0，以及 cube₁₁=0。

实验结果

研究问题

• RQ1 标记三次曲面的模空间能否以尊重其几何结构的 W(E₆) 对称性的方式嵌入射影空间？
• RQ2 在何种最小维数的射影空间中，模空间可作为 W(E₆)-等变的闭子簇被嵌入？
• RQ3 如何使模空间的定义方程在 E₆ 型 Weyl 群作用下显式且对称？
• RQ4 六个有理互换 s₁,…,s₆ 在生成模空间的 W(E₆) 对称性中起什么作用？
• RQ5 在降低环境维数后，模空间在射影空间中的像如何通过代数关系描述？

主要发现

• 标记三次曲面的模空间 M 同构于仿射开集 {x ∈ ℂ⁴ | D(x) ≠ 0}，其中 D(x) 是确保光滑性的线性与二次因子的乘积。
• Weyl 群 W(E₆) 通过六个有理互换 s₁,…,s₆ 作用于 M，这些互换生成一个与 W(E₆) 同构的群，并保持模空间不变。
• 射影嵌入 φ: M → ℙ⁷⁸ 是 W(E₆)-等变的，且虽自然目标为 79 维，但其像因子化为一个 9 维线性子空间。
• φ 的像是由 70 个方程定义：4 个线性方程（y₃=y₇=y₁₀=y₁₉=0）和 66 个三次方程，其余 26 个三次方程在代入后可约化为线性形式。
• 系统的相容性由一个关于 s = g₇ 的二次判别式 dd(s) 控制，其为 s 的二次多项式；以及一个二次型 qq(s,t)，其将 t 的分子次数降至 1。
• 对于 ℙ⁴ 中的一般点，π 的逆像恰好包含两个点，通过求解 dd=0，然后令 t = -b₁₁/a₁₁ 确定，且 g₆, g₈, g₉ 由 cub₃, cub₇, cub₁₉ 的消失唯一确定。