ワイルの指標公式

数学において，表現論におけるワイルの指標公式（英: Weyl character formula）はコンパクトリー群の既約表現の指標を最高ウェイトのことばで記述する．Hermann Weyl (1925, 1926a, 1926b) によって証明された．

定義により，G の表現 r の指標は群 G の元 g の関数としての r(g) のトレースである．この場合既約表現はすべて有限次元である（これはピーター・ワイルの定理の一部である）．よってトレースの概念は線型代数学の通常のものである．r の指標 ξ を知ることは r 自身の良い代替であり，アルゴリズム的内容を持ち得る．ワイルの公式は G から構成される他の対象と G のリー環のことばで ξ を閉じた式で表す．ここで問題の表現は複素でありしたがって一般性を失うことなくユニタリ表現である；したがって既約は直既約，つまり2つの部分表現の直和でないことと同じ意味である．

ワイルの指標公式の主張

複素半単純リー環 ${\mathfrak {g}}$ の既約表現 V の指標は次で与えられる：

$\operatorname {ch} (V)={\frac {\sum _{w\in W}\varepsilon (w)e^{w(\lambda +\rho )}}{e^{\rho }\prod _{\alpha \in \Delta ^{+}}(1-e^{-\alpha })}}$

ここで

• W はワイル群，
• Δ⁺ はルート系 Δ の正ルート全体からなる部分集合，
• ρ は正ルートの half sum,
• λ は既約表現 V の最高ウェイト，
• ε(w) はカルタン部分環 ${\mathfrak {h}}\subset {\mathfrak {g}}$ 上の w の作用の行列式．これは $(-1)^{\ell (w)}$ に等しい，ただし $\ell (w)$ はワイル群の元の長さであり，w を単純ルートに関する鏡映の積で表す最小の個数と定義される．

ワイルの分母公式を用いて，指標公式は次のように書きなおすことができる：

$\operatorname {ch} (V){\sum _{w\in W}\varepsilon (w)e^{w(\rho )}}=\sum _{w\in W}\varepsilon (w)e^{w(\lambda +\rho )}$

指標はそれ自身 a large sum of exponentials であることに注意．そして exponentials の交代和を指標に掛ける．指標公式の驚くべき部分は，この積を計算したとき，少ない個数の項しか実際には残らないことである．これよりも多くの項が指標やワイルの分母の積において少なくとも1度現れるが，これらの項のほとんどは打ち消しあって 0 になる．生き残る項は1度しか現れない項だけである，すなわち $e^{\lambda +\rho }$ (which is obtained by taking the highest weight from $\operatorname {ch} (V)$ and the highest weight from the Weyl denominator) and things in the Weyl-group orbit of $e^{\lambda +\rho }$.

コンパクト連結リー群 G の既約表現 V の指標は

$\operatorname {ch} (V)={\frac {\sum _{w\in W}\varepsilon (w)\xi _{w(\lambda +\rho )-\rho }}{\prod _{\alpha \in \Delta ^{+}}(1-\xi _{-\alpha })}}$

で与えられる，ただし ξ_α は極大トーラス T のリー環 ${\mathfrak {t}}_{0}$ 上の微分 α の T 上の指標である．

ρ が T の指標の微分であるとき，たとえば G が単連結であるとき，これは次のように書き直せる：

$\operatorname {ch} (V)={\frac {\sum _{w\in W}\varepsilon (w)\xi _{w(\lambda +\rho )}}{\xi _{\rho }\prod _{\alpha \in \Delta ^{+}}(1-\xi _{-\alpha })}}={\frac {\sum _{w\in W}\varepsilon (w)\xi _{w(\lambda +\rho )}}{\sum _{w\in W}\varepsilon (w)\xi _{w(\rho )}}}.$

ワイルの分母公式

自明な1次元表現という特別な場合には指標は 1 であり，したがってワイルの指標公式はワイルの分母公式 (Weyl denominator formula) となる：

${\sum _{w\in W}\varepsilon (w)e^{w(\rho )}=e^{\rho }\prod _{\alpha \in \Delta ^{+}}(1-e^{-\alpha })}.$

特殊ユニタリ群に対しては，これはヴァンデルモンドの行列式に対する次の式と同値である：

$\sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )\,X_{1}^{\sigma (1)-1}\cdots X_{n}^{\sigma (n)-1}=\prod _{1\leq i<j\leq n}(X_{j}-X_{i}).$

ワイルの次元公式

単位元のトレースへの特殊化により，ワイルの指標公式は最高ウェイト Λ の有限次元表現 V_Λ の次元に対するワイルの次元公式

$\dim(V_{\Lambda })={\prod _{\alpha \in \Delta ^{+}}(\Lambda +\rho ,\alpha ) \over \prod _{\alpha \in \Delta ^{+}}(\rho ,\alpha )}$

を与える．（いつもどおり，ρ はワイルベクトルであり，積は正ルート α を走る．）特殊化は全く自明ではない，なぜならばワイルの指標公式の分子と分母はともに単位元において高次に消えるから，単位元に近づく元のトレースの極限を取る必要があるからである．

フロイデンタールの公式

ハンス・フロイデンタール (Hans Freudenthal) の公式はワイルの指標公式と同値なウェイトの重複度の再帰的公式であるが，和の項がはるかに少なく，計算に用いるのが容易なことがある．それは次のような公式である：

$(\|\Lambda +\rho \|^{2}-\|\lambda +\rho \|^{2})m_{\Lambda }(\lambda )=2\sum _{\alpha \in \Delta ^{+}}\sum _{j\geq 1}(\lambda +j\alpha ,\alpha )m_{\Lambda }(\lambda +j\alpha )$

ただし

• Λ は最高ウェイトで，
• λ は何か別のウェイトで，
• m_Λ(λ) は既約表現 V_Λ におけるウェイト λ の重複度で，
• ρ はワイルベクトルで，
• 最初の和はすべての正ルート α を渡る．

ワイル・カッツの指標公式

ワイルの指標公式はカッツ・ムーディ代数の可積分最高ウェイト表現に対しても成り立ち，ワイル・カッツの指標公式と呼ばれる．同様にカッツ・ムーディ代数に対する分母公式もあり，アフィンリー環の場合にはマクドナルド恒等式と同値である．A₁ 型のアフィンリー環という最も単純な場合には，これはヤコビの三重積公式である：

$\prod _{m=1}^{\infty }\left(1-x^{2m}\right)\left(1-x^{2m-1}y\right)\left(1-x^{2m-1}y^{-1}\right)=\sum _{n=-\infty }^{\infty }(-1)^{n}x^{n^{2}}y^{n}.$

指標公式は一般カッツ・ムーディ代数の可積分最高ウェイト表現にも拡張でき，指標は

${\sum _{w\in W}(-1)^{\ell (w)}w(e^{\lambda +\rho }S) \over e^{\rho }\prod _{\alpha \in \Delta ^{+}}(1-e^{-\alpha })}$

によって与えられる．ここで S は虚単純ルートのことばで

$S=\sum _{I}(-1)^{|I|}e^{\Sigma I}\,$

によって与えられる訂正項である，ただし和はどの2つも直交し最高ウェイト λ に直交する虚単純ルートのすべての有限部分集合 I を走り，|I| は I の濃度で，ΣI は I の元全体の和である．

モンスターリー環の分母公式は楕円モジュラー関数 j の積公式

$j(p)-j(q)=\left({1 \over p}-{1 \over q}\right)\prod _{n,m=1}^{\infty }(1-p^{n}q^{m})^{c_{nm}}$

である．

Peterson は対称化可能（一般）カッツ・ムーディ代数のルート β の重複度 mult(β) の再帰公式を与え，これはワイル・カッツの分母公式と同値であるが，計算に用いるのが容易である：

$(\beta ,\beta -2\rho )c_{\beta }=\sum _{\gamma +\delta =\beta }(\gamma ,\delta )c_{\gamma }c_{\delta }\,$

ただし和は正ルート γ, δ を渡り，

$c_{\beta }=\sum _{n\geq 1}{\operatorname {mult} (\beta /n) \over n}$

である．

ハリシュ・チャンドラの指標公式

ハリシュ・チャンドラ (Harish-Chandra) は showed that Weyl's character formula admits a generalization to representations of a real, reductive group. Suppose $\pi$ is an irreducible, admissible representation of a real, reductive group G with infinitesimal character $\lambda$. Let $\Theta _{\pi }$ be the Harish-Chandra character of $\pi$; it is given by integration against an analytic function on the regular set. If H is a Cartan subgroup of G and H' is the set of regular elements in H, then

$\Theta _{\pi }|_{H'}={\sum _{w\in W/W_{\lambda }}a_{w}e^{w\lambda } \over e^{\rho }\prod _{\alpha \in \Delta ^{+}}(1-e^{-\alpha })}.$

Here

• W is the complex Weyl group of $H_{\mathbb {C} }$ with respect to $G_{\mathbb {C} }$
• $W_{\lambda }$ is the stabilizer of $\lambda$ in W

and the rest of the notation is as above.

The coefficients $a_{w}$ are still not well understood. Results on these coefficients may be found in papers of Herb, Adams, Schmid, and Schmid-Vilonen among others.

関連項目

• 代数的指標
• デマジュールの指標公式

参考文献

• Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer 
• Infinite dimensional Lie algebras, V. G. Kac, ISBN 0-521-37215-1
• Duncan J. Melville (2001), “Weyl–Kac character formula”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/W/w130070.htm 
• Weyl, Hermann (1925), “Theorie der Darstellung kontinuierlicher halb-einfacher Gruppen durch lineare Transformationen. I”, Mathematische Zeitschrift (Springer Berlin / Heidelberg) 23: 271–309, doi:10.1007/BF01506234, ISSN 0025-5874 
• Weyl, Hermann (1926a), “Theorie der Darstellung kontinuierlicher halb-einfacher Gruppen durch lineare Transformationen. II”, Mathematische Zeitschrift (Springer Berlin / Heidelberg) 24: 328–376, doi:10.1007/BF01216788, ISSN 0025-5874 
• Weyl, Hermann (1926b), “Theorie der Darstellung kontinuierlicher halb-einfacher Gruppen durch lineare Transformationen. III”, Mathematische Zeitschrift (Springer Berlin / Heidelberg) 24: 377–395, doi:10.1007/BF01216789, ISSN 0025-5874