Twisted triple product root numbers and a cycle of Darmon-Rotger

技术摘要：“扭转三重积根数与 Darmon–Rotger 循环”

问题陈述
本文研究了定义在素数级模曲线 $X_0(p)$ 的三重积上的特定代数循环——Darmon–Rotger 循环的算术性质。该循环构造在二次扩张 $K = \mathbb{Q}(\sqrt{\chi(-1)p})$ 上，其中 $\chi$ 是模 $p$ 的勒让德符号。核心问题是确定该循环的同调与有理等价性质，并将该循环的非平凡性与扭转三重积 $L$-函数 $L(f_1 \otimes f_2 \otimes f_3 \otimes \chi, s)$ 的解析行为联系起来，其中 $f_1, f_2, f_3$ 是权重为 2、级数为 $\Gamma_0(p)$ 的归一化亏格特征形式。具体而言，作者试图验证该 $L$-函数的全局根数是否为 $-1$，根据 Beilinson–Bloch–Kato 猜想和 Gross–Zagier 哲学，若根数为 $-1$，则预示着该循环是非挠的。

方法论
本文结合了代数几何、模曲线理论以及 Weil–Deligne 群的表示论。

1. 几何构造： 作者通过将 Darmon–Rotger 循环 $\Xi = \Delta_+ - \Delta_-$ 描述为从全级模曲线 $X(p)$ 到 $X_0(p)^3$ 的特定映射之像的差，提供了一种替代性的描述。该描述利用了涉及带有全级 $p$ 结构的椭圆曲线及 Weil 配对的 $X(p)$ 的模解释。文中分析了对称群 $S_3$ 和 Galois 群 $\text{Gal}(K/\mathbb{Q})$ 在这些循环上的作用，以确定其不变性。
2. 同调平凡性： 为了证明该循环是零同调的，作者利用了 Gross–Schoen 投影算子 $P_{GKS}(e)$。通过证明该循环在投影算子下是不变的（该投影算子会消灭某些上同调群），本文确立了该循环位于 Chow 群的零同调部分。文中还简要勾勒了使用 de Rham 循环类映射的另一种证明方法。
3. 根数计算： 扭转三重积 $L$-函数 $F \otimes \chi$ 的全局根数 $W(F, \chi)$ 的计算依赖于 epsilon 因子的局部-全局原理。作者通过分析与 $F \otimes \chi$ 相关的 8 维 Weil–Deligne 表示，计算了在素数 $p$ 处的 epsilon 因子。这涉及将该表示分解为 special 表示 ($sp(2)$) 与特征的张量积，并利用高斯和及扭转特征$\chi$ 的导数（conductor）的性质显式计算 epsilon 因子。

主要贡献与结果

• Darmon–Rotger 循环： 本文证明了 Darmon–Rotger 循环 $\Xi = \Delta_+ - \Delta_-$ 是零同调的。它确立了 $\Xi$ 定义了 Chow 群 $\text{CH}^2(X_0(p)^3_K)^{\tau=-1}_0$ 中的一个元素。文中确定了对称群 $S_3$ 在 $\Xi$ 上的作用：若 $p \equiv 1 \pmod 4$，则 $S_3$ 固定 $\Xi$；若 $p \equiv 3 \pmod 4$，则 $S_3$ 通过符号特征作用于 $\Xi$。
• 全局根数： 主要的解析结果是定理 1.2，该定理指出扭转三重积 $L$-函数 $L(F, \chi, s)$ 的全局根数为 $-1$。因此，该$L$-函数在其中心临界点$s=2$ 处具有奇数阶的消失。
  • 证明的关键在于证明在 $p$ 处的局部根数为 $1$，而无穷远处的根数为$-1$。
  • 与 Gross–Kudla 研究的未扭转情况相比，一个关键的技术区别在于：在 $p$ 处，扭转 Weil–Deligne 表示的 epsilon 因子等于底层 Weil 表示的 epsilon 因子，从而导致了不同的导数（conductor）和根数计算。
• 导数计算： 本文显式计算了扭转表示的导数，即 $\text{cond}(F, \chi) = p^8$。

意义与主张
本文将研究结果置于 Beilinson–Bloch–Kato 猜想和 Gross–Zagier 哲学的框架内。

• 与 $L$-值的联系： 由于根数为 $-1$，故$L$-函数在$s=2$ 处的消失阶数至少为 1。根据 Beilinson–Bloch–Kato 猜想，这意味着相关的 Selmer 群（以及 Chow 群）的维数至少为 1。
• 关于非挠性的推测： 作者指出，虽然根数表明 Darmon–Rotger 循环 $\Xi$ 可能是非挠的（具体而言，若消失阶数恰好为 1，则 $t_F \Xi \neq 0$），但本文并未提供关于此非挠性质的证明。作者明确表示：“我们目前还没有对此进行证明。”
• 与修正对角线循环的比较： 本文将 Darmon–Rotger 循环与 Gross–Kudla 和 Gross–Schoen 研究的修正对角线循环 $\Delta_{GKS}(e)$ 进行了对比。与需要选择基点和投影算子才能变为零同调的修正对角线循环不同，Darmon–Rotger 循环是在无需此类选择的情况下规范定义的。作者推测，如果未扭转和扭转的 $L$-函数消失阶数均为 1，那么 Chow 群可能会分解为由这两个截然不同的循环生成的直和，尽管这仍属于“纯粹的推测”。

综上所述，本文严谨地建立了 Darmon–Rotger 循环的几何性质以及相关扭转 $L$-函数的解析性质，通过根数提供了关于该循环潜在算术重要性的强有力理论证据，同时也承认其在 Chow 群中非平凡性的证明仍是一个开放性问题。