Manuscript XX-B@1 · XX-B.tex · section · 56d708a5
Reduced bosonic operator
Gauge fixing and the normally hyperbolic realization › Reduced bosonic operator · lines 858–863
This proves hyperbolicity for the actual displayed gauge and normalization. It does not rely on identifying this operator with Hack's differently presented operator.