[论文解读] The Chow ring of double EPW sextics

Andrea Ferretti|ArXiv.org|Jul 30, 2009

Synthesis and characterization of novel inorganic/organometallic compounds参考文献 9被引用 4

一句话总结

本文通过证明在上同调中成立的所有关于超平面类 h 与 X 的示性类之间的多项式关系，也在有理查沃群中成立，从而验证了贝乌勒与沃辛对非常一般双 EPW 六次曲面的猜想。利用退化技术、上同调计算以及格罗滕迪克-黎曼-罗赫定理，作者证明了在 CH*(X)⊗Q 中，关系式 h⁴ = 6θ、h²·c₂(X) = 60θ、c₂(X)² = 828θ 和 c₄(X) = 324θ 成立，其中 θ 是特定子簇上一点的类，从而确认了该类不可约辛几何体的猜想。

ABSTRACT

A conjecture of Beauville and Voisin states that for an irreducible symplectic variety X, any polynomial relation between classes of divisors and the Chern classes of X which holds in cohomology already holds in the Chow groups. We verify the conjecture for a very general double EPW sextic.

研究动机与目标

• 验证双 EPW 六次曲面的贝乌勒-沃辛猜想，该猜想提出：在上同调中成立的除子类与示性类之间的关系，也应在有理查沃群中成立。
• 证明对于一个非常一般的双 EPW 六次曲面 X，所有在 H*(X, Q) 中成立的关于 h = f*O_Y(1) 与 X 的示性类之间的多项式关系，也在 CH*(X)⊗Q 中成立。
• 使用退化、上同调方法及格罗滕迪克-黎曼-罗赫定理，计算涉及 h 与示性类的查沃环关系。
• 证明上同调中的典型关系可上移到查沃群，特别是针对对应于 Y_B[2] 上一点的类 θ。
• 将该猜想的已知情形扩展至 K3 曲面与三次四fold 中线的法诺簇之外。

提出的方法

• 使用退化技术分析双 EPW 六次曲面的奇点集与形变，特别关注极化类 h 的行为。
• 通过将拉格朗日子簇 Z ⊂ X 的嵌入应用格罗滕迪克-黎曼-罗赫定理，计算示性类，利用法丛与典范丛关系。
• 通过比较切丛与双覆盖 X 上的丛 Q 的示性类，推导出 h 与示性类之间的关系。
• 将类 θ 识别为从 Y_B[2] ⊂ YA 的点类的推出，并利用有理等价性，在 CH*(X)⊗Q 中关联 h⁴ 与 θ。
• 应用莱夫谢茨超平面定理与上同调计算，验证查沃关系与上同调关系一致。
• 利用 CH₁(L₀) ≅ ℤ（L₀ 为有理曲线）的事实，证明 h⁴ 与 θ 的倍数有理等价，从而通过上同调比较精确确定系数。

实验结果

研究问题

• RQ1 贝乌勒-沃辛猜想是否对双 EPW 六次曲面成立，即上同调中关于除子类与示性类的关系是否可上移到查沃群？
• RQ2 对于双 EPW 六次曲面 X，h 与示性类 c₂(X)、c₄(X) 在 CH*(X)⊗Q 中的精确查沃环关系为何？
• RQ3 类 θ（代表 Y_B[2] 上一点）如何与 CH*(X)⊗Q 中的 h⁴ 及其他典型类相关联？
• RQ4 退化技术与格罗滕迪克-黎曼-罗赫定理是否可用于计算双覆盖上丛的示性类，并验证其与上同调关系的有理等价性？
• RQ5 在上同调中成立的典型关系 h·c₂(X) = 5h³ 是否也对非常一般的双 EPW 六次曲面在查沃群中成立？

主要发现

• 在 CH₄(X)⊗Q 中，关系式 h⁴ = 6θ 成立，其中 θ 为 Y_B[2] 上一点的类，通过有理曲线上的有理等价性与上同调比较得以确认。
• 在 CH₄(X)⊗Q 中，关系式 h²·c₂(X) = 60θ 成立，由 CH₂(YA) 中典型关系的推出导出，并通过上同调计算验证。
• 在 CH₈(X)⊗Q 中，第二示性类的平方满足 c₂(X)² = 828θ，通过推出典型周期的平方建立。
• 在 CH₈(X)⊗Q 中，第四示性类满足 c₄(X) = 324θ，通过将 c₄(Q) 用 h 与 θ 表示后与上同调值比较得以确认。
• 在 CH₄(X)⊗Q 中，关系式 h·c₂(X) = 5h³ 成立，与上同调关系一致，完成对猜想的验证。
• 所有在上同调中成立的关于 h 与示性类的典型关系，均被证明在 CH*(X)⊗Q 中成立，从而确认了非常一般双 EPW 六次曲面对贝乌勒-沃辛猜想的成立。