[论文解读] On Tate conjecture for the special fibers of some unitary Shimura varieties

David Helm, Yichao Tian+1 more|arXiv (Cornell University)|Oct 9, 2014

Advanced Algebra and Geometry参考文献 29被引用 6

一句话总结

该论文在一般性条件下证明，单位群Shtuka簇模$p$的特殊纤维上的中等维Tate类由其奇异点集的不可约分支生成。作者采用一种新颖的方法，基于Shtuka簇之间的对应关系，而非Rapoport–Zink统一化，证明这些分支生成了所有一般Tate循环，支持了关于单位群Shtuka簇中特殊循环与牛顿分层关系的更广泛猜想。

ABSTRACT

Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s \in \mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) imes U(s,r))$-Shimura variety. We construct cycles which we conjecture to generate the Tate classes and verify our conjecture in the case of $G(U(1,s) imes U(s,1))$. We also discuss the general conjecture regarding special cycles on the special fibers of unitary Shimura varieties.

研究动机与目标

• 研究有限域上单位群Shtuka簇特殊纤维的Tate类结构。
• 理解奇异点集在生成Tate循环中的几何与算术作用。
• 提出并提供证据支持一个关于单位群Shtuka簇中特殊循环、牛顿分层与Tate猜想之间关系的一般性猜想。
• 开发一种基于Shtuka簇间对应关系的新方法，避免依赖Rapoport–Zink统一化。
• 在适当条件下，确立基本点集的不可约分支生成所有一般中等维Tate类。

提出的方法

• 作者使用Helm提出、Tian和Xiao进一步拓展的、针对不同符号的单位群Shtuka簇之间的对应关系方法。
• 分析奇异点集$\mathrm{Sh}_{1,n-1}^{\mathrm{ss}}$的几何结构，证明其为Deligne–Lusztig簇的并集，且为等维的，维数为$n-1$。
• 关键技术工具是研究$\mathrm{Sh}_{1,n-1}$上奇异循环的交点数及其交点矩阵，通过涉及$q$-二项式系数的组合公式进行计算。
• 利用$\ell$-进上同调上的Hecke作用来分离一般Tate类，并将其与基本点集上支持的代数循环联系起来。
• 证明依赖于一个涉及初等对称多项式与$q$-整数的矩阵$M_n(q)$的行列式公式，通过行变换与矩阵分解，证明其等于一个结式行列式。
• 作者使用$p$-除子群的形变理论与Dieudonné模技术，分析了特殊纤维在$p$处的局部结构。

实验结果

研究问题

• RQ1 单位群Shtuka簇模$p$的特殊纤维上，奇异点集的不可约分支是否生成所有中等维Tate类？
• RQ2 能否通过基本点集上支持的几何循环验证此类Shtuka簇的Tate猜想？
• RQ3 牛顿分层与单位群Shtuka簇上同调中的循环类之间有何关系？
• RQ4 Hecke算子如何作用于特殊纤维的上同调？它们揭示了Tate类结构的哪些信息？
• RQ5 是否存在一个一般性原理，即基本点集对单位群Shtuka簇中所有一般Tate类均有贡献？

主要发现

• 在自守表示的一般性条件下，$\mathrm{Sh}_{1,n-1}$上的中等维Tate类由其奇异点集的不可约分支生成。
• $\mathrm{Sh}_{1,n-1}^{\mathrm{ss}}$为等维的，维数为$n-1$，其分支同构于Deligne–Lusztig簇。
• $\mathrm{Sh}_{1,n-1}$上奇异循环的交点矩阵被显式计算，其行列式为$\alpha_1 \cdots \alpha_n \prod_{i \neq j} \left(q\alpha_i - \frac{1}{q}\alpha_j\right)$，证实了深层代数结构。
• 作者证明了一个涉及对称多项式与$q$-整数的矩阵$M_n(q)$的行列式公式，该公式对计算交点数至关重要。
• 该方法避免使用Rapoport–Zink空间，转而使用Shtuka簇之间的全局对应关系，为Tate猜想提供了新路径。
• 结果支持一个一般性猜想：基本点集的不可约分支在$\mathbb{F}_{p^2}$上生成单位群Shtuka簇中的所有一般Tate类。