[论文解读] Representation of small conformal algebra

D.M. Belov|ArXiv.org|Oct 21, 2002

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

一句话总结

本文证明了在弦场理论的 $\kappa$-基中，小共形代数生成元 $L_{-1}, L_0, L_1$ 并非作为核算符实现，而是作为差分算符实现，从而解决了此前关于其定义不清的问题。关键结果是给出了作用于施瓦茨函数的 $L_0$ 和 $L_{\pm1}$ 的显式积分表示，涉及 $\kappa$ 的复平移和平方根，这些表示在连续基中保持了 Virasoro 代数结构。

ABSTRACT

In hep-th/0202087 it was argued that the operator L_0 is bad defined in kappa-basis as a kernel operator. Indeed, we show that L_0 is a difference operator. We also find a representation of L_1 and L_{-1} in a class of difference operators.

研究动机与目标

• 为解决此前在 hep-th/0202087 中所指出的 $L_0$ 在 $\kappa$-基中作为核算符时的定义不清问题。
• 在 $\kappa$-基中使用差分算符，构建小共形代数 $\{L_{-1}, L_0, L_1\}$ 的良好定义表示。
• 提供 $L_0$、$L_1$ 和 $L_{-1}$ 作用于施瓦茨函数的显式函数表达式，确保与 Virasoro 代数关系的一致性。
• 证明算符在带形区域 $-2 < \Im\kappa < 2$ 内的全纯函数上有定义，并通过 $i2^{-}$ 符号控制对极点的逼近方式。

提出的方法

• 通过关系 $[L_0, a^\dagger(f)] = a^\dagger(L_0[f])$ 推导 $L_0$ 在单粒子态上的作用，将 Fock 空间上的作用转化为施瓦茨空间上的表示。
• 通过求逆算符 $L_0$ 定义格林函数 $G_0$，其核通过特征向量生成函数的围道积分计算得出。
• 利用复分析方法计算核 $G_0(\kappa, \kappa')$，将围道绕过 $\pm i$ 处的对数分支点，并应用涉及 $\text{csch}$ 和 $\tanh$ 的已知积分恒等式。
• 利用恒等式 $\int_{-\infty}^\infty \mathscr{P}\frac{1}{\sinh 2u} e^{i\beta u} du = \pi i \tanh(\pi\beta/4)$ 计算所得积分。
• 采用类似策略构造 $L_1$ 和 $L_{-1}$，利用其单激发/单湮灭结构，通过 $[L_{\pm1}, a^\dagger(f)] = a^\dagger(L_{\pm1}[f])$ 定义其作用。
• 验证所得算符在连续基中满足正确的 $[L_{-1}, L_1] = 2L_0$ 和 $[L_0, L_{\pm1}] = \pm L_{\pm1}$ 对易关系。

实验结果

研究问题

• RQ1 为何 $L_0$ 在 $\kappa$-基中作为核算符是定义不清的？能否以一致方式重新定义？
• RQ2 能否在 $\kappa$-基中使用差分算符而非积分核，一致地表示小共形代数 $\{L_{-1}, L_0, L_1\}$？
• RQ3 在 $\kappa$-基中，$L_0$、$L_1$ 和 $L_{-1}$ 作用于施瓦茨函数的显式函数形式是什么？
• RQ4 算符如何处理复 $\kappa$-平面上的奇点与分支点，特别是在 $\kappa \pm 2i$ 附近？
• RQ5 所提出的差分算符是否在连续 $\kappa$-基中保持标准的 Virasoro 代数关系？

主要发现

• 算符 $L_0$ 作为差分算符作用：$L_0[f](\kappa) = \frac{1}{4}\left[\sqrt{\kappa(\kappa + i2^{-})}f(\kappa + i2^{-}) + \sqrt{\kappa(\kappa - i2^{-})}f(\kappa - i2^{-})\right]$，定义在带形区域 $-2 < \Im\kappa < 2$ 内的全纯函数上。
• 算符 $L_1$ 的表达式为 $L_1[f](\kappa) = -\frac{\kappa}{2}f(\kappa) + \frac{i}{4}\left[\sqrt{\kappa(\kappa + i2^{-})}f(\kappa + i2^{-}) - \sqrt{\kappa(\kappa - i2^{-})}f(\kappa - i2^{-})\right]$。
• 算符 $L_{-1}$ 的表达式为 $L_{-1}[f](\kappa) = -\frac{\kappa}{2}f(\kappa) - \frac{i}{4}\left[\sqrt{\kappa(\kappa + i2^{-})}f(\kappa + i2^{-}) - \sqrt{\kappa(\kappa - i2^{-})}f(\kappa - i2^{-})\right]$。
• 对 $L_0$ 的格林函数 $G_0$ 显式计算为 $G_0(\kappa, \kappa') = \left[\frac{\theta(\kappa)}{\kappa}\right]^{1/2}\left[\frac{\theta(\kappa')}{\kappa'}\right]^{1/2}\frac{1}{4\cosh\left[\frac{\pi}{4}(\kappa - \kappa')\right]}$，其中 $\theta(\kappa) = 2\tanh(\pi\kappa/4)$。
• $L_0$、$L_1$ 和 $L_{-1}$ 算符在作用于施瓦茨函数时满足正确的 Virasoro 代数对易关系，证实了其一致性。
• 推导结果表明 $L_0$ 无法表示为分布核，而是一个在 $\kappa \pm 2i$ 处极点附近具有受控解析行为的良好定义的差分算符。