[论文解读] Optimal space of linear classical observables for Maxwell $k$-forms via spacelike and timelike compact de Rham cohomologies

Marco Benini|arXiv (Cornell University)|Jan 29, 2014

Black Holes and Theoretical Physics参考文献 17被引用 9

一句话总结

本文通过引入类空紧致和时向紧致的de Rham上同调，为弯曲时空中的麦克斯韦 $k$-形式建立了最优的线性经典可观测量空间。证明了这些上同调的Poincaré对偶性类比，确保了场配置的可分性和可观测量的非冗余性，这对规范理论中一致的经典与量子场论框架至关重要。

ABSTRACT

Being motivated by open questions in gauge field theories, we consider non-standard de Rham cohomology groups for timelike compact and spacelike compact support systems. These cohomology groups are shown to be isomorphic respectively to the usual de Rham cohomology of a spacelike Cauchy surface and its counterpart with compact support. Furthermore, an analog of the usual Poincaré duality for de Rham cohomology is shown to hold for the case with non-standard supports as well. We apply these results to find optimal spaces of linear observables for analogs of arbitrary degree $k$ of both the vector potential and the Faraday tensor. The term optimal has to be intended in the following sense: The spaces of linear observables we consider distinguish between different configurations; in addition to that, there are no redundant observables. This last point in particular heavily relies on the analog of Poincaré duality for the new cohomology groups.

研究动机与目标

• 为解决在标准上同调结构无法保证可分性或非冗余性时，弯曲时空上规范理论经典可观测量定义中的歧义。
• 解决以往经典可观测量研究中对非冗余性缺乏明确考虑的问题。
• 识别出能够区分所有物理上不同的在壳配置、同时避免冗余可观测量的最优线性泛函空间。
• 将经典可观测量的构造从标准的矢量势和法拉第张量推广至任意次数的 $k$-形式。
• 通过引入具有非标准紧致支持的新上同调群，为经典与量子场论提供上同调基础。

提出的方法

• 引入两种新上同调群：类空紧致de Rham上同调与时向紧致de Rham上同调，其定义基于具有特定紧致支持条件的微分形式。
• 证明类空紧致上同调同构于类空Cauchy面上的标准de Rham上同调，时向紧致上同调同构于同一Cauchy面的紧支集de Rham上同调。
• 为这些非标准上同调群建立广义Poincaré对偶性，将具有类空和时向紧致支持的上同调联系起来。
• 将对偶性应用于分析 $k$-形式法拉第张量和矢量势的线性可观测量空间。
• 利用Green算子与Hodge分解技术，将场方程的解与上同调类关联，确保可观测量在在壳配置上定义良好。
• 通过证明可观测量空间的可分性（区分不同配置）与非冗余性（无重复可观测量），表明所得可观测量空间是最优的。

实验结果

研究问题

• RQ1 能否为弯曲时空中的麦克斯韦 $k$-形式定义一个满足可分性与非冗余性的最优线性经典可观测量空间？
• RQ2 类空紧致与时向紧致de Rham上同调如何与标准de Rham上同调及其紧支集变体相关联？
• RQ3 对于具有非标准支持（如类空或时向紧致性）的上同调群，Poincaré对偶性的类比是否成立？
• RQ4 当使用这些上同调结构时，$k$-形式势在壳配置上的规范不变线性泛函空间是否不含冗余元素？
• RQ5 能否将经典可观测量的构造从 $k=1$（电磁学）推广至任意 $k$-形式，同时保持物理一致性？

主要发现

• 时空的类空紧致de Rham上同调同构于类空Cauchy面上的标准de Rham上同调。
• 时向紧致de Rham上同调同构于同一Cauchy面上的紧支集de Rham上同调。
• 这些新上同调群之间存在Poincaré对偶性的类比，将具有类空与时向紧致支持的上同调联系起来。
• 对于 $k$-形式法拉第张量的推广，由于场强的闭性，场配置的可分性是平凡满足的。
• 对于 $k$-形式矢量势，可分性由新上同调群之间的广义Poincaré对偶性所保证。
• 可观测量的非冗余性由上同调群之间的同构关系与对偶性结构保证，确保无两个不同配置产生相同的可观测量值。