[论文解读] Some properties of the symbol algebras

Diana Savin, Cristina Flaut+1 more|ArXiv.org|Jun 15, 2009

Advanced Combinatorial Mathematics参考文献 7被引用 17

一句话总结

本文利用 $p$-进赋值和阿廷符号，研究了局部域上符号代数的结构与分裂行为，特别关注形如 $\left(\frac{\alpha,\beta}{K,\zeta}\right)$ 的 $K_v$-循环中心单代数。通过分析三次扩张中范数与素理想分解，本文建立了此类代数为除法代数的充要条件，关键结果表明：在特定条件下，$p^{3l}$ 是一个范数，且局部阿廷符号为平凡。

ABSTRACT

In this paper, we obtain some properties of the symbol algebras, starting from their connections with the quaternion and cyclic algebras over a field $K_{p},$% where $K$ is an algebraic number field, $p$ is a prime in $K$ and $K_{p}$ is the completion of $K$ with respect to $p-$ adic valuation, in the case when $K=\Bbb{Q}(\varepsilon), \varepsilon ^{3}=1,\varepsilon eq 1.$

研究动机与目标

• 确定 $K_v$-循环中心单代数 $A = \left(\frac{\alpha,\beta}{K,\zeta}\right)$ 为除法代数的必要且充分条件。
• 利用代数数论工具，将四元数代数理论推广至高阶符号代数。
• 分析符号代数在数域 $p$-进完备化上的分裂行为，特别关注三次扩张。
• 应用阿廷符号与范数群，判断此类代数何时分裂或为除法代数。

提出的方法

• 利用数域 $K$ 的 $p$-进赋值与完备化 $K_v$，研究符号代数的局部行为。
• 应用三次剩余符号 $\left(\frac{\alpha}{p\mathbb{Z}[\varepsilon]}\right)_3$，以确定 $K(\sqrt[3]{\alpha})$ 中的分裂行为。
• 运用类域论工具，包括阿廷符号 $\left(\frac{L_P/K_v}{(p^{3l})}\right)$，分析伽罗瓦作用与范数群。
• 通过 $\mathbb{Z}[\varepsilon]$ 与 $\mathbb{A}$（$L = K(\sqrt[3]{\alpha})$ 的整闭包）中素理想的分解，计算 $e, f, g$，并确定局部扩张。
• 应用定理 1.10，验证当三次剩余符号非平凡时，$p^{3l} \in N_{L_P/K_{p_1}}(L_P^*)$。
• 应用定理 1.11 与命题 3.1，证明当 $L_P = K_{p_1}$ 或 $f=3$ 时，阿廷符号为平凡，表明代数非除法代数。

实验结果

研究问题

• RQ1 当 $K = \mathbb{Q}(\varepsilon)$ 且 $p \equiv 2 \pmod{3}$ 时，$K_v$-代数 $\left(\frac{\alpha, p^{3l}}{K, \varepsilon}\right)$ 在何种条件下为除法代数？
• RQ2 何时 $p^{3l}$ 是三次扩张 $L = K(\sqrt[3]{\alpha})$ 的完备化 $L_P^*$ 的乘法群中的范数？
• RQ3 三次剩余符号 $\left(\frac{\alpha}{p_1\mathbb{Z}[\varepsilon]}\right)_3$ 如何影响符号代数的分裂？
• RQ4 在伽罗瓦群 $\text{Gal}(L_P/K_v)$ 中，局部阿廷符号 $\left(\frac{L_P/K_v}{(p^{3l})}\right)$ 的行为如何？
• RQ5 何时扩张 $L_P/K_v$ 变为平凡，其对代数结构有何影响？

主要发现

• 当 $p \equiv 2 \pmod{3}$ 时，素数 $p$ 在 $\mathbb{Z}[\varepsilon]$ 中保持为素数，且 $p^{3l}$ 是 $L_P^*$ 中的范数，局部阿廷符号为平凡。
• 当 $p \equiv 1 \pmod{3}$ 时，素数 $p$ 在 $\mathbb{Z}[\varepsilon]$ 中分裂为三个不同的素数 $p_1, p_2$，其行为取决于 $\alpha$ 模 $p_1$ 的三次剩余符号。
• 若 $\left(\frac{\alpha}{p_1\mathbb{Z}[\varepsilon]}\right)_3 \neq 1$，则 $g=1$，$f=3$，且 $p^{3l} \in N_{L_P/K_{p_1}}(L_P^*)$，因此代数非除法代数。
• 若 $\left(\frac{\alpha}{p_1\mathbb{Z}[\varepsilon]}\right)_3 = 1$，则 $g=3$，$e=f=1$，故 $L_P = K_{p_1}$，且阿廷符号为平凡，再次表明代数非除法代数。
• 在所有分析情形中，局部阿廷符号 $\left(\frac{L_P/K_v}{(p^{3l})}\right)$ 均为单位元，表明代数在局部情形下为分裂代数。
• 本文证明：当 $p \equiv 1 \pmod{3}$ 时，$A = \left(\frac{\alpha, p^{3l}}{K, \varepsilon}\right)$ 在 $K_{p_1}$ 上非除法代数，原因在于阿廷符号与范数条件均为平凡。