点群

数学における点群とはある図形の形を保ったまま行う移動操作のうち、少なくとも1つの不動点を持つものを元とする群のこと。

このような抽象的な群の概念を導入することによって、物理学や化学における結晶や分子対称性を数学的に記述することができる。そのような応用との関係からふつう3次元ユークリッド空間における変換の範疇で考えることが多い。

1. 対称操作
-------

正四面体を、ある面の重心を通る垂線の回りに120度回転させてももとの正四面体と区別はつかない。このようにある図形に対して、もとの図形と区別がつかないように移動を行う操作を対称操作という。

このような、3次元ユークリッド空間における対称操作には以下の7つの種類がある。

恒等操作 - 何の移動もしない。
回転操作 - 図形上のすべての点をある軸に対して回転させる。
鏡映操作 - 図形上のすべての点をある面について面対称に移動させる。
反転操作 - 図形上のすべての点をある点について点対称に移動させる。
回映操作 - 図形上のすべての点をある軸に対して回転させた後、その軸に垂直な面について面対称に移動させる。
回反操作 - 図形上のすべての点をある軸に対して回転させた後、その軸上の一点について点対称に移動させる。
並進操作 - 図形上のすべての点を平行移動させるこの中で並進操作以外では少なくとも1つの点が不動点となる。恒等操作では図形上のすべての点が、回転操作では回転軸上の点が、鏡映操作では鏡映面上の点が、反転操作では対称中心が、回映操作では回映軸上の1点が、回反操作では回反軸上の1点が不動点となっている。

それぞれの操作を特徴付けている対称軸、対称面、対称中心、回映軸、回反軸は対称要素とよばれる。

2. 点群
-----

同じ図形に関するふたつの対称操作 //a// と //b// との積 //a// × //b// を、考えている図形に対し //a// に続いて //b// を施してえられる対称操作と定義する。そうすると、ある図形の並進操作以外の対称操作の集合は次のように群の公理を満たしている。

結合法則 : 任意の操作 //a//, //b//, //c// について  × //c// = //a// ×  が成立。
単位元 : 恒等操作 //e// が存在して、任意の操作 //a// について //a// × //e// = //e// × //a// = //a// となる。
逆元 : 任意の操作 //a// に対し、//a// × //a//−1 = //a//−1 × //a// = //e// となる //a//−1 が必ず存在する。この群のことを与えられた図形の点群という。よって対称性や対称操作について数学的に分析するには、群論の知識を用いて行うことができる。

例えば底面が正三角形の三角錐では、頂点から底面に下ろした垂線は3回軸である。また、この垂線と三角錐の稜線を含む面は鏡映面である。したがって、この図形では、対称操作として、恒等操作、120度時計回りの回転操作、120度反時計回りの回転操作、3つの鏡映操作が可能である。この6つの対称操作が群をつくることは、どの2つの連続操作も1つの操作で表現されることからわかる。

3. 点群を表す記号
----------

点群を記述するのには以下の2つの方法がある。

シェーンフリース記号：物理学や化学で用いられる。
ヘルマン・モーガン記号：結晶学で用いられる。例えば底面が正三角形の三角錐の点群はシェーンフリース記号では C3v、ヘルマン・モーガン記号では 3m と表記される。

4. 点群の既約表現
----------

点群の対称操作の間の掛算関係に対応した関係をもつ行列を、その点群の表現行列といい、これらの対称操作に対応する一組の行列を、その点群の表現と呼ぶ。対称性という抽象的なものの集まりである点群は一見すると捉えどころがないように見えるので、それを目に見える具体的な形にする手段が「表現」である。一般にある1つの点群について、いくつもの表現が可能である。表現行列の性質は、その指標によって特徴づけられる。指標をまとめて表にしたものを指標表と呼ぶ。

ある表現がより簡単な表現に分解することができる場合、その表現を可約表現と呼ぶ。これ以上は分解できない表現を既約表現と呼ぶ。可約表現から既約表現への直和分解は、適当な相似変換によって行うことができる。なお相似変換をしても指標は変化しない。

考えている系がある対称性をもつ場合、その系の様々な特性は、最も基本的なものを合わせることで構成されていると考えられる。点群という数学的手法で対称性を取り扱うことで、その対称性における最も基本的なものは何かを知ることができる。

4.1. 記号
-------

点群の既約表現を表す記号には3通りある。

ベーテ記号いつでも //Γ// と書き、その下に添字として一連の番号をつける方法。
マリケン記号表現の次元数によって記号を変える。1次元の既約表現ならば //A// もしくは //B//, 2次元ならば //E//, 3次元ならば //T// とする。必要に応じてこれらに適当な添字をつける。
BSW記号固体物理学においてよく用いられる。

5. 例
----

ここでは例としてアンモニア分子の対称性を取り扱う。アンモニア分子の対称操作は恒等操作 //E//, 回転操作 //C//3, //C//3−1, 鏡映操作 //σ////v//1, //σ////v//2, //σ////v//3 である。これらの対称操作を集めたものは群をなす。この群はシェーンフリース記号を用いて//3//v//と表す：

5.1. 群表
-----------

点群//3//v//のそれぞれの元の積を考えると、次のような表を作成することができる。

赤で示した部分は点群 //3 = {//E//, //C//3, //C//3−1} の積表になっている。

5.2. 部分群
--------

点群//3//v//の部分群は{//E//}、{//E//, //σ////v//1}、{//E//, //σ////v//2}、{//E//, //σ////v//3}、{//E//, //C//3, //C//3−1}、{//E//, //C//3, //C//3−1, //σ////v//1, //σ////v//2, //σ////v//3}の6つである。また真部分群は{//E//, //σ////v//1}、{//E//, //σ////v//2}、{//E//, //σ////v//3}、{//E//, //C//3, //C//3−1}の4つである。

5.3. 剰余類
--------

//3//v//の全ての元はこの３つの集合で表されている。よって、

それぞれの項を右剰余類と呼び、このように//3//v//を分解することを、//H//を法とする右剰余類分解と呼ぶ。

同様に左剰余類による分解もできる。

このように右剰余類の個数と左剰余類の個数はともに3つで同じある。しかし//Hσv2//≠//σv2H//であり、一般的に右剰余類と左剰余類の内容は異なる。

5.4. 共役類
--------

//3//v//のある元//G//とその逆元//G//−1で各元をはさんだものを作り、それらをまとめると次のような表が得られる。

この表を見ると、集合 //3 = {//σ////v//1, //σ////v//2, //σ////v//3} についても同様である。

このそれぞれの項を共役類と呼ぶ。

5.5. 正規部分群
----------

//2 = {//C//3, //C//3−1} の和になっている。

このような真部分群のことを正規部分群と呼ぶ。

正規部分群//3//v//を剰余類分解すると、右剰余類と左剰余類が一致することがわかる。

5.6. 商群
-------

正規部分群///3と表す。

商群///3が単位元となる。点群の場合と同様に、商群についても次のような積表を作ることができる。



5.7. 簡約
-------

まず適切な基底を用いて、可約表現を作る。ただし基底としては、考えたい問題を反映したもの選ばなければならない。例えばアンモニアの窒素原子の電子状態を対称性の観点から考えたいときは、窒素原子のs軌道やp軌道を基底として選ぶこともできる。分子振動を考えたいときは、N–H結合の振動を表すベクトルを基底として選ぶこともできる。また何を基底に選ぶかによっていろいろな表現行列を作ることができ、問題を複雑にしないためには基底を上手に選ぶ必要がある。

ここでは例としてアンモニア分子の3つの水素原子のs軌道 //H//1, //H//2, //H//3 を基底として選んでみる。

恒等操作 //E// ではそれぞれの水素原子の位置は変わらないから、表現行列は単位行列となり指標は +3。
C3ではH1→H2、H2→H3、H3→H1のように変換されるから表現行列の指標は 0。
窒素原子を通る平面での鏡映操作では、1つの水素原子だけが変換されないので指標は +1。よってこの基底での可約表現Γの指標は次のように表される

{| class="wikitable" style="text-align:center"|   || E || 2 //C//3|| 3 //σv// |- | Γ || 3 || 0 || 1 |} 今回のような場合は「対称操作によって動いたs軌道の数だけ+1とする」というルールを設定すれば、表現行列を作らずともこの可約表現の指標表は作れる。

次に可約表現を既約表現に簡約する。C3vの既約表現の指標表は次のように与えられる。

{| class="wikitable" style="text-align:center"|   || E || 2 //C//3   | 3 //σv   // ||   ||   |- | A1 || 1 || 1 || 1 || //z// | //x//2 + //y//2, //z//2 |- | A2 || 1 || 1 || −1 || //Rz// ||   |- | E || 2 || −1 || 0 || ,  | ,  |} ここで可約表現にそれぞれの既約表現が含まれる数は、簡約公式より

A1：｛ + 2 + 3} ÷ 6 = 1
A2：｛ + 2 + 3)} ÷ 6 = 0
E： {3×2）