CM体のソースを表示

{{distinguish|CM環}}
[[数学]]において、'''CM体''' (CM-field) は特別なタイプの[[代数体]] ''K'' であり、[[虚数乗法]] (complex multiplication) 論との密接な関係からこの名前がついた。'''J-体''' (J-field) と呼ばれることもある。

省略形 "CM" は {{harv|Shimura|Taniyama|1961}} によって導入された。

==定義==
数体 ''K'' が CM 体であるとは、[[総実体|総実]]な基礎体 ''F'' の[[二次拡大]]で、''K'' が[[総虚体|総虚]]なことをいう。すなわち、''F'' の '''C''' への埋め込みは全て、完全に '''R''' に含まれるが、''K'' から '''R''' への埋め込みは存在しない。

言い換えると、''K'' の部分体 ''F'' が存在して、''K'' は ''F'' 上次のようなある 1 つの元の平方根 <math>\beta=\sqrt{\alpha}</math> によって生成される。&beta; の有理数体 '''Q''' 上の[[最小多項式 (体論)|最小多項式]]のすべての根は実数でない複素数である。このため &alpha; は「総負」に選ばれなければならない、つまり ''K'' の実数体への各埋め込み &sigma; に対して、&sigma;(&alpha;) < 0 である。

==性質==
CM体の1つの性質は、'''C''' 上の[[複素共役]]が '''C''' へのその体の埋め込み方によらないその体上の自己同型を引き起こすことである。この自己同型は上の記号で &beta; の符号を変えなければならない。

数体 ''K'' が CM 体であることと ''K'' が "units defect" を持つこと、すなわち ''K'' の真の部分体 ''F'' であってその単数群が ''K'' の単数群と同じ '''Z'''-ランクを持つものが存在することが同値である {{harv|Remak|1954}}。実は、''F'' は上で述べた ''K'' の総実部分体である。これは[[ディリクレの単数定理]]から従う。

==例==
* 最も簡単な、そして動機付けとなる CM体の例は、[[二次体|虚二次体]]であり、その総実部分体は有理数体である。
* CM体の最も重要な例の一つは、1 の原始 [[1の冪根|''n'' 乗根]]で生成される[[円分体]] <math> \mathbb Q (\zeta_n) </math> である。この体は[[総実体]] <math> \mathbb Q (\zeta_n +\zeta_n^{-1})</math> の総虚[[クンマー理論|二次拡大]]である。<math> \mathbb Q (\zeta_n +\zeta_n^{-1})</math> は[[複素共役]]写像の固定体であり、<math> \mathbb Q (\zeta_n) </math> はそれに <math> \zeta_n^2+\zeta_n^{-2}-2 = (\zeta_n - \zeta_n^{-1})^2</math> の平方根を添加することにより得られる。
*すべての CM 体の合併 '''Q'''<sup>CM</sup> は無限次拡大であることを除いて CM 体に似ている。それはすべての総実体の合併 '''Q'''<sup>R</sup> の二次拡大である。[[絶対ガロア群]]Gal({{overline|'''Q'''}}/'''Q'''<sup>R</sup>) は Gal({{overline|'''Q'''}}/'''Q''') の位数 2 のすべての元によって（閉部分群として）生成され、Gal({{overline|'''Q'''}}/'''Q'''<sup>CM</sup>) は指数 2 の部分群である。ガロア群 Gal('''Q'''<sup>CM</sup>/'''Q''') は位数 2 の 1 つの元（複素共役）によって生成される中心を持ち、その中心による商は群 Gal('''Q'''<sup>R</sup>/'''Q''') である。
* ''V'' が ''n'' 次元複素アーベル多様体であれば、''V'' の自己準同型の任意の可換代数 ''F'' は '''Z''' 上ランクが高々 2''n'' である。ランクが 2''n'' であり ''V'' は単純であれば、''F'' は CM 体の order である。逆に、任意の CM 体は同種(isogeny)を除いて単純複素アーベル多様体からこのようにして生じる。

==参考文献==
{{reflist}}
* {{citation | first=Robert | last=Remak | year=1954 | title=Über algebraische Zahlkörper mit schwachem Einheitsdefekt | language=German | journal=Compositio Math. | volume=12 | pages=35–80 | zbl=0055.26805 }}
*{{citation|last=Shimura|first= Goro |title=Introduction to the arithmetic theory of automorphic functions|series=  Publications of the Mathematical Society of Japan|volume= 11|publisher=  Princeton University Press|place= Princeton, N.J.|year= 1971}}
*{{citation|mr=0125113 
|last=Shimura|first= Goro|last2= Taniyama|first2= Yutaka
|title=Complex multiplication of abelian varieties and its applications to number theory
|series=Publications of the Mathematical Society of Japan|volume= 6 |publisher=The Mathematical Society of Japan|place= Tokyo |year=1961 }}
* {{cite book|first=Lawrence C.|last=Washington|title="Introduction to Cyclotomic fields"|publisher=[[Springer-Verlag]]|location=New York|year=1996|edition=2nd|isbn=0-387-94762-0|zbl=0966.11047}}

{{デフォルトソート:CMしいえむたい}}
[[Category:体論]]
[[Category:代数的整数論]]
[[Category:数学に関する記事]]