[论文解读] On Abhyankar's lemma about ramification indices

Jean-Luc Chabert, Emmanuel Halberstadt|arXiv (Cornell University)|May 22, 2018

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

一句话总结

本文提供了一个简洁的、基于群论的证明，表明当至少一个扩张是驯服扩张时，两个局部域有限扩张的复合扩张的分歧指数等于各个分歧指数的最小公倍数（lcm）。关键贡献是将阿布扬卡的引理推广到具有完美剩余域的戴德金整环，建立了在驯服分歧条件下 $ e(\mathfrak{q}/\mathfrak{p}) = \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} $ 的关系。

ABSTRACT

We provide a simple proof of the fact that the ramification index of the compositum of two finite extensions of local fields is equal to the least common multiple of the ramification indices when at least one of the extensions is tamely ramified.

研究动机与目标

• 将阿布扬卡引理推广到数域和函数域，通过建立复合扩张分歧指数的精确公式。
• 通过提供至少一个扩张是驯服扩张时的直接证明，填补文献中的空白，此前该结果仅在函数域中被陈述过。
• 阐明复合扩张分歧指数等于各个分歧指数最小公倍数的条件，特别是在具有完美剩余域的戴德金整环背景下。
• 证明标准不等式 $ \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} \mid e(\mathfrak{q}/\mathfrak{p}) $ 在驯服分歧条件下可升级为等式。

提出的方法

• 证明使用了复合扩张 $ L = K_1K_2 $ 在 $ K $ 上的正规闭包 $ L' $，并分析了在 $ \mathfrak{p} $ 上方的素理想 $ \mathfrak{q}' $ 处的分歧群 $ G_0 = \mathcal{I}_{\mathfrak{q}'}(L'/K) $。
• 将分歧群 $ G_0 $ 分解为一个与剩余特征标 $ p $ 互素的循环群和一个 $ p $-群 $ G_1 $ 的半直积，利用伽罗瓦群和分歧的性质。
• 应用公式 $ e(\mathfrak{q}/\mathfrak{p}) = |G_0| / |G_0 \cap \Gamma| $，其中 $ \Gamma = \mathrm{Gal}(L'/L) $，类似地表示 $ e(\mathfrak{p}_i/\mathfrak{p}) $，将分歧指数表示为群阶的函数。
• 利用恒等式 $ \mathrm{lcm}(a,b) \times \gcd(a,b) = ab $，将分歧指数的最小公倍数与相应群阶的最大公因数联系起来。
• 根据特征 $ p $ 区分情况：当 $ p = 0 $ 时，$ G_0 $ 是循环群，因此子群交的阶等于其阶的最大公因数。
• 当 $ p > 0 $ 时，利用 $ G_1 $ 是唯一的 $ p $-西罗子群，并通过投影 $ \pi: G_0 \to G_0/G_1 $ 将问题约化到循环商群，证明 $ |G_0 \cap \Gamma| = \gcd\{|G_0 \cap \Gamma_1|, |G_0 \cap \Gamma_2|\} $。

实验结果

研究问题

• RQ1 在什么条件下，两个局部域扩张的复合扩张的分歧指数等于各个分歧指数的最小公倍数？
• RQ2 阿布扬卡引理能否推广到数域和具有完美剩余域的戴德金整环，而不仅限于函数域？
• RQ3 当两个扩张都是野蛮分歧时，分歧指数会发生什么变化？为何最小公倍数公式可能失效？
• RQ4 在复合扩张的伽罗瓦正规闭包中，分歧群的结构如何决定复合扩张的分歧指数？
• RQ5 当一个扩张是驯服扩张时，等式 $ e(\mathfrak{q}/\mathfrak{p}) = \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} $ 是否成立？

主要发现

• 当 $ K_1/K $ 或 $ K_2/K $ 至少有一个是驯服扩张时，复合扩张 $ L = K_1K_2 $ 在 $ K $ 上的分歧指数满足 $ e(\mathfrak{q}/\mathfrak{p}) = \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} $。
• 该证明依赖于正规闭包中分歧群的伽罗瓦理论结构，表明伽罗瓦群交的阶等于其阶的最大公因数。
• 当剩余特征标 $ p = 0 $ 时，分歧群是循环群，因此结果可直接由循环群中子群交的阶等于其阶的最大公因数的性质推出。
• 当 $ p > 0 $ 时，结果成立是因为 $ p $-西罗子群 $ G_1 $ 是正规的，且若 $ p $ 不整除 $ e(\mathfrak{p}_1/\mathfrak{p}) $，则 $ G_1 $ 包含于其中一个伽罗瓦群（如 $ \Gamma_1 $）中，从而可约化到循环商群。
• 当两个扩张均为野蛮分歧时，该公式一般不成立；论文给出了一个反例：$ K = \mathbb{Q} $，$ K_1 = \mathbb{Q}(\sqrt[3]{3}) $，$ K_2 = \mathbb{Q}(j\sqrt[3]{3}) $，其中 $ e(\mathfrak{q}/\mathfrak{p}) = 6 $，$ \mathrm{lcm}(3,3) = 3 $，且 $ 6 \nmid 9 $，表明乘积界也可能失效。
• 推论指出：若 $ e(\mathfrak{p}_1/\mathfrak{p}) $ 和 $ e(\mathfrak{p}_2/\mathfrak{p}) $ 互素，则 $ e(\mathfrak{q}/\mathfrak{p}) = e(\mathfrak{p}_1/\mathfrak{p}) \times e(\mathfrak{p}_2/\mathfrak{p}) $，这由 $ \mathrm{lcm}(a,b) = ab $ 当 $ \gcd(a,b) = 1 $ 时成立可得。