空間群

空間群（くうかんぐん、テンプレート:Lang-en-short）は、結晶構造の対称性を記述するのに用いられる群である。群の元となる対称操作は、点群での対称操作（恒等操作、回転操作、鏡映操作、反転操作、回映操作、回反操作）に加え、並進操作（すべての点を平行に移動させる操作）である。

空間群は全部で230種類あり、すべての結晶はそのうちの1つに属している。ただし、原子の配列は原子の性質や化学結合によるため、大半の結晶構造は100種類程度の空間群に含まれる。

空間群を記述する方法には、ヘルマン・モーガン記号(Hermann-Mauguin)とシェーンフリース記号(Schoenflies)の2つがある。

シンモルフィック空間群

230種類の空間群は「シンモルフィック空間群」と「ノンシンモルフィック空間群」に分類することができる。並進操作と両立する点群（結晶点群）に並進操作を加えて新しい集合（空間群）を作ることを考える。

まず、単純な並進操作と結晶点群を組み合わせによってできる群をシンモルフィック空間群(または共型空間群)と呼び、73種類ある。また、結晶点群に並進操作を加えることで、回転や鏡映などの対称操作に部分的な並進操作が加わって「らせん操作」や「映進操作（グライド操作）」といった新しい対称操作も生まれる。この新しい対称操作との組み合わせによってできる群をノンシンモルフィック空間群(または非共型空間群)と呼び、157種類ある。

空間群の構造とその表現

ザイツ記号

空間群における対称操作は、回転操作テンプレート:Mvarと並進操作テンプレート:Mvarが組み合わさっている。この操作を(テンプレート:Mvar|テンプレート:Mvar)と表す。これをザイツ記法(Seitz notation)、ザイツ記号(Seitz symbol)などと呼ぶ。回転なしの単なる並進を表す時は、テンプレート:Mvarの代わりにテンプレート:Mvarを用いて(テンプレート:Mvar|テンプレート:Mvar)と表す。

$(\alpha |b)𝒓=\alpha 𝒓+b$

並進群

基本並進ベクトル${𝐭}_n=n_1{𝐭}_1+n_2{𝐭}_2+n_3{𝐭}_3$だけ結晶をずらす操作を並進操作と呼び、(テンプレート:Mvar|テンプレート:Mvar)と表記する。 並進操作の集まりは群をなし、並進群と呼ばれる。

並進群は3つの巡回群の直積である。

$T=T_1\times T_2\times T_3$

並進群の既約表現は全て1次元であり、空間群に属する操作が作用する逆格子空間のベクトルをテンプレート:Mvarとすると、$\exp (i𝐤\cdot {𝐭}_{𝐧})$と表される。

k点群

空間群テンプレート:Mvarは、次のように並進群テンプレート:Mvarを法として剰余類に分解することができる。並進群は空間群の正規部分群(不変部分群)であり、右剰余類と左剰余類は一致する。

$G=(\epsilon |0)T+(\alpha |u_{\alpha })T+(\beta |u_{\beta })T+\cdots$

このテンプレート:Mvarは結晶点群になる。これを空間群テンプレート:Mvarの点群と呼ぶ。あるテンプレート:Mvarが与えられたとき、そのテンプレート:Mvarをもつ空間群の点群は、そのテンプレート:Mvarの晶系に属する点群に限られる。

ブリルアンゾーンの対称性の良い点テンプレート:Mvarでは、テンプレート:Mvar≅テンプレート:Mvar(ただし≅は逆格子ベクトルだけの違いは許すことを表す)となる回転操作テンプレート:Mvarが存在する。このような回転操作テンプレート:Mvarは点群を形成する（数学的には小群や固定部分群などと呼ばれる）。この点群テンプレート:Mvarをテンプレート:Mvar点群と呼ぶ。

k群・kの星

空間群を並進群を法として剰余類分解し、さらにテンプレート:Mvar点群テンプレート:Mvarに属する回転操作テンプレート:Mvarを持つ剰余類だけを集めてできたテンプレート:Mvarの部分群テンプレート:Mvarをテンプレート:Mvar群（または小群）と呼ぶ。並進群テンプレート:Mvarは、テンプレート:Mvar群テンプレート:Mvarの不変部分群になっている。

テンプレート:Mvar群テンプレート:Mvarを法として空間群テンプレート:Mvarを剰余類に分解すると、

$G=\sum _{\beta }(\beta |u_{\beta })G_k$

ここでテンプレート:Mvar≠テンプレート:Mvarならば、テンプレート:Mvar≇テンプレート:Mvarである。このテンプレート:Mvarの集合をテンプレート:Mvarの星と呼ぶ（数学的には軌道と呼ばれる）。

テンプレート:Mvar群テンプレート:Mvarの既約表現（小表現と呼ばれる）テンプレート:Mvarを求める際は、以下の3パターンに分けて考える必要がある。

1. テンプレート:Mvarがブリルアンゾーンの内部の点である。
2. テンプレート:Mvarがブリルアンゾーンの境界にあり、空間群テンプレート:Mvarがシンモルフィックである。
3. テンプレート:Mvarがブリルアンゾーンの境界にあり、空間群テンプレート:Mvarがノンシンモルフィックである。

1と2の場合は、テンプレート:Mvar群テンプレート:Mvarに属する元(テンプレート:Mvar|テンプレート:Mvar)の回転部分テンプレート:Mvarのみを集めて得られるテンプレート:Mvar点群の表現をテンプレート:Mvar(テンプレート:Mvar)とすると、以下のように求まる。

$D^k((\beta |b))=\exp (i𝐤\cdot 𝐛)\mathrm{\Gamma }(\beta )$

3の場合は、通常の表現（線型表現）ではなく斜線表現（またはテンプレート:仮リンクとも言う）を用いる必要がある。

テンプレート:Mvar群テンプレート:Mvarの既約表現が得られれば、そのテンプレート:仮リンクとして空間群の既約表現を得ることができる。

参考文献

• 柳瀬章 『空間群のプログラム TSPACE』 裳華房、1995年。ISBN 4-7853-2908-4。
• 犬井鉄郎, 田辺行人, 小野寺嘉孝 『応用群論―群表現と物理学―』 裳華房、1980年。ISBN 4-7853-2801-0。
• 今野豊彦 『物質の対称性と群論』 共立出版、2001年。ISBN 4-320-03409-0。
• 北條博彦『物質科学を学ぶ人の 空間群練習帳』、コロナ社、2020年、ISBN 978-4339066531。

関連項目

• 結晶構造
• 点群、文様群

外部リンク

• テンプレート:Cite web