[论文解读] Rationality of the moduli spaces of 2-elementary K3 surfaces II

Shouhei Ma|arXiv (Cornell University)|May 22, 2012

Algebraic Geometry and Number Theory参考文献 23被引用 6

一句话总结

本文在四种子形变类型下确立了具有非辛对合的K3曲面模空间的有理性，完成了除两种经典情形外的所有分类。作者运用形变理论与几何不变量理论，通过构造这些模空间的显式有理参数化，证明了其有理性。

ABSTRACT

We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.

研究动机与目标

• 确定具有非辛对合的K3曲面模空间的有理性状态。
• 将先前的有理性结果扩展至包含四个额外的子形变类型。
• 完成对2-初等K3曲面模空间有理性的分类，仅排除两种经典情形。
• 应用几何与形变理论技术，确立模空间的双有理有理性。

提出的方法

• 运用形变理论分析具有非辛对合的K3曲面模空间的局部结构。
• 使用几何不变量理论（GIT）构造并分析模空间的紧化。
• 分析对合在Néron-Severi格上的作用，以对子形变类型进行分类。
• 通过显式双有理映射到射影空间，构造显式有理参数化。
• 利用先前工作的已知结果，将剩余情形约化为有限集合。
• 应用代数簇的有理性判别准则，验证模空间的有理性。

实验结果

研究问题

• RQ1 对于新考虑的四种子形变类型，具有非辛对合的K3曲面模空间是否具有有理性？
• RQ2 在先前已知情形之外，剩余子形变类型的有理性状态如何？
• RQ3 对合的几何与格理论性质如何影响模空间的有理性？
• RQ4 这些类型下的模空间能否以显式有理方式参数化？
• RQ5 在2-初等K3曲面有理性分类中，哪些经典情形仍为未解问题？

主要发现

• 具有非辛对合的K3曲面模空间在四种额外子形变类型下具有有理性。
• 结合先前结果，这完成了除两种经典情形外所有情形的有理性分类。
• 通过形变理论与GIT技术的显式双有理构造确立了有理性。
• 证明了这四种新情形可赋予有理参数化，确认其模空间为有理簇。
• 结果确认，在2-初等K3曲面分类中，仅有两种例外子形变类型不具有一般有理性。
• 证明策略依赖于格极化、对合作用与代数几何中理性性准则之间的相互作用。