[论文解读] The KZB equations on Riemann surfaces

Giovanni Felder|ArXiv.org|Sep 18, 1996

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

一句话总结

本文为亏格 ≥2 的黎曼曲面模空间上带标记点的 Knizhnik–Zamolodchikov–Bernard (KZB) 连接提供了显式公式，通过动力 r-矩阵表达协变导数。关键结果是一个普遍平坦性陈述：协变导数作为系数取自普遍包络代数的微分算子，彼此对易，该结论不仅适用于共形块，也适用于一般复数 κ，包括 κ=0。

ABSTRACT

In this paper, based on the author's lectures at the 1995 les Houches Summer school, explicit expressions for the Friedan--Shenker connection on the vector bundle of WZW conformal blocks on the moduli space of curves with tangent vectors at $n$ marked points are given. The covariant derivatives are expressed in terms of ``dynamical $r$-matrices'', a notion borrowed from integrable systems. The case of marked points moving on a fixed Riemann surface is studied more closely. We prove a universal form of the (projective) flatness of the connection: the covariant derivatives commute as differential operators with coefficients in the universal enveloping algebra -- not just when acting on conformal blocks.

研究动机与目标

• 为带标记点的高亏格黎曼曲面模空间上的 KZB 连接提供显式、坐标无关的表达式。
• 以普遍形式建立连接的平坦性，独立于特定表示或共形块。
• 通过动力 r-矩阵和 ℓ-算子，将 KZB 连接与经典可积系统联系起来。
• 通过以 r-矩阵形式表述经典情形，为高亏格黎曼曲面上共形场论的 q-变形奠定基础。

提出的方法

• 通过 G-丛模空间的双陪集表示（G=SL(N,C)），将共形块定义为在 G(U_S^×) 上变换于特定群作用下的全纯函数。
• 协变导数通过涉及二阶微分算子 A(z) 的围线积分表达，A(z) 依赖于二次微分和切向量 ζ。
• 通过能量-动量张量插入定义连接，协变导数为 ∇_ζu = ∂_ζu + (1/2πi)∮ A(z)ζ(z)dz u，其中 A(z) 由动力 r-矩阵构造而成。
• 通过证明协变导数的对易子作为系数取自普遍包络代数的微分算子恒为零，从而普遍证明平坦性。
• 证明依赖于经典动力杨-巴克斯方程和对偶考绍尔数，利用普遍包络代数中的迹恒等式。
• 该框架推广了希钦对亏格 ≥2 的方法，将哈密顿量的泊松对易性推广至整个连接。

实验结果

研究问题

• RQ1 如何在不依赖特定坐标或参数化的情况下，显式表述高亏格黎曼曲面模空间上带标记点的 KZB 连接？
• RQ2 KZB 连接是否在普遍意义上平坦，不仅限于其在共形块上的作用，且对一般复数水平 κ 成立？
• RQ3 动力 r-矩阵在表达协变导数并确保平坦性方面起着何种精确作用？
• RQ4 经典 KZB 方程能否以 ℓ-算子和 r-矩阵等可积系统结构重新表述，从而实现 q-变形？
• RQ5 对偶考绍尔数如何自然地出现在 KZB 连接曲率计算中？

主要发现

• KZB 连接中的协变导数被表达为系数取自普遍包络代数的微分算子，其对易子恒为零，从而无需参考共形块即可普遍证明平坦性。
• 平坦性结果对所有复数水平 κ 成立，包括奇异点 κ=0，后者在几何朗兰兹和希钦系统量化中具有重要意义。
• 连接在带标记点的黎曼曲面模空间上被证明是射影平坦的，推广了亏格 0 和 1 时的已知结果。
• 曲率计算的基础是动力 r-矩阵结构，对偶考绍尔数的出现通过普遍包络代数中的迹恒等式得以解释。
• 协变导数的主符号作为哈密顿量彼此对易，将 KZB 连接与可积系统以及带标记点的希钦系统联系起来。
• 该框架为 KZB 方程提供了普遍、坐标无关的表述，适用于 q-变形，完成了圣彼得堡 q-变形方法的第一步。