指標理論

数学、特に群論において、群の表現の**指標**（しひょう、）は、群の各元に対応する行列のトレースを対応させる写像である。指標は表現の本質的な情報をより凝縮された形で持っている。ゲオルク・フロベニウスは最初に、指標のみに基づいて、表現の明示的な行列表示は用いずに、を発展させた。これは有限群の複素表現はその指標によって（同型を除いて）決定されるから可能である。正標数の体上の表現、いわゆる「モジュラー表現」の場合には、状況はより繊細であるが、はこの場合にも指標の強力な理論を発展させた。有限群の構造に関する多くの深い定理はモジュラー表現の指標を用いる。

## 応用
既約表現の指標には群の多くの重要な性質が反映されており、したがってその構造の研究に用いることができる。指標理論は有限単純群の分類において本質的な道具である。の半分近くは指標の値の入り組んだ計算を伴う。指標理論を使う、より容易だがなお本質的な結果は、バーンサイドの定理（純粋に群論的な証明は見つかっているが、バーンサイドのもともとの証明のあと半世紀以上経ってからである）や、有限単純群はシロー -部分群として一般四元数群を持つことはできないというブラウアー・鈴木の定理である。

## 定義
 を体  上の有限次元ベクトル空間とし、 を群  の  上の表現とする。 の**指標** (character) とは関数

:\chi_{\rho} \colon G \to F;\;\chi_{\rho}(g) = \mathrm{Tr}(\rho(g))

である、ただし  はトレースである。

指標  が**既約** (irreducible) あるいは**単純** (simple) とは、 が既約表現であることをいう。指標  の**次数** (degree) は  の次元である；標数 0 ではこれは値  に等しい。次数 1 の指標は**線型** (linear) と呼ばれる。 が有限で  が標数 0 のとき、指標  の**核** (kernel) は正規部分群

:\ker \chi_{\rho} := \left \lbrace g \in G \mid \chi_{\rho}(g) = \chi_{\rho}(1) \right \rbrace 

であり、これはちょうど表現  の核である。

## 性質
* 指標は類関数である、つまり、各共役類上で一定の値を取る。より精密には、与えられた群  の体  への既約指標の集合はすべての類関数  のなす &nbsp;ベクトル空間の基底をなす。
* 同型な表現は同じ指標を持つ。標数  の代数閉体上では、半単純表現が同型であることと同じ指標を持つことは同値である。
* 表現が部分表現の直和ならば、対応する指標はそれら部分表現の指標の和である。
* 有限群  の指標を部分群  に制限したものは、 の指標である。
* 任意の指標の値  は  個の の &nbsp;乗根の和である、ただし  は指標  を持つ表現の次数（つまり付随するベクトル空間の次元）であり、 は  の位数である。特に、 のとき、指標の値は代数的整数である。
*  で  が既約のとき、
::[G:C_G(x)]\frac{\chi(x)}{\chi(1)} 
:はすべての  に対して代数的整数である。
*  が代数閉体で標数  が  の位数を割り切らないとき、 の既約指標の個数は  の共役類の個数に等しい。さらに、この場合、既約指標の次数は  の位数の約数である（ ならさらに  をも割る）。

### 算術的性質
 と  を  の表現とする。このとき以下の等式が成り立つ：

:\chi_{\rho \oplus \sigma} = \chi_\rho + \chi_\sigma
:\chi_{\rho \otimes \sigma} = \chi_\rho \cdot \chi_\sigma
:\chi_{\rho^*} = \overline {\chi_\rho}
:\chi_{{\scriptscriptstyle \rm{Alt}^2} \rho}(g)
 = \tfrac{1}{2} \left[ \left(\chi_\rho (g) \right)^2 - \chi_\rho (g^2) \right]
:\chi_{{\scriptscriptstyle \rm{Sym}^2} \rho}(g)
 = \tfrac{1}{2} \left[ \left(\chi_\rho (g) \right)^2 + \chi_\rho (g^2) \right]

ここで、 は直和で、 はテンソル積で、 は  の共役転置を表し、 は交代積  であり、 は対称平方で次で決定される：

:\rho \otimes \rho = \left(\rho \wedge \rho \right) \oplus \operatorname{Sym}^2 \rho.

## 指標表

有限群の既約複素指標は群  についての多くの有用な情報を凝縮された形で表現する**指標表**をなす。各行は既約表現によってラベルづけられ、行の成分は  のそれぞれの共役類上の表現の指標である。列は  の共役類（の代表元）によってラベル付けられる。第一行を自明指標でラベル付け、第一列を単位元（の共役類）でラベル付けるのが通例である。第一列の成分は単位元における既約指標の値、既約指標の次数である。

ここに  を生成元とする位数3の巡回群

:C_3 = \langle u \mid u^{3} = 1 \rangle,

の指標表を書く。

ただし  は 1 の原始3乗根である。

指標表は正方形である、なぜならば既約表現の同型類の個数は共役類の個数に等しいからである。指標表の第一行は（上述の通例により）  たちからなり、**[[自明表現]]**（成分が  の  行列からなる  次元表現）に対応する。

### 直交関係式

有限群  の複素数値類関数の空間は自然な内積を持つ：

:\left \langle \alpha, \beta\right \rangle := \frac{1}\sum_{g \in G} \alpha(g) \overline{\beta(g)}

ただし  は  の複素共役である。この内積に関して、既約指標は類関数の空間の正規直交基底をなし、これは指標表の行の直交関係を生む：

:\left \langle \chi_i, \chi_j \right \rangle  =
 \begin{cases} 0 & \text{ if } i \ne j, \\ 1 & \text{ if } i = j. \end{cases}

 の元  に対して、列の直交関係は次のようである：

:\sum_{\chi_i} \chi_i(g) \overline{\chi_i(h)} =
 \begin{cases} \left | C_G(g) \right |, & \text{ if } g, h \text{ are conjugate } \\
               0                        & \text{ otherwise.}\end{cases}

ただし和は  の既約指標  全体を渡り、記号  は  の中心化群の位数を表す。

直交関係式は以下を含む多くの計算の助けとなる：
* 未知の指標を既約指標の線型結合として分解する。
* 既約指標のいくつかしか分かっていないときに完全な指標表をつくる。
* 群の共役類の代表元の中心化群の位数を求める。
* 群の位数を求める。

### 指標表の性質
群  のある性質はその指標表から結論できる：

*  の位数は第一列の成分（既約指標の次数）の平方和によって与えられる。（を参照。）より一般に、任意の列の成分の絶対値の平方和は対応する共役類の元の中心化群の位数を与える。
*  のすべての正規部分群（したがって  が単純か否か）はその指標表から分かる。指標  の核は  なる  の元  の集合である；これは  の正規部分群である。 の各正規部分群は  のいくつかの既約指標の核の共通部分である。
* の導来部分群は  の線型指標の核全体の共通部分である。特に、 が可換であることとすべての既約指標が線型であることは同値である。
*のモジュラー表現論からのいくつかの結果を用いて、有限群の各共役類の元の位数の素因子はその指標表から分かることが分かる（による）。

指標表は一般には群を同型の違いを除いて決定しない：例えば、  と位数  の二面体群  は同じ指標表を持つ。ブラウアーは指標表を共役類の元の冪がどのように分布しているかの知識と合わせて有限群を同型を除いて決定できるかどうかを問うた。1964年、これは  によって否定的に解かれた。

線型指標たちは指標群をなし、これは数論と重要な関係がある。

## 誘導指標とフロベニウス相互律

この節で議論される指標は複素数値であると仮定する。 を有限群  の部分群とする。 の指標  が与えられたとき、 でその  への制限を表す。 を  の指標とする。ファルディナンド・ゲオルグ・フロベニウスは今ではと呼ばれるものを用いて  から  の指標を構成する方法を示した。 の既約指標たちは  の複素数値類関数の空間の正規直交基底をなすから、次の性質を持つ  の類関数  が一意的に存在する： の各既約指標  に対して

: \langle \theta^{G}, \chi \rangle_G = \langle \theta,\chi_H \rangle_H 

（左辺の内積は  の類関数に対するもので、右辺の内積は  の類関数に対するものである）。 の指標の部分群  への制限は再び  の指標であるから、この定義は  が  の既約指標の非負線型結合でありしたがって実際  の指標であることを明らかにする。それは   *から誘導される*  *の指標*と呼ばれる。フロベニウス相互律の定義式は一般の複素数値類関数に拡張できる。

 の行列表示  が与えられたとき、フロベニウスは後に  の行列表現を構成する明示的な方法を与え、 から表現と呼ばれ、同様に  と書かれる。これは誘導指標  の別の記述を導いた。この誘導指標は  のどんな元とも共軛でない  のすべての元上消える。誘導指標は  の類関数であるから、 の元での値の記述だけが必要である。 を  の右剰余類の直和として

:G = Ht_1 \cup \dotsb \cup Ht_n

と書けば、元  が与えられると、

: \theta^G(h) = \sum_{1 \le i \le n,\  t_iht_i^{-1} \in H} \theta \left (t_iht_i^{-1} \right )

となる。 は  の類関数だから、この値は剰余類の代表元の選び方に依存しない。

誘導指標のこの別の記述により  の  への埋め込みについての比較的小さい情報から明示的な計算ができることがあり、特定の指標表の計算にしばしば有用である。 が  の自明指標であるとき、得られる誘導指標は（ の剰余類上の） の**置換指標** (permutation character) と呼ばれる。

指標の誘導の一般的な技術と後の精密化は有限群論と数学のいたるところに多数の応用があり、フロベニウスの後にもエミール・アルティン、リチャード・ブラウアー、, 鈴木通夫のような数学者によってなされた。

## マッキー分解
マッキー分解はリー群の文脈で (George Mackey) によって定義され研究されたが、有限群の指標理論や表現論において強力な道具である。その基本的な形は、有限群  の部分群  から誘導された指標（あるいは加群）が  の（異なってもよい）部分群  に再び制限したときにどのように振る舞うかを考え、 の -両側剰余類 への分解を用いる。

: G = \bigcup_{t \in T} HtK 

が非交叉和で、 が  の複素類関数ならば、マッキーの公式は

:\left( \theta^{G}\right)_K = \sum_{ t \in T}
 \left(\left [\theta^{t} \right ]_{t^{-1}Ht \cap K}\right)^{K}

である、ただし  はすべての  に対して  によって定義される  の類関数である。誘導加群の部分群への制限に対する類似の公式もあり、任意の環上の表現に対して成り立ち、代数とトポロジーの広範な文脈で応用がある。

マッキー分解は、フロベニウスの相互律とあわせて、部分群  と  から誘導された2つの類関数  と  の内積に対する有名で有用な公式を生む。その有用性は  と  の共役がお互いにどのように交わるかのみに依るという事実にある。（導出とともに）公式は：

:\begin{align}
\left \langle \theta^{G},\psi^{G} \right \rangle
&= \left \langle \left(\theta^{G}\right)_{K},\psi \right \rangle \\
&= \sum_{ t \in T} \left \langle \left( \left [\theta^{t} \right ]_{t^{-1}Ht \cap K}\right)^{K},
 \psi \right \rangle \\
&= \sum_{t \in T} \left \langle \left(\theta^{t} \right)_{t^{-1}Ht \cap K},
\psi_{t^{-1}Ht \cap K} \right \rangle,
\end{align}

（ただし  は前のように -両側剰余類の完全代表系）。この公式は  と  が線型指標であるときにしばしば用いられ、このとき右辺の和に現れるすべての内積は  か  で、線型指標  と  が  への制限で同じになるか否かに対応する。 と  がともに自明指標ならば、内積は単に  となる。

## “捩れ”次元
表現の指標をベクトル空間の「捩れ」次元と解釈できる。指標を群の元の関数  と扱うことで、その単位元での値は空間の次元である、なぜならば  だからである。したがって、指標の他の値を「捩れ」次元と見ることができる。

次元についての主張の指標や表現についての主張への類似や一般化を見つけることができる。これの洗練された例はモンストラス・ムーンシャインの理論において現れる：不変量はモンスター群の無限次元次数付き表現のであり、次元を指標で置き換えることでモンスター群の各元に対してを得る。

## リー群とリー環の指標

 をリー群、\mathfrak{g} をそのリー環とし、 と \mathfrak{h} をそれぞれカルタン部分群、カルタン部分環とする。

 を  の表現とする。 のウェイト空間を と書いて、リー群とリー環の形式指標を

: \chi_V= \sum \dim V_{\lambda} e^{\lambda}

と定義できる、ここで和はウェイト格子のすべてのウェイトを走る。上の式で  は  を満たす形式的な対象である。この形式指標は他の群の通常の指標と関係する。, ただし  は  のカルタン部分群（つまり  は \mathfrak{h} に属する）、ならば、

:\operatorname{Tr} (e^X) = \sum \dim V_{\lambda} e^{\lambda(X)}

である。テンソル積や他の表現の分解の上の議論は形式指標に対しても成り立つ。コンパクトリー群の場合には、ワイルの指標公式を形式指標を計算するのに使うことができる。

## 関連項目
* 、群指標の理論の組合せ論的一般化。
* は、 により1937年に導入されたもので、有限群  の複素既約指標の正規部分群  への制限についての情報が得られる。
* , 群の元  であって、 がすべての指標  に対して実数であるもの。

## 脚注

## 参考文献

* Lecture 2 of     online
* 
*
* 
* 

## 外部リンク
*