[论文解读] Modular transformations of the elliptic hypergeometric functions, Macdonald polynomials, and the shift operator

Giovanni Felder, L. Stevens+1 more|ArXiv.org|Mar 6, 2002

Algebraic structures and combinatorial models参考文献 14被引用 3

一句话总结

本文通过椭圆超几何积分，推导出在椭圆曲线上 $ℓ}_2$ WZW 模型的共形块上模群 S-变换作用的显式公式。它建立了模群矩阵元与 $A_1$-Macdonald 多项式在单位根处取值之间的直接联系，揭示了通过将 Stokes 定理应用于积分，移位算子控制这些多项式的递归结构。关键结果是用量子群 intertwining 器的重规范化迹函数表示的 S-矩阵的闭式表达式。

ABSTRACT

We consider the space of elliptic hypergeometric functions of the sl_2 type associated with elliptic curves with one marked point. This space represents conformal blocks in the sl_2 WZW model of CFT. The modular group acts on this space. We give formulas for the matrices of the action in terms of values at roots of unity of Macdonald polynomials of the sl_2 type.

研究动机与目标

• 计算模群 $\mathrm{SL}(2,\mathbb{Z})$ 在椭圆曲线上 $ℓ}_2$ WZW 模型共形块空间上的投影作用。
• 将 $S$-变换 $\tau \mapsto -1/\tau$ 的矩阵元与 $A_1$-Macdonald 多项式在单位根处的取值联系起来。
• 提供一组显式的椭圆超几何积分解作为基，使得模表示矩阵可直接计算，而非仅模共轭。
• 阐明移位算子在通过将 Stokes 定理应用于积分表示，实现 Macdonald 多项式递归构造中的作用。

提出的方法

• 共形块的空间被识别为环面上 KZB 热方程的解，其特征为周期性、拟周期性及单值性条件。
• 使用椭圆超几何积分为共形块提供显式积分表示，构成解空间的一组基。
• 通过分析模形式空间的万有覆盖的覆叠变换下这些积分解的单值性，计算模 $S$-变换。
• 将 $S$-变换的矩阵元用与 $U_q(\mathfrak{sl}_2)$ 在单位根处的量子群 intertwining 器相关的重规范化迹函数 $\Psi^{(k)}(q^{-1}, \nu, \mu)$ 表示。
• 对积分应用基于 Stokes 定理的递推过程，重现了移位算子对 Macdonald 多项式的作用。
• 通过将 $f_{m,n}^{(k)}$ 与 $\Psi^{(k)}$ 函数识别，推导出以 Macdonald 多项式在单位根处取值表示的 $S$-矩阵的闭式表达式。

实验结果

研究问题

• RQ1 模群 $\mathrm{SL}(2,\mathbb{Z})$ 如何在椭圆曲线上 $ℓ}_2$ WZW 模型的共形块空间上实现投影作用？
• RQ2 S-变换的矩阵元与 $A_1$-Macdonald 多项式在单位根处取值之间的确切关系是什么？
• RQ3 移位算子如何通过将 Stokes 定理应用于椭圆超几何积分的递归结构中出现？
• RQ4 是否能在一个积分解的典范基下显式计算 $S$-矩阵，而非仅模共轭？
• RQ5 量子群 intertwining 器的迹函数与共形块的模表示之间有何联系？

主要发现

• S-变换的矩阵元由一个涉及 $\Psi^{(k)}$ 函数的显式公式给出，这些函数是 $U_q(\mathfrak{sl}_2)$ 在单位根处 intertwining 器的重规范化迹。
• $S$-矩阵表示为对 $m$ 的求和，其系数包含 $q^{pn - km - k(k+1)}$、二项式系数 $\begin{bmatrix}p\\ k\end{bmatrix}^{-1}$，以及 $\Psi^{(k)}$ 函数的差值。
• 移位算子作用于 $\Psi^{(k)}(q^{-1}, m, n)$ 的结果为 $D \Psi^{(k)} = q^{-k-1} \Psi^{(k+1)}$，确立了与 Macdonald 多项式相同的递归结构。
• 证明了 $A_1$-Macdonald 多项式在单位根处的取值与特定 $\Psi^{(k)}$ 函数的组合一致，验证了 Kirillov 定理的一个特例。
• 通过将 Stokes 定理应用于椭圆超几何积分，几何地实现了从 Schur 多项式经由移位算子构造 Macdonald 多项式的递归过程。
• 通过显式识别积分基 $f_{m,n}^{(k)}$ 与重规范化迹函数 $\Psi^{(k)}$，推导出 $S$-矩阵的闭式表达式，从而得到模变换的显式公式。