セルマー群

数論幾何学の（セルマーぐん、英: Selmer group）とは、アーベル多様体の同種写像から作られる、ある群のこと。Selmer (1951) の研究に敬意を表して Cassels (1962) が名付けた。

アーベル多様体 $A$ のアーベル多様体の同種写像 $f : A \to B$ についてのセルマー群はガロアコホモロジーを使って

\operatorname {Sel} ^{(f)}(A/K)=\bigcap _{v}\ker(H^{1}(G_{K},\ker(f))\rightarrow H^{1}(G_{K_{v}},A_{v}[f])/\operatorname {im} (\kappa _{v}))

と定義される。ここで $A v [f]$ は $A v$ の $f$ 捩れ元全体であり、 $\kappa _{v}$ は局所クンマー写像 $B_{v}(K_{v})/f(A_{v}(K_{v}))\rightarrow H^{1}(G_{K_{v}},A_{v}[f])$ である。 $H^{1}(G_{K_{v}},A_{v}[f])/\operatorname {im} (\kappa _{v})$ は $H^{1}(G_{K_{v}},A_{v})[f]$ と同型であることに注意する。幾何学的には、セルマー群の元からくる主等質空間は $K$ のすべての素点 $v$ について $K v$ 有理点を持つ。セルマー群は有限である。 $f$ によって消えるテイト・シャファレヴィッチ群の部分群は、このことと完全系列

0 \to B (K)/ f (A (K)) \to Sel (f) (A / K) \to Ш(A / K)[f] \to 0

から有限であることがわかる。この完全系列の中央のセルマー群は有限で実効的に計算可能である。これは弱いモーデルの定理、つまり部分群 $B (K)/ f (A (K))$ が有限であることを意味する。この部分群が実効的に計算できるかどうかという問題は有名な難問である。テイト・シャファレヴィッチ群の $p$ 成分が有限となるような素数 $p$ があれば、これを計算する方法で正しい答えを出力し終了するものがある。テイト・シャファレヴィッチ群は実は有限であろうと予想されており、そうであれば任意の素数 $p$ を使うことができる。しかし、テイト・シャファレヴィッチ群がすべての素数 $p$ に対して無限の $p$ 成分を持てば（ありそうもないと見られているが）、この処理は終了しないかもしれない。

Greenberg (1994) は岩澤理論の文脈でセルマー群の概念をより一般の $p$ 進ガロア表現とモチーフの $p$ 進変形に対して一般化した。

表話編歴数論における L 関数
解析的な例	リーマンゼータ関数特殊値ディリクレ L 関数ヘッケ指標の L 関数保型 L 関数セルバーグクラス
代数的な例	デデキントゼータ関数アルティン L 関数ハッセ・ヴェイユ L 関数モチーフの L 関数
定理	解析的類数公式ヴェイユ予想
解析的予想	リーマン予想一般化されたリーマン予想リンデレフ予想（英語版）ラマヌジャン・ピーターソン予想アルティン予想
代数的予想	バーチ・スウィンナートン＝ダイアー予想ドリーニュ予想ベイリンソン予想ブロック・加藤予想ラングランズ予想
p 進 L 関数	岩澤主予想セルマー群オイラー系（英語版）

有限ガロア加群のセルマー群

参考文献

Related Articles