[论文解读] Flat Connections and Quantum Groups

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

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

一句话总结

本文建立了复半单李代数 𝔤 的 Cartan 子代数上平坦联络 ∇_C（即卡西米尔联络）的单值性与德林费尔德-日梅诺量子群中量子 Weyl 群作用之间的猜想性联系。对于 𝔰𝔩ₙ 及任意 𝔤 的向量、旋量或伴随表示，本文证明了该猜想，表明卡西米尔联络的单值性通过精确的代数同态实现了量子 Weyl 群作用，并将该联络在特定权为零的向量子空间上识别为恰当时空的切赫尼克广义 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.

研究动机与目标

• 建立复半单李代数 𝔤 的 Cartan 子代数上平坦联络 ∇_C 的单值性与 U_ℏ𝔤 中量子 Weyl 群作用之间的猜想性对应关系。
• 证明当 𝔤 = 𝔰𝔩ₙ 以及对任意 𝔤 的向量、旋量或伴随表示时，该对应关系成立。
• 阐明卡西米尔联络与切赫尼克对有限反射群的 KZ 联络推广之间的关系。
• 识别出在其中卡西米尔联络约化为特定权重下的 Coxeter–KZ 联络的权为零向量子空间 V[[0]]。

提出的方法

• 在 Cartan 子代数中根超平面的补集上构造卡西米尔联络 ∇_C，作为具有极点的平坦梅雷莫尼奇联络，其极点由卡西米尔元素 C_α 定义。
• 通过验证任意一对张成二维平面的超平面满足 [r_j, ∑_{j'∈J} r_j'] = 0，应用 Kohno 的平坦性准则。
• 利用超平面排列的单值李代数 𝔞(𝒜) 来形式化联络单值性的代数结构。
• 通过限制到所有正根 α 满足 e_α²v = 0 的向量子空间 V[[0]]，将卡西米尔联络与切赫尼克的广义 KZ 联络联系起来。
• 建立从卡西米尔代数 𝒞_𝔤 到群代数 ℂ[W] 的代数同态，将 C_α 映射为 ⟨α,α⟩P₀(1−s_α)P₀，其中 P₀ 是到在 V[[0]] 中可实现的表示的投影。
• 利用舒尔–韦伊德uality 及表示论结果，证明某些 𝔤 和 V 的不可约 Weyl 群表示作为 V[[0]] 的子表示出现。

实验结果

研究问题

• RQ1 复半单李代数 𝔤 的 Cartan 子代数上卡西米尔联络 ∇_C 的单值性是否实现 U_ℏ𝔤 中的量子 Weyl 群作用？
• RQ2 对于 𝔤 = 𝔰𝔩ₙ 及其他经典表示，能否证明 ∇_C 的解析单值性与形式量子 Weyl 群表示之间的猜想等价性？
• RQ3 卡西米尔联络如何与切赫尼克对有限反射群的 KZ 联络推广相关联？
• RQ4 对于给定的 𝔤 和 𝔤-模 V，哪些不可约 Weyl 群 W 表示作为 V[[0]] 的子表示出现？
• RQ5 卡西米尔代数 𝒞_𝔤 在单值同态到 ℂ[W] 下的像的精确代数结构是什么？

主要发现

• 对 𝔤 = 𝔰𝔩ₙ，卡西米尔联络 ∇_C 的单值性与量子 Weyl 群作用之间的猜想等价性已得证。
• 对任意 𝔤 及 V = 向量、旋量或伴随表示，卡西米尔联络 ∇_C 的单值性被证明实现了量子 Weyl 群作用。
• 在子空间 V[[0]] = {v ∈ V[0] | e_α²v = 0 对所有正根 α 成立} 上，卡西米尔联络 ∇_C 与切赫尼克的 Coxeter–KZ 联络（权重 k_α = −h⟨α,α⟩）重合。
• 卡西米尔代数 𝒞_𝔤 通过满射且 W-等变同态映射到子代数 P₀ℂ[W]P₀ ⊆ ℂ[W]，其中 C_α ↦ ⟨α,α⟩P₀(1−s_α)P₀。
• 在 V[[0]] 中出现的不可约 Weyl 群 W 表示包括 𝔰𝔩ₙ 的所有舒尔–韦伊德对偶表示 U_λ，以及对任意 𝔤，Λⁱ𝔥 嵌入到 Λⁱ𝔤[[0]] 中。
• 并非所有不可约 W-表示都出现在 V[[0]] 中；对正交 Weyl 群 Bₙ（n≥2）和 Dₙ（n≥4）存在反例。