[论文解读] Artin--Schreier and Cyclotomic Extensions

Julio Cesar Salas–Torres, Martha Rzedowski–Calderón+1 more|arXiv (Cornell University)|Jun 17, 2013

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

一句话总结

本文提供了关于有限域上特征 $ p > 0 $ 的有理同余函数域的任意 Artin–Schreier 扩张均包含于分划域与常数域扩张的复合域中的组合证明，且不依赖类域论。关键结果基于分歧除子，明确描述了包含此类 Artin–Schreier 扩张的分划域与常数域扩张。

ABSTRACT

In this paper we prove that any Artin--Schreier extension of a congruence rational function field is contained in the composite of a cyclotomic function field and a constant field extension that are explicitly prescribed.

研究动机与目标

• 提供 Artin–Schreier 扩张包含于分划域与常数域扩张中的证明，且不使用类域论。
• 明确描述包含给定有理同余函数域上 Artin–Schreier 扩张的分划域与常数域扩张。
• 通过次数与整除性条件，建立具有单一分歧素理想的 Artin–Schreier 扩张的组合刻画。
• 通过部分分式分解将结果推广至一般 Artin–Schreier 扩张。
• 验证此类扩异数量与指定分划域与常数域复合域中扩异数量一致。

提出的方法

• 使用 Artin–Schreier 标准型：$ y^p - y = s(T) $，其中 $ s(T) $ 具有指定的除子结构。
• 通过 $ s(T) $ 的部分分式分解，将问题约化至仅有一个分歧素理想的情形。
• 利用次数与互素条件，计算导子整除某素理想幂次的 Artin–Schreier 扩张数量。
• 建立此类扩张与 $ K(\Lambda_N)\mathbb{F}_{q^p} $ 的子扩张之间的双射。
• 应用引理 2.9 与 2.10，证明扩张包含于由 Carlitz 模的 $ N $-挠点生成的分划域函数域中。
• 显式构造生成元 $ y $ 为各子扩张生成元之和，每一项对应部分分式分解中的一项。

实验结果

研究问题

• RQ1 能否在不使用类域论的前提下，证明 Artin–Schreier 扩张包含于分划域与常数域扩张中？
• RQ2 对于具有单一分歧素理想的给定 Artin–Schreier 扩张，其精确的分划域与常数域扩张为何？
• RQ3 给定分歧除子的 Artin–Schreier 扩张数量，与指定分划域与常数域复合域中子扩张数量相比如何？
• RQ4 Carlitz 模 $ \Lambda_N $ 在实现 Artin–Schreier 扩张中起何作用？
• RQ5 无穷素理想 $ \mathcal{P}_\infty $ 的存在如何影响包含结果中的分划域导子？

主要发现

• 当 $ \mathcal{P}_\infty $ 未分歧时，任意 Artin–Schreier 扩张 $ F/K $ 满足 $ F = K(y) $，$ y^p - y = s(T) $，均包含于 $ K(\Lambda_{\prod_{i=1}^r P_i^{\alpha_i+1}})\mathbb{F}_{q^p} $ 中。
• 当 $ \mathcal{P}_\infty $ 分歧时，该扩张包含于 $ K(\Lambda_{1/T^{\alpha_1+1}})K(\Lambda_{\prod_{i=2}^r P_i^{\alpha_i+1}})\mathbb{F}_{q^p} $ 中。
• 对于素理想 $ P $，导子整除 $ P^\alpha $ 的 Artin–Schreier 扩张数量，等于其在 $ K(\Lambda_{P^{\alpha+1}})\mathbb{F}_{q^p} $ 中的子扩张数量。
• 对于有理函数域 $ K = \mathbb{F}_q(T) $，每个 Artin–Schreier 扩张均为某分划域函数域与一个次数为 $ p $ 的常数域扩张的复合域的子扩张。
• 证明依赖于部分分式分解，将一般情形约化为单素理想情形。
• 即使无穷素理想分歧，结论仍成立，此时分划域导子调整为 $ 1/T^{\alpha_1+1} $。