[論文レビュー] On the non-abelian Brumer-Stark conjecture and the equivariant Iwasawa main conjecture

Henri Johnston, Andreas Nickel|arXiv (Cornell University)|Sep 1, 2015

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

ひとこと要約

本稿は、Iwasawa $\mu$-不変量の消滅を仮定せずに、全実体における等周的Iwasawa主予想（EIMC）から、非アーベルBrumer–Stark予想（および関連する予想）の $p$-主部が従うことを確立する。主な貢献は、エタールおよび平坦コホモロジーを用いたラヤクラス群の新しいコホモロジー的解釈であり、これによりEIMCと非アーベルStark型予想との直接的な関係が可能になる。

ABSTRACT

We show that for an odd prime p, the p-primary parts of refinements of the (imprimitive) non-abelian Brumer and Brumer-Stark conjectures are implied by the equivariant Iwasawa main conjecture (EIMC) for totally real fields. Crucially, this result does not depend on the vanishing of the relevant Iwasawa mu-invariant. In combination with the authors' previous work on the EIMC, this leads to unconditional proofs of the non-abelian Brumer and Brumer-Stark conjectures in many new cases.

研究の動機と目的

• 全実体における等周的Iwasawa主予想（EIMC）から、非アーベルBrumer–Stark予想の $p$-主部が従うことを確立すること。
• EIMCと非アーベルStark予想を結ぶ先行研究における $\mu$-不変量の消滅仮定を排除すること。
• EIMCを用いて、非アーベルBrumerおよびBrumer–Stark予想の未解決事例に対する条件なしの証明を提供すること。
• 非可換Fitting不変量とハイブリッド $p$-進群環を用いることで、Greither–PopescuおよびNicelyの先行結果を一般化すること。

提案手法

• 円分 $\mathbb{Z}_p$-拡大の文脈において、ラヤクラス群をエタールおよび平坦コホモロジーを用いて再解釈すること。
• 円分 $\mathbb{Z}_p$-拡大に沿った直接極限を用い、EIMCにおける標準的複体とラヤクラス群を結びつけること。
• 非可換Fitting不変量の理論を用いてIwasawaコ・降下を実行し、EIMCと annihilator 条件を関連付けること。
• $\mu$-不変量が消えない状況でも適用可能なように、ハイブリッド $p$-進群環を用いてEIMCを定式化すること。
• フロベニウス群の構造と単項性を用いて、主定理の条件を検証すること。
• 未分岐 $p$-拡大における等周的タマガワ数予想（ETNC）およびStrong Stark予想の既知の結果を活用すること。

実験結果

リサーチクエスチョン

• RQ1 等周的Iwasawa主予想は、$\mu=0$ を仮定せずに、非アーベルBrumer–Stark予想の $p$-主部を含意するか？
• RQ2 ラヤクラス群のコホモロジー的再解釈を用いることで、EIMCと非アーベルStark型予想との関係を確立できるか？
• RQ3 どのような群論的条件下（例：単項性、フロベニウス構造）で、EIMCが非アーベルBrumer–Stark予想を条件なしに含意するか？
• RQ4 $\mu$-不変量が消えない場合でも、強Brumer–Stark性の $p$-主部をEIMCから導出できるか？
• RQ5 追加の群論的制約のもとで、非アーベルBrumer–Stark予想における $S_p \subseteq S$ の仮定を排除できるか？

主な発見

• 複素 $L$-関数と $p$-進 $L$-関数が $s=0$ で一致する限り、全実体におけるEIMCから、双対的強Brumer–Stark性の $p$-主部が従う。
• すべての単項群（特にすべてのメタアーベル群および超可解群）に対して、この結果は条件なしに成立する。
• Galois群 $G = U \rtimes V$ で、$U$ が $p$-群または $p \nmid |U|$ であり、$V$ がアーベル群であるCM拡大について、非アーベルBrumerおよびBrumer–Stark予想の条件なしの証明が得られる。
• $L/\mathbb{Q}$ がGalois CM拡大で、$\mathrm{Gal}(L/\mathbb{Q}) \simeq \langle j \rangle \times G$、$G$ が $\ell$-群核をもつフロベニウス群であるとき、$h^0(\mathrm{Spec}(L))$ に対するETNCの $p$-主部が成立する。
• $p \neq \ell$ のとき、ハイブリッド $p$-進群環と制限定理を用いて、未分岐 $p$-拡大におけるETNCの $p$-マイナス部分が確立される。
• 主定理により、$L/\mathbb{Q}$ が $\ell$-群核をもつフロベニウスGalois群であり、$p$ が不分岐であるような場合に、$S_p \subseteq S$ の仮定を排除できる。