数学において、 K に対するブラウアーの多元環類群(たげんかんるい、: algebra class group)あるいは単に Kブラウアー群(ブラウアーぐん、: Brauer groupBr(K) は、体 K 上の中心的単純環森田同値類(多元環類、ブラウアー類)を元とするアーベル群で、その演算は多元環のテンソル積から誘導される。ブラウアー群は体上の斜体の分類の過程で考え出されたもので、名称は代数学者のリチャード・ブラウアーに由来する。さらに一般に、スキームのブラウアー群の概念も東屋多元環(東屋代数)を用いて定義される。

構成

編集

K 上の(階数有限な[* 1]中心的単純環とは、K 上の階数が有限(多元環を加法とスカラー倍に関して K 上のベクトル空間と見たときの次元が有限)な結合多元環であって、それ自身環として単純で、その中心がちょうど K に一致する(K 上中心的である)ものをいう。中心的単純環は、一般には斜体になるとは限らないが、しかし斜体によって類別することができることに注意しよう。

例えば、複素数体 C はそれ自身の上の中心的単純環だが、実数体 R 上中心的ではない(C の中心は C だから、R 上中心的となるには大きすぎるということ)。フロベニウスの定理によれば R を中心に持つ有限階数の斜体は実数体 R と四元数体 H のみである。またそれらの上の全行列環 M(n, R) および M(n, H)R 上の中心的単純環になるが(n = 1 でなければ)斜体でない。

K 上の中心的単純環 A, B が与えられれば、それらの多元環としてのテンソル積 AK B を考えることができるが、これは常に K 上中心的になる。このことを見るには「体 K 上の中心的単純環 SK代数閉包 ˆK への係数拡大を行えば全行列環 M(n, ˆK) に同型: SK ˆKM(n, ˆK) になる」(これを中心的単純環 SˆK で分解する、ˆKS分解体[* 2]であるなどと言い表す)という特徴づけを利用すると理解が容易である(行列環のテンソル積がふたたび行列環となることは、行列のクロネッカー積を考えればよい)。

一般に中心的単純環に関する閉包性質が与えられれば、それを満たす中心的単純環の全体はテンソル積のもとでモノイドを成すことに注意する。これを利用して群を得るために、アルティン–ウェダーバーンの定理(の、実際にはウェダーバーンの部分)を用いれば、中心的単純環を適当な斜体 D 上の全行列環 M(n,D) の形に書くことができるが、このとき行列のサイズ n は気にせずに、斜体 D のほうだけに注目すればよい。つまり、任意の正整数 m, n に対して、M(m, D)M(n, D) を同一視するような関係は同値関係であり、その同値類はテンソル積に関して可逆になる。ここで、中心的単純環 A の属する類の逆元となる類は、A逆転多元環 Aop の属する類で与えられる(埋め込み像 KAA の中心に入るから、逆転環 Aop への K の作用は A に対するそれと一致する)。これは、中心的単純環 AK 上の階数を n とすれば

 

が成り立つというように述べることもできる(ブラウアー群における逆元を与えるというのは、これだけでも逆転多元環の概念を考える意義は十分にある)。

  • 以下の各場合については、体 K 上の有限次元中心的斜体が K 自身のみとなるから、従ってそのブラウアー群 Br(K)自明である。
  • 実数R のブラウアー群 Br(R) は位数 2巡回群である。これは、R 上有限次元の中心的斜体が R 自身と四元数H の(同型を除いて)ちょうど二つであることを示している。実際、HR HM(4, R) であるから、H の属する類はブラウアー群の位数 2 の元であることがわかる。

類体論との関係

編集

ブラウアー群の概念は類体論の現代的な定式化において重要な役割を演ずる。局所類体論によれば、体 k局所体ならば、自然な中への同型(局所不変量、ハッセの不変数)inv: Br(k) → Q/Z が存在する。例えば実数全体の成す局所体 R のブラウアー群 Br(R) は同型 inv によって 1/2Z/Z と同一視される。ブラウアー群の位数 n の元は kn2-次元の巡回多元体に対応する。

大域体 K の場合にも大域類体論による同様の記述がある。D が体 K 上中心的な多元環で v をその賦値とすれば、K の素点(賦値)v における局所化 Kv に対して DK Kv は局所体 Kv 上の中心的単純環であるから、これにより K のブラウアー群から Kv のブラウアー群への準同型が定まる。与えられた中心的単純環 D有限個の例外を除くすべての賦値 v に対して(Kv で)分解するから、先ほどの準同型による D の像はほとんど全てについて 0 となり、ブラウアー群 Br(K) は次の完全列

 

を満足することがわかる。ただし SK の賦値全体の成す集合であり、矢印は各素点 v ごとに定まる局所不変量 invv の直和を考えることによって与えられる。左側の完全性(二番目の写像の単射性)はアルバート–ブラウアー–ハッセ–ネーターの定理英語版の内容であり、中央の完全性は大域類体論の深い事実に基づく。また、右辺の群 Q/ZK に付随するイデール類の類構造の「ブラウアー群」であると解釈することができる。

性質

編集
  • K から拡大体 L への係数体の取り換え英語版は、Br(K) から Br(L) への制限写像を与える。(この制限の)核は、L 上で分解する K-代数のクラスの群 Br(L/K) である。
  • 任意の体のブラウアー群はねじれ群である[1]

一般論

編集

勝手な体 K に対して、そのブラウアー群をガロワコホモロジーの言葉を使って

 

と書き表すことができる。ここで、KsepK分離閉包である(K完全体ならば、これは K の代数閉包に一致する)。

ブラウアー群の可換環に対する一般化はM.オースランダーとO.ゴールドマンによって成され、より一般にグロタンディークの導入したスキームへも一般化される。このような一般化においては、中心的単純環は体の代わりに東屋代数の上で考える。

注釈

編集
  1. ^ 多元環が「単純」であることの要件に有限階数となることを含めることも多く、その場合は特に強調する意図が無ければ明記しない。
  2. ^ 多項式の最小分解体あるいは根体を分解体と呼ぶことがあるが、それらと混同してはいけない。

関連項目

編集

参考文献

編集
  • V.A. Iskovskikh (2001), “Brauer group of a field k, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Brauer_group 
  • Richard Pierce, Associative algebras. Graduate Texts in Mathematics, 88. Studies in the History of Modern Science, 9. Springer-Verlag, New York-Berlin, 1982 ISBN 0-387-90693-2

外部リンク

編集
  1. ^ Lorenz (2008) p.194