[论文解读] Why certain Tannaka groups attached to abelian varieties are almost connected

Rainer Weissauer|arXiv (Cornell University)|Jul 17, 2012

Algebraic Geometry and Number Theory参考文献 16被引用 6

一句话总结

本文提出了一种用于阿贝尔簇上与迷向层卷积幂相关的半单代数群的塔纳卡对偶框架。证明了对于阿贝尔簇，这些塔纳卡群几乎是连通的，即其幂零根是平凡的，并通过交点上同调层的结构，建立了这些群的表示理论与布里尔-诺伊曼理论之间的深刻联系。

ABSTRACT

We show that for a complex abelian variety X a certain Tannaka group G(X) attached to X is a pro-reductive group whose group of connected components is abelian, and hence isomorphic to the etale pro-finite abelian fundamental group of the dual abelian variety of X.

研究动机与目标

• 通过阿贝利安簇上的 perverse 层卷积幂，将经典的布里尔-诺伊曼理论推广到曲线之外的高维情形。
• 从阿贝利安簇 $ \operatorname{Alb}(Y) $ 上 perverse 层的张量范畴出发，定义代数闭域 $ \Lambda $ 上的半单塔纳卡群 $ G(Y, y_0) $。
• 通过分析卷积幂的结构和一般性消失定理，证明这些塔纳卡群是几乎连通的，即其幂零根是平凡的。
• 建立 $ G(Y, y_0) $ 的基本表示与不可约 perverse 层 $ \mathcal{IC}_{W_i(Y)} $ 之间的对应关系，从而恢复经典的布里尔-诺伊曼簇。

提出的方法

• 在阿贝利安簇 $ X = \operatorname{Alb}(Y) $ 上构造直接像复形 $ K = Rf_* (IC_Y) $，其中 $ f: Y \to X $ 是阿贝利安映射。
• 利用 $ X $ 上群运算定义的卷积积 $ * $，其中 $ M * N = R a_* (M \boxtimes N) $，形成 $ K \oplus K^\vee $ 的迭代卷积幂。
• 对这些卷积幂的 perverse 分量生成的张量范畴应用塔纳卡对偶，构造 $ \Lambda $ 上的半单群 $ G(Y, y_0) $。
• 利用一般性消失定理和分解定理分析 perverse 层的深度与支撑，以控制 $ G(Y, y_0) $ 的结构。
• 通过同态与基变换将问题约化至 $ X = A \times B $ 的情形，从而实现层的分解并控制上同调界。
• 应用硬朗威茨定理与对偶性，约束卷积积中上同调移位，证明非零分量必须来自非平凡的层。

实验结果

研究问题

• RQ1 如何通过层论与群论工具，将经典曲线布里尔-诺伊曼理论推广到高维代数簇？
• RQ2 通过阿贝利安簇上 perverse 层的卷积，与光滑射影簇 $ Y $ 相关的塔纳卡群 $ G(Y, y_0) $ 的结构是什么？
• RQ3 为何塔纳卡群 $ G(Y, y_0) $ 几乎是连通的，即为何其幂零根是平凡的？
• RQ4 为何 $ G(Y, y_0) $ 的基本表示与阿贝利安簇中的布里尔-诺伊曼簇 $ W_i(Y) $ 对应？

主要发现

• 对于复数域或有限域上的光滑射影簇 $ Y $，与之相关的塔纳卡群 $ G(Y, y_0) $ 是几乎连通的，即其幂零根是平凡的。
• 对于非双全纯的亏格为 $ g $ 的曲线 $ Y $，塔纳卡群为 $ \mathrm{SL}(2g-2) $，其 $ g-1 $ 个基本表示对应于不可约 perverse 层 $ \mathcal{IC}_{W_i(Y)} $（$ i = 1, \dots, g-1 $）。
• 第 $ i $ 个卷积幂 $ \delta_Y * \cdots * \delta_Y $ 的不可约 perverse 分量包含 $ \mathcal{IC}_{W_i(Y)} $，这些层作为张量范畴中的简单分量被恢复。
• 分解定理与一般性消失定理给出的上同调界表明，非零卷积分量必须来自非平凡的层，从而限制了可能的上同调移位。
• 一个干净的半单 perverse 层 $ P $ 的卷积积 $ T = P * P^\vee $ 是半单的，其简单分量 $ T_\nu \cong P_\nu[-m_\nu] $ 满足 $ -\operatorname{depth}(P_\nu) < m_\nu < \operatorname{depth}(P_\nu) $，这约束了塔纳卡群的结构。
• 证明 $ Rf_*(K_\chi) \neq 0 $ 对某个特征标 $ \chi $ 成立，依赖于将问题约化至 $ X = A \times B $ 的乘积结构，其中 $ K $ 可分解为张量积，并利用 $ H^\bullet(A, K_{A,\chi}) $ 中欧拉示性数的非零性。