[论文解读] Variations on a theorem of Tate

Stefan Patrikis|arXiv (Cornell University)|Jul 28, 2012

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

一句话总结

本文将塔特关于射影伽罗瓦表示提升到 $\mathrm{PGL}_n(\mathbb{C})$ 的经典定理推广至自守与动机的背景中，建立了 $W$-代数自守表示的无条件提升结果，并为超凯勒簇发展了广义的库加-萨塔克构造。关键贡献是一个动机提升框架，该框架从阿贝尔簇构造新的动机霍奇结构，证明了在标准猜想下存在实现库加-萨塔克簇的同调动机。

ABSTRACT

Let $F$ be a number field. These notes explore Galois-theoretic, automorphic, and motivic analogues and refinements of Tate's basic result that continuous projective representations $Gal(\bar{F}/F) o PGL_n(C)$ lift to $GL_n(C)$. We take special interest in the interaction of this result with algebraicity (on the automorphic side) and geometricity (in the sense of Fontaine-Mazur). On the motivic side, we study refinements and generalizations of the classical Kuga-Satake construction. Some auxiliary results touch on: possible infinity-types of algebraic automorphic representations; comparison of the automorphic and Galois "Tannakian formalisms"; monodromy (independence-of-$\ell$) questions for abstract Galois representations.

研究动机与目标

• 将塔特关于射影伽罗瓦表示的定理推广至自守与动机背景。
• 在 $G(\mathbf{A}_F)$ 到 $\widetilde{G}(\mathbf{A}_F)$ 的映射下，为 $W$-代数自守表示建立无条件提升结果。
• 利用动机与霍奇理论方法，为超凯勒簇发展广义的库加-萨塔克理论。
• 研究伽罗瓦、自守与动机的塔纳卡形式系统在代数性与单值性背景下的相互作用。
• 在标准猜想下证明实现库加-萨塔克簇的同调动机的存在性，特别是针对阿贝尔簇。

提出的方法

• 利用 $\ell$-进霍奇理论与标记的霍奇-泰特-森权重分析伽罗瓦表示的结构。
• 应用受控循环与数值动机理论，通过杨对称化子与投影算子构造 $H(X^r)$ 的子动机。
• 采用库加-萨塔克构造，为超凯勒簇 $X$ 关联一个库加-萨塔克簇 $KS(X)$，将其上同调实现为子动机。
• 利用库恩内分解与收缩映射 $c_{p,q}$ 定义 $H^1(X)^{\otimes r}$ 中对称与初等上同调的核。
• 通过归一化的杨对称化子 $xc_\lambda$ 构造幂等代数对应，定义舒尔函子 $\mathbb{S}_\lambda(H^1(X))$ 为数值动机。
• 依赖于特征零下数值动机的半单性以及数值等价与同调等价的等价性，推导出同调动机的存在性。

实验结果

研究问题

• RQ1 能否在自守与动机设定下，将射影伽罗瓦表示 $\Gamma_F \to \mathrm{PGL}_n(\mathbb{C})$ 提升至 $\mathrm{GL}_n(\mathbb{C})$，从而推广塔特定理？
• RQ2 在 functorial transfer $^L\widetilde{G} \to {}^L G$ 的意义下，塔特关于 $H^2(\Gamma_F, \mathbb{Q}/\mathbb{Z})$ 的消失性在自守语境下的对应是什么？
• RQ3 库加-萨塔克构造能否被广义化，以通过塔纳卡形式系统为超凯勒簇产生动机霍奇结构？
• RQ4 在何种条件下，超凯勒情形下动机提升的存在性可由标准猜想（特别是塔特猜想）推出？
• RQ5 单值性与独立于 $\ell$ 的性质如何在自守与动机提升的背景下约束抽象伽罗瓦表示？

主要发现

• 对 $G(\mathbf{A}_F)$ 的尖点表示可提升至 $\widetilde{G}(\mathbf{A}_F)$，其中 $\widetilde{G} = (G \times \widetilde{Z})/Z_G$，且 $\widetilde{Z}/Z_G$ 为环面，从而建立了塔特定理的自守类比。
• 由阿贝尔簇生成的数值动机范畴是半单且塔纳卡的，允许通过幂等对应构造子动机。
• 收缩映射 $c_{p,q}$ 的核被实现为数值动机 $M_{p,q}$，其同构于 $\operatorname{Sym}^2(H^1(X)) \otimes H^1(X)^{\otimes r-2}$ 与 $\operatorname{Prim}^2(X) \otimes H^1(X)^{\otimes r-2}$。
• 舒尔函子 $\mathbb{S}_\lambda(H^1(X))$ 通过幂等 $xc_\lambda \cdot (\pi_X^1)^r$ 实现为数值动机，其中 $x$ 对 $c_\lambda$ 进行归一化。
• 在特征零下数值等价与同调等价一致的假设下，库加-萨塔克簇 $KS(X)$ 被证明可赋予同调动机，其霍奇数可通过权重分析计算得出。
• 超凯勒簇的动机提升存在性依赖于塔特猜想，但其构造在同调动机范畴中是无条件的，即确实产生了一个动机。