[論文レビュー] Flat Connections and Quantum Groups

Valerio Toledano-Laredo|arXiv (Cornell University)|May 16, 2002

Algebraic structures and combinatorial models参考文献 18被引用数 6

ひとこと要約

本稿は、複素単純リー代数 𝔤 のカルタン部分代数における平坦接続 ∇_C（カシミール接続）のモノドロミーと、ドリンフェルド＝ジンボ量子群における量子ウェイル群作用との間の推測的関係を確立する。𝔰𝔩ₙ および任意の 𝔤 に対してベクトル表現、スピン表現、または随伴表現を用いた場合に、この予想を証明し、カシミール接続のモノドロミーが明確な代数的同型写像を通じて量子ウェイル群作用を実現することを示している。また、特定の重みを持つ重みゼロベクトルの部分空間において、この接続がチレニクの一般化されたKZ接続と一致することを特定している。

ABSTRACT

We review the Kohno-Drinfeld theorem as well as a conjectural analogue relating quantum Weyl groups to the monodromy of a flat connection D on the Cartan subalgebra of a complex, semi-simple Lie algebra g with poles on the root hyperplanes and values in any g-module V. We sketch our proof of this conjecture when g=sl(n) and when g is arbitrary and V is a vector, spin or adjoint representation. We also establish a precise link between the connection D and Cherednik's generalisation of the KZ connection to finite reflection groups.

研究の動機と目的

• 複素単純リー代数 𝔤 のカルタン部分代数における平坦接続 ∇_C（カシミール接続）のモノドロミーと、U_ℏ𝔤 における量子ウェイル群作用との間の推測的対応を確立すること。
• 𝔤 = 𝔰𝔩ₙ および任意の 𝔤 に対して、ベクトル、スピン、または随伴表現を用いた場合に、この対応を証明すること。
• カシミール接続と、有限反射群におけるKnoizhnik–Zamolodchikov接続の一般化であるチレニクの接続との関係を明確にすること。
• すべての正根 α に対して e_α²v = 0 を満たすベクトル v のなす部分空間 V[[0]] において、カシミール接続が特定の重みを持つコックスター–KZ接続に還元されることを同定すること。

提案手法

• 根超平面の補集合におけるカルタン部分代数上に、カシミール作用素 C_α によって定義される留数をもつ、平坦な有理型接続としてカシミール接続 ∇_C を構成する。
• コフノの平坦性基準を適用し、任意の2平面をなす超平面のペアに対して [r_j, ∑_{j'∈J} r_j'] = 0 を満たすことを確認することで、有理型接続の平坦性を検証する。
• 超平面配置のホロノミーリー代数 𝔞(𝒜) を用いて、接続のモノドロミーの代数的構造を形式化する。
• すべての正根 α に対して e_α²v = 0 を満たすベクトルのなす部分空間 V[[0]] に制限することで、カシミール接続をチレニクの一般化されたKZ接続と関連付ける。
• カシミール代数 𝒞_𝔤 から群代数 ℂ[W] への代数的同型写像を構築し、C_α が ⟨α,α⟩P₀(1−s_α)P₀ に写されるように定める。ここで P₀ は V[[0]] に実現可能な表現への射影である。
• シューア–ウェイル双対性および表現論的結果を用いて、特定の 𝔤 および V に対して、不可約ウェイル群表現が V[[0]] の部分表現として現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 複素単純リー代数 𝔤 のカルタン部分代数におけるカシミール接続 ∇_C のモノドロミーは、U_ℏ𝔤 における量子ウェイル群作用を実現するか？
• RQ2 解析的モノドロミー ∇_C と形式的量子ウェイル群表現との間の予想的同値性は、𝔤 = 𝔰𝔩ₙ および他の古典的表現に対して証明可能か？
• RQ3 カシミール接続は、有限反射群におけるKZ接続の一般化であるチレニクの接続とどのように関係しているか？
• RQ4 与えられた 𝔤 および 𝔤-加群 V に対して、V[[0]] に現れるウェイル群 W の不可約表現はどれか？
• RQ5 カシミール代数 𝒞_𝔤 がモノドロミー準同型を通じて ℂ[W] に写された像の正確な代数的構造は何か？

主な発見

• カシミール接続 ∇_C のモノドロミーと量子ウェイル群作用との間の予想的同値性は、𝔤 = 𝔰𝔩ₙ に対して証明された。
• 任意の 𝔤 および V = ベクトル、スピン、または随伴表現に対して、∇_C のモノドロミーが量子ウェイル群作用を実現することが示された。
• 部分空間 V[[0]] = {v ∈ V[0] | e_α²v = 0 がすべての正根 α に対して成り立つ} において、カシミール接続 ∇_C は重み k_α = −h⟨α,α⟩ をもつチレニクのコックスター–KZ接続と一致する。
• カシミール代数 𝒞_𝔤 は、P₀ℂ[W]P₀ ⊆ ℂ[W] に全射的かつ W-不変的に写像され、C_α ↦ ⟨α,α⟩P₀(1−s_α)P₀ と対応する。
• V[[0]] に現れるウェイル群 W の不可約表現には、𝔰𝔩ₙ におけるすべてのシューア–ウェイル双対表現 U_λ が含まれ、任意の 𝔤 に対して外積代数 Λⁱ𝔥 は Λⁱ𝔤[[0]] に埋め込まれる。
• すべての不可約 W-表現が V[[0]] に現れるわけではない；直交ウェイル群 Bₙ (n≥2) および Dₙ (n≥4) に対して反例が存在する。