[论文解读] Serre's conjecture over F_9

Jordan S. Ellenberg|ArXiv.org|Jul 20, 2001

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

本文在特定的局部条件（在素数3和5处）下，通过基于希尔伯特模曲面上可解点的几何方法，证明了模9伽罗瓦表示的塞尔猜想。关键结果建立了在𝔽₉上的奇伽罗瓦表示的模性，作为推论，也确立了在3和5处具有良好平凡约化的希尓伯特-布吕门塔尔阿贝尔簇的模性。

ABSTRACT

In this paper, we show that an odd Galois representation rhobar: Gal(Qbar/Q) --> GL_2(F_9) satisfying certain local conditions at 3 and 5 is modular. Our main tool is an idea of Taylor, which reduces the problem to that of exhibiting points on a Hilbert modular surface which are defined over a solvable extension of Q, and which satisfy certain reduction properties. As a corollary, we show that Hilbert-Blumenthal abelian surfaces over Q with good ordinary reduction at 3 and 5 are modular.

研究动机与目标

• 在3和5处满足局部条件的情况下，证明模9伽罗瓦表示的塞尔猜想。
• 将泰勒与斯金纳-维尔的模性提升技术扩展到𝔽₉的情形。
• 确立在3和5处具有良好平凡约化的希尓伯特-布吕门塔尔阿贝尔簇的模性。
• 证明某些希尔伯特模曲面在可解扩张上的点集具有扎里斯基稠密性，引入了“性质S”的概念。

提出的方法

• 将伽罗瓦表示的模性归约为在ℚ的可解扩张上某类扭曲希尔伯特模曲面上存在有理点的问题。
• 应用泰勒的循环下降思想，将自守形式从可解扩张下降回ℚ。
• 使用斯金纳与维尔的定理将模表示提升，从而确立3-adic伽罗瓦表示的模性。
• 运用朗兰兹–屯奈耳定理以及戴蒙德对模性提升定理的改进，处理3-adic与5-adic部分。
• 在可解扩张F/ℚ上构造一个希尓伯特-布吕门塔尔阿贝尔簇，使其3 torsion实现给定的模9伽罗瓦表示。
• 对3和5处的弗罗贝尼乌斯群施加条件，以确保表示为Dₚ-区分且平凡，从而实现下降。

实验结果

研究问题

• RQ1 塞尔猜想能否推广到𝔽₉的情形，其中GL₂(𝔽₉)是非可解的？
• RQ2 与小判别式域相关的希尔伯特模曲面是否在可解扩张上具有扎里斯基稠密的点集（即具有性质S）？
• RQ3 在3和5处伽罗瓦表示的何种局部条件下，可以在𝔽₉上实现模性？
• RQ4 能否通过伽罗瓦表示方法确立在3和5处具有良好平凡约化的希尓伯特-布吕门塔尔阿贝尔簇的模性？
• RQ5 依赖于GL₂(𝔽ₚ)的可解性与性质S的技术，在小有限域之外在多大程度上可推广？

主要发现

• 本文证明：若奇伽罗瓦表示ρ̄: Gal(ℚ̄/ℚ) → GL₂(𝔽₉) 满足其在D₃上的限制为上三角矩阵，且其特征满足特定的弗罗贝尼乌斯条件，且其在I₅上的像位于SL₂(𝔽₉)中且在PSL₂(𝔽₉)中阶为奇数，则该表示是模的。
• 通过在可解扩张F/ℚ上实现该表示为希尓伯特-布吕门塔尔阿贝尔簇的3 torsion，而该阿贝尔簇本身是模的，从而确立了表示的模性。
• 关键的几何洞见是：某些扭曲希尔伯特模簇在可解扩张上具有扎里斯基稠密的点集，本文将此性质称为“性质S”。
• 作为推论，每个在ℚ上定义的希尓伯特-布吕门塔尔阿贝尔簇A/ℚ，若在3和5处具有良好平凡约化，则其为某个J₀(N)的商，因此是模的。
• 证明依赖于对3-adic伽罗瓦表示的循环下降论证，利用了3-adic表示可通过定理3.1及模性提升定理提升为模表示的事实。
• 该结果为塞尔猜想在非可解情形提供了证据，但作者提醒，由于高亏格代数曲面上性质S的稀有性，此类技术可能无法推广到更大的有限域。