[论文解读] Remarks on generating series for special cycles

Stephen S. Kudla|arXiv (Cornell University)|Aug 22, 2019

Advanced Algebra and Geometry参考文献 20被引用 5

一句话总结

该论文在 Bloch-Beilinson 猜想的假设下，建立了与全实域相关的正交 Shimura 变量上特殊循环的 Chow 群生成系列的模形式性。通过利用 Abel-Jacobi 映射的单射性以及平行权为 $\frac{m}{2}+1$ 的 Hilbert-Siegel 模形式，该研究将先前仅针对除子类的结果推广至更高余维数的循环。关键贡献在于，当 $d_+ \geq 1$ 时，对所有满足 $1 \leq n \leq m$ 的 $n$，解决了高余维数情形下长期存在的模形式性缺口问题。

ABSTRACT

In this note, we consider special algebraic cycles on the Shimura variety S associated to a quadratic space V over a totally real field F, |F:\Q|=d, of signature ((m,2)^{d_+},(m+2,0)^{d-d_+}), 1\le d_+

研究动机与目标

• 建立在全实域上正交 Shimura 变量的 Chow 群中特殊循环生成系列的模形式性。
• 解决当 $d_+ > 1$ 时，高余维数下特殊循环之间缺乏系统关系的问题，该问题阻碍了模形式性证明。
• 将此前仅在 $d_+ = 1$ 情况下建立的模形式性结果推广至任意 $d_+$ 和 $1 \leq n \leq m$ 的一般情形。
• 证明在 Bloch-Beilinson 猜想下，余维数为 $nd_+$ 的 Chow 群值生成系列为 Hilbert-Siegel 模形式。

提出的方法

• 利用 Bloch-Beilinson 猜想假设 Abel-Jacobi 映射的单射性，从而控制 Chow 群中的关系。
• 应用与全实域 $F$ 上二次型空间 $V$ 相关的正交 Shimura 变量上特殊循环的理论，其符号型为 $((m,2)^{d_+},(m+2,0)^{d-d_+})$。
• 在 $O_F$ 中的全正半定矩阵索引下，构造 Chow 群 $\mathrm{CH}^{nd_+}(S)$ 中的生成系列。
• 依赖于两种加权特殊循环定义的等价性：一种通过轨道分解，另一种通过 Schwartz 函数与 theta 提升。
• 应用 Weil 的引理，将 $H(\mathbb{A}_f)$ 中的双重陪集分解与 $\Gamma_{g_j}$-轨道联系起来，确保循环构造的一致性。
• 利用已知结论：上同调类的生成系列为平行权 $\frac{m}{2}+1$ 的 Hilbert-Siegel 模形式，并在猜想性假设下将该模形式性提升至 Chow 群。

实验结果

研究问题

• RQ1 当 $d_+ > 1$ 时，Chow 群 $\mathrm{CH}^{nd_+}(S)$ 中特殊循环的生成系列是否对所有满足 $1 \leq n \leq m$ 的 $n$ 都是模形式？
• RQ2 是否可以将 Chow 群值生成系列的模形式性从 $d_+ = 1$ 的情形推广，此时循环之间的关系更容易处理？
• RQ3 Bloch-Beilinson 猜想中关于 Abel-Jacobi 映射单射性的假设是否足以确保 Chow 群中高余维数循环类的模形式性？
• RQ4 双曲面 $\Omega_T$ 以及 $G(\mathbb{A}_f)$ 的作用在定义加权特殊循环中起什么作用？
• RQ5 在一般 $d_+$ 情形下，通过轨道分解与通过 Schwartz 函数定义的两种加权特殊循环定义如何保持一致？

主要发现

• 在 Bloch-Beilinson 猜想的假设下，Chow 群 $\mathrm{CH}^{nd_+}(S)$ 中余维数为 $nd_+$ 的特殊循环的生成系列是模形式。
• 作为 Chow 群结果的基础，利用了上同调类生成系列为平行权 $\frac{m}{2}+1$ 的 Hilbert-Siegel 模形式的已知事实，并将该模形式性在猜想性假设下推广至 Chow 群。
• 通过轨道分解与 Schwartz 函数定义的两种加权特殊循环定义被证明是等价的，从而确保了构造的一致性。
• 证明依赖于 Weil 的引理，将双重陪集分解与 $\Gamma_{g_j}$-轨道联系起来，从而实现了循环求和的重索引。
• 在 $d_+ > 1$ 情形下，自然曲线或关系的缺失使得 Chow 群系列的模形式性非平凡，但猜想性 Abel-Jacobi 映射单射性提供了必要的控制。
• 该结果将 Yuan-Zhang-Zhang（$d_+ = 1, n = 1$ 时）和 Zhang（$d_+ = 1$ 且一般 $n$ 时）的先前工作推广至任意 $d_+$ 和满足 $1 \leq n \leq m$ 的 $n$。