Differential equations for Dotsenko--Fateev integrals: the case of degenerate fields $\Phi_{n,1}$

技术摘要：Dotsenko–Fateev 积分的微分方程（退化场 $\Phi_{n,1}$）

问题陈述
在共形场论（CFT）中，计算涉及退化场 $\Phi_{n,m}$ 的相关函数是一个核心问题。此类函数满足阶数为 $nm$ 的 Belavin–Polyakov–Zamolodchikov (BPZ) 微分方程。虽然 Dotsenko 和 Fateev 利用库仑气体方法和筛选算子为这些解提供了积分表示，但对于任意 $n$ 显式推导相应的更高阶微分方程已被证明非常困难。以往的研究（例如针对三阶情况 $n=3$ 的研究）依赖于特定的假设或全导数组合，未能揭示出适用于任意 $n$ 的通用结构或系统性模式。此外，尽管这些积分与 BPZ 方程之间的对应关系是已知的，但在标准 CFT 形式体系内（不使用概率框架）进行直接、算法化的推导仍然是一个技术挑战。

方法论
本文将此前由 Mimachi 用于验证三阶 Dotsenko–Fateev 方程的全导数方法扩展到了任意阶 $n$。其核心方法包括：

1. 积分表示： 研究重点在于具有退化场 $\Phi_{n,1}$ 的四点相关函数的全纯部分，该部分由一个 $(n-1)$ 重积分表示：
   $$F_n(z) = \int \dots \int \prod_{i=1}^{n-1} t_i^A (t_i-1)^B (t_i-z)^C \prod_{i<j} (t_i-t_j)^g \, dt_1 \dots dt_{n-1}$$
   其中参数 $\{A, B, C, g\}$ 由共形维度和耦合常数决定。

2. 辅助函数与全导数： 作者定义了一系列包含项 $(t_i-z)^{-k}$ 的辅助对称函数层次结构。通过构建关于积分变量 $t_i$ 的全导数的特定线性组合，作者建立了将这些辅助函数与积分 $I_n(z)$ 对 $z$ 的导数联系起来的系统关系。

3. 递归消除： 一个关键的创新是构造了一个递归系统。作者证明了辅助函数可以递归地表示为积分对 $t_i$ 的偏导数的函数。具体而言，通过全导数的组合，可以消除未知的积分项，从而将系统简化为 $F_n(z)$ 的一组闭合线性常微分方程（ODEs）。

4. 算法化构造： 本文提供了一种完整的算法化程序来确定 $n$ 阶微分方程的系数。这些系数通过涉及 Pochhammer 符号和三角数的递推关系来定义，避免了符号上的歧义。

主要贡献与结果

• 通用微分方程： 本文推导了满足任意 $n$ 阶 Dotsenko–Fateev 积分的通用形式微分方程。该方程以两种形式呈现：基于递推的形式（式 21）和系数为 $(z-1)^l z^j$ 之和的规范形式（式 22）。
• 系数结构： 文中提供了微分方程系数的显式递推关系。这些关系取决于积分参数 $\{A, B, C, g\}$ 和阶数 $n$。
• BPZ 对应关系的验证： 将推导出的通用方程与标准 CFT 结果进行了对比验证。通过将奇异矢量算符 $D_{n,1}$ 作用于四点相关函数，作者展示了当参数根据 Liouville 理论进行映射时，生成的 BPZ 方程与推导出的通用形式（式 22）完全一致。此验证过程针对最高九阶的方程进行了执行。
• 与超几何算子的联系： 本文建立了通用 Dotsenko–Fateev 方程与广义超几何算子（$pF_q$）之间的关系。作者识别了在特定参数约束下（例如 $B=C=g=0$ 或 $A=-1, g=0, B+C=0$），通用方程会退化为超几何微分方程。对于 $n \geq 3$，这些约束比已知的三阶情况中 $2B+2C+g+1=0$ 的简单条件更为严格。

意义与主张
本文声称其主要贡献在于提供了一种系统且算法化的方法，用于构造 Dotsenko–Fateev 积分的高阶微分方程，且无需对参数 $\{A, B, C, g\}$ 施加限制。

• 效率： 作者指出，标准的 BPZ 方程推导在技术上非常复杂。相比之下，本文方法提供了一种更高效、统一的方法来获取这些方程，降低了计算错误的风险。
• 验证： 这项工作直接验证了 Dotsenko–Fateev 积分满足 BPZ 方程，弥合了积分表示与微分算符形式体系之间的鸿沟。
• 普适性： 不同于以往依赖特定假设或局限于低阶的研究，这种构造适用于任意数量的积分变量。
• 未来方向： 本文谦逊地建议，该方法可以扩展到超对称化的 CFT 以及具有任意指数 $\Phi_{n,m}$ 的退化场（超越此处处理的 $\Phi_{n,1}$ 和 $\Phi_{1,n}$ 情况），并将其识别为未来研究的自然方向。

本文并未提出新的实验应用，也未声称解决了超出验证微分方程范围之外的单值性问题；其重点在于方程本身的结构化推导与验证。