[论文解读] Automorphy lifting for small l

Luís Dieulefait, Toby Gee|arXiv (Cornell University)|Sep 23, 2012

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

一句话总结

该论文为小素数 $ l $ 建立了一个自守提升定理，通过将先前结果中的条件 $ l \geq 2(n+1) $ 弱化为残余伽罗瓦表示的充分性假设，实现了推广。利用基底变换、Hida 理论以及 [BLGG11] 和 [BLGGT10] 中的结果，证明了若一个正则、极化、$ n $-维伽罗瓦表示 $ r $ 的残余表示是充分的，且其为普通或潜在对角化自守的，则 $ r $ 是潜在对角化自守的。

ABSTRACT

We prove a slight generalization of Theorem 4.2.1 of [BLGGT10], which weakens the assumption that $l\ge 2(n+1)$ to an adequacy hypothesis.

研究动机与目标

• 通过将条件 $ l \geq 2(n+1) $ 弱化为残余伽罗瓦表示的充分性假设，推广 [BLGGT10] 中定理 4.2.1 的结果。
• 在比以往要求更弱的假设下，建立 $ l $-进伽罗瓦表示的潜在对角化性与自守性。
• 将自守提升定理的适用范围扩展至小素数 $ l $，特别是在 $ \operatorname{Symm}^5(\operatorname{GL}(2)) $ 和基底变换的背景下。
• 通过使用 [BLGG11] 的定理 A.4.1 和 [BLGGT10] 的定理 2.3.1，统一并简化证明，避免了临时的修改。

提出的方法

• 利用基底变换，将具有复乘的数域 $ F $ 替换为与 $ \overline{F}^{\ker \overline{r}}(\zeta_l) $ 线性不相交的可解扩张，以确保在 $ F^+ $ 上分裂的素理想。
• 应用 Hida 理论，将普通自守残余表示的情形约化为潜在对角化自守的情形。
• 利用 [BLGGT10] 的引理 1.4.3(1) 和 [GG12] 的引理 3.1.4，确保 Hida 系列在所有 $ l $-进位置上均包含具有潜在对角化 $ l $-进伽罗瓦表示的点。
• 使用 [BLGG11] 的定理 A.4.1 构造一个正则、代数、尖点、极化的自守表示 $ (\pi, \chi) $，使其在所有满足 $ v|l $ 的 $ v $ 处与 $ r|_{G_{F_v}} $ 的 $ l $-进实现相匹配。
• 应用 [BLGGT10] 的定理 2.3.1，得出 $ r $ 是潜在对角化自守的，且其水平可能与 $ l $ 互素。
• 依赖于 $ \overline{r}(G_{F(\zeta_l)}) $ 的充分性以及假设 $ \zeta_l \notin F $，以确保提升的合法性。

实验结果

研究问题

• RQ1 是否可以在不需 $ l \geq 2(n+1) $ 的条件下，将自守提升定理推广至小素数 $ l $？
• RQ2 在何种条件下，可证明一个正则、极化的伽罗瓦表示为潜在对角化自守的？
• RQ3 残余伽罗瓦表示在 $ l $ 处的充分性如何替代自守提升中更强的条件 $ l \geq 2(n+1) $？
• RQ4 Hida 理论在自守提升过程中在多大程度上可用于确保潜在对角化性？
• RQ5 基底变换在简化自守提升定理的证明结构中起到什么作用？

主要发现

• 自守提升定理在更弱的假设下成立，即仅要求 $ \overline{r}(G_{F(\zeta_l)}) $ 是充分的，而无需满足 $ l \geq 2(n+1) $。
• 结果确认：若残余表示满足充分性与自守性条件，则 $ (r, \mu) $ 是潜在对角化自守的，且其水平可能与 $ l $ 互素。
• 证明利用了 [BLGG11] 的定理 A.4.1，构造了一个与 $ r $ 在所有 $ v|l $ 处局部匹配的相容自守表示 $ (\pi, \chi) $。
• Hida 理论的应用使得可从普通自守情形约化到潜在对角化自守情形，从而确保 Hida 系列中存在合适的点。
• 结合 [BLGG11] 的定理 A.4.1 与 [BLGGT10] 的定理 2.3.1，得到了一个清晰、统一的证明，无需临时修改。
• 条件 $ \zeta_l \notin F $ 至关重要，它确保了 $ \mu_l $ 上的伽罗瓦作用非平凡，从而支持了充分性假设。