[论文解读] K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space II: a structure theorem for r(M)>10

Kenichi Yoshikawa|arXiv (Cornell University)|Jul 16, 2010

Advanced Algebra and Geometry参考文献 5被引用 5

一句话总结

本文在极化子格的秩大于10时，建立了具对合的K3曲面的自守不变量的结构定理。通过等变分析 torsion 与 Borcherds 提升理论，证明了控制该不变量的自守形式是显式 Borcherds 提升与 Igusa 的 Siegel 自守形式的张量积，从而实现了该不变量在已知自守对象下的完整分解。

ABSTRACT

We study the structure of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion. It was known before that the invariant is expressed as the Petersson norm of an automorphic form on the moduli space. When the rank of the invariant sublattice of the K3-lattice with respect to the involution is strictly bigger than 10, we prove that this automorphic form is expressed as the tensor product of an explicit Borcherds lift and Igusa's Siegel modular form.

研究动机与目标

• 确定当 r(M) > 10 时，2-初等K3曲面的自守不变量 τ_M 的精确结构。
• 将控制 τ_M 的自守形式 Φ_M 用已知的自守对象表达出来。
• 证明对于非异常格 M，Φ_M 可分解为 Borcherds 提升与 Igusa 的 Siegel 自守形式的张量积。
• 给出 τ_M 关于自守形式与几何不变量的显式公式。

提出的方法

• 不变量 τ_M 由具全纯对合的实K3曲面上的等变分析 torsion 导出。
• 自守形式 Φ_M 在周期域 Ω_{M^⊥}^+ 上构造，取值于 O^+(M^⊥)-等变线丛。
• 通过Borcherds在IV型域上具有无限乘积展开的自守形式理论分析 Φ_M 的结构。
• 自守形式被分解为 Borcherds 提升 Ψ_{M^⊥}(⋅,F_{M^⊥}) 与 Igusa 的 Siegel 自守形式 χ_g 的张量积。
• 证明依赖于 2-初等格的分类以及当 r(Λ) ≤ 4 时模空间边界闭链的不可约性。
• 通过比较除子结构并利用K3曲面的全局Torelli定理验证了该分解。

实验结果

研究问题

• RQ1 当 r(M) > 10 时，控制不变量 τ_M 的自守形式 Φ_M 如何被显式分解？
• RQ2 对于非异常 M，自守形式 Φ_M 是否可表示为已知自守形式的张量积？
• RQ3 Igusa 的 Siegel 自守形式 χ_g 在 Φ_M 的结构中起何精确作用？
• RQ4 Borcherds 提升 Ψ_{M^⊥}(⋅,F_{M^⊥}) 如何与 r(M) > 10 时模空间的几何相互作用？
• RQ5 边界闭链不可约性在模空间中的意义为何？它如何影响 Φ_M 的结构？

主要发现

• 当 r(M) > 10 时，自守形式 Φ_M 被证明是 Borcherds 提升与 Igusa 的 Siegel 自守形式 χ_g 的张量积。
• 不变量 τ_M 显式给出为 τ_M = ||Φ_M||^{-1/(2ν)}，其中 ν ∈ ℤ>0，且 div Φ_M = ν𝒟_{M^⊥}。
• 该分解对非异常的 2-初等格 M 且满足 r(M) > 10 成立，扩展了此前对异常情形的结果。
• 在紧化模空间中，边界闭链 B_Λ 的不可约性被确立，当 r(Λ) ≤ 4 时，支持了自守结构的唯一性。
• 证明依赖于极大本原零子格的分类及其在 O(Λ) 作用下的轨道，表明当 r(Λ) ≤ 4 时，#[I_max(Λ)/O(Λ)] ≤ 1。
• 结果确认，当 r(M) > 10 时，自守形式结构是典范的，且完全由格 M 决定。