利用者:Henon/作業用ページ1

Kazhdan-Lusztig多項式の翻訳作業をしてみたいのです。

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

動機と歴史

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

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

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

定義

(W,S)をコクセター群とそのコクセター生成系とし、 $\ell (w)$ をWの元wの長さ、すなわちwをSの元の積で表示したときの最短の長さとする。Wに付随するヘッケ環は、 $\{T_{w}\}_{w\in W}$ というZ[q^1/2,q^-1/2]上の基底を持つ。これらの基底の元の積は

$T_{y}T_{w}=T_{yw},\,$	${\mbox{if }}\ell (yw)=\ell (y)+\ell (w)\,$
$(T_{s}+1)(T_{s}-q)=0,\,$	${\mbox{if }}s\in S.\,$

で定義される。

カジュダン・ルスティック多項式 $P_{y,w}(q)$ はWの元y,wでパラメトライズされ、次の性質を満たすものとして一意的に定まる。

W上のブリュア順序に関して、y $\leq$ wでない限り、値は0であり、y=wのとき値は1、y<wのとき、qに関する次数が高々 ${\frac {\ell (w)-\ell (y)-1}{2}}$ である.
ヘッケ環の元

C'_{w}=q^{-\ell (w)/2}\sum _{y\leq w}P_{y,w}T_{y}

は、

q^{1/2}\mapsto q^{-1/2},T_{w}\mapsto T_{w^{-1}}^{-1}

で定まるヘッケ環上の対合

D

に関して不変である。

このとき、 $C'_{w}$ は、ヘッケ環のZ[q^1/2,q^-1/2]-加群としての基底を与える。この基底をカジュダン・ルスティック基底と呼ぶ。

カジュダン・ルスティック多項式の存在を証明するために、彼らは $R_{y,w}(q)$ というより基本的な多項式を用いて、 $P_{y,w}(q)$ を簡単な帰納法で計算する方法を与えた。その多項式 $R_{y,w}(q)$ は

T_{y^{-1}}^{-1}=\sum _{x}D(R_{x,y})q^{-\ell (x)}T_{x}

で定義され、帰納的に

$R_{x,y}={\begin{cases}0,&{\mbox{if }}x>y\\1,&{\mbox{if }}x=y\\R_{sx,sy},&{\mbox{if }}sx<x{\mbox{ and }}sy<y\\R_{xs,ys},&{\mbox{if }}xs<x{\mbox{ and }}ys<y\\(q-1)R_{sx,y}+qR_{sx,sy},&{\mbox{if }}sx>x{\mbox{ and }}sy<y\end{cases}}$

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

q^{(\ell (w)-\ell (x))/2}D(P_{x,w})-q^{(\ell (x)-\ell (w))/2}P_{x,w}=\sum _{x<y\leq w}(-1)^{\ell (xy)}q^{(-\ell (x)+2\ell (y)-\ell (w))/2}D(R_{x,y})P_{y,w}

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

例

y $\leq$ wのとき、 $P_{y,w}(q)$ の定数項は1。
y $\leq$ wかつ $\ell (w)-\ell (y)$ が0,1,2のいずれかであるなら、 $P_{y,w}(q)=1$ 。
Wを有限コクセター群とし、w₀をその最長元とすると、すべてのyに対して $P_{y,w_{0}}(q)=1$ 。
WをA₁型またはA₂型（あるいはより一般に高々階数2の）コクセター群とする。このとき、y $\leq$ wならば $P_{y,w_{0}}(q)=1$ であり、それ以外はすべて0である。
WをA₃型のコクセター群とし、その生成系を $S=\{a,b,c\}$ とおく。またaとcが可換であるとしよう。このとき、 $P_{b,bacd}(q)=1+q$ 、 $P_{ac,acbca}(q)=1+q$ であり、定数ではない多項式の例になっている。
階数の小さいコクセター群においては、カジュダン・ルスティック多項式は単純な形をしているが、階数が大きくなるとそうはいかなくなる。例えば、E₈の分解型において、最も複雑なカジュダン・ルスティック・ヴォーガン多項式（カジュダン・ルスティック多項式の一般化）は次のような形をしている。

{\begin{aligned}&{}\qquad 152q^{22}+3,472q^{21}+38,791q^{20}+293,021q^{19}+1,370,892q^{18}\\&{}+4,067,059q^{17}+7,964,012q^{16}+11,159,003q^{15}+11,808,808q^{14}\\&{}+9,859,915q^{13}+6,778,956q^{12}+3,964,369q^{11}+2,015,441q^{10}\\&{}+906,567q^{9}+363,611q^{8}+129,820q^{7}+41,239q^{6}+11,426q^{5}\\&{}+2,677q^{4}+492q^{3}+61q^{2}+3q\end{aligned}}

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

カジュダン・ルスティック予想

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

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

\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})

ここでw₀はWの最長元である。

これらの予想は、ベイリンソン・ベルンシュタイン(1981)とブリリンスキー-柏原(1981)によって独立に証明された。一連の証明の中で導入された方法は、1980年代、1990年代を通じて、幾何学的表現論と呼ばれる手法の発展を導いた。

注意

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

シューベルト多様体の交叉コホモロジーとの関連

ワイル群Wに対応する代数群をG、Bをそのボレル部分群とする。ブリュア分解によると、商空間G/BはWの元wでパラメトライズされたアフィン空間 $X_{w}$ に分割される。 $X_{w}$ の閉包をシューベルト多様体と呼ぶ。ドリーニュの示唆のもとカジュダン・ルスティックは、カジュダン・ルスティック多項式がシューベルト多様体の交叉コホモロジー群を用いてどのように記述されるかを示した。

より正確に述べると、カジュダン・ルスティック多項式 $P_{y,w}(q)$ は

P_{y,w}(q)=\sum _{i}q^{i}\dim IH_{X_{y}}^{2i}({\overline {X_{w}}})

と表される。右辺の意味は次の通りである。まずwに対応するシューベルト多様体 ${\overline {X_{w}}}$ の交叉コホモロジーを超コホモロジーに持つような層の複体 $\operatorname {IC}$ を取る。この複体の2i次のコホモロジー層を取り、 ${\overline {X_{y}}}$ における茎 $IH_{X_{y}}^{2i}({\overline {X_{w}}})$ を取る。それらの次元の和が右辺である。奇数次元のコホモロジー群は和の中には現れないが、実は消えている。これは有限ワイル群に対するカジュダン・ルスティック多項式のすべての係数が非負であることの最初の証明を与えるものであった。

実リー群への一般化

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

表現論と直接関係する特徴を両側剰余類の言葉で説明する。これは複素リー群Gとそのボレル部分群Bから作られる複素旗多様体G/B上の作用に関する類似を考えることでもある。もとのカジュダン・ルスティック多項式の場合は、ブリュア分解やグラスマン多様体中のシューベルト胞体から得られる

B\backslash G/B

の分割に基づいている。ルスティック・ヴォーガン多項式の場合は、Gの実形G_Rとその極大コンパクト部分群K_Rとその複素化Kを考える。このとき研究の対象は

K\backslash G/B

である。

2007年3月、 $E_{8}$ の分解型の場合に、ルスティック・ヴォーガン多項式が計算されたとのアナウンスがなされた。

他の表現論的対象への一般化

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

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

組合せ論

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

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

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

参考文献

Beilinson, Alexandre; Bernstein, Joseph (1981), Localisation de g-modules, Sér. I Math., 292, Paris: C. R. Acad. Sci., pp. 15–18 .
Billey, Sara; Lakshmibai, V. (2000), Singular loci of Schubert varieties, Progress in Mathematics, 182, Boston, MA: Birkhäuser, ISBN 0-8176-4092-4 .
Björner, Anders; Brenti, Francesco (2005), “Ch. 5: Kazhdan–Lusztig and R-polynomials”, Combinatorics of Coxeter Groups, Graduate Texts in Mathematics, 231, Springer, ISBN 978-3-540-44238-7 .
Brenti, Francesco (2003), “Kazhdan-Lusztig Polynomials: History, Problems, and Combinatorial Invariance”, Séminaire Lotharingien de Combinatoire, B49b (Ellwangen: Haus Schönenberg) 49 .
Brylinski, Jean-Luc; Kashiwara, Masaki (October 1981), “Kazhdan-Lusztig conjecture and holonomic systems”, Inventiones Mathematicae (Springer-Verlag) 64 (3): 387–410, doi:10.1007/BF01389272, ISSN 0020-9910 .
Kashiwara, M. (1990), “The Kazhdan-Lusztig conjecture for symmetrizable KacMoody algebras”, The Grothendieck Festschrift, II, Progress in Mathem., 87, Boston: Birkhauser, pp. 407–433, MR93a:17026 .
Kazhdan, David; Lusztig, George (June 1979), “Representations of Coxeter groups and Hecke algebras”, Inventiones Mathematicae (Springer-Verlag) 53 (2): 165–184, doi:10.1007/BF01390031, ISSN 0020-9910 .
Kazhdan, David; Lusztig, George (1980a), “A topological approach to Springer's representations”, Advances in Mathematics 38 (2): 222–228, doi:10.1016/0001-8708(80)90005-5 .
Kazhdan, David; Lusztig, George (1980b), “Schubert varieties and Poincaré duality”, Proc. Sympos. Pure Math. (American Mathematical Society) XXXVI: 185–203 .
Lusztig, George; Vogan, David (1983), “Singularities of closures of K-orbits on flag manifolds.”, Inventiones Mathematicae (Springer-Verlag) 71 (2): 365–379, doi:10.1007/BF01389103, ISSN 0020-9910 .
Polo, Patrick (1999), “Construction of arbitrary Kazhdan-Lusztig polynomials in symmetric groups”, Representation Theory. An Electronic Journal of the American Mathematical Society 3: 90–104, ISSN 1088-4165, MR1698201 .
Soergel, Wolfgang (2006), “Kazhdan-Lusztig polynomials and indecomposable bimodules over polynomial rings”, Journal of the Inst. of Math. Jussieu 6 (3): 501–525 .

外部リンク

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.
Atlas software for computing Kazhdan-Lusztig polynomials.