Topological defects and scalar field modes in cosmological backgrounds

技术摘要：宇宙学背景下的拓扑缺陷与标量场模

问题陈述
本文研究了在含有拓扑缺陷的更高维（$D+1$）宇宙学背景下，具有一般曲率耦合的质量标量场的量子化问题。具体而言，作者研究了空间部分具有由角度亏损参数表征的非平凡拓扑结构的空时。这些几何结构是众所周知的缺陷（如宇宙弦和全局单极子）的高维推广。主要挑战在于确定在这些复杂的背景中进行正则量子化所需的完整模函数集，因为在这些背景中，宇宙学膨胀、空间曲率与拓扑缺陷之间的相互作用会改变量子场的能谱和结构。此类模函数是计算真空极化效应、粒子产生以及能量-动量张量等物理可观测量期望值的先决条件。

方法论
作者采用统一的几何框架来描述背景时空。他们利用如下共动坐标下的（$D+1$）维线元：
$$ds^2 = -dt^2 + a^2(t) \left[ dr^2 + p^2(r) d\Omega^2_{D-1} \right]$$
其中 $a(t)$ 是宇宙学标度因子，$p(r)$ 决定了径向几何，$d\Omega^2_{D-1}$ 是包含角度亏损参数 $\alpha_i$ 的广义（$D-1$）维球面。这些参数允许度规描述各种缺陷构型，包括全局单极子（其中所有 $\alpha_i$ 相等）和宇宙弦（其中特定的 $\alpha_i < 1$）。

标量场 $\phi(x)$ 的动力学由带有曲率耦合项 $\xi R$ 的克莱因-戈登方程控制：
$$\left( g^{ik}\nabla_i\nabla_k - m^2 - \xi R \right) \phi(x) = 0$$
作者应用变量分离法，假设模函数形式为 $\phi_\sigma(x) = T(t)W(r)Y(\theta)$。分析过程如下：

1. 几何特征化： 推导一般度规的里奇张量和里奇标量的分量，明确展示角度亏损如何打破球对称性（除各向同性的全局单极子情况外）。
2. 时间分离： 将随时间变化的方程归约为具有随时间变化频率的二阶微分方程，并在宇宙时间 $t$ 和共形时间 $\tau$ 下进行分析。
3. 径向分离： 将径向方程转化为具有有效势 $U_{eff}(r)$ 的类薛定谔形式，该势函数取决于曲率耦合 $\xi$、标度因子几何 $p(r)$ 以及缺陷参数。
4. 角度分离： 通过分离单个角度 $\theta_l$ 的依赖关系来求解角度部分。作者证明了角度本征函数可以用第一类关联勒让德函数 $P^{-\mu_l}_{\nu_l}(\cos \theta_l)$ 表示，并受限于使分离常数量子化的正则性条件。

主要贡献与结果

• 统一模构建： 本文为具有任意曲率耦合 $\xi$ 的质量标量场在带有角度亏损的一般类高维宇宙学背景下的完整模函数集提供了构建方法。
• 角度谱： 作者推导了角度部分的特征值问题层级。他们表明，角度亏损的存在会修改有效角动量谱。所得本征函数通过涉及缺陷参数 $\alpha_i$ 的递推关系以关联勒让德函数的形式表示。
• 径向与时间解：
  • 对于径向部分，确定了有效势，并针对对应于平坦（$k=0$）、球面（$k=1$）和双曲（$k=-1$）空间几何的特定 $p(r)$ 情况提供了解。这些解涉及贝塞尔函数和关联勒让德函数。
  • 对于时间部分，作者为德西特（dS）和米尔恩（Milne）宇宙提供了显式模函数的解。
• 特定宇宙学模型：
  • 德西特时空： 在三种不同的坐标系（暴胀球面对称、双曲型负曲率空间部分和全局坐标）中推导了模随时间变化的部分。解通过汉克尔函数和关联勒让德函数表示，并通过选择积分常数来定义真空态（例如 Bunch-Davies、绝热、共形真空）。
  • 米尔恩宇宙： 本文分析了米尔恩宇宙（具有负曲率空间部分的平坦时空），展示了曲率耦合 $\xi$ 如何可以通过重新定义分离常数而被吸收，其解涉及贝塞尔函数。
• 全局单极子特例： 针对各向同性的全局单极子情况（$\alpha_1 = \dots = \alpha_{D-1} = \alpha$）进行了详细分析。在这种情况下，时空保留了球对称性，角度模简化为经过缺陷参数缩放的标准超球面谐波。

意义与主张
本文声称为研究存在拓扑缺陷的膨胀宇宙中的量子场论提供了基础性的解析框架。作者指出，他们对完整模函数集的推导对于“后续研究真空极化效应、粒子产生以及物理可观测量期望值是至关重要的”。

通过使用角度亏损参数在一个统一的几何假设内处理宇宙弦和全局单极子，这项工作为受超越标准模型理论（如弦理论和膜世界情景）启发的更高维模型提供了一种广义方法。本文并未计算具体的真空期望值（VEVs）或能量密度，而是建立了进行此类计算所需的数学工具（即模函数及其性质）。研究结果在可能的情况下以精确或解析处理呈现，依赖于在适宜选择的坐标系下的方程可分离性。该工作的范围较为适中，严格专注于在指定背景下构造模函数及其性质，而非提出新的实验测试或将分析扩展到费米子或矢量场。