Algebraicity of Hodge classes on some generalized Prym Varieties

技术摘要：某些广义 Prym 簇上霍奇类的代数性

问题陈述
本文探讨了广义 Prym 簇上特定霍奇类的代数性。具体而言，它研究了通过有限阿贝尔群 $G$ 的非平凡表示所关联的阿贝尔簇上，利用"Weil 型”方法构造的某些霍奇类是否由代数闭链表示。这项工作推广了 Chad Schoen 的先前结果，他此前已确立了此类类在循环覆盖（特别是针对原特征）情况下的代数性，而本文将其扩展至更广泛的阿贝尔覆盖情形。

方法论
作者采用了一种根植于曲线无分歧几何类域论的几何方法。核心方法论包含以下步骤：

1. 几何设定：作者考虑光滑射影曲线 $C \to C^1$ 的étale $G$-覆盖，其中 $G$ 为有限阿贝尔群。他们利用标准的 Abel–Jacobi 映射 $AJ_d: \text{Sym}^d(C^1) \to J(C^1)$ 及其在特定次数下的行为，特别是 $h = 2g(C^1) - 2$ 的情形。
2. 笛卡尔图与类域论：核心工具是构建一个笛卡尔图，将曲线 $C$、其对称积以及雅可比簇联系起来。作者证明了曲线的每一个阿贝尔覆盖都源于雅可比簇有限覆盖的基变换。这一设定使他们能够将覆盖的对称积的上同调与 Prym 簇的上同调联系起来。
3. 上同调分解：作者分析了 $\text{Sym}^h(C^1)$ 的阿贝尔覆盖 $W$ 的上同调。他们将上同调 $H^*(W, \mathbb{Q})$ 分解为对应于 $G$ 的特征标的等变分量。
4. 映射的分解：他们建立了曲线 $C$ 的 Abel–Jacobi 映射通过覆盖 $W$ 的分解。这涉及研究群 $G$ 和对称群 $S_h$ 在乘积 $C^h$ 及其商上的作用。
5. Macdonald 公式与莱夫谢茨算子：利用对称积上同调的 Macdonald 公式以及阿贝尔簇上莱夫谢茨算子的性质，作者追踪了从对称积到 Prym 簇的代数闭链。他们依赖于阿贝尔簇上的标准猜想（具体而言，即逆莱夫谢茨算子是代数的），从而得出目标类的代数性。

主要贡献与结果

• 定理 1.1（覆盖的上同调）：作者证明了 $\text{Sym}^h(C^1)$ 的阿贝尔覆盖 $W$ 的上同调具有霍奇结构的自然同构。具体而言，对于 $n=h$，上同调分解为底空间对称积的上同调与一个直和项 $U(-h/2)$。该直和项 $U$ 由代数类生成，维数为 $|G|-1$，其复化分解为 $G$ 的所有非平凡特征标 $\chi$ 的 $\chi$-等变分量之和。
• 定理 1.2（Weil 霍奇类的代数性）：主要结果确立了 Prym 簇 $B$（即范数映射 $J(C) \to J(C^1)$ 核的连通分支）上的"Weil 霍奇类”$U_{\text{Weil}}$ 由代数闭链表示。这些类定义为 $B$ 的第一上同调在环 $\mathbb{Q}[G]_{\text{nt}}$ 上的非平凡部分的最高外积。
• Schoen 工作的推广：虽然 Schoen 的原始工作聚焦于循环覆盖和原特征，但本文将构造扩展到了任意有限阿贝尔群的所有非平凡特征标。作者表明，所需的代数闭链自然地源于 Abel–Jacobi 映射的几何结构和几何类域论，提供了一种统一视角，简化并推广了 Schoen 的方法。

意义与主张
本文声称提供了一个替代视角，用于推广和简化 Prym 簇上霍奇类的代数闭链构造。通过将问题置于无分歧几何类域论的框架下，作者证明了这些霍奇类的代数性是 Abel–Jacobi 映射的几何结构及阿贝尔覆盖结构的直接推论。

作者明确指出，他们的方法：

• 将 Schoen 的结果从循环覆盖推广到了阿贝尔覆盖。
• 处理了所有非平凡特征标，而 Schoen 在循环情形下仅限于原特征。
• 提供了一种视角，该视角有可能被调整以适应分歧情形（涉及带模的雅可比簇）和高维情形（曲面），尽管本文未处理这些情况。
• 依赖于关于阿贝尔簇上逆莱夫谢茨算子代数性的标准猜想，这是阿贝尔簇的一个已知结果。

本文并未声称在完全一般性上证明霍奇猜想，而是确认了其在广义 Prym 簇上特定且重要的霍奇类（Weil 型）情形下成立，从而扩展了该猜想已知成立的情形。