Derived isogenies and isogenies for abelian surfaces

技术摘要：导出同源与阿贝尔曲面的同源

问题陈述
本文研究了阿贝尔曲面 Fourier–Mukai 伙伴的分类问题，特别关注“导出同源”（derived isogeny）的概念。两个阿贝尔簇被定义为导出同源，若它们可以通过一系列扭曲阿贝尔簇之间的导出等价（Definition 1.1.1）相互连接。虽然 Stellari [66] 已确定复数域上的导出同源阿贝尔曲面是同源的，但其逆命题并不成立：同源的曲面不一定是导出同源的。本文的核心问题在于，为代数封闭域（任意特征）上的阿贝尔曲面提供导出同源的上同调与几何分类，并将其与标准同源区分开来。

方法论
作者采用了一种结合了 Hodge 理论、$p$-进 Hodge 理论以及扭曲层模空间几何的多方面方法：

1. Shioda 技巧的推广： 一项核心的方法论创新是将 Shioda 技巧（最初针对复数域阿贝尔曲面的整型 Hodge 结构）推广到有理 Hodge 结构、$\ell$-进 Tate 模以及 $F$-晶体。这涉及为不同特征下的上同调群定义“容许基”（admissible bases）和“容许同构”（admissible isomorphisms）。作者利用 Spinor 范数和 Cartan–Dieudonné 分解，将第二上同调群（$H^2$）的等距映射与底层阿贝尔曲面的同源联系起来。
2. 扭曲导出等价： 本文利用了扭曲导出范畴 $D^b(X, \alpha)$ 的理论及其通过 Fourier–Mukai 变换实现的实现方式。文章确立了扭曲阿贝尔曲面之间的导出等价对应于其扭曲 Mukai 格的同构。
3. 提升与特化： 对于正特征情形，作者采用了提升-特化技术。他们将正特征下的扭曲阿贝尔曲面和导出等价提升到特征 0（利用离散估值环和 Kummer 构造将阿贝尔曲面与 K3 曲面联系起来），然后应用特征 0 的结果并将其特化回正特征。
4. 扭曲层模空间： 本文高度依赖于扭曲导出等价与稳定扭曲层模空间之间的对应关系（Theorem 3.5.3），并扩展了 Minamide–Yanagida–Yoshioka 以及 Bragg–Lieblich 的研究结果，以通过 Ogus 的晶体 Torelli 定理涵盖超奇异情形。

主要贡献与结果

• 扭曲导出 Torelli 定理（特征 0）：
  针对特征 0 的主要结果（Theorem 1.2.1）确立了：两个在代数封闭域（特征为 0）上的阿贝尔曲面 $X$ 和 $Y$ 是导出同源的，当且仅当它们是主同源（principally isogenous）的。主同源被定义为平方次数的同源。这一等价性进一步与以下内容相关联：

  • 其关联 Kummer 曲面的导出同源性。
  • 其关联 Chow 动机（特别是偶次数部分）作为 Frobenius 外部代数的同构。
  • 其第二上同调群（或 Mukai 格）之间存在有理 Hodge 等距映射。

• 广义 Shioda 技巧与 Tate 猜想：
  作者证明了一个广义的 Shioda 技巧（Theorem 1.3.1）：对于任何容许的 Hodge 等距映射 $\psi: H^2(X, \mathbb{Q}) \to H^2(Y, \mathbb{Q})$，存在一个平方次数的同源 $f: Y \to X$，使得 $\psi = f^*/d$。该结果被扩展到 $\ell$-进和 $p$-进上同调，从而证明了有限生成域上阿贝尔曲面第二上同调群之间等距映射的 Tate 猜想（Corollary 4.6.3）。

• 正特征下的结果：
  对于特征 $p > 3$ 的域，本文证明了一个“素数于 $p$”版本的 Torelli 定理（Theorem 1.4.1）。两个阿贝尔曲面是素数于 $p$ 导出同源的，当且仅当它们是素数于 $p$ 主同源的。

  • 其证明利用了将素数于 $p$ 的导出等价提升至特征 0，以及扭曲层模空间的特化。
  • 作者单独处理了超奇异情形，表明若 $X$ 是超奇异的，则 $Y$ 与 $X$ 导出同源当且仅当 $Y$ 也是超奇异的。
  • 作者指出，由于 Brauer 类阶数为 $p$ 的特化存在障碍，非素数于 $p$ 导出同源的等价性目前仍是一个开放问题（Remark 6.2.2）。

• Kummer 曲面：
  本文研究了阿贝尔曲面与其关联 Kummer 曲面之间的关系。文章证明，若 $X$ 和 $Y$ 是素数于 $p$ 导出同源的，则 $Km(X)$和$Km(Y)$也是素数于$p$ 导出同源的（Theorem 6.5.1）。其逆命题在关于扭曲 Brauer 类阶数的特定条件下得到了部分确立。

意义与主张
本文声称为阿贝尔曲面提供了完整的上同调与几何分类（在特征 0 下），并在正特征下提供了部分分类（受限于素数于 $p$ 的情形）。

• 统一性： 它将“主同源”（平方次数的同源）这一几何概念与“导出同源”这一范畴概念统一起来，证明了对于阿贝尔曲面，两者是等价条件。
• 对经典结果的扩展： 该工作将 Mukai 和 Orlov 的导出 Torelli 定理（将导出等价与 $H^2$ 的 Hodge 等距联系起来）推广到了扭曲情形以及正特征情形。
• 方法论进展： 将 Shioda 技巧推广到有理和 $p$-进语境被视为一项关键的技术工具，它允许作者通过将 $H^2$ 等距直接与同源联系起来，从而绕过正特征下缺乏全局 Torelli 定理的问题。
• 对开放问题的审慎态度： 作者明确指出，正特征下 K3 曲面的导出同源与同源之间的等价性仍是一个猜想（Conjecture 1.4.2），且非素数于 $p$ 导出同源的阿贝尔曲面的完全等价性受到 Brauer 类特化的阻碍（Conjecture 6.4.2）。他们将关于 Kummer 曲面的研究定位为为 K3 猜想提供证据，而非完整证明。

本文并非提出新的实验应用，而是为阿贝尔曲面的导出范畴、Hodge 理论与算术几何之间的基础理论联系奠定了基础。