Manuscript XX-A@1 · XX-A.tex · section · 3a586110
A frozen quadratic gauge-fixing candidate
Quantum field input: the operators that are specified and those that remain missing › A frozen quadratic gauge-fixing candidate · lines 1027–1091
XX-A@1#eq:gauge-fermion, XX-A@1#eq:gauge-action, XX-A@1#eq:ghost-operator
The field content for the proposed construction is
The scalar fluctuation defining the clock and slices is retained. The ghosts and auxiliary variables are gauge-fixing fields, not additional physical clocks.
Let , and define the linear differential
At this linear level . Freeze the gauge-fixing candidate
where is fixed. Then
with
The sign of the ghost term follows from the odd Leibniz rule. Equation (eq:ghost-operator) follows by applying to and commuting background derivatives.
These formulas specify a quadratic candidate and its normalization. They do not prove that its complete reduced metric–scalar realization has the intended Green properties, nor select a state. Eliminating , changing field variables, or using another gauge requires a checked normalization and comparison, not an implicit substitution.
Hack's coupled linearized Einstein–Klein–Gordon construction is relevant framework Hack. It is not used as a premise that the particular , covariance, rods, spatial tails, or composite in this paper have been constructed. Relational quantum-observable and perturbative BV frameworks likewise do not supply this particular realization by name BFHPR,Frob,BFR.
Displayed formulas in this passage
XX-A@1#eq:gauge-fermion · line 1047
XX-A@1#eq:gauge-action · line 1059
XX-A@1#eq:ghost-operator · line 1067
unlabeled · line 1030
unlabeled · line 1039