$q$-Deformed Topological Recursion, Weight Vectors and Algebraic Structures

技术摘要：q-变形拓扑递归、权重向量与代数结构

1. 问题陈述
拓扑递归（Topological Recursion, TR）是一种强大的量子化形式化方法，通过多微分形式 $\omega_{g,n}$ 将波函数 $\psi(\hbar, z)$ 与谱曲线 $P(x, y) = 0$ 联系起来。在经典微分设定下，该波函数被量子曲线 $\hat{P}(\hat{x}, \hat{y})$ 消灭，其中 $[\hat{y}, \hat{x}] = \hbar$。然而，算符的非交换性意味着量子化选择 $\hat{P}$ 并非唯一。虽然标准 TR 选择特定的量子化方式，但这些方式通常在代数上具有局限性，无法捕捉到所有可能的量子排序（quantum orderings）中的全部自由度。

本文旨在解决将这一框架扩展到 q-变形设定中的挑战，在此设定下，微分关系被 q-差分关系取代，导致交换规则变为 $\hat{y}\hat{x} = q\hat{x}\hat{y}$（其中 $q = e^\hbar$）。在此背景下，经典的谱曲线 $P(x, y)=0$ 被量子化为线性 q-差分系统。核心问题在于修改拓扑递归的递归机制，以重建更广泛的 q-量子曲线和 q-排序的波函数，特别是那些源自 q-变形 W-代数的曲线。作者指出，经典 TR 在 $(r, s)$ 曲线上仅在特定约束下（例如 $r \equiv \pm 1 \pmod s$）表现良好；本文研究了这些条件在 q-变形下如何演变，以及如何推广该构造以包含非零最高权重。

2. 研究方法
作者采用了一种“三重视角”方法，通过统一三个不同的框架来构建 q-变形理论：

1. q-WKB 视角： 通过分析 q-差分系统来建立 q-WKB 解的存在性。
2. 代数视角： 利用 q-变形 Airy 结构（q-变形 Rees Weyl 代数中的理想）来确保数学一致性。
3. 几何视角： 推导 移位 q-圈方程（shifted q-loop equations） 以及相应的 移位 q-拓扑递归 公式。

研究方法通过以下步骤进行：

• 构造 q-Airy 结构： 作者在自对偶能级下的 q-变形 $W(\mathfrak{gl}_r)$-代数的全纯包络代数内，定义了 q-变形 Airy 理想。他们通过允许配分函数对应于 具有非零权重的最高权重向量（移位 Airy 结构），推广了 Belliard 等人的构造。这涉及定义一个 q-变形 Rees Weyl 代数，并建立 q-差分系统的可积条件。
• 表示论： 他们构造了 q-变形全纯包络代数到 q-变形 Weyl 代数的表示 $\rho_q$。关键步骤是通过特定的 q-变形算符（$\hat{T}_s^q$ 和 $\hat{\Phi}_q$）进行共轭，实现理想的“齐次化”并应用 移位表示。这使得生成项的主项在 $\hbar$ 下变为线性的，从而满足 Airy 结构的公理。
• 推导圈方程： 通过将代数约束（由 Airy 理想消灭配分函数）转化为几何语言，作者推导出了 移位 q-圈方程。这些方程支配着定义在移位 $(r, s, q)$-谱曲线上的 q-相关子（q-correlators）系统 $\omega_{g,n}^q$。
• 递归解法： 作者证明了这些移位 q-圈方程结合 q-投影性质，通过一种新的递归公式唯一地确定相关子：移位 q-拓扑递归。

3. 核心贡献与结果

• 移位 q-Airy 结构： 本文构造了一族 移位 $(r, s, q)$-Airy 结构。与配分函数为真空矢量（权重为零）的经典情况不同，这些结构允许非零最高权重（q-Casimir）。作者证明，此类结构存在的充要条件是 $r \equiv \pm 1 \pmod s$。

  • 对于 $s=1$，所有的零模 $W^j_0$ 都可以被移位。
  • 对于 $s \ge 2$ 且 $r \equiv 1 \pmod s$，只有第一个零模 $W^1_0$ 可以被移位。
  • 对于 $s \ge 3$ 且 $r \equiv -1 \pmod s$，不允许任何移位（刚性结果），从而回归标准的 $(r, s, q)$-Airy 结构。

• 移位 q-圈方程： 作者推导了一个关于 q-相关子的 移位 q-圈方程 系统。这些方程与标准 q-圈方程的不同之处在于包含了与移位参数 $S_{i, \ell}$ 成正比的源项。具体而言，圈方程的形式为：
  $$E_{i, g, n}^{q}(x; z[n]) - \delta_{n,0} S_{i, 2g} \left(\frac{dx}{x}\right)^i \in O\left(x^{\lfloor \frac{s(i-1)}{r} \rfloor + 1}\right) \left(\frac{dx}{x}\right)^i$$
  其中 $E_{i, g, n}^{q}$ 代表相关子的对称组合。

• 移位 q-拓扑递归： 本文通过 定理 3.32 定义了 移位 q-拓扑递归。该公式递归地重建多微分形式 $\omega_{g, n+1}^q$。至关重要的是，它纳入了由非零最高权重（移位项 $S_{i, 2g}$）产生的显式修正项（源项），这些项修改了盘振幅（disk amplitudes, $n=1$）。作者证明该递归产生满足所需投影性质的对称相关子。

• 与量子曲线的对应关系： 该工作确立了移位 $(r, s, q)$-Airy 结构的配分函数作为 q-变形 $W(\mathfrak{gl}_r)$-代数的最高权重矢量的关系。所得的 q-相关子重建了更广泛类别的 q-变形谱曲线的波函数，包括具有非平凡 q-Casimir 的曲线。

4. 意义与主张
本文声称提供了一种 系统的 q-量子化程序，克服了传统拓扑递归的代数限制。通过引入移位 Airy 结构，作者展示了在选择量子排序时的“自由度”对应于在底层代数结构中为最高权重向量分配非零权重的自由度。

这项工作的意义在于：

• 统一性： 它将几何方法（留数）、代数公式（q-Airy 结构/W-代数）以及可积视角（q-WKB 分析）统一到了一个连贯的框架中。
• 泛化： 它将 Belliard-Bouchard-Kramer-Nelson 的构造扩展到了量子代数的语境下，特别是处理了由 q-差分算符引入的非局部效应。
• 刚性与灵活性： 它精确地刻画了 q-变形伴随移位是否可能的条件（取决于 $r$ 和 $s$ 之间的算术关系），并证明了对于 $r \equiv -1 \pmod s$ ($s \ge 3$) 的情形存在刚性结果。
• 新见解： 它通过展示经典 $(r, s)$ 模型约束如何通过 q-代数刚性视角进行重新解释，为 q-变形模空间的几何提供了新的见解。

作者指出，该框架提供了对 $(r, s, q)$-变形系统的完整描述，并作为定义和研究相应量子曲线的基础，这些细节将在一篇配套论文中详细阐述。他们并不声称解决了除理论构建（即递归的构造及其代数一致性）之外的特定物理模型。