カジュダン–ルスティック多項式

表現論において、コクセター群  に付随する**カジュダン・ルスティック多項式**（カジュダン・ルスティックたこうしき、） とは、 の元  でパラメトライズされたある整数係数多項式の族のことである。この多項式は、1979年にデイビッド・カジュダンとジョージ・ルスティックによって、 に付随するヘッケ環のある基底を用いて導入された。特に  としては半単純リー群  に付随するワイル群が代表的である。この場合、カジュダン・ルスティック多項式は、 の旗多様体上のを用いた幾何学的記述を持ち、 のリー環 \mathfrak{g} の表現論を記述するために重要な役割を果たしている（カジュダン・ルスティック予想）。この多項式やその類似物は、その後のの発展における契機となったのみならず、現在でも表現論における中心的な研究対象のひとつである。

## 動機と歴史
1978年春、カジュダンとルスティックは、代数群  の冪単共役類の研究と関連して、 に付随するワイル群  の表現を ℓ 進コホモロジー群上に実現するを研究していた。彼らはこの表現の複素数体上での新しい実現を与えた。この表現には2つの自然な基底が存在し、その変換行列が本質的にはカジュダン・ルスティック多項式で与えられることになるが、彼らが実際にカジュダン・ルスティック多項式を構成した方法はもっと初等的な方法であった。それはコクセター群に付随するヘッケ環とその表現に対するある標準的な基底を構成することであった。

カジュダン・ルスティックは最初の論文で、これらの多項式はにおける局所ポアンカレ双対性の破れと関係していることを指摘し、1980年の論文でこの観点をマーク・ゴレスキーとロバート・マクファーソンによるの概念を用いて説明した。さらに交叉コホモロジー群の次元を用いてこれらの基底の別の定義を与えた。

半単純リー環のある無限次元表現の圏に対するグロタンディーク群には、と既約加群から得られる2つの基底が存在する。カジュダン・ルスティックの得たシュプリンガー表現の2つの基底は、この類似であるように思われた。この類似性と、ワイル群の表現とリー環の展開環の原始イデアルとを結びつけるヤンツェンとヨゼフの仕事をもとに、彼らはカジュダン・ルスティック予想を定式化し、半単純リー環の表現論とカジュダン・ルスティック多項式を結びつけた。

## 定義
 をコクセター群とそのコクセター生成系とし、 を  の元  の長さ、すなわち  を  の元の積で表示したときの最短の長さとする。 に付随するヘッケ環は、 という  上の基底を持つ。これらの基底の元の積は
:\begin{cases}
T_y T_w = T_{yw},       &\text{if } \ell(yw) = \ell(y) + \ell(w),\\
(T_s + 1)(T_s - q) = 0, &\text{if } s \in S
\end{cases}
で定義される。

カジュダン・ルスティック多項式  は  の元  でパラメトライズされ、次の性質を満たすものとして一意的に定まる：
* 上のに関して、 でない限り、値は  であり、 のとき値は  で、 のとき、 に関する次数が高々  である。
*ヘッケ環の元C'_w=q^{-\ell(w)/2}\sum_{y\le w} P_{y,w}T_yは、q^{1/2} \mapsto q^{-1/2},T_w \mapsto (T_{w^{-1}})^{-1}で定まるヘッケ環上の対合  に関して不変である。

このとき、 は、ヘッケ環の -加群としての基底を与える。この基底を**カジュダン・ルスティック基底**と呼ぶ。

カジュダン・ルスティック多項式の存在を証明するために、彼らは  という、より基本的な多項式を用いて、 を簡単な帰納法で計算する方法を与えた。その多項式  は
:T_{y^{-1}}^{-1} = \sum_xD(R_{x,y})q^{-\ell(x)}T_x
で定義され、帰納的に

R_{x,y} =
\begin{cases}
  0,                          & \text{if } x > y,                      \\
  1,                          & \text{if } x = y,                      \\
  R_{sx,sy},                  & \text{if } sx  x \text{ and } sy 

と求められる。カジュダン・ルスティック多項式は

:\begin{align}
&q^{(\ell(w)-\ell(x))/2}D(P_{x,w}) - q^{(\ell(x)-\ell(w))/2}P_{x,w}\\
&\qquad = \sum_{x

という関係式の左辺を  の多項式とみたときに定数項がないことを用いて帰納的に計算することができる。この公式を手で計算するのは、コクセター群の階数が3を超えると非常に大変であるが、コンピュータで計算するのには向いている。ただし、階数が大きくなれば、*W* の位数が大きくなるため、この多項式の族の数が膨大になり、コンピュータの記憶容量を超えてしまう限界がある。

## 例
* のとき、 の定数項は  である。 
* かつ \ell(w)-\ell(y) が  のいずれかであるなら、 である。
* を有限コクセター群とし、 をその最長元とすると、すべての  に対して  である。
* を  型または  型（あるいはより一般に高々階数2の）コクセター群とする。このとき、 ならば  であり、それ以外はすべて  である。
* を  型のコクセター群とし、その生成系を  とし、 と  が可換であるとする。このとき、  であり、定数ではない多項式の例になっている。 
*階数の小さいコクセター群においては、カジュダン・ルスティック多項式は単純な形をしているが、階数が大きくなるとそうはいかなくなる。例えば、 の分解型において、最も複雑なカジュダン・ルスティック・ヴォーガン多項式（カジュダン・ルスティック多項式の変種）は次のような形をしている：
:: 
\begin{align}
& {} \qquad 152\, q^{22} + \textrm{3,472}\, q^{21} + \textrm{38,791}\, q^{20} + \textrm{293,021}\, q^{19} + \textrm{1,370,892}\, q^{18} \\
& {} + \textrm{4,067,059}\, q^{17} + \textrm{7,964,012}\, q^{16} + \textrm{11,159,003}\, q^{15} + \textrm{11,808,808}\, q^{14} \\
& {} + \textrm{9,859,915}\, q^{13} + \textrm{6,778,956}\, q^{12} + \textrm{3,964,369}\, q^{11}  + \textrm{2,015,441}\, q^{10} \\
& {}  + \textrm{906,567}\, q^{9}   + \textrm{363,611}\, q^{8}    + \textrm{129,820}\, q^{7}     + \textrm{41,239}\, q^{6} + \textrm{11,426}\, q^5 \\
& {}  + \textrm{2,677}\, q^4 + 492\, q^3 + 61\, q^2 + 3\, q.
\end{align}

また、パトリック・ポロは、定数項が1で非負整数係数であるようなどんな多項式も、ある階数の対称群のある元の対に付随するカジュダン・ルスティック多項式であることを示している 。

## カジュダン・ルスティック予想
カジュダン・ルスティック多項式は、ヘッケ環の標準的な基底と自然な基底の間の変換係数として現れている。**' 誌の論文において、カジュダン・ルスティックはカジュダン・ルスティック予想として知られている2つの同値な予想を提出した。この予想は、複素半単純リー群およびリー環の表現論において長年の懸案であった問題と、カジュダン・ルスティック多項式の  での値とを結びつけるものであった。

 を有限ワイル群とし、 を対応するルート系の正ルートの総和の半分（ワイルベクトル）とおく。 の元  に対し、 を最高ウェイト  のヴァーマ加群とし、 をその既約商、すなわち最高ウェイト  の既約加群とする。 と  はともに、 に対応する複素半単純リー環 <math>\mathfrak{g}</math> 上の局所有限なウェイト加群であり、代数的指標が意味を持つ。一般に <math>\mathfrak{g}</math>-加群  の指標を  とかく。**カジュダン・ルスティック予想**とは次のようなものである：

: <math>\begin{align}
\operatorname{ch}(L_w)&=\sum_{y\le w}(-1)^{\ell(w)-\ell(y)}P_{y,w}(1)\operatorname{ch}(M_y),\\
\operatorname{ch}(M_w)&=\sum_{y\le w}P_{w_0w,w_0y}(1)\operatorname{ch}(L_y).
\end{align}</math>

ここで  は  の最長元である。

これらの予想は、 と  によって独立に証明された。一連の証明の中で導入された方法は、1980年代、1990年代を通じて、[[幾何学的表現論]]と呼ばれる手法の発展を導いた。

===注意===
# 2つの予想は同値であることが知られている。さらに、ボルホ・ヤンツェンの translation principle を用いれば、 を任意の支配的正則な整ウェイトに取り替えることができる。従って、カジュダン・ルスティック予想は、 <math>\mathcal{O}</math> の正則かつ整のブロックにおけるヴァーマ加群のジョルダン・ヘルダー重複度を記述していることになる。
# ヤンツェン予想からカジュダン・ルスティック多項式に対する類似の解釈を与えることができる。この予想は大雑把に述べると、 の個別の係数が、ヤンツェンフィルターと呼ばれるヴァーマ加群のフィルターの次数商に現れる  の重複度を記述しているというものである。正則かつ整の場合におけるヤンツェン予想は、ベイリンソン・ベルンシュタインの後の論文によって示された。
# デビッド・ヴォーガンはこの予想から  が導かれることを示し、さらに <math>\operatorname{Ext}^j(M_y,L_w)</math> は <math>j+\ell(w)+\ell(y)</math> が奇数のときは消えていることを示した。従って、圏 <math>\mathcal{O}</math> における [[Ext群]]の次元はカジュダン・ルスティック多項式の係数で決定されることになる。このことは、有限ワイル群に対するカジュダン・ルスティック多項式の係数はすべて非負整数であることを示している。しかし、これらの係数の非負性は、交叉コホモロジー群の次元として解釈することにより、カジュダン・ルスティック予想とは関係なく示されている。逆に、カジュダン・ルスティック多項式とExt群との関係を予想の証明に用いようとすることは理論的には可能であるが、この方法で予想を証明することは実際には難しいということがわかっている。
# カジュダン・ルスティック予想の特別な場合は簡単に示すことが出来る。例えば、 は反支配的 (antidominant) なヴァーマ加群であるが、既約になることが知られている。すなわち、 である。これは第2の予想の  の場合にあたり、和は  の一項のみになっている。他方、第1の予想の  の場合は、[[ワイルの指標公式]]・ヴァーマ加群の指標公式と  であることを用いて導かれる。
#  は、一般の対称化可能な[[カッツ・ムーディ代数]]に対するカジュダン・ルスティック予想の一般化を証明した。

==シューベルト多様体の交叉コホモロジーとの関連==
 をワイル群  をもつ代数群とし、 をそのとする。ブリュア分解によると、商空間  は  の元  でパラメトライズされたアフィン空間  に分割される。 の閉包を**シューベルト多様体**と呼ぶ。[[ドリーニュ]]の示唆のもとカジュダン・ルスティックは、カジュダン・ルスティック多項式がシューベルト多様体の交叉コホモロジー群を用いてどのように記述されるかを示した。

より正確に述べると、カジュダン・ルスティック多項式  は
:<math>P_{y,w}(q) = \sum_iq^i\dim IH^{2i}_{X_y}(\overline{X_w})</math>
と表される。右辺の意味は次の通りである。まず ''w'' に対応するシューベルト多様体 <math>\overline{X_w}</math> の交叉コホモロジーを超コホモロジーに持つような層の複体  を取る。この複体の  次のコホモロジー層を取り、 の任意の点における茎 <math>IH^{2i}_{X_y}(\overline{X_w})</math> を取る。それらの次元を  倍したものの和が右辺である。奇数次元のコホモロジー群は消えているので和の中には現れない。

これは有限ワイル群に対するカジュダン・ルスティック多項式のすべての係数が非負であることの最初の証明を与えるものであった。

==実リー群への一般化==
**ルスティック・ヴォーガン多項式**（これもカジュダン・ルスティック多項式と呼ばれたり、**カジュダン・ルスティック・ヴォーガン多項式*'と呼ばれることもある）は、 において導入された。これはカジュダン・ルスティック多項式の類似物であるが、実半単純[[リー群の表現|リー群の表現論]]を記述するために導入されたものであり、ユニタリ双対の記述に関する予想において主要な役割を担っている。その定義はカジュダン・ルスティック多項式にくらべてより複雑であるが、それは複素半単純リー群に比べて実半単純リー群の表現が複雑であることを反映である。

表現論と直接関係する差異を両側剰余類の言葉で説明する。複素リー群  とそのボレル部分群  から作られる複素[[旗多様体]]  上の作用に関する類似を考える。もとのカジュダン・ルスティック多項式の場合は、
:<math>B\backslash G/B</math>
の分解についてのもので、これはブリュア分解という古典的な主題であり、中のシューベルト胞体以前のものである。ルスティック・ヴォーガン多項式の場合は、 の実形  とその極大コンパクト部分群  とその複素化  を考える。このとき研究の対象は
:<math>K \backslash G/B</math>
である。

2007年3月、 の分解型の場合に、ルスティック・ヴォーガン多項式が計算されたと発表された。

==他の表現論的対象への一般化==
カジュダン・ルスティックの第2の論文において、カジュダン・ルスティック多項式の幾何学的な、すなわち旗多様体中のシューベルト多様体の特異点の幾何を用いた定義が与えられた。ルスティックのその後の多くの研究において、特異点を持つような代数多様体の中で表現論において自然に現れるような多様体、特にやの文脈においても、カジュダン・ルスティック多項式の類似物を発見した。それらの研究によって、[[量子群]]、、の表現論は、カジュダン・ルスティック多項式の類似物によって精密に統制されていることがわかった。それらの多項式は初等的に定義されるものの、表現論において必要となる深い性質は、例えば交叉コホモロジーや[[偏屈層]]、ベイリンソン・ベルンシュタイン・ドリーニュの分解定理のように、洗練された現代的な[[代数幾何]]や[[ホモロジー代数]]の手法から導かれる。

また、カジュダン・ルスティック多項式の係数は、ゾーゲル両側加群のなす圏の中におけるある射の空間の次元に一致すると予想されている。この予想は、任意のコクセター群に対してカジュダン・ルスティック多項式の係数の意味づけを与えるという点では、現在知られている唯一のものである。

==組合せ論==
カジュダン・ルスティック多項式やその一般化の持つ組合せ論的な性質は現在も活発に研究されている。

表現論や代数幾何におけるカジュダン・ルスティック多項式の重要性に鑑み、カジュダン・ルスティック多項式の理論を純組合せ論的に、すなわち旗多様体の幾何学的考察を用いることはあっても、交叉コホモロジーなどの高級な道具を用いることなしに理解するいくつかの試みがなされている。この試みは、代数的組合せ論において、シューベルト多様体の特異性を組合せ論的に記述し、カジュダン・ルスティック多項式の係数に関する評価を与える *pattern-avoidance phenomenon'' のような興味深い発展を導いた。 や  を参照。

2005年現在、カジュダン・ルスティック多項式の係数すべてを（何らかの自然な集合の濃度の形で）組合せ論的に解釈する方法は、対称群の場合においてさえ知られていない。しかし、多くの特殊な場合において係数に対する具体的な公式は知られている。

## 参考文献
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.

## 外部リンク
*Readings from Spring 2005 course on Kazhdan-Lusztig Theory at U.C. Davis by Monica Vazirani
*Goresky's tables of Kazhdan–Lusztig polynomials. 
*The GAP programs for computing Kazhdan–Lusztig polynomials. 
*Fokko du Cloux's Coxeter software for computing Kazhdan-Lusztig polnomials for any Coxeter group
*Atlas software for computing Kazhdan–Lusztig-Vogan polynomials.