Covariant quantization of gauge theories with Lagrange multipliers

This paper establishes the equivalence between first- and second-order formulations of Yang-Mills and gravity theories using Lagrange multipliers within the path integral formalism, demonstrating that structural identities and a modified ghost-field approach successfully resolve issues related to finite-temperature tadpoles and Ostrogradsky instabilities while preserving renormalizability and unitarity.

The Gist

Imagine you are trying to describe how a complex machine works, like a car engine. You have two ways to write the instruction manual:

1. The "Second-Order" Manual: This is the standard way. It describes the engine by looking at how the parts move and accelerate over time. It's detailed, but the math gets very messy and complicated when you try to calculate how the engine behaves at the quantum level (the tiny, sub-atomic scale).
2. The "First-Order" Manual: This is a shortcut. Instead of tracking acceleration, you introduce a "helper" variable (let's call it a Shadow Variable) that represents the speed directly. This makes the math much simpler and cleaner.

For decades, physicists have known these two manuals describe the same engine. But when they tried to use the "First-Order" manual to calculate quantum effects, they ran into a problem: The Shadow Variables were causing extra, unwanted noise in the calculations. It was like the manual said, "The engine runs perfectly," but the math kept predicting extra vibrations that didn't exist in reality.

This thesis by Sérgio Martins Filho is like a master mechanic who finally fixed the First-Order manual so it works perfectly, even for the most complex engines: Gravity and Particle Physics (Yang-Mills theory).

Here is the story of how he did it, broken down into simple concepts:

1. The "Shadow" Problem (The Lagrange Multiplier)

In the First-Order approach, the "Shadow Variable" is technically called a Lagrange Multiplier. Think of it as a strict supervisor in a factory. Its only job is to make sure the workers (the particles) follow the rules (the laws of physics).

• The Old Way: In previous attempts, this supervisor was so strict that it accidentally doubled the number of workers. If you had 10 workers, the math suddenly acted like there were 20. This caused the "quantum noise" (extra loop diagrams) to appear, making the theory break down.
• The Fix: Sérgio realized that to fix this, you need to introduce Ghost Workers. These aren't real workers; they are invisible, negative-energy entities that cancel out the extra noise created by the supervisor.
  • Analogy: Imagine you have a noisy machine (the supervisor) that makes a loud hum. To fix it, you don't turn the machine off; you introduce a "noise-canceling" device (the ghost) that emits the exact opposite sound. The result? Silence. The machine works perfectly, but the extra noise is gone.

2. The "Temperature" Surprise

The thesis also looked at what happens when the universe is hot (like right after the Big Bang).

• The Problem: In cold conditions, the extra noise from the supervisor usually vanishes automatically. But in hot conditions, that noise wakes up and becomes a real problem. It breaks the equivalence between the two manuals.
• The Solution: Sérgio showed that by properly accounting for the "Shadow Variables" using a specific mathematical tool (the Senjanović determinant), the noise-canceling ghosts work perfectly even in the heat. The two manuals remain identical, whether the universe is freezing or boiling.

3. The "Rulebook" Update (Field Redefinition)

The core of the solution was a new rule: The laws of physics shouldn't change just because you rename your variables.

• Analogy: If you call a "cat" a "feline," the animal is still a cat. If you change the name in the instruction manual, the physics shouldn't break.
• The old First-Order manuals broke this rule. When you renamed the variables, the math changed, leading to errors.
• Sérgio introduced a Modified Formalism. He added a specific "correction factor" (the determinant) to the math. This ensures that no matter how you rename or rearrange your variables, the physics stays the same. This forces the "Ghost Workers" to appear exactly when needed to cancel out the errors.

4. Why This Matters

This work is a big deal for two main reasons:

1. Simplifying Gravity: Calculating quantum gravity is notoriously difficult (it's like trying to solve a Rubik's cube while juggling). The First-Order approach makes the math much simpler. By fixing the errors, this thesis gives physicists a cleaner, easier way to try to understand how gravity works at the quantum level.
2. A New Theory of Everything: The thesis proposes a version of gravity that is Renormalizable (the math doesn't blow up to infinity) and Unitary (it makes physical sense). It suggests a universe where quantum effects only happen at the "one-loop" level (a single layer of complexity), making the theory solvable and predictable.

The Big Picture

Think of the universe as a giant, complex video game.

• The Second-Order formulation is the original, buggy code that everyone uses. It works, but it's slow and hard to debug.
• The First-Order formulation is a "mod" (modification) that makes the game run faster and smoother.
• Sérgio's Thesis is the patch that fixes the bugs in the mod. He found that the mod was accidentally spawning extra enemies (the extra degrees of freedom), but he added a "cheat code" (the ghosts) to kill them instantly. Now, the mod runs perfectly, is faster than the original, and doesn't crash the game.

In short, this thesis proves that we can use a simpler, more elegant mathematical language to describe the fundamental forces of the universe, provided we add a few "ghosts" to keep the math honest.

Technical Summary

1. Problem Statement

The thesis addresses three interconnected problems in quantum field theory (QFT) and quantum gravity:

1. Quantum Equivalence of Formulations: While the first-order (FO) and second-order (SO) formulations of Yang-Mills (YM) and Gravity theories are classically equivalent, establishing their quantum equivalence is non-trivial. Specifically, in gravity, the path integral quantization of the first-order Hilbert-Palatini (HP) action involves second-class constraints. Previous work suggested that the resulting "Senjanović determinant" (arising from these constraints) vanishes in dimensional regularization at zero temperature but might lead to inequivalence at finite temperature or in non-regularized schemes due to tadpole-like contributions.
2. Curvature-Dependent Couplings: Standard procedures for converting SO Lagrangians to FO Lagrangians fail when matter fields couple non-minimally to the curvature (e.g., Pauli coupling in YM or fermion coupling to the spin connection in gravity). Naive substitution of the curvature tensor with an auxiliary field leads to inequivalent equations of motion.
3. Instabilities in Lagrange Multiplier (LM) Formalisms: An alternative approach to quantum gravity involves restricting the path integral to classical solutions using Lagrange Multiplier fields. While this renders the theory renormalizable and solvable (truncating the loop expansion to one-loop), it introduces Ostrogradsky instabilities. These manifest as a doubling of degrees of freedom and a doubling of one-loop contributions, threatening unitarity.

2. Methodology

The author employs the Path Integral formalism as the primary tool, utilizing several advanced techniques:

• Faddeev-Senjanović (FS) Procedure: Used to quantize systems with second-class constraints (essential for FOYM and FOGR).
• Field Redefinition Invariance: A principle stating that the path integral measure must be invariant under field redefinitions. The author uses this to derive necessary determinant factors (ghosts) to restore consistency in LM theories.
• Structural Identities: Deriving relations between Green's functions of auxiliary fields in the FO formulation and composite fields in the SO formulation to prove equivalence.
• BRST Symmetry and Slavnov-Taylor Identities: Used to ensure gauge invariance and unitarity in the quantized theories, including the extended ghost sectors required for the modified LM formalism.
• Finite Temperature Field Theory: Using the imaginary time formalism to analyze tadpole contributions that vanish at $T=0$ but persist at $T>0$.

3. Key Contributions and Results

A. Quantum Equivalence of First- and Second-Order Formulations

• Yang-Mills Theory: The thesis confirms that FOYM and SOYM are quantum equivalent. It demonstrates that structural identities relating the auxiliary field $F_{\mu\nu}$ to the composite curvature $F_{\mu\nu}(A)$ hold at the integrand level of loop integrals. This proves the equivalence is independent of the regularization scheme.
• Gravity (Hilbert-Palatini): The author derives a manifestly covariant path integral for the first-order gravity theory.
  • A key result is the identification of the Senjanović determinant in a covariant form: $|\det M(h)|^{1/2}$, where $M$ is the Hessian of the auxiliary field action.
  • It is shown that this determinant exactly cancels the "tadpole-like" contributions arising from the naive integration of the auxiliary field.
  • Significance: This cancellation ensures the quantum equivalence between HP and Hilbert-Einstein (HE) actions holds even at finite temperature, where dimensional regularization alone would fail to suppress these contributions.

B. Handling Non-Minimal and Curvature-Dependent Couplings

• The thesis proposes a systematic Lagrange Multiplier procedure to derive FO formulations for theories with curvature-dependent couplings (e.g., Pauli terms in YM or fermion-spin connection couplings in gravity).
• Instead of naively replacing $F \to \mathcal{F}$, the method introduces an LM field to enforce the constraint $\mathcal{F} = F(A)$.
• Result: This procedure successfully restores the quantum equivalence between the FO and SO formulations for these complex couplings in any dimension $D > 2$, resolving the inequivalence found in the standard Palatini approach for fermions.

C. Modified Lagrange Multiplier Formalism

• Problem: The standard LM formalism (restricting the path integral to classical solutions) doubles the degrees of freedom and one-loop contributions due to Ostrogradsky ghosts, leading to a non-unitary theory.
• Solution: The author proposes a Field Redefinition Invariant LM Formalism.
  • By demanding invariance under field redefinitions, a determinant factor $\Delta = \det(\delta^2 S / \delta \phi^2)^{1/2}$ is introduced into the path integral measure.
  • This determinant is exponentiated using Lee-Yang-like ghost fields (fermionic and bosonic).
• Results:
  • Cancellation: The ghost fields precisely cancel the extra one-loop contributions and the unphysical degrees of freedom associated with the LM fields.
  • Unitarity: The theory remains unitary and renormalizable, with radiative corrections strictly restricted to the one-loop order (higher loops vanish).
  • Commutation: The thesis proves that the LM formalism and the Faddeev-Popov (FP) quantization commute. This implies LM fields can be treated as purely quantum fields, and the FP procedure can be applied to the LM-augmented action without altering the physical content.
  • BRST Symmetry: A full BRST symmetry is constructed for the modified LM formalism, including "ghosts of ghosts" required to handle the new gauge invariances introduced by the LM fields.

4. Significance and Impact

• Resolution of Finite Temperature Inequivalence: The work resolves a long-standing ambiguity regarding the quantum equivalence of gravity formulations at finite temperature, showing that the Senjanović determinant is physically necessary to cancel spurious tadpoles.
• Robust Quantum Gravity Alternative: The Modified LM Formalism offers a promising, renormalizable, and unitary alternative to standard perturbative quantum gravity. It retains General Relativity as the classical limit while restricting quantum corrections to one-loop order, potentially avoiding the non-renormalizability issues of standard Einstein-Hilbert quantization.
• Generalization to Matter Couplings: The systematic derivation of FO formulations for non-minimal couplings provides a robust framework for studying Standard Model extensions and gravity-matter interactions in first-order formalisms, which are often computationally simpler.
• Diagrammatic Clarity: The thesis provides explicit diagrammatic analyses (e.g., cancellation of one-loop doubling by ghosts) and Feynman rules for these complex formalisms, facilitating future calculations in high-energy physics.

In summary, this thesis provides a rigorous mathematical framework for quantizing gauge theories and gravity in first-order formulations, ensuring quantum equivalence, handling complex matter couplings, and resolving the unitarity issues inherent in Lagrange Multiplier approaches through the introduction of field-redefinition invariant ghost sectors.