Covariant quantization of the Einstein-Hilbert theory in first-order form

This paper presents a covariant quantization of the first-order Einstein-Hilbert theory using path integral and BV formalisms, demonstrating the closure of the gauge algebra, deriving a novel trivial local symmetry, and establishing the quantum equivalence between first- and second-order formulations at the level of the effective action.

The Gist

The Big Picture: Two Ways to Describe Gravity

Imagine you are trying to describe how a trampoline bends when you sit on it.

• The Standard Way (Second-Order): You describe the trampoline by looking at the final shape of the fabric. You calculate how much it curves based on the final position. This is the standard way physicists usually describe Einstein's theory of gravity (General Relativity).
• The New Way (First-Order): Instead of just looking at the final shape, you also introduce a "helper" or an "assistant" who tells you how the fabric is being pulled at every single point. In this paper, the author treats the shape of the fabric (the metric) and the pulling force (the connection) as two separate, independent things.

The author, S. Martins-Filho, asks: "If we use this 'helper' method to study the quantum mechanics of gravity (how gravity behaves at the tiniest, sub-atomic level), does it give us the same answers as the standard method? And can we do it without breaking the rules of symmetry?"

The Problem: The "Helper" is Tricky

In the "First-Order" method, the helper (called the connection or auxiliary field) isn't a real, independent particle like an electron. It's more like a mathematical tool that is forced to act a certain way by the laws of physics.

When physicists try to count the possibilities (quantize) using this helper, they run into a mathematical wall. It's like trying to take a photo of a moving object, but your camera only works if the object is standing perfectly still. The standard way of taking this "photo" (quantization) usually results in a picture that looks different depending on your angle (it's not "covariant" or consistent).

The Solution: A New Mathematical Trick

The author uses a sophisticated toolkit called the BV Formalism (Batalin-Vilkovisky). Think of this as a master key that can unlock complex gauge theories (theories with hidden symmetries).

1. Checking the Rules: First, the author checks the "gauge algebra" (the rules of the game). He confirms that both the standard method and the new "helper" method follow the same strict, closed rules. They are stable and don't fall apart.
2. The "Trivial" Symmetry: The author discovers a weird, new rule in the "helper" method. It's a "trivial symmetry." Imagine you have a puppet show. Usually, the puppeteer moves the puppet. But here, there is a rule that says, "If you move the puppet exactly how the script says it should move, nothing changes." It sounds useless, but the author shows this "useless" rule actually creates a hidden set of instructions (identities) that link the puppet's movements to the script.
3. The Senjanovi´c Measure (The Secret Sauce): To fix the "camera angle" problem mentioned earlier, the author derives a specific mathematical factor called the Senjanovi´c determinant.
   • Analogy: Imagine you are weighing a bag of apples. If you just put the bag on the scale, you get the weight of the apples. But if the bag has a hidden, heavy lining that you can't see, your scale is wrong. The Senjanovi´c determinant is like a special correction factor that you must add to the scale reading to cancel out the weight of the invisible lining.
   • The author shows how to write this correction factor in a way that looks the same from every angle (manifestly covariant), which previous attempts failed to do.

The Results: They Are Twins

After applying these tools, the paper proves two major things:

1. They Are Equivalent: Even though the "First-Order" method uses a helper field and the "Second-Order" method doesn't, they produce identical results for the quantum behavior of gravity. If you calculate the probability of two gravitons (particles of gravity) interacting, both methods give you the exact same number.
2. The Helper's Secret: The "trivial symmetry" the author found isn't just a curiosity; it generates a set of equations (structural identities). These equations prove that the "helper" field, when you look at it through the lens of quantum mechanics, always behaves exactly as the classical laws of physics say it should. It's as if the quantum world is whispering, "I know the script, and I'm following it perfectly."

Why This Matters (According to the Paper)

The paper doesn't claim this will cure diseases or build new engines. Instead, it solves a theoretical puzzle:

• It provides a clean, consistent way to do quantum gravity calculations using the "First-Order" method, which is often mathematically simpler because the interactions are less complicated.
• It proves that using this simpler method doesn't cheat; it yields the same physical reality as the standard, more complex method.
• It clarifies the role of the "Senjanovi´c determinant," showing it is essential for canceling out extra "ghost" contributions that would otherwise mess up the math, especially when calculating things like the energy of the universe at finite temperatures.

In short: The author took a complicated, alternative way of describing gravity, fixed the mathematical glitches using a master key (BV formalism) and a special correction factor (Senjanovi´c determinant), and proved that this alternative way is a perfect twin to the standard way of doing things.

Technical Summary

1. Problem Statement

The Einstein-Hilbert (EH) theory of gravity is traditionally formulated in a second-order manner, where the metric $g_{\mu\nu}$ is the sole dynamical field and the connection $\Gamma^\lambda_{\mu\nu}$ is the Levi-Civita connection derived from the metric. While this formulation is standard, it involves second derivatives of the metric, leading to complex Feynman rules with momentum-dependent interaction vertices.

Alternatively, the first-order (Palatini) formulation treats the metric and the connection as independent fields. In this approach, the connection acts as an auxiliary field, and the action depends only on first derivatives. This simplifies the interaction vertices to a cubic, momentum-independent form, facilitating quantum corrections and correlation function calculations.

However, a complete covariant quantization of the first-order EH theory using the Batalin-Vilkovisky (BV) formalism has been lacking. The primary obstacles are:

1. Second-class constraints: The independence of the connection introduces second-class constraints in the Dirac-Bergmann classification, requiring the Senjanovi'c procedure rather than the standard Faddeev-Popov method.
2. Non-covariance: Previous attempts to handle these constraints (e.g., Ref. [49]) resulted in path integrals that were not manifestly covariant due to the canonical structure of the classical theory.
3. Quantum Equivalence: Establishing the exact quantum equivalence between the first- and second-order formulations requires a rigorous treatment of the Senjanovi'c measure, which is often ignored or treated non-covariantly in literature.

2. Methodology

The author employs a combination of the Batalin-Vilkovisky (BV) formalism and the path integral approach to address these issues.

• Field Parametrization: The theory is formulated using the Goldberg parametrization ($h_{\mu\nu} = \sqrt{-g}g^{\mu\nu}$) to handle the metric field, treating the connection $G^\lambda_{\mu\nu}$ as an independent auxiliary field.
• Gauge Algebra Analysis: The paper analyzes the gauge algebra for both formulations. It confirms that the algebra is closed and irreducible for both, allowing the BV formalism to reduce to the Faddeev-Popov quantization structure.
• Novel Trivial Symmetry: A key step is the identification of a novel trivial local symmetry in the first-order formulation. This symmetry transforms the auxiliary field proportionally to its own equation of motion. While trivial classically (it does not generate gauge degeneracy), it has profound implications at the quantum level.
• Covariant Senjanovi'c Measure: To derive a manifestly covariant path integral, the author utilizes a "trick" (originally proposed in Ref. [52]) involving the insertion of a Gaussian integral over the auxiliary field. This allows the derivation of the Senjanovi'c determinant ($\det M$) in a covariant form, which is then exponentiated using auxiliary bosonic ($H$) and fermionic ($\theta, \bar{\theta}$) fields.
• Generating Functionals: The quantization is performed by constructing generating functionals for both formulations and establishing their relationship through field redefinitions and source terms.

3. Key Contributions

A. Covariant BV Quantization of First-Order EH

The paper constructs the full BV quantum action for the first-order EH theory. It explicitly derives the gauge-fixed action including the Nakanishi-Lautrup field, ghosts, and antighosts. Crucially, it provides a manifestly covariant expression for the Senjanovi'c determinant, resolving the non-covariance issues of previous approaches.

B. Discovery of Intrinsic Structural Identities

The author demonstrates that the trivial local symmetry associated with the auxiliary field generates a hierarchy of intrinsic structural identities.

• These identities relate the Green's functions of the auxiliary field ($G$) to its classical value ($\bar{G}$) and the inverse of the kinetic operator ($M^{-1}$).
• Unlike previous derivations that relied on the equivalence between first- and second-order formulations, these identities are derived intrinsically from the first-order formulation alone using the invariance of the generating functional under the trivial symmetry.
• The master equation for these identities is shown to be the quantum realization of the classical equation of motion for the auxiliary field.

C. Proof of Quantum Equivalence

The paper rigorously proves the quantum equivalence between the first- and second-order formulations:

• Generating Functionals: It shows that $Z^{(1)}[j, J] = Z^{(2)}[j; J]$, implying that the Green's functions for the graviton field are identical in both formulations.
• Effective Action: It derives the relationship between the effective actions $\Gamma^{(1)}$ and $\Gamma^{(2)}$, showing they coincide when the auxiliary field is on-shell (i.e., when the source for the auxiliary field is zero).
• Degrees of Freedom: By including the Senjanovi'c determinant (exponentiated via auxiliary fields), the paper demonstrates that the first-order formulation correctly yields two physical degrees of freedom (the graviton polarizations), matching the second-order theory.

4. Key Results

1. Closed and Irreducible Algebra: Both first- and second-order formulations possess a closed and irreducible gauge algebra, simplifying the BV quantization process.
2. Covariant Measure: The Senjanovi'c determinant is derived as $\Delta^{1/2}(\mathbb{h}, J) = |\det M(\mathbb{h})|^{1/2} \exp(\dots)$, ensuring the path integral remains manifestly covariant.
3. Structural Identities: The paper derives specific relations such as:
   $$\langle 0|T G^\lambda_{\mu\nu}(x) G^\gamma_{\pi\tau}(y)|0\rangle^{(1)} = i\kappa^2 \delta(x-y) \langle 0|T (M^{-1})^\lambda_{\gamma \mu\nu \pi\tau}(x)|0\rangle^{(1)} + \langle 0|T \bar{G}^\lambda_{\mu\nu}(x) \bar{G}^\gamma_{\pi\tau}(y)|0\rangle^{(1)}$$
   These identities constrain the auxiliary field's correlations directly within the first-order framework.
4. Finite Temperature Consistency: In Appendix A, the author shows that the Senjanovi'c determinant is essential for canceling the contributions of the auxiliary field to the free energy at finite temperature, ensuring the equivalence of the one-loop results between the two formulations.
5. Master Equations: The Zinn-Justin master equations for both formulations are explicitly derived (Appendix B), providing the foundation for Slavnov-Taylor identities in the first-order context.

5. Significance

• Theoretical Completeness: This work fills a gap in the literature by providing the first complete, covariant BV treatment of the Einstein-Hilbert theory in the first-order (metric-affine) form.
• Computational Utility: By establishing the equivalence and providing a covariant measure, the paper validates the use of the first-order formulation for practical calculations (e.g., renormalization, higher-loop corrections) where the simplified cubic vertices are advantageous.
• New Quantum Insights: The identification of intrinsic structural identities arising from a trivial symmetry offers a new perspective on quantum gravity. These identities act as quantum constraints that enforce the classical equations of motion for auxiliary fields, independent of the equivalence to the second-order theory.
• Future Applications: The methodology and structural identities developed here are poised to be extended to supergravity and theories with more complex auxiliary field structures, potentially shedding light on non-perturbative aspects of quantum gravity.

In summary, the paper successfully bridges the gap between the mathematical elegance of the first-order formulation and the rigorous requirements of covariant quantum field theory, proving that the two formulations of General Relativity are quantum mechanically equivalent when the Senjanovi'c measure is correctly handled.