[论文解读] The Noether-Lefschetz conjecture and generalizations

Nicolas Bergeron, Zhiyuan Li+2 more|arXiv (Cornell University)|Dec 11, 2014

Advanced Algebra and Geometry参考文献 22被引用 6

一句话总结

本文通过证明在正交型算术流形上，低度有理上同调类与由格条件定义的特殊子流形对偶，从而证明了对 $g \geq 2$ 的拟极化 K3 曲面的 Noether-Lefschetz 猜想。关键结果是：当 $r \leq 4$ 时，$H^{2r}(\mathcal{K}_g,\mathbb{Q})$ 由余维数为 $r$ 的 Noether-Lefschetz 循环张成，从而对所有 $g \geq 2$ 确认了该猜想，并将先前结果推广至非紧致的 Shimura 品面。

ABSTRACT

We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal type are dual to the classes of special cycles, i.e. sub-arithmetic manifolds of the same type. For compact manifolds this was proved in \cite{BMM11}, here we extend the results of \cite{BMM11} to non-compact manifolds. This allows us to apply our results to the moduli spaces of quasi-polarized K3 surfaces.

研究动机与目标

• 解决拟极化 K3 曲面模空间 $\mathcal{K}_g$（$g \geq 2$）上的 Noether-Lefschetz 猜想。
• 将低度上同调类与特殊循环之间的对偶关系从紧致推广至非紧致的正交型算术流形。
• 建立 $H^{2r}(\mathcal{K}_g,\mathbb{Q})$ 中的有理上同调类由 Noether-Lefschetz 循环张成（$r \leq 4$），包括 $r=1$ 时的 Picard 群。
• 通过模形式与格上同调，给出 $\mathcal{K}_g$ 的 Picard 数的显式公式。

提出的方法

• 利用 Arthur 的分类理论分析正交群上的自守表示，并分类上同调单位表示。
• 应用正交群的 theta 对应，将自守形式与算术流形上的特殊循环联系起来。
• 通过分析余表示与上同调（利用 Borel–de Rham–Weil 定理），将结果从紧致推广至非紧致算术流形。
• 利用 Borcherds 的 theta 提升与 Bruinier 的向量值模形式理论，计算特殊循环空间的维数。
• 通过 Poincaré 对偶性与算术商有限覆盖上的 Galois 不变量，建立有理上同调类与特殊循环之间的对偶性。
• 将该理论应用于模空间 $\mathcal{K}_g$，证明当 $r < p/4$ 时，$H^{2r}(\mathcal{K}_g,\mathbb{Q})$ 由 Noether-Lefschetz 循环张成，其中 $p$ 为 Hermitian 对称域的维数。

实验结果

研究问题

• RQ1 拟极化 K3 曲面模空间 $\mathcal{K}_g$（$g \geq 2$）的有理 Picard 群是否与 Noether-Lefschetz 除子的张成空间一致？
• RQ2 非紧致正交型算术流形上的低度有理上同调类是否与特殊循环对偶？
• RQ3 能否通过模形式显式计算 $\mathcal{K}_g$ 的有理 Picard 群的维数？
• RQ4 Noether-Lefschetz 猜想是否对 $\mathcal{K}_g$ 上的高余维数循环（即 $r \leq 4$）成立？
• RQ5 在 K3 格的算术不变量下，$\mathcal{K}_g$ 的 Picard 数的精确公式是什么？

主要发现

• 对所有 $g \geq 2$，Noether-Lefschetz 猜想成立：$H^2(\mathcal{K}_g,\mathbb{Q})$ 由 Noether-Lefschetz 除子张成。
• 对所有 $g \geq 2$ 且 $r \leq 4$，上同调群 $H^{2r}(\mathcal{K}_g,\mathbb{Q})$ 由余维数为 $r$ 的 Noether-Lefschetz 循环张成，从而确认了推广后的猜想。
• $\mathcal{K}_g$ 的有理 Picard 数由雅克比符号与取整函数给出精确公式：$\text{rank}({\rm Pic}(\mathcal{K}_g)) = \frac{31g+24}{24} - \frac{1}{4}\alpha_g - \frac{1}{6}\beta_g - \sum_{k=0}^{g-1} \left\{ \frac{k^2}{4g-4} \right\} - \sharp\{k \mid \frac{k^2}{4g-4} \in \mathbb{Z}, 0 \leq k \leq g-1\}$。
• $\mathcal{K}_g$ 上有理 Picard 类空间的维数等于 $1 + \dim_{\mathbb{C}} S_{m/2, \Lambda_g}$，其中 $S_{m/2, \Lambda_g}$ 是权为 $m/2$、类型为 $\rho_{\Lambda_g}$ 的向量值尖点形式空间。
• 对任意局部 Hermitian 对称域型流形 $Y = \Gamma \backslash D$，其上同调 $H^{2r}(Y,\mathbb{Q})$ 在 $r < p/4$ 时由特殊循环的 Poincaré 对偶张成，推广了先前结果至非紧致情形。
• 该结果通过在精细有限覆盖 $Y'$ 上利用 Galois 下降证明 $H^{2r}(Y,\mathbb{Q}) = SC^{2r}(Y)$，并利用 $H^1(Y,\mathbb{Q})$ 的消失性确保第一陈类映射为同构。