分岐を制限した拡大で岩澤加群の構造を調べる
Abelian $p$-extensions with restricted $p$-ramification and the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q} (\sqrt{q})$
この論文をやさしく読む
ひとことで言うと
分岐する場所を絞った数体の拡大から、岩澤加群が有限か、有限生成か、巡回かを判定する条件を導いた。
何に役立つ？
円分的拡大に伴う不分岐岩澤加群の構造やGreenberg予想を研究する際の理論的な判定手段になる。
この研究の面白いところ
一般のpについて条件を示したうえで、実二次体の円分的ℤ₂拡大に適用し、巡回性の必要十分条件まで導いている。
どこまで分かった？
Kとpには要旨で『やや厳しい』とされる条件が必要。Greenberg予想について示すのは十分条件であり、予想全体の解決とは述べていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
分岐を制限したp拡大を用いる羽智森の不分岐岩澤加群の研究を発展させる。代数体Kで素数pが相異なる二つの素イデアル𝔭、𝔭′に分解し、Kとpがいくつかのやや厳しい条件を満たすとする。K∞/Kを円分的ℤp拡大としたとき、𝔭以外では不分岐なアーベルp拡大を使って不分岐岩澤加群X(K∞)の構造を調べる方法を与える。そのような拡大により、|X(K∞)|が有限になるための十分条件と、X(K∞)がℤp上有限生成となるための同様の判定条件を示す。後半では、奇素数qに対するk=ℚ(√q)を考え、その円分的ℤ₂拡大k∞/kに結果を適用する。X(k∞)がℤ₂上巡回となるための必要十分条件を示し、これはMouhib–MovahhediまたはMizusawa–Mouhibによる従来の結果とは異なる。さらに、Greenberg予想が成り立つための複数の十分条件を与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We develop Hachimori's study on the unramified Iwasawa modules using extensions with restricted $p$-ramification. Let $K$ be an algebraic number field, and $p$ a prime number which splits into two distinct primes $\mathfrak{p}$, $\mathfrak{p}'$ in $K$. Assume that $K$ and $p$ satisfies several (somewhat strict) conditions. Let $K_\infty /K$ be the cyclotomic $\mathbb{Z}_p$-extension. In the present paper, we give a method to study the structure of the unramified Iwasawa module $X (K_\infty)$ by using abelian $p$-extensions unramified outside $\mathfrak{p}$. We give a sufficient condition for $|X (K_\infty)|$ to be finite in terms of such extensions. We also give a similar criterion for $X (K_\infty)$ to be finitely generated over $\mathbb{Z}_p$. In the latter part of the present paper, we consider the case where $k = \mathbb{Q} (\sqrt{q})$ with an odd prime number $q$ and apply our results to the cyclotomic $\mathbb{Z}_2$-extension $k_\infty /k$. We give a necessary and sufficient condition for $X (k_\infty)$ to be cyclic over $\mathbb{Z}_2$, which is different from the former results given by either Mouhib-Movahhedi or Mizusawa-Mouhib. We also give several sufficient conditions for the validity of Greenberg's conjecture.
著者のコメント
27 pages
arXiv ID: 2609.25866 ／ 要約の誤りについて