ワイルの指標公式

数学において，表現論におけるワイルの指標公式（）はコンパクトリー群の既約表現の指標をのことばで記述する． によって証明された．
定義により， の表現 の指標は群 の元 の関数としての のトレースである．この場合既約表現はすべて有限次元である（これはの一部である）．よってトレースの概念は線型代数学の通常のものである． の指標 を知ることは 自身の良い代替であり，アルゴリズム的内容を持ち得る．ワイルの公式は から構成される他の対象と のリー環のことばで をで表す．ここで問題の表現は複素でありしたがって一般性を失うことなくユニタリ表現である；したがって"既約"は"直既約"，つまり2つの部分表現の直和でないことと同じ意味である．
ワイルの指標公式の主張.
複素半単純リー環 formula_1 の既約表現 の指標は次で与えられる：
ここで
ワイルの分母公式を用いて，指標公式は次のように書きなおすことができる：
指標はそれ自身たくさんの exponentials の和であることに注意．そして exponentials の交代和を指標に掛ける．指標公式の驚くべき部分は，この積を計算したとき，少ない個数の項しか実際には残らないことである．これよりも多くの項が指標やワイルの分母の積において少なくとも1度現れるが，これらの項のほとんどは打ち消しあって 0 になる．生き残る項は1度しか現れない項だけである，すなわち （ の最高ウェイトとワイルの分母の最高ウェイトを取ることによって得られる）と のワイル群軌道のものである．
コンパクト連結リー群 の既約表現 の指標は
で与えられる，ただし は極大トーラス のリー環 formula_8 上の微分 の 上の指標である．
 が の指標の微分であるとき，たとえば が単連結であるとき，これは次のように書き直せる：
ワイルの分母公式.
自明な1次元表現という特別な場合には指標は であり，したがってワイルの指標公式はワイルの分母公式 (Weyl denominator formula) となる：
特殊ユニタリ群に対しては，これはヴァンデルモンドの行列式に対する次の式と同値である：
ワイルの次元公式.
単位元のトレースへの特殊化により，ワイルの指標公式は最高ウェイト の有限次元表現 の次元に対するワイルの次元公式
を与える．（いつもどおり， はワイルベクトルであり，積は正ルート を走る．）特殊化は全く自明ではない，なぜならばワイルの指標公式の分子と分母はともに単位元において高次に消えるから，単位元に近づく元のトレースの極限を取る必要があるからである．
フロイデンタールの公式.
ハンス・フロイデンタール (Hans Freudenthal) の公式はワイルの指標公式と同値なウェイトの重複度の再帰的公式であるが，和の項がはるかに少なく，計算に用いるのが容易なことがある．それは次のような公式である：
ただし
ワイル・カッツの指標公式.
ワイルの指標公式はカッツ・ムーディ代数の可積分最高ウェイト表現に対しても成り立ち，ワイル・カッツの指標公式と呼ばれる．同様にカッツ・ムーディ代数に対する分母公式もあり，アフィンリー環の場合にはマクドナルド恒等式と同値である． 型のアフィンリー環という最も単純な場合には，これはヤコビの三重積公式である：
指標公式は一般カッツ・ムーディ代数の可積分最高ウェイト表現にも拡張でき，指標は
によって与えられる．ここで は虚単純ルートのことばで
によって与えられる訂正項である，ただし和はどの2つも直交し最高ウェイト に直交する虚単純ルートのすべての有限部分集合 を走り， は の濃度で， は の元全体の和である．
の分母公式は楕円モジュラー関数 の積公式
である（ここでc_nはj関数のq展開におけるq^nの係数）．
Peterson は対称化可能（一般）カッツ・ムーディ代数のルート の重複度 の再帰公式を与え，これはワイル・カッツの分母公式と同値であるが，計算に用いるのが容易である：
ただし和は正ルート を渡り，
である．
ハリシュ゠チャンドラの指標公式.
ハリシュ゠チャンドラ (Harish-Chandra) は，ワイルの指標公式を実簡約群の表現へと一般化できることを示した． を をもつ実簡約群 の既約とする． を のハリシュ゠チャンドラ指標とする; it is given by integration against an analytic function on the regular set. が ので が の正則元全体の集合であるとき，
である．ここで
残りの記号は上のとおりである．
係数 はまだよく理解されていない．これらの係数に関する結果はとりわけ , Adams, Schmid, Schmid-Vilonen の論文に書かれている．