Local symmetry and the dependence on extended spacetime

技术摘要：局部对称性与对扩展时空的依赖

问题陈述
本文探讨了在扩展时空上定义的理论中局部对称性的表述问题，具体涉及 $E$ 理论（$E_{11} \otimes_s l_1$ 的非线性实现）和 Siegel 理论（双场论，Double Field Theory）。从历史上看，这些理论一直依赖于“截面条件”（section conditions）（例如弱条件 $\partial_\Pi \partial^\Pi \cdot = 0$ 或强条件 $\partial_\Pi \cdot \partial^\Pi \cdot = 0$）来确保规范不变性和一致性。这些条件受弦理论层匹配条件的启发，限制了场对扩展坐标（$x^\mu, y^\mu$）的依赖性为平凡的。

作者认为，在场本身上施加此类条件可能是一种错误的方法。他们指出，扩展坐标对于 $E_{11}$ 不变性至关重要，并与非微扰效应（孤子/膜）相关联。此外，通用的强截面条件在物理学中是极不寻常的，且其在 Scherk-Schwarz 还原等背景下的应用引发了质疑。核心问题在于，如何在不预先对场施加限制性条件的情况下，确定理论拥有局部对称性的最小条件。

方法论
作者采取了一种务实、保守的方法，即做出“尽可能少的假设”。他们并没有假设场满足截面条件，而是研究了线性化运动方程在所提局部变换下保持不变的要求。

1. $E$ 理论中的线性化分析：

   • 他们考虑了 $E$ 理论中引力子和三形式场的线性化运动方程。
   • 他们构建了包含最高到特定导数阶项的最一般的线性化运动方程。
   • 他们计算了这些方程在局部变换（由 $E_{11}$ 的非线性实现导出）下的变分。
   • 通过要求变分为零，他们解出了一般方程的系数，并导出了对变换参数（$\xi^\mu$ 和 $\Lambda^{\mu\nu}$）的必要约束。

2. Siegel 理论（零层级）分析：

   • 他们重复了针对 Siegel 理论的计算，该理论对应于 $E$ 理论的零层级分解，即 IIA 理论。
   • 他们分析了引力子、二形式和 Dilaton（驰量）的线性化方程。
   • 他们推导了使 Dilaton 运动方程保持不变所需的参数条件，并注意到这导致了一个关于参数的非线性约束。

3. 群论验证：

   • 对于 Siegel 理论，他们提供了一个群论推导，表明所导出的参数约束在 Cartan 对合不变子代数 $SO(D) \otimes SO(D)$ 下是不变的。

主要贡献与结果

• 参数约束 vs. 场约束： 主要结果是，在线性化机制中，局部对称性并不要求对场施加条件。相反，它对参数施加了特定的微分条件。

  • 在 $E$ 理论中，三形式和引力子方程的不变性导致了诸如 $\partial_\lambda \partial^\lambda_\nu \{ \dots \} = 0$（方程 2.1.10 和 2.3.2）之类的条件。这些条件根据最低层级的成分确定了参数对高层级坐标的依赖关系。
  • 在 Siegel 理论中，条件更为简单（方程 3.8–3.11），形式为 $\partial_\lambda \bar{\partial}^\lambda (\dots) = 0$。这些方程确定了参数 $\xi^\mu(x,y)$ 和 $\Lambda^\mu(x,y)$ 关于 $x^\mu$ 依赖性的 $y^\mu$ 依赖关系。

• 与截面条件的区别： 作者明确证明了为参数导出的条件与施加在场上的标准截面条件（方程 1.1 和 1.2）是不同的。

  • 施加在场上的标准截面条件意味着作用于场变分（涉及参数的导数）的导数必须通过莱布尼茨法则进行分配，这通常需要强截面条件为零。
  • 通过不对场施加条件，作者避免了强截面条件的必要性。所导出的参数约束足以确保不变性。

• 非线性 Dilaton 约束： 对于 Siegel 理论中的 Dilaton 方程，作者发现，在局部对称性下的不变性要求参数满足一个“相对简单的非线性条件”（方程 4.7）。这支持了即使在非线性机制中也不需要对场施加条件的说法。

• 代数闭合： 本文引用了前人的工作（文献 [33]），指出如果参数满足特定条件，则局部变换构成一个封闭代数。作者暗示他们导出的条件补充了这一闭合条件。

意义与主张
本文声称为扩展时空理论中的局部对称性提供了更基本的理解。通过将一致性的负担从场转移到变换参数，作者认为扩展坐标可以保留其物理意义（与非微扰对象相关），而不被截面条件所平凡化。

作者对其研究范围保持谦逊，指出：

• 他们仅针对低层级的线性化运动方程建立了这些结果。
• 他们尚未推导出 $E$ 理论的完整非线性条件，承认在偏离标准物理学的激进路径中寻找“前进的正确路径”是困难的。
• 他们并未提出新的应用或实验测试，而是对 $E$ 理论和 Siegel 理论的一致性条件进行了理论上的完善。

总之，本文认为在双场论及相关背景下普遍使用的“截面条件”可能是将约束施加在参数而非场上的产物；通过限制参数对扩展坐标的依赖，可以实现一致的局部对称性。