[论文解读] Equivariant birational geometry and modular symbols

Maxim Kontsevich, Vasily Pestun+1 more|arXiv (Cornell University)|Feb 26, 2019

Advanced Algebra and Geometry参考文献 1被引用 9

一句话总结

本文通过与有限交换群 $G$ 相关的符号模 $\mathcal{B}_n(G)$ 和 $\mathcal{M}_n(G)$，在等变双有理几何中引入了新的不变量，证明了光滑射影簇 $X$ 的类 $\beta(X) \in \mathcal{B}_n(G)$ 是 $G$-等变双有理不变量。关键贡献在于发现了这些不变量与模形式、模符号及算术群上同调之间深刻的联系，显式计算揭示了其与模形式和 Hecke 算子的关联。

ABSTRACT

We introduce new invariants in equivariant birational geometry and study their relation to modular symbols and cohomology of arithmetic groups.

研究动机与目标

• 通过有限交换群 $G$ 的符号模 $\mathcal{B}_n(G)$ 和 $\mathcal{M}_n(G)$ 定义并研究等变双有理几何中的新不变量。
• 建立由 $G$-固定点轨迹与切表示构造的类 $\beta(X) \in \mathcal{B}_n(G)$ 在 $G$-等变双有理变换下保持不变。
• 研究这些符号模与模符号、算术群上同调及模形式之间的关系。
• 探索 Hecke 算子在 $\mathcal{M}_n(G)$ 上的作用，并分析这些模在 $\mathbb{Q}$ 和 $\mathbb{F}_\ell$ 上的结构。
• 理解 $\mathcal{B}_n(G)$ 和 $\mathcal{M}_n(G)$ 中定义关系的过度确定性，以及尽管存在高度冗余，仍存在非平凡解的原因。

提出的方法

• 将 $\mathcal{B}_n(G)$ 定义为由符号 $[a_1,\dots,a_n]$ 生成的 $\mathbb{Z}$-模，其中 $a_i \in A = G^\vee$，满足对称性 (S) 及对所有 $2 \leq k \leq n$ 的广义 Bezout 型关系 (B)。
• 以相同的对称性 (S) 和关系 (M) 定义 $\mathcal{M}_n(G)$，但不施加求和中元素互异的条件，从而实现对重复特征的对称处理。
• 对具有通有自由 $G$-作用的光滑射影簇 $X$，构造一个 $G$-等变双有理不变量 $\beta(X) \in \mathcal{B}_n(G)$，其基于 $G$-固定点处切表示的分解。
• 引入作用于 $\mathcal{M}_n(G) \otimes \overline{\mathbb{Q}}$ 或 $\mathcal{M}_n(G) \otimes \overline{\mathbb{F}}_p$ 的 Hecke 算子 $T_{\ell,r}$，并研究其谱性质。
• 使用计算机代数计算 $\mathcal{B}_n(G) \otimes \mathbb{Q}$、$\mathcal{M}_n(G) \otimes \mathbb{Q}$ 及 $\mathcal{B}_n(G) \otimes \mathbb{F}_\ell$ 的维数，其中 $G = \mathbb{Z}/N\mathbb{Z}$，揭示模式与挠子群。
• 比较小的 $n$ 和 $N$ 下 $\dim(\mathcal{B}_n(G) \otimes \mathbb{Q})$ 与 $\dim(\mathcal{M}_n(G) \otimes \mathbb{Q})$，观察到在 $n=2,3,4,5$ 时两者一致，提示存在更深层次的结构同构。

实验结果

研究问题

• RQ1 由 $G$-等变簇 $X$ 上的 $G$-固定点数据构造的类 $\beta(X) \in \mathcal{B}_n(G)$，是否在 $G$-等变双有理映射下保持不变？
• RQ2 符号模 $\mathcal{B}_n(G)$ 和 $\mathcal{M}_n(G)$ 在多大程度上反映了算术与自守结构，特别是与模符号及算术群上同调的关系？
• RQ3 为何 $\mathcal{B}_n(G)$ 和 $\mathcal{M}_n(G)$ 中高度过度确定的关系系统仍存在非平凡解，尤其是在 $n \geq 3$ 时？
• RQ4 $\mathcal{B}_n(G) \otimes \mathbb{Q}$ 与 $\mathcal{M}_n(G) \otimes \mathbb{Q}$ 的维数如何与类数或模形式维数等已知算术不变量相关联？
• RQ5 Hecke 算子在 $\mathcal{M}_n(G)$ 的结构中起何作用？其在 $\overline{\mathbb{Q}}$ 和 $\overline{\mathbb{F}}_p$ 上的谱如何反映 $G$ 的算术性质？

主要发现

• 当 $G = \mathbb{Z}/p\mathbb{Z}$ 且 $p \geq 5$ 为素数时，$\mathcal{B}_2(G)$ 的 $\mathbb{Q}$-秩为 $\frac{p^2 + 23}{24}$，表明其与模形式存在关联。
• 当 $p = 37$ 时，群 $\mathcal{B}_2(\mathbb{Z}/37\mathbb{Z})$ 在 $\ell = 3$ 和 $19$ 处具有 $\ell$-挠子群，表明该不变量中存在非平凡挠子群。
• 对于 $G = \mathbb{Z}/27\mathbb{Z}$ 和 $G = \mathbb{Z}/43\mathbb{Z}$，$\mathcal{B}_4(G)$ 的 $\mathbb{Q}$-秩为 1，表明在高维中存在非平凡解。
• $\mathcal{B}_n(G) \otimes \mathbb{Q}$ 与 $\mathcal{M}_n(G) \otimes \mathbb{Q}$ 的维数在 $n=2,3,4,5$ 且小的 $N$ 时一致，提示存在深层的结构同构。
• 当 $n=4$ 时，$\dim(\mathcal{B}_4(\mathbb{Z}/43\mathbb{Z}) \otimes \mathbb{Q}) = 1$，且 $\dim(\mathcal{B}_4(\mathbb{Z}/59\mathbb{Z}) \otimes \mathbb{Q}) = 1$，表明存在稀少但非平凡的不变量。
• $G = \mathbb{Z}/N\mathbb{Z}$ 时，$\mathcal{B}_n(G)$ 与 $\mathcal{M}_n(G)$ 的 $\mathbb{F}_2$-维数随 $N$ 增大而增长，且当 $N=32$ 时，$\dim(\mathcal{B}_5(G) \otimes \mathbb{F}_2) = 1$，表明模 2 上同调中存在挠子群与非平凡结构。