[论文解读] Analytic lie extensions of number fields with cyclic fixed points and tame ramification

Farshid Hajir, Christian Maire|arXiv (Cornell University)|Oct 25, 2017

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

一句话总结

本文通过分析循环扩张 $\mathrm{K}/\mathrm{k}$（其中 $\ell \neq p$ 为素数）上的统一 $p$-进解析伽罗瓦扩张 $\mathrm{L}/\mathrm{K}$，将波士顿的方法推广至驯服的 Fontaine-Mazur 猜想。重点研究了伽罗瓦群 $\mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 在伽罗瓦群 $\Gamma = \mathrm{Gal}(\mathrm{L}/\mathrm{K})$ 上的作用。结果表明，即使该作用存在非平凡不动点，仍会施加强烈的算术约束，从而可从 $\mathrm{k}$ 上不存在某些驯从 $p$-进解析扩张的事实，推导出 $\mathrm{K}$ 上也不存在此类扩张，即使不动点非平凡。

ABSTRACT

- Let p be a prime number and K an algebraic number field. What is the arithmetic structure of Galois extensions L/K having p-adic analytic Galois group $Γ$ = Gal(L/K)? The celebrated Tame Fontaine-Mazur conjecture predicts that such extensions are either deeply ramified (at some prime dividing p) or ramified at an infinite number of primes. In this work, we take up a study (initiated by Boston) of this type of question under the assumption that L is Galois over some subfield k of K such that [K : k] is a prime = p. Letting $σ$ be a generator of Gal(K/k), we study the constraints posed on the arithmetic of L/K by the cyclic action of $σ$ on $Γ$, focusing on the critical role played by the fixed points of this action, and their relation to the ramification in L/K. The method of Boston works only when there are no non-trivial fixed points for this action. We show that even in the presence of arbitrarily many fixed points, the action of $σ$ places severe arithmetic conditions on the existence of finitely and tamely ramified uniform p-adic analytic extensions over K, which in some instances leads us to be able to deduce the non-existence of such extensions over K from their non-existence over k.

研究动机与目标

• 研究在素数阶 $\ell \neq p$ 的循环伽罗瓦群 $\mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 作用下，具有驯从分歧的 $p$-进解析伽罗瓦扩张 $\mathrm{L}/\mathrm{K}$ 的算术结构。
• 理解伽罗瓦作用在统一的初等 $p$-群 $\Gamma = \mathrm{Gal}(\mathrm{L}/\mathrm{K})$ 上的不动点如何约束此类扩张的存在性。
• 将波士顿的无不动点（FPF）方法推广至具有非平凡不动点的情形，从而将驯从 $p$-进解析扩张的非存在性结果的适用范围加以扩展。
• 建立在基域 $\mathrm{k}$ 上不存在此类扩张时，其在 $\ell$ 次循环扩张 $\mathrm{K}$ 上也不存在的条件。

提出的方法

• 利用 Schur-Zassenhaus 定理分析涉及 $\Gamma$ 与伽罗瓦群 $\Delta = \mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 的群扩张结构。
• 应用统一的 $p$-进李群及其相应李代数的理论，研究 $\sigma \in \Delta$ 对 $\Gamma$ 的作用。
• 运用上同调技术，特别是对单位与 $T$-单位的研究，分析群环上模的自由性与结构。
• 利用库默尔理论与 Gras-Munnier 定理，将分歧数据与伽罗瓦模结构联系起来。
• 应用切博塔廖夫密度定理，研究在扩张中具有指定分裂行为的素数的分布。
• 分析不动点子群 $\Gamma^\sigma$ 及其在约束驯从 $\Gamma$-扩张存在性中的作用。

实验结果

研究问题

• RQ1 在循环伽罗瓦作用下，若存在非平凡不动点，这将如何影响在数域 $\mathrm{K}$ 上存在驯从、统一的 $p$-进解析扩张的可能性？
• RQ2 能否将 $\mathrm{k}$ 上此类扩张的非存在性结果提升至 $\ell \neq p$ 的循环扩张 $\mathrm{K}/\mathrm{k}$ 上？
• RQ3 当 $\Gamma = \mathrm{Gal}(\mathrm{L}/\mathrm{K})$ 为统一且 $p$-进解析时，$\sigma \in \mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 的作用对 $\Gamma$ 的伽罗瓦群施加了何种结构约束？
• RQ4 波士顿原始方法中的无不动点（FPF）假设在多大程度上可被放宽，同时仍能获得 $p$-进解析扩张的非存在性定理？
• RQ5 伽罗瓦作用的不动点如何与 $\mathrm{L}/\mathrm{K}$ 的分歧行为相互作用，特别是在驯从分歧的背景下？

主要发现

• 即使在伽罗瓦作用下存在任意多个非平凡不动点的情况下，$\sigma$ 对 $\Gamma$ 的作用结构仍对 $\mathrm{K}$ 上有限且驯从的统一 $p$-进解析扩张的存在性施加了严重的算术约束。
• 本文建立了一条一般性原理：若在基域 $\mathrm{k}$ 上不存在此类扩张，则在某些条件下，$\mathrm{K}$ 上也不存在此类扩张，即使伽罗瓦作用存在不动点。
• 不动点的存在并不使该方法失效；相反，它导致了更精细的上同调与模理论条件，这些条件仍可用于排除扩张的存在。
• 分析表明，不动点子群 $\Gamma^\sigma$ 在决定 $\Gamma$ 的分歧与结构方面起着关键作用，尤其与 $T$-单位及其自由性密切相关。
• 当 $\sigma$ 的阶为 2 或整除 $p-1$ 时，本文基于伽罗瓦作用与 $\Gamma$ 的统一性之间的相互作用，导出了明确的非存在性结果。
• 在典型 $\mathbb{Z}_p$-扩张的背景下，当基域 $\mathrm{k}$ 满足特定类数与单位群条件时，该方法可导出非存在性定理。