[论文解读] Algebraic extensions of global fields admitting one-dimensional local class field theory

Ivan D. Chipchakov|arXiv (Cornell University)|Apr 1, 2005

Algebraic Geometry and Number Theory参考文献 19被引用 5

一句话总结

该论文通过一个基于赋值的判别准则，刻画了可 admits 一维局部类域论（LCFT）的全球域代数扩张：当且仅当存在一个非平凡绝对值系统 $\{v(p)\}_{p \in P(E)}$，使得 $E(p) \otimes_E E_{v(p)}$ 是一个域时，此类域 $E$ 可 admits LCFT。主要贡献在于对有限扩张的范数群的完整描述，以及对 Brauer 群 $\text{Br}(E)$ 的结构刻画，包括范数形式的 Hasse 原理的有效性。

ABSTRACT

Let $E$ be an algebraic extension of a global field $E_{0}$ with a nontrivial Brauer group Br$(E)$, and let $P(E)$ be the set of those prime numbers $p$, for which $E$ does not equal its maximal $p$-extension $E(p)$. This paper shows that $E$ admits one-dimensional local class field theory if and only if there exists a system $V(E) = \{v(p)\colon \ p \in P(E)\}$ of (nontrivial) absolute values, such that $E(p) \otimes_{E} E_{v(p)}$ is a field, where $E_{v(p)}$ is the completion of $E$ with respect to $v(p)$. When this occurs, we determine by $V(E)$ the norm groups of finite extensions of $E$, and the structure of Br$(E)$. It is also proved that if $P$ is a nonempty set of prime numbers and $\{w(p)\colon \ p \in P\}$ is a system of absolute values of $E_{0}$, then one can find a field $K$ algebraic over $E_{0}$ with such a theory, so that $P(K) = P$ and the element $κ(p) \in V(K)$ extends $w(p)$, for each $p \in P$.

研究动机与目标

• 刻画可 admits 一维局部类域论（LCFT）的全球域代数扩张 $E$。
• 确定此类域 $E$ 的 Brauer 群 $\text{Br}(E)$ 的结构。
• 以绝对值的特征系统为基准，描述任意有限扩张 $R/E$ 的范数群 $N(R/E)$。
• 证明当 $\text{Br}(E) \neq \{0\}$ 时，$E$ 上范数形式多项式满足 Hasse 原理。

提出的方法

• 论文基于存在一个非平凡绝对值系统 $\{v(p)\}_{p \in P(E)}$ 的判别准则，使得 $E(p) \otimes_E E_{v(p)}$ 是一个域。
• 采用局部到整体的方法，分析每个 $v(p)$ 处扩张的局部行为，并将其与全局范数群联系起来。
• 证明范数群 $N(R/E)$ 等于 $N(\Phi(R)/E)$，其中 $\Phi(R)/E$ 是一个由 $v(p)$ 处局部行为唯一确定的有限阿贝尔扩张。
• 通过 $p$-分量 $\text{Br}(E)_p$ 的非平凡性以及 $E$ 的 $p$-拟局部性，确定 $\text{Br}(E)$ 的结构，前提是 $E$ 是严格主要拟局部的。
• 应用伽罗瓦理论与 Albert-Hochschild 定理，分析扩张塔中的标量扩张映射与范数映射。
• 通过 $\mathbb{Q}$ 上的多项式构造显式例子，并分析其在 $p$-进完备化下的分裂行为，以证明 $N_{\text{loc}}(R/E)$ 的非平凡性。

实验结果

研究问题

• RQ1 一个代数扩张 $E$ 在何时可 admits 一维局部类域论？
• RQ2 此类域 $E$ 的 Brauer 群 $\text{Br}(E)$ 的结构是什么？
• RQ3 如何用局部数据描述有限扩张 $R/E$ 的范数群 $N(R/E)$？
• RQ4 在何种条件下，$E$ 上的范数形式多项式满足 Hasse 原理？
• RQ5 能否构造一个代数扩张于全球域 $E_0$ 的域 $K$，使得 $P(K) = P$，且 $K$ 在给定局部行为下 admits LCFT？

主要发现

• 当且仅当存在一个非平凡绝对值系统 $\{v(p)\}_{p \in P(E)}$，使得 $E(p) \otimes_E E_{v(p)}$ 是一个域时，域 $E$ 可 admits 一维局部类域论。
• 任意有限扩张 $R/E$ 的范数群 $N(R/E)$ 等于唯一确定的有限阿贝尔扩张 $\Phi(R)/E$ 的范数群 $N(\Phi(R)/E)$，且该扩张满足经典的局部互惠律。
• $E^* / N(\Phi(R)/E)$ 同构于伽罗瓦群 $\mathcal{G}(\Phi(R)/E)$，从而确认了局部互惠律。
• $\text{Br}(E)$ 同构于其 $p$-分量 $\text{Br}(E)_p$ 的直和，每个 $p \in P(E)$ 的分量均非平凡，且 $E$ 对每个 $p \in P(E)$ 是 $p$-拟局部的。
• 对任意非空素数集 $P$ 及全球域 $E_0$ 上的绝对值系统 $\{w(p)\}_{p \in P}$，存在一个代数扩张于 $E_0$ 的域 $K$，使得 $P(K) = P$，且对每个 $p \in P$，有 $\kappa(p) \in V(K)$ 延拓 $w(p)$。
• 显式例子表明 $N_{\text{loc}}(R/E) \subsetneq N(R/E)$：当 $R = E(\alpha)$，$\alpha$ 是多项式 $X^4 + 8X^2 + 256X - 20$ 的根时，$E^* / N_{\text{loc}}(R/E)$ 是一个阶为 12 的非循环群，且 $-20 \notin N_{\text{loc}}(R/E)$。