[论文解读] A Selberg Integral Type Formula for an sl_2 One-Dimensional Space of Conformal Blocks

Alexander Varchenko|ArXiv.org|Oct 19, 2008

Advanced Topics in Algebra参考文献 8被引用 8

一句话总结

本文推导出在黎曼球面上 $ \mathfrak{sl}_2 $ 任意块在等级一时的 Selberg 积分型公式。它构造了一个齐次的、$ \mathfrak{sl}_2 $-不变的多项式 $ P(\boldsymbol{y};\boldsymbol{z}) $，其在 $ 2N $ 个变量中总次数为 $ N $，每个变量线性，且在 $ \boldsymbol{y}=\boldsymbol{z} $ 处的零点阶数为 $ N-1 $，并通过多维 Selberg 型积分给出了共形块的显式超几何积分表示，从而得到了一个精确的归一化常数 $ C $，其以 Gamma 函数和单位根的形式表达。

ABSTRACT

For distinct complex numbers $z_1,...,z_{2N}$, we give a polynomial $P(y_1,...,y_{2N})$ in the variables $y_1,...,y_{2N}$, which is homogeneous of degree $N$, linear with respect to each variable, $sl_2$-invariant with respect to a natural $sl_2$-action, and is of order $N-1$ at $(y_1,...,y_{2N})=(z_1,...,z_{2N})$. We give also a Selberg integral type formula for the associated one-dimensional space of conformal blocks.

研究动机与目标

• 构造黎曼球面上 $ \mathfrak{sl}_2 $ 共形块在等级一时的一维空间的显式生成元。
• 为该丛上 Knizhnik-Zamolodchikov (KZ) 连接的平坦截面的超几何积分表示提供闭式表达。
• 通过分析相关超几何积分的渐近行为和单值性，建立共形块的 Selberg 型积分公式。
• 确定将积分与多项式生成元 $ P(\boldsymbol{y};\boldsymbol{z}) $ 关联的精确归一化常数 $ C $。

提出的方法

• 构造多项式 $ P(\boldsymbol{y};\boldsymbol{z}) = \det_{1\leq a,b\leq N}\left(\frac{y_a - y_{N+b}}{z_a - z_{N+b}}\right) $，其为总次数 $ N $ 的齐次多项式，每个 $ y_i $ 线性，且 $ \mathfrak{sl}_2 $-不变。
• 利用共形块丛上的 KZ 连接，将平坦截面表示为 $ \tilde{s}(\boldsymbol{z}) = \tilde{A}(\boldsymbol{z}) P(\boldsymbol{y};\boldsymbol{z}) $，其中 $ \tilde{A}(\boldsymbol{z}) $ 是一个具有单值性（由连接的正则奇点决定）的多值函数。
• 分析当 $ z_{N+a} - z_a \to 0 $ 时超几何积分 $ I_\gamma(\boldsymbol{z}) $ 的渐近行为，以确定单值性因子 $ \prod_{a<b}(z_b - z_a)^{\alpha_{a,b}} $ 中的指数 $ \alpha_{a,b} $。
• 将 $ I_\gamma(\boldsymbol{z}) $ 的渐近行为与 $ \tilde{A}(\boldsymbol{z}) P(\boldsymbol{y};\boldsymbol{z}) $ 的渐近行为进行比较，以固定归一化，得出 $ \alpha_{a,N+a} = 1/2 $，并确定 $ A(\boldsymbol{z}) $ 的完整形式。
• 通过 Gamma 函数恒等式与单值性数据推导出归一化常数 $ C = e^{-\pi i N^2/3} (3e^{\pi i/6} \Gamma(2/3)^3 \sin(\pi/3)/\pi)^N $。
• 通过比较 $ I_\gamma(\boldsymbol{z}) = C s(\boldsymbol{z}) $ 中 $ y_1 \cdots y_N $ 的系数，建立 Selberg 型公式 (5.5)。

实验结果

研究问题

• RQ1 在黎曼球面上有 $ 2N $ 个标记点时，$ \mathfrak{sl}_2 $ 共形块在等级一时的一维空间的显式生成元是什么？
• RQ2 在此情况下，KZ 连接的平坦截面的超几何积分表示如何显式求值？
• RQ3 将多维超几何积分与 $ \mathfrak{sl}_2 $-不变多项式生成元关联的精确归一化常数是什么？
• RQ4 积分的单值性性质与渐近行为如何决定共形块截面的结构？

主要发现

• 多项式 $ P(\boldsymbol{y};\boldsymbol{z}) = \sum_{\sigma \in S_N} (-1)^\sigma \prod_{a=1}^N \frac{y_{\sigma_a} - y_{N+a}}{z_{\sigma_a} - z_{N+a}} $ 生成了 $ \mathfrak{sl}_2 $ 共形块在等级一时的一维空间。
• KZ 连接的平坦截面为 $ s(\boldsymbol{z}) = A(\boldsymbol{z}) P(\boldsymbol{y};\boldsymbol{z}) $，其中 $ A(\boldsymbol{z}) = \prod_{1\leq a<b\leq 2N} (z_b - z_a)^{\alpha_{a,b}} $，且满足 $ \alpha_{a,N+a} = 1/2 $，其余 $ \alpha_{a,b} = 0 $。
• Selberg 型公式中的归一化常数为 $ C = e^{-\pi i N^2/3} (3e^{\pi i/6} \Gamma(2/3)^3 \sin(\pi/3)/\pi)^N $，该结果通过渐近分析与 Gamma 函数恒等式推导得出。
• 超几何积分 $ I_\gamma(\boldsymbol{z}) $ 等于 $ C \cdot s(\boldsymbol{z}) $，且两边 $ y_1 \cdots y_N $ 的系数完全匹配。
• 公式 (5.5) 将 $ N $ 重区间乘积上的多维积分表示为包含 $ \mathfrak{sl}_2 $-不变多项式与差值 $ z_b - z_a $ 的幂的有限和，从而确认了 Selberg 型结构。
• 结果确认了共形块空间为一维，并通过涉及特殊函数的闭式表达，完整显式计算了相关超几何积分。