[论文解读] Galois theory and Diophantine geometry

Minhyong Kim|ArXiv.org|Aug 5, 2009

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文提出了一种使用伽罗瓦上同调与p进霍德格理论的非交换p进方法来研究丢番图几何，通过证明X(Q)在德雷姆齐性空间中的像为离散且紧致，从而证明亏格≥2的曲线上的有理点是有限的。关键结果通过代数p进L函数零点的稀疏性，建立了有理点的有限性，通过动机与非交换结构推广了经典有限性定理。

ABSTRACT

This is an essay to accompany the author's lecture at the introductory workshop on `Nonabelian fundamental groups in arithmetic geometry' at the Newton Institute, Cambridge in July, 2009.

研究动机与目标

• 通过伽罗瓦上同调与德雷姆基本群，建立Mordell猜想的非交换p进类比。
• 通过分析X(Q)在p进齐性空间中的像，证明亏格≥2的曲线上有理点的有限性。
• 证明p进L函数零点的消失控制了塞尔默簇的有限性，推广了L函数在椭圆曲线算术中的作用。
• 提供一个动机框架，通过动机基本群将阿贝尔与非阿贝尔丢番图问题联系起来。
• 探索通过可计算的p进对数与上同调函数，显式构造X(Q) ⊂ X(Qp)的解析方程的可行性。

提出的方法

• 利用Qp上无根基本群表示，构造映射κⁿᵘ: X(Q) → H¹_f(G, Uₙ)。
• 使用非交换p进霍德格理论，将H¹_f(Gₚ, Uₙ)识别为齐性空间Uⁿᴰᴿ / F⁰。
• 应用迪厄多内同构D: H¹_f(Gₚ, Uₙ) ≅ Uⁿᴰᴿ / F⁰，将伽罗瓦上同调与平坦联络的几何模空间联系起来。
• 在X(Qp)上定义一个在X(Q)上消失的非零收敛幂级数φ，利用复合函数φ ∘ κⁿᵈʳ/ᶜʳ,ₙ。
• 利用X(Qp)在Uⁿᴰᴿ / F⁰中的像为充满空间且紧致的性质，其与任意真子簇的交集是有限的。
• 利用Iwasawa模结构与Λ上的Hom估计，通过维度的O(n²ᵍ⁻¹)增长来界定点数。

实验结果

研究问题

• RQ1 能否通过非交换p进上同调方法证明亏格≥2的曲线上有理点的有限性？
• RQ2 德雷姆基本群与p进霍德格理论在多大程度上可替代丢番图几何中的雅可比簇？
• RQ3 代数p进L函数的零点消失是否能以类似于椭圆曲线理论中L函数非消失的方式控制塞尔默簇的有限性？
• RQ4 X(Q)在德雷姆商空间Uⁿᴰᴿ / F⁰中的像是否为离散且紧致，从而确保仅有有限多个有理点？
• RQ5 能否显式构造在X(Q)上消失的函数φ，以在X(Qp)中得到有理点的解析方程？

主要发现

• X(Q)在Uⁿᴰᴿ / F⁰中的像是一个紧致且充满空间的子集，其与任意真子簇的交集是有限的。
• 函数φ ∘ κⁿᵈʳ/ᶜʳ,ₙ在X(Q)上消失，且在每个剩余圆盘上为非零收敛幂级数，因此仅有有限多个零点。
• 通过Λ上的Hom估计，有理点的数量被O(n²ᵍ⁻¹)所界定，其中g为亏格。
• Iwasawa模M的消去理想L对应一个p进L函数，其零点集控制了塞尔默簇的有限性。
• 假设dim H¹_f(G, Uₙ) << dim Uⁿᴰᴿ / F⁰对大n成立，该假设得到Fontaine-Mazur与Bloch-Kato猜想的支持。
• 在CM情形下，当p在CM域中分裂，且G在Aut(H₁(Ẋ, ℤₚ))中的像为阿贝尔时，该方法可无条件地应用以证明有限性。