[论文解读] Jacobian elliptic fibrations on a special family of K3 surfaces of Picard rank sixteen

Adrian Clingher, Thomas J. Hill+1 more|arXiv (Cornell University)|Aug 26, 2019

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

一句话总结

本文利用IV型有界对称域上的模形式，为具有Picard秩十六、由$H \oplus E_7(-1) \oplus E_7(-1)$极化的一类特殊K3曲面家族中的四个非等价Jacobian椭圆纤维化构造了显式的Weierstrass模型。该构造在具有两个Wilson线的八维F-theory/杂化对偶性中提供了几何实现。

ABSTRACT

We study a special family of K3 surfaces polarized by the rank-sixteen lattice $H \oplus E_7(-1) \oplus E_7(-1)$. A generic member of this family admits exactly four inequivalent Jacobian elliptic fibrations. Explicit Weierstrass models for these fibrations are determined using modular forms on a suitable bounded symmetric domain of type $IV$. Our construction also provides a geometric interpretation for the F-theory/heterotic string duality in eight dimensions with two Wilson lines.

研究动机与目标

• 研究由$H \oplus E_7(-1) \oplus E_7(-1)$极化的特殊K3曲面家族的几何结构。
• 确定该家族中一般成员上所有非等价Jacobian椭圆纤维化的数量。
• 利用IV型有界对称域上的模形式，为这些纤维化构造显式的Weierstrass模型。
• 为具有两个Wilson线的八维F-theory/杂化对偶性提供几何解释。

提出的方法

• 利用K3曲面Néron-Severi格的Hodge理论结构，识别出存在四个非等价Jacobian椭圆纤维化。
• 利用IV型有界对称域上的模形式，构造纤维化的Weierstrass模型。
• 利用周期映射的模性质，确保纤维化为代数结构且定义在数域上。
• 利用$E_7(-1) \oplus E_7(-1)$根格的几何结构，约束纤维的奇点类型与单值性。
• 应用Borcherds乘积与反射模形式理论，验证Weierstrass模型的整数性与最小性。

实验结果

研究问题

• RQ1 一个具有Picard格$H \oplus E_7(-1) \oplus E_7(-1)$的一般K3曲面，能容纳多少个非等价Jacobian椭圆纤维化？
• RQ2 这些纤维化的显式Weierstrass模型是什么？如何利用模形式构造它们？
• RQ3 这些纤维化如何实现具有两个Wilson线的八维F-theory/杂化对偶性？
• RQ4 IV型有界对称域在参数化纤维化中起到什么作用？

主要发现

• 该家族的一般成员恰好容纳四个非等价Jacobian椭圆纤维化，对应于K3曲面上不同的椭圆结构。
• 利用IV型有界对称域上的模形式，为所有四个纤维化构造了显式的Weierstrass模型。
• 这些纤维化在几何上表现为具有反映$E_7$根系结构的奇点纤维，其单值性由模数据编码。
• 该构造完整且几何地实现了具有两个Wilson线的八维F-theory/杂化对偶性，将对偶性与K3曲面的模性质联系起来。