实域在分歧循环p-扩张中p-类群的符号范数与 capitulation 现象

我们研究实域 $K$ 的 $p$-类群 $H_K$ 在次数为 $p^N$ 的全分歧循环 p-扩张 $L/K$ 中的 capitulation 现象。利用代数范数 $\nu_{L/K}$ 的一个初等性质，我们表明 capitulation 的核与 $H_L$ 结构的“复杂性”相关，该复杂性通过其指数 $p^e(L)$ 以及作为 $Z_p[Gal(L/K)]$-模与 $H_L$ 关联的通常滤列 $\{H_L^i\}_{i \ge 0}$ 的长度 $m(L)$ 来度量。我们证明，若 $m(L) \in [p^s(L), p^{s(L)+1}-1]$（其中 $s(L) \in [0, N-1]$），则 capitulation 的一个充分条件是 $e(L) \in [1, N-s(L)]$（定理 1.1）；这改进了“稳定性”情形 $\#H_L = \#H_K$（即 $m(L)=1$、$s(L)=0$、$e(L)=e(K)$）下的结果（定理 1.2）。我们给出了数值例子（附 PARI 程序），取最简单的阿贝尔 $p$-扩张 $L < K(\mu_\ell)$，其中对三次域取 $p=2$、对实二次域取 $p=3$ 且素数 $\ell \equiv 1 \pmod{2p^N}$，这些例子大多显示 $H_K$ 在 $L$ 中发生 capitulation。我们提出了关于此类 $\ell$ 存在非零密度的若干猜想（猜想 1.4、2.4）。本文还考察了其他算术不变量的 capitulation 性质。