更高阶导数系统的协变算子形式：以向量spin-0双模模型为序章通向广义QED$_4$

在本工作中，我们将Kugo-Ojima-Nakanishi协变算子形式扩展到量化两个更高阶导数系统中，考虑其扩展的相空间结构。更具体地说，分别是描述spin-0粒子由向量场以及广义电动力学的模型。我们研究了这些理论的对易结构，并提出了其物理希尔伯特子空间的定义。该第一个模型呈现出不可约的规范对称性，这意味着需要两个辅助场的集合。还仔细分析了无质量极限。在此序章之后，可以使用这种机器来探讨广义QED$_4$。在相互作用 regime 中，正规范子空间不再是时间不变的，因为相互作用可以从最初的无鬼状态创建负规范态。然后，我们通过分析一组谱表示来呈现这种情况的另一种描述，突出了与所谓紫外线改进相关的缺乏正性。最后，基于这些努力以及关于Lee-Wick类模型的最新讨论，我们证明了可能建立一个特定的更高阶导数相互作用模型，使其能够建立一个时间不变的正规范子空间。