The GHY boundary term from the string worldsheet to linear order

技术摘要：从弦世界面到线性阶的 GHY 边界项

问题陈述
在具有边界的时空流形中，爱因斯坦-希尔伯特（EH）作用量缺乏一个良构的变分原理，因为度规的变分会产生包含法向导数的非零边界项。为了解决这个问题，必须添加一个边界项。标准的吉本斯-霍金-耶克（GHY）项确保了对于狄利克雷（Dirichlet）边界条件（固定诱导度规）的变分原理是良构的。然而，Einstein-$\Gamma^2$ 作用量（包含了 GHY 项以及度规、法向量和切向导数的其他函数）同样可以实现一个良构的变分原理。虽然在 $\alpha'$ 阶下，弯曲背景下的弦的体有效作用量已得到充分理解，但直接从弦世界面导出 Einstein-$\Gamma^2$ 作用量所需的特定边界项的推导过程，一直是一个开放的挑战。具体而言，需要理解在半空间几何中，目标空间边界项是如何从闭玻色弦的世界面配分函数中涌现出来的，特别是当目标空间度规在平直空间附近受到扰动时。

方法论
作者利用应用于弦世界面的镜像法，从非线性 $\sigma$ 模型（NLSM）中提取目标空间边界项。其核心策略包括以下步骤：

1. 世界面设置： 研究考虑了嵌入在目标空间半空间 $M = \mathbb{R}_+ \times \mathbb{R}^{D-1}$ 中的球面闭玻色弦世界面，其中 $\partial M$ 为边界。目标空间度规被视为对平直欧几里得半空间的微小扰动 $h_{\mu\nu}$。
2. 倍增技巧（Doubling Trick）： 镜像法通过反射场，将半空间上的边界值问题转化为全空间 $\mathbb{R}^D$ 上的问题。半空间配分函数 $Z_{HS}$ 通过一个倍增因子和一个反射场配置 $\Psi_{ref}$ 与全空间配分函数 $Z_{RS}$ 相关联。
3. 形变与展开： 度规被形变为 $G_{\mu\nu} = \delta_{\mu\nu} + h_{\mu\nu}$。反射度规 $h^{ref}_{\mu\nu}$ 使用阶函数和反射宇称进行构造。作者围绕在壳（on-shell）鞍点展开非线性 $\sigma$ 模型，将度规扰动视为形变算符 $\hat{V}_{def}$。
4. 一点函数计算： 通过对零模进行积分来计算半空间配分函数中的期望值 $\langle \hat{V}_{def} \rangle$。计算区分了远离壁面的区域（此处弦实际上是自由的）和近壁区域（$|Y^D| \sim \sqrt{\alpha'}$）。
5. 处理奇异性： 在靠近壁面处，具有特定反射宇称的分量会导致反射场产生“褶皱”（导数的不连续性）。这种褶皱产生了一个非零的一点函数。作者利用弦距离壁面的绝对距离的期望值 $u(Y^D)$，将其作为短距离发散的调节器。
6. 重整化： 来自世界面积分的对数发散通过 Tseytlin 的离壳（off-shell）球面处方进行移除。幂律发散则通过局部计数项进行移除。

主要贡献与结果

1. 推导壁面项 ($I_{wall}$):
   主要结果是推导了源自壁面本身的边界项，记作 $I_{wall}$。通过评估边界附近的配分函数并应用 Tseytlin 的处方，作者发现：
   $$I_{wall} = -\frac{\alpha'}{4} Z_{nz} \int_{\partial M} d^{D-1}Y \sqrt{\gamma} e^{-2\Phi} \left( K + \frac{1}{2}n^\alpha n^\beta n^\mu \partial_\alpha G_{\mu\beta} + n^\beta \gamma^{\alpha\mu} \partial_\alpha G_{\mu\beta} \right)$$
   该项是在度规扰动 $h_{\mu\nu}$ 的线性阶下推导出的，包含了涉及外曲率 $K$ 以及沿法向和切向方向的度规导数的项。

2. 重建 Einstein-$\Gamma^2$ 作用量:
   作者将推导出的壁面项 $I_{wall}$ 与体树级作用量 $I_{bulk}$（通过分部积分，其会产生一个不同于标准 GHY 项的边界项）以及 Dilaton 边界项结合起来。其总和得到了半空间球面的总有效作用量：
   $$I_{sphere, HS} = -\frac{1}{4\alpha'} Z_{nz} \left[ \int_M d^D Y \sqrt{G} e^{-2\Phi} (R + 2\nabla^2 \Phi) + \int_{\partial M} d^{D-1} Y \sqrt{\gamma} e^{-2\Phi} \left( 2K - 2\partial_n \Phi + n^\beta \gamma^{\alpha\mu} \partial_\alpha G_{\mu\beta} \right) \right]$$
   该总作用量的结构与 Einstein-$\Gamma^2$ 作用量相匹配（在耦合常数和 dilaton 因子之外），证实了弦世界面自然地生成了在狄利克雷边界条件下实现良构变分原理所需的特定边界项。

3. 验证变分原理:
   证明了所推导的动作对于狄利克雷边界条件 ($\delta \gamma_{ij} = 0$) 和特殊的诺依曼（Neumann）条件具有良构的变分原理，但对于一般的诺依曼条件则不然。这证实了从世界面推导出的特定边界项组合，对于抵消来自体爱因斯坦-希尔伯特项的法向导数变分是必要的。

意义与主张
本文声称提供了一个微观的世界面推导，用于导出 Einstein-$\Gamma^2$ 边界项，从而弥合了弦理论有效作用量与引力变分原理几何需求之间的鸿沟。

• 基本洞察： 这项工作表明，目标空间边界项并非仅仅是添加到引力作用量中的人为添加项，而是自然地从边界附近的弦量子涨落中涌现出来的。
• 方法论进步： 它扩展了之前应用于 dilaton 场的镜像法，将其应用于更复杂的度规扰动情况，成功捕捉到了有效作用量中爱因斯坦-希尔伯特项与 Gibbons-Hawking-York 项之间关于“2”的相对因子。
• 在壳与离壳： 该推导是在离壳条件下进行的（围绕平直空间进行形变），但所得的目标空间作用量是局部背景无关的。在施加运动方程后，边界作用量简化为广义体积的法向导数，这对于如 cigar 几何等特定解给出了黑洞熵。

局限性与未来方向
作者指出，虽然镜像法成功为粒子力学中的热核施加了边界条件，但对于弦世界面配分函数的“反弹”（bounce）符号（它决定了狄利克雷与诺依曼条件）的解释，在弦理论中仍缺乏第一性原理的理解。他们建议未来的工作可以将此方法扩展到：

• 黑洞背景（例如 cigar 几何）以直接计算热熵。
• 余维数为 2 的边界（引力角项）。
• 轨道（orbifolds）和共形边界条件。
• $T\bar{T}$ 变形理论和 AdS/CFT 背景中的有限时类边界。

论文总结道，理解弦世界面如何通过镜像法编码边界条件的精确机制，对于深入理解黑洞微观态和引力边缘模仍然是一个至关重要的开放性问题。