指標理論のソースを表示

{{see also|指標 (数学)}}
[[数学]]、特に[[群論]]において、[[群の表現]]の'''指標'''（しひょう、{{lang-en-short|character}}）は、[[群 (数学)|群]]の各元に対応する行列の[[トレース (線型代数学)|トレース]]を対応させる[[写像]]である。指標は表現の本質的な情報をより凝縮された形で持っている。[[フェルディナント・ゲオルク・フロベニウス|ゲオルク・フロベニウス]]は最初に、指標のみに基づいて、表現の明示的な行列表示は用いずに、{{仮リンク|有限群の表現論|en|representation theory of finite groups}}を発展させた。これは有限群の複素表現はその指標によって（同型を除いて）決定されるから可能である。[[正標数]]の体上の表現、いわゆる「モジュラー表現」の場合には、状況はより繊細であるが、{{仮リンク|リチャード・ブラウアー|en|Richard Brauer}}はこの場合にも指標の強力な理論を発展させた。有限群の構造に関する多くの深い定理は[[モジュラー表現論|モジュラー表現]]の指標を用いる。

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

==定義==
{{mvar|V}} を[[可換体|体]] {{mvar|F}} 上の[[有限次元]][[ベクトル空間]]とし、{{math|''ρ'': ''G'' → GL(''V'')}} を[[群 (数学)|群]] {{mvar|G}} の {{mvar|V}} 上の[[群の表現|表現]]とする。{{mvar|ρ}} の'''指標''' (character) とは関数

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

である、ただし {{math|Tr}} は[[跡 (線型代数学)|トレース]]である。

指標 {{math|''χ<sub>ρ</sub>''}} が'''既約''' (irreducible) あるいは'''単純''' (simple) とは、{{mvar|ρ}} が[[既約表現]]であることをいう。指標 {{mvar|χ}} の'''次数''' (degree) は {{mvar|ρ}} の[[表現の次元|次元]]である；標数 0 ではこれは値 {{math|''χ''(1)}} に等しい。次数 1 の指標は'''線型''' (linear) と呼ばれる。{{mvar|G}} が有限で {{mvar|F}} が標数 0 のとき、指標 {{math|''χ<sub>ρ</sub>''}} の'''核''' (kernel) は正規部分群

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

であり、これはちょうど表現 {{mvar|ρ}} の核である。

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

===算術的性質===
{{mvar|ρ}} と {{mvar|σ}} を {{mvar|G}} の表現とする。このとき以下の等式が成り立つ：

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

ここで、{{math|''ρ'' ⊕ ''σ''}} は[[表現の直和|直和]]で、{{math|''ρ'' ⊗ ''σ''}} は[[テンソル積]]で、{{math|''ρ''<sup>∗</sup>}} は {{mvar|ρ}} の[[共役転置]]を表し、{{math|Alt<sup>2</sup>}} は[[外積代数|交代積]] {{math|Alt<sup>2</sup> ''ρ'' {{=}} ''ρ'' ∧ ''ρ''}} であり、{{math|Sym<sup>2</sup>}} は[[対称代数|対称平方]]で次で決定される：

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

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

ここに {{mvar|u}} を生成元とする位数3の巡回群

:<math>C_3 = \langle u \mid u^{3} = 1 \rangle,</math>

の指標表を書く。

{| class="wikitable"
|-
|&nbsp;
|{{math|(1)}}
|{{math|(''u'')}}
|{{math|(''u''<sup>2</sup>)}}
|-
|{{math|'''1'''}}
|{{math|1}}
|{{math|1}}
|{{math|1}}
|-
|{{math|''χ''<sub>1</sub>}}
|{{math|1}}
|{{mvar|ω}}
|{{math|''ω''<sup>2</sup>}}
|-
|{{math|''χ''<sub>2</sub>}}
|{{math|1}}
|{{math|''ω''<sup>2</sup>}}
|{{mvar|ω}}
|-
|}

ただし {{mvar|ω}} は 1 の原始3乗根である。

指標表は正方形である、なぜならば既約表現の同型類の個数は共役類の個数に等しいからである{{sfn|Serre|1977|loc=2.5, Theorem 7|page={{google books quote|id=9mT1BwAAQBAJ|page=19|19}}}}。指標表の第一行は（上述の通例により） {{math|1}} たちからなり、'''[[自明表現]]'''（成分が {{math|1}} の {{math|1 × 1}} 行列からなる {{math|1}} 次元表現）に対応する。

===直交関係式===
{{main|{{仮リンク|シューアの直交関係式|en|Schur orthogonality relations}}}}
有限群 {{mvar|G}} の複素数値[[類関数]]の空間は自然な内積を持つ：

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

ただし {{math|{{overline|''β''(''g'')}}}} は {{math|''β''(''g'')}} の複素共役である。この内積に関して、既約指標は類関数の空間の[[正規直交基底]]をなし、これは指標表の行の直交関係を生む：

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

{{mvar|G}} の元 {{math|''g'', ''h''}} に対して、列の直交関係は次のようである：

:<math>\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}</math>

ただし和は {{mvar|G}} の既約指標 {{math|''χ<sub>i</sub>''}} 全体を渡り、記号 {{math|{{pipe}}''C<sub>G</sub>''(''g''){{pipe}}}} は {{mvar|g}} の中心化群の位数を表す。

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

===指標表の性質===
群 {{mvar|G}} のある性質はその指標表から結論できる：

* {{mvar|G}} の位数は第一列の成分（既約指標の次数）の平方和によって与えられる。（{{仮リンク|有限群の表現論#シューアの補題の適用|en|Representation theory of finite groups#Applying Schur's lemma}}を参照。）より一般に、任意の列の成分の絶対値の平方和は対応する共役類の元の中心化群の位数を与える。
* {{mvar|G}} のすべての正規部分群（したがって {{mvar|G}} が単純か否か）はその指標表から分かる。指標 {{mvar|χ}} の[[核 (群論)|核]]は {{math|''χ''(''g'') {{=}} ''χ''(1)}} なる {{mvar|G}} の元 {{mvar|g}} の集合である；これは {{mvar|G}} の正規部分群である。{{mvar|G}} の各正規部分群は {{mvar|G}} のいくつかの既約指標の核の共通部分である。
*{{mvar|G}} の導来部分群は {{mvar|G}} の線型指標の核全体の共通部分である。特に、{{mvar|G}} が可換であることとすべての既約指標が線型であることは同値である。
*{{仮リンク|リチャード・ブラウアー|en|Richard Brauer}}の[[モジュラー表現論]]からのいくつかの結果を用いて、有限群の各共役類の元の位数の素因子はその指標表から分かることが分かる（{{仮リンク|グラハム・ヒグマン|en|Graham Higman}}による{{sfn|Isaacs|1994|loc=Theorem 8.21}}）。

指標表は一般には群を[[群同型|同型]][[の違いを除いて]]決定しない：例えば、{{仮リンク|四元数群|en|quaternion group}} {{mvar|Q}} と位数 {{math|8}} の[[二面体群]] {{math|''D''<sub>4</sub>}} は同じ指標表を持つ。ブラウアーは指標表を共役類の元の冪がどのように分布しているかの知識と合わせて有限群を同型を除いて決定できるかどうかを問うた。1964年、これは {{仮リンク|E. C. Dade|en|E. C. Dade}} によって否定的に解かれた。

線型指標たちは[[指標群]]をなし、これは[[数論]]と重要な関係がある{{which|date=July 2012}}。

==誘導指標とフロベニウス相互律==
{{main|{{仮リンク|誘導指標|en|Induced character}}}}
この節で議論される指標は複素数値であると仮定する。{{mvar|H}} を有限群 {{mvar|G}} の部分群とする。{{mvar|G}} の指標 {{mvar|χ}} が与えられたとき、{{math|''χ<sub>H</sub>''}} でその {{mvar|H}} への制限を表す。{{mvar|θ}} を {{mvar|H}} の指標とする。[[ファルディナンド・ゲオルグ・フロベニウス]]は今では{{仮リンク|フロベニウスの相互律|en|Frobenius reciprocity}}と呼ばれるものを用いて {{mvar|θ}} から {{mvar|G}} の指標を構成する方法を示した。{{mvar|G}} の既約指標たちは {{mvar|G}} の複素数値類関数の空間の正規直交基底をなすから、次の性質を持つ {{mvar|G}} の類関数 {{math|''θ<sup>G</sup>''}} が一意的に存在する：{{mvar|G}} の各既約指標 {{mvar|χ}} に対して

:<math> \langle \theta^{G}, \chi \rangle_G = \langle \theta,\chi_H \rangle_H </math>

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

{{mvar|H}} の行列表示 {{mvar|ρ}} が与えられたとき、フロベニウスは後に {{mvar|G}} の行列表現を構成する明示的な方法を与え、{{mvar|ρ}} から{{仮リンク|誘導表現|en|induced representation|label=誘導される}}表現と呼ばれ、同様に {{math|''ρ<sup>G</sup>''}} と書かれる。これは誘導指標 {{math|''θ<sup>G</sup>''}} の別の記述を導いた。この誘導指標は {{mvar|H}} のどんな元とも共軛でない {{mvar|G}} のすべての元上消える。誘導指標は {{mvar|G}} の類関数であるから、{{mvar|H}} の元での値の記述だけが必要である。{{mvar|G}} を {{mvar|H}} の右剰余類の直和として

:<math>G = Ht_1 \cup \dotsb \cup Ht_n</math>

と書けば、元 {{math|''h'' &isin; ''H''}} が与えられると、

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

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

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

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

==マッキー分解==
マッキー分解は[[リー群]]の文脈で{{仮リンク|ジョージ・マッキー|en|G. Mackey}} (George Mackey) によって定義され研究されたが、有限群の指標理論や表現論において強力な道具である。その基本的な形は、有限群 {{mvar|G}} の部分群 {{mvar|H}} から誘導された指標（あるいは加群）が {{mvar|G}} の（異なってもよい）部分群 {{mvar|K}} に再び制限したときにどのように振る舞うかを考え、{{mvar|G}} の {{math|(''H'', ''K'')}}-両側剰余類 への分解を用いる。

:<math> G = \bigcup_{t \in T} HtK </math>

が非交叉和で、{{mvar|θ}} が {{mvar|H}} の複素類関数ならば、マッキーの公式は

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

である、ただし {{math|''θ<sup>t</sup>''}} はすべての {{math|''h'' &isin; ''H''}} に対して {{math|''θ<sup>&thinsp;t</sup>''(''t''<sup>−1</sup>''ht'') {{=}} ''θ''(''h'')}} によって定義される {{math|''t''<sup>−1</sup>''Ht''}} の類関数である。誘導加群の部分群への制限に対する類似の公式もあり、任意の環上の表現に対して成り立ち、代数とトポロジーの広範な文脈で応用がある。

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

:<math>\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}</math>

（ただし {{mvar|T}} は前のように {{math|(''H'', ''K'')}}-両側剰余類の完全代表系）。この公式は {{mvar|θ}} と {{mvar|ψ}} が線型指標であるときにしばしば用いられ、このとき右辺の和に現れるすべての内積は {{math|1}} か {{math|0}} で、線型指標 {{math|''θ<sup>&thinsp;t</sup>''}} と {{mvar|ψ}} が {{math|''t''<sup>−1</sup>''Ht'' ∩ ''K''}} への制限で同じになるか否かに対応する。{{mvar|θ}} と {{mvar|ψ}} がともに自明指標ならば、内積は単に {{math|{{pipe}}''T''&thinsp;{{pipe}}}} となる。

==“捩れ”次元==
表現の指標をベクトル空間の「捩れ」[[次元 (ベクトル空間)|次元]]と解釈できる<ref name="Gannon">{{Harvnb|Gannon|2006}}</ref>。指標を群の元の関数 {{math|''χ''(''g'')}} と扱うことで、その[[単位元]]での値は空間の次元である、なぜならば {{math|''χ''(1) {{=}} Tr(''ρ''(1)) {{=}} Tr(''I<sub>V</sub>'') {{=}} dim(''V'')}} だからである。したがって、指標の他の値を「捩れ」次元と見ることができる{{clarify|date=June 2011|reason=recursive definition}}。

次元についての主張の指標や表現についての主張への類似や一般化を見つけることができる。これの洗練された例は[[モンストラス・ムーンシャイン]]の理論において現れる：[[j不変量|{{mvar|j}} 不変量]]は[[モンスター群]]の無限次元次数付き表現の{{仮リンク|次数付き次元|en|graded dimension}}であり、次元を指標で置き換えることでモンスター群の各元に対して{{仮リンク|マッキー・トンプソン列|en|McKay–Thompson series}}を得る<ref name="Gannon" />。

==リー群とリー環の指標==
{{main|{{仮リンク|代数的指標|en|Algebraic character}}}}
{{mvar|G}} を[[リー群]]、<math>\mathfrak{g}</math> をその[[リー環]]とし、{{mvar|H}} と <math>\mathfrak{h}</math> をそれぞれカルタン部分群、[[カルタン部分環]]とする。

{{mvar|V}} を {{mvar|G}} の表現とする。{{mvar|V}} の[[ウェイト空間]]を {{math|''V<sub>λ</sub>''}}と書いて、リー群とリー環の形式指標を

:<math> \chi_V= \sum \dim V_{\lambda} e^{\lambda}</math>

と定義できる、ここで和はウェイト格子のすべてのウェイトを走る。上の式で {{math|''e<sup>λ</sup>''}} は {{math|''e<sup>&thinsp;λ</sup>'' ⋅ ''e<sup>&thinsp;μ</sup>'' {{=}} ''e''<sup>&thinsp;''λ''+''μ''</sup>}} を満たす形式的な対象である。この形式指標は他の群の通常の指標と関係する。{{math|''e<sup>X</sup>'' ∈ ''H''}}, ただし {{mvar|H}} は {{mvar|G}} の[[カルタン部分群]]（つまり {{mvar|X}} は <math>\mathfrak{h}</math> に属する）、ならば、

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

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

==関連項目==
* {{仮リンク|アソシエーションスキーム|en|Association scheme}}、群指標の理論の組合せ論的一般化。
* {{仮リンク|クリフォード理論|en|Clifford theory}}は、{{仮リンク|A. H. Clifford|en|A. H. Clifford}} により1937年に導入されたもので、有限群 {{mvar|G}} の複素既約指標の正規部分群 {{mvar|N}} への制限についての情報が得られる。
* {{仮リンク|Real element|en|Real element}}, 群の元 {{mvar|g}} であって、{{math|''χ''(''g'')}} がすべての指標 {{mvar|χ}} に対して実数であるもの。

==脚注==
{{reflist|2}}

==参考文献==
{{refbegin}}
* Lecture 2 of {{Fulton-Harris}}  [http://isites.harvard.edu/fs/docs/icb.topic1381051.files/fulton-harris-representation-theory.pdf   online]
* {{cite book| last = Isaacs | first = I.M. | title=Character Theory of Finite Groups | publisher=Dover | year=1994 | isbn=0-486-68014-2 | edition=Corrected reprint of the 1976 original, published by Academic Press.|ref=harv}}
*{{Cite book | first = Terry | last = Gannon | title = Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics | year = 2006 | isbn = 0-521-83531-3 | ref = harv | postscript = <!--None-->}}
* {{cite book | last1 = James | first1 = Gordon | last2 = Liebeck | first2 = Martin | title=Representations and Characters of Groups (2nd ed.) | year=2001 | publisher=Cambridge University Press | isbn=0-521-00392-X}}
* {{cite book |authorlink=J.-P. Serre|first=Jean-Pierre|last= Serre | title=Linear Representations of Finite Groups | publisher=Springer-Verlag | year=1977 | isbn= 0-387-90190-6 | location=New York-Heidelberg | series=Graduate Texts in Mathematics | volume=42 | others=Translated from the second French edition by Leonard L. Scott | mr=0450380 | doi=10.1007/978-1-4684-9458-7 | ref=harv}}
{{refend}}

==外部リンク==
* {{PlanetMath|urlname=Character|title=Character}}

{{DEFAULTSORT:しひようりろん}}
[[Category:群の表現論]]
[[Category:数学に関する記事]]