连接的鬼场
Ghosts that Connect
AI总结：
该研究针对Faddeev–Popov方法的两个概念难题，提出鬼场对应场空间纤维丛的主联络、BRST是垂直外微分的观点，解释了鬼场的结构编码与BRST的留存原因，厘清了规范理论量子化的相关概念基础。
AI中文摘要：
Faddeev–Popov方法存在两个概念性难题。难题（1）：如果规范等价的构型代表相同的物理现象，那么商空间F/G应该足以计算物理振幅——但该方法需要反交换辅助场即鬼场，而商空间上不存在这类场的对应物。它们编码了F的什么结构？难题（2）：规范固定本应消除局域规范对称性，但经规范固定的理论仍保留BRST——一种以无穷小规范变换形式作用于规范势的剩余对称性。它为何能留存？\n 两个难题可一同得到解答。参考Dougherty2021与DoughertyRead2026的研究，笔者认为鬼场编码了F→F/G映射的经典内容，但识别出一种不同的结构：该纤维丛上的主联络ϖ。鬼场就是ϖ；BRST算符是场空间上的垂直外微分；Maurer–Cartan方程是其垂直Cartan结构方程。Faddeev–Popov演算仅利用了ϖ的垂直内容，这一点也为代数解读所涵盖；而Vilkovisky–DeWitt方案所依托的ϖ的水平内容，提供了跨轨道配对——规范固定、基于修饰的量子化以及反事实比较都需要这种配对，而商空间将其舍弃。BRST是保持这种配对的刚性垂直对称性，这便是它在规范固定后仍能留存的原因。
英文摘要：
The Faddeev--Popov procedure poses two conceptual puzzles. \emph{Puzzle~(1)}: if gauge-equivalent configurations represent the same physics, the quotient $\F/\G$ should suffice to compute physical amplitudes --- yet the procedure requires anti-commuting auxiliary fields, the ghosts, with no analogue on the quotient. What structure of $\F$ do they encode? \emph{Puzzle~(2)}: gauge-fixing was supposed to eliminate local gauge symmetry, yet the gauge-fixed theory retains BRST --- a residual symmetry that acts on the gauge potential as an infinitesimal gauge transformation. Why does it survive? Both puzzles dissolve together. Following \textcite{Dougherty2021} and \textcite{DoughertyRead2026}, I take ghosts to encode classical content of $\F \to \F/\G$, but identify a different structure: a principal connection $\varpi$ on this bundle. The ghost is $\varpi$; the BRST operator is the vertical exterior derivative on field space; the Maurer--Cartan equation is its vertical Cartan structure equation. The Faddeev--Popov calculus draws only on $\varpi$'s vertical content, which the algebraic reading also captures; $\varpi$'s horizontal content, on which the Vilkovisky--DeWitt programme rests, supplies the cross-orbit pairing that gauge-fixing, dressing-based quantisation, and counterfactual comparison require and the quotient discards. BRST is the rigid, vertical symmetry that preserves this pairing; this is why it survives gauge-fixing.
