カジュダン・ルスティック予想
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/11/21 03:00 UTC 版)
「カジュダン–ルスティック多項式」の記事における「カジュダン・ルスティック予想」の解説
カジュダン・ルスティック多項式は、ヘッケ環の標準的な基底と自然な基底の間の変換係数として現れている。Inventiones（英語版） 誌の論文において、カジュダン・ルスティックはカジュダン・ルスティック予想として知られている2つの同値な予想を提出した。この予想は、複素半単純リー群およびリー環の表現論において長年の懸案であった問題と、カジュダン・ルスティック多項式の q = 1 での値とを結びつけるものであった。 W を有限ワイル群とし、ρ を対応するルート系の正ルートの総和の半分（ワイルベクトル）とおく。W の元 w に対し、Mw を最高ウェイト −w(ρ) − ρ のヴァーマ加群とし、Lw をその既約商、すなわち最高ウェイト −w(ρ) − ρ の既約加群とする。Mw と Lw はともに、W に対応する複素半単純リー環 g {\displaystyle {\mathfrak {g}}} 上の局所有限なウェイト加群であり、代数的指標が意味を持つ。一般に g {\displaystyle {\mathfrak {g}}} -加群 X の指標を ch(X) とかく。カジュダン・ルスティック予想とは次のようなものである： ch ( L w ) = ∑ y ≤ w ( − 1 ) ℓ ( w ) − ℓ ( y ) P y , w ( 1 ) ch ( M y ) , ch ( M w ) = ∑ y ≤ w P w 0 w , w 0 y ( 1 ) ch ( L y ) . {\displaystyle {\begin{aligned}\operatorname {ch} (L_{w})&=\sum _{y\leq w}(-1)^{\ell (w)-\ell (y)}P_{y,w}(1)\operatorname {ch} (M_{y}),\\\operatorname {ch} (M_{w})&=\sum _{y\leq w}P_{w_{0}w,w_{0}y}(1)\operatorname {ch} (L_{y}).\end{aligned}}} ここで w0 は W の最長元である。 これらの予想は、Beilinson & Bernstein (1981) と Brylinski & Kashiwara (1981) によって独立に証明された。一連の証明の中で導入された方法は、1980年代、1990年代を通じて、幾何学的表現論と呼ばれる手法の発展を導いた。
※この「カジュダン・ルスティック予想」の解説は、「カジュダン–ルスティック多項式」の解説の一部です。
「カジュダン・ルスティック予想」を含む「カジュダン–ルスティック多項式」の記事については、「カジュダン–ルスティック多項式」の概要を参照ください。
- カジュダン・ルスティック予想のページへのリンク
