[论文解读] Geometry of q-Hypergeometric Functions, Quantum Affine Algebras and Elliptic Quantum Groups

Vitaly Tarasov, Alexander Varchenko|ArXiv.org|Mar 27, 1997

Algebraic structures and combinatorial models参考文献 26被引用 47

一句话总结

本文通过求解 $U_q({\frak{sl}}_2)$ 的三角形 qKZ 方程，建立了一个几何与代数框架，将 q-超几何函数、量子仿射代数与椭圆量子群联系起来。通过椭圆量子群 $E_{\rho,\gamma}({\frak{sl}}_2)$ 上的赋值 Verma 模的张量积构造解，将过渡函数识别为椭圆 R-矩阵，并表明渐近解对应于对称 A 型 Jackson 积分，揭示了量子可积系统与特殊函数之间深刻的联系。

ABSTRACT

The trigonometric quantized Knizhnik-Zamolodchikov equation (qKZ equation) associated with the quantum group $U_q(sl_2)$ is a system of linear difference equations with values in a tensor product of $U_q(sl_2)$ Verma modules. We solve the equation in terms of multidimensional $q$-hypergeometric functions and define a natural isomorphism between the space of solutions and the tensor product of the corresponding evaluation Verma modules over the elliptic quantum group $E_{ρ,γ}(sl_2)$, where parameters $ρ$ and $γ$ are related to the parameter $q$ of the quantum group $U_q(sl_2)$ and the step $p$ of the qKZ equation via $p=e^{2\piiρ}$ and $q=e^{-2\piiγ}$. We construct asymptotic solutions associated with suitable asymptotic zones and compute the transition functions between the asymptotic solutions in terms of the dynamical elliptic R-matrices. This description of the transition functions gives a connection between representation theories of the quantum loop algebra $U_q(\widetilde{gl}_2$ and the elliptic quantum group $E_{ρ,γ}(sl_2)$ and is analogous to the Kohno-Drinfeld theorem on the monodromy group of the differential Knizhnik-Zamolodchikov equation. In order to establish these results we construct a discrete Gauss-Manin connection, in particular, a suitable discrete local system, discrete homology and cohomology groups with coefficients in this local system, and identify an associated difference equation with the qKZ equation.

研究动机与目标

• 通过表示论方法求解 $U_q({\frak{sl}}_2)$ 的三角形 qKZ 方程。
• 建立 qKZ 方程解与椭圆量子群 $E_{\rho,\gamma}({\frak{sl}}_2)$ 上模之间的几何对应关系。
• 利用赋值 Verma 模与 $p$-周期函数，定义解空间上的张量坐标。
• 将 qKZ 方程不同渐近区域之间的过渡函数与椭圆 R-矩阵及 Jackson 积分的连接矩阵联系起来。
• 证明 qKZ 方程的渐近解与对称 A 型 Jackson 积分一致，从而将量子可积性与特殊函数联系起来。

提出的方法

• 通过椭圆量子群 $E_{\rho,\gamma}({\frak{sl}}_2)$ 上的赋值 Verma 模的张量积构造三角形 qKZ 方程的解。
• 引入张量坐标 $\mathbb{C}_\tau$，它将 $V^{e}_{\tau_1} \otimes \cdots \otimes V^{e}_{\tau_n} \otimes F$ 可逆地映射到解空间 $S$，其中 $F$ 是 $p$-周期函数的空间。
• 推导不同张量坐标系之间的过渡函数 $\mathbb{C}_{\tau,\tau'}$，其作为涉及椭圆 R-矩阵 $R^{\text{ell}}_{V^{e}_l V^{e}_m}(x,\lambda)$ 的算子。
• 将相邻对换的过渡函数表示为扭曲的椭圆 R-矩阵，整合 Cartan 生成元与 $\kappa$-扭变。
• 分析渐近区域 $|z_{\tau_m}/z_{\tau_{m+1}}| \ll 1$（由 $\mathbb{S}^n$ 中的排列 $\tau$ 标记），在每个区域中定义局部解。
• 利用留数计算与归纳法，证明超几何积分的留数和等于对称 A 型 Jackson 积分，与连接矩阵一致。

实验结果

研究问题

• RQ1 如何通过表示论系统地构造 $U_q({\frak{sl}}_2)$ 的三角形 qKZ 方程的解？
• RQ2 qKZ 方程解空间的几何与代数结构是什么？它与椭圆量子群有何关系？
• RQ3 qKZ 方程不同渐近区域之间的过渡函数如何与椭圆 R-矩阵相关联？
• RQ4 对称 A 型 Jackson 积分的连接矩阵如何从 qKZ 方程的渐近解中出现？
• RQ5 $p$-周期函数与赋值 Verma 模在参数化整个解空间中起什么作用？

主要发现

• 三角形 qKZ 方程的解空间微分同构于 $V^{e}_{\tau_1} \otimes \cdots \otimes V^{e}_{\tau_n} \otimes F$，其中 $F$ 是 $p$-周期函数的空间。
• 不同张量坐标系之间的过渡函数由扭曲的椭圆 R-矩阵给出，显式包含 $R^{\text{ell}}_{V^{e}_l V^{e}_m}(z_{\tau_{m+1}}/z_{\tau_m}, \lambda)$ 与 $\kappa$-扭变。
• qKZ 方程渐近解之间的连接矩阵与对称 A 型 Jackson 积分的连接矩阵一致，通过留数计算得以证明。
• Jackson 积分连接矩阵的 Gauß 分解通过 qKZ 连接的结构与椭圆量子群实现。
• 解空间上的超几何配对通过行列式公式表达，超几何解通过多维超几何积分构造。
• 在区域 $|z_{\tau_m}/z_{\tau_{m+1}}| \ll 1$ 中，解的渐近行为由留数和控制，其简化为对称 Jackson 积分，确认了与特殊函数的联系。