[论文解读] A gluing construction of K3 surfaces

Takayuki Koike, Takato Uehara|arXiv (Cornell University)|Mar 3, 2019

Algebraic Geometry and Number Theory参考文献 11被引用 7

一句话总结

本文提出了一种通过拼接两个开复曲面——即在 $\mathbb{P}^2$ 的九个一般点处进行爆破后，椭圆曲线的管状邻域的补集——来构造 K3 曲面的新方法。由此产生的 K3 曲面族具有 19 维复模形式，对于一般参数，纤维是非代数的、非 Kummer 的，且 Picard 数为零，其上存在一个实 1 参数族的 $C^\omega$ Levi-平坦超曲面，微分同胚于 $S^1 \times S^1 \times S^1$，每个超曲面被一个由全纯微分同胚于 $\mathbb{C}$ 或 $\mathbb{C}^*$ 的叶层构成的 foliation 所覆盖。该构造实现了具有非代数几何与奇异全纯动力学的 K3 曲面。

ABSTRACT

We develop a new method for constructing K3 surfaces. We construct such a K3 surface $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points. Our construction has $19$ complex dimensional degrees of freedom. For general parameters, the K3 surface $X$ is neither Kummer nor projective. By the argument based on the concrete computation of the period map, we also investigate which points in the period domain correspond to K3 surfaces obtained by such construction.

研究动机与目标

• 开发一种构造既非代数也非 Kummer 的 K3 曲面的新方法，以填补非代数 K3 曲面显式几何构造中的空白。
• 建立一种利用 $\mathbb{P}^2$ 在九个一般点处爆破后椭圆曲线的管状邻域补集的全纯拼接程序。
• 证明所构造的 K3 曲面存在一个实 1 参数族的 $C^\omega$ Levi-平坦超曲面，其叶层在全纯意义下稠密。
• 分析所构造族的周期映射像，并确定周期域中哪些点对应于此类 K3 曲面。
• 证明存在一个 K3 曲面，其上存在一个全纯映射 $\mathbb{C} \to X$，使得其欧氏闭包为紧致但其 Zariski 闭包为整个曲面，揭示非代数动力学行为。

提出的方法

• 构造从 $\mathbb{P}^2$ 中两个同构的椭圆曲线 $C_0^\pm$ 开始，每条曲线上包含九个一般点 $Z^\pm$，并在这些点处进行爆破，得到曲面 $S^\pm$。
• 严格提升后的曲线 $C^\pm \subset S^\pm$ 为椭圆曲线，其管状邻域的补集 $M^\pm$ 为开复曲面，用于拼接。
• 通过边界之间的全纯同构实现拼接，要求法丛的单值性满足一个丢番图条件，以确保拼接映射的全纯延拓性。
• 对平坦线丛 $N \in \mathrm{Pic}^0(C)$ 的丢番图条件确保 $N^n$ 对任意 $n$ 均不全纯平凡，这是 Levi-平坦叶层存在的关键。
• 构造依赖于对周期映射的显式计算，以验证从 19 维基底 $B$ 到周期域的模形式映射的局部单射性。
• Levi-平坦超曲面 $H_t$ 的存在性与水平集 $\{x \in N \mid |x|_h = t\}$ 对于 $t \in (a,b)$ 相关联，其中 $N$ 为具有零曲率度量 $h$ 的非挠平坦线丛。

实验结果

研究问题

• RQ1 能否通过 $\mathbb{P}^2$ 在九个一般点处爆破后椭圆曲线的管状邻域补集，实现 K3 曲面的全纯拼接构造？
• RQ2 九点配置及关联线丛的何种条件可确保拼接映射的全纯延拓性？
• RQ3 周期域中的哪些点对应于通过此拼接方法构造的 K3 曲面？
• RQ4 此类 K3 曲面是否具有一个实 1 参数族的 $C^\omega$ Levi-平坦超曲面，其叶层在全纯意义下稠密？
• RQ5 此类 K3 曲面是否能支持一个全纯映射 $\mathbb{C} \to X$，其在 Zariski 拓扑下像稠密但欧氏闭包为紧致真子集？

主要发现

• 该构造产生了一个 19 维的全纯族 $\pi: \mathcal{X} \to B$ 的 K3 曲面，周期映射为局部单射，确认模形式空间具有预期的维数。
• 对于一般参数，该族中的 K3 曲面 Picard 数为零，意味着其既非代数曲面也非 Kummer 曲面。
• 每个纤维均存在一个实 1 参数族的 $C^\omega$ Levi-平坦超曲面 $\{H_t\}_{t \in I}$，每个微分同胚于 $S^1 \times S^1 \times S^1$，其叶层全纯微分同胚于 $\mathbb{C}$ 或 $\mathbb{C}^*$。
• Levi-平坦叶层在 $H_t$ 上稠密，且叶层的全纯结构源于具有零曲率度量的非挠平坦线丛 $N \to C$。
• 该构造实现了某个 K3 曲面 $X$，其上存在一个全纯映射 $f: \mathbb{C} \to X$，使得 $f(\mathbb{C})$ 的 Zariski 闭包为整个 $X$，但其欧氏闭包为 $X$ 的紧致真子集，从而展示了非代数全纯动力学行为。
• 平坦线丛 $N$ 上的丢番图条件确保单值性足够‘无理’，这是全纯拼接成功以及 Levi-平坦结构存在的充要条件。