[论文解读] Boundary terms in the AdS/CFT correspondence for spinor fields

Marc Henneaux|ArXiv.org|Feb 19, 1999

Black Holes and Theoretical Physics参考文献 2被引用 55

一句话总结

该论文证明，在反 de Sitter 空间/共形场论对偶中，对于旋量场，边界项必须通过要求作用量在具有指定渐近行为的经典解上为平稳态而唯一确定。利用变分原理，推导出一个与边界处的 $\bar{\psi}\psi$ 成比例的特定表面项，确保作用量定义良好，并导致与对偶共形场论一致的相关函数。

ABSTRACT

The requirement that the action be stationary for solutions of the Dirac equations in anti-de Sitter space with a definite asymptotic behaviour is shown to fix the boundary term (with its coefficient) that must be added to the standard Dirac action in the AdS/CFT correspondence for spinor fields.

研究动机与目标

• 确定在反 de Sitter 空间/共形场论中，为标准狄拉克作用量添加旋量场的正确边界项。
• 确保作用量在具有指定反 de Sitter 边界渐近行为的经典解上为平稳态。
• 通过作用量平稳性的要求，唯一确定边界项的系数。
• 通过经典作用量的计算，证明其与对偶共形场论相关函数的一致性。
• 阐明尽管在非壳状态下独立，具有 $x^0$ 幂次的高阶边界项（如 $x^0$ 的幂）在变分原理中的作用。

提出的方法

• 将平稳相位原理应用于路径积分，要求作用量在经典解上为平稳态。
• 分析作用量在场微扰下的变分，识别出由面积分产生的边界项何时消失。
• 使用弗罗贝尼乌斯方法求解反 de Sitter 边界 $x^0 = 0$ 附近的狄拉克方程，根据 $\Gamma^0$ 特征值识别出两类解。
• 施加边界条件：被 $I + \Gamma^0$ 消去的分量被固定（导致 $\psi^- \sim (x^0)^{d/2 - m}$），而被 $I - \Gamma^0$ 消去的分量可自由变化。
• 在 $\epsilon \to 0$ 极限下推导出所需的边界项 $C_\infty = \frac{1}{2} \int d^d\mathbf{x} \sqrt{{}^{(d)}G_\epsilon} \, \bar{\psi}\psi$，以确保 $\delta S = 0$。
• 使用旋量场的在壳值评估经典作用量 $S_{cl}$，表明所有贡献均来自边界项。

实验结果

研究问题

• RQ1 在反 de Sitter 空间中，为标准狄拉克作用量添加何种边界项，才能确保作用量在具有给定渐近行为的经典解上为平稳态？
• RQ2 变分原理如何约束反 de Sitter 空间/共形场论中旋量场边界项的形式与系数？
• RQ3 为何旋量场中具有更高 $x^0$ 幂次的分量（如 $\sim (x^0)^{d/2 + m}$）尽管在非壳状态下独立，却仍对边界项有非平凡贡献？
• RQ4 所得经典作用量如何重现对偶共形场论中的正确两点相关函数？
• RQ5 在分类边界条件和确定作用量中正则共轭对时，$\Gamma^0$ 特征值结构起什么作用？

主要发现

• 边界项必须为 $C_\infty = \frac{1}{2} \int d^d\mathbf{x} \sqrt{{}^{(d)}G_\epsilon} \, \bar{\psi}\psi$，在 $\epsilon \to 0$ 极限下，其系数由作用量平稳性要求唯一确定。
• 经典作用量 $S_{cl}$ 完全由边界项决定，因为体狄拉克作用量在壳时为零。
• 位置空间中的两点相关函数为 $\Omega(\mathbf{x}, \mathbf{y}) \sim \frac{\mathbf{\Gamma} \cdot (\mathbf{x} - \mathbf{y})}{|\mathbf{x} - \mathbf{y}|^{d + 2m + 1}}$，与已知的共形场论结果一致。
• 边界项的系数被固定为 $\frac{1}{2}$，且不存在其他局部、无导数、反 de Sitter 不变量的表面项能满足平稳性条件。
• 解的结构表明 $\bar{\psi}_0$ 和 $\chi_0$ 构成正则共轭对，证实边界数据的选择与哈密顿力学一致。
• 该结果等价于哈密顿形式，其中动能项必须取 $p \dot{q}$ 的形式才能保证平稳性，从而确认边界项的必要性。