Extrinsic geometry and Hamiltonian analysis of symmetric teleparallel gravity

This paper derives generalized Gauss-Codazzi relations and boundary terms for non-metric geometry to construct the Hamiltonian of symmetric teleparallel gravity, thereby proving it possesses the same number of degrees of freedom as General Relativity.

The Gist

The Big Picture: Three Ways to See Gravity

Imagine you are trying to describe how a heavy bowling ball sits on a trampoline.

1. Einstein's View (General Relativity): The trampoline fabric stretches and curves. The ball follows the curve. This is the standard view we all know.
2. The "Twist" View (Teleparallel Gravity): The fabric doesn't curve; instead, it twists and turns like a corkscrew. The ball moves because of these twists.
3. The "Stretch" View (Symmetric Teleparallel Gravity): This is the focus of the paper. Here, the fabric doesn't curve or twist. Instead, it stretches and shrinks in weird ways as you move across it. This "stretching" is called non-metricity.

For a long time, physicists have argued: "If we describe gravity using this 'stretching' method, does it act exactly like Einstein's gravity, or does it introduce new, weird physics?"

This paper by Capozziello and Sauro is like a forensic investigation. They want to prove that the "Stretch" view is actually just Einstein's gravity wearing a different costume. They do this by breaking the universe down into "slices" (like slicing a loaf of bread) and counting the "moving parts" (degrees of freedom) to see if they match.

---

Key Concepts Explained with Analogies

1. The "Bread Slicing" (Foliations)

To study how things move and change over time, physicists often slice the 4D universe (3 space + 1 time) into 3D "slices" (hypersurfaces), like slicing a loaf of bread.

• The Problem: In Einstein's gravity, the slices are smooth and uniform. In this paper's "Stretch" gravity, the slices are weird. The rulers used to measure them change length as you move.
• The Analogy: Imagine slicing a loaf of bread where the bread itself is made of a rubbery material that expands and contracts as you cut it. The authors had to invent new rules to measure the "crust" (extrinsic geometry) and the "inside" (intrinsic geometry) of these rubbery slices.

2. The "Stretching" vs. "Curving" (Non-Metricity)

In standard gravity, if you walk in a straight line, your ruler stays the same size. In this theory, your ruler might grow or shrink depending on where you are.

• The Analogy: Imagine walking through a hallway where the floor tiles change size as you step on them. If you take a step, you might suddenly be "taller" or "shorter" relative to the walls. The authors had to figure out how to describe the "bending" of this hallway without using the usual tools of curvature.

3. The "Degree of Freedom" Count (The Headcount)

This is the most important part of the paper. In physics, a "degree of freedom" is like an independent way a system can wiggle or move.

• Einstein's Gravity: Has 2 main wiggles (these correspond to gravitational waves).
• The Question: Does the "Stretch" theory have 2 wiggles, or does it have 10? If it has 10, it's a totally different universe. If it has 2, it's just Einstein's gravity in disguise.
• The Investigation: The authors used a complex mathematical "headcount" (called the Hamiltonian analysis). They looked at every variable in the equation and asked: "Is this variable actually moving, or is it just a fake variable created by our choice of coordinates?"

---

The Plot of the Paper

Act 1: Building the Map (Sections IV & V)

The authors first had to build a new map for this "stretching" universe. They derived new versions of the Gauss-Codazzi equations.

• Simple Version: These are the rules that tell you how the shape of a 3D slice relates to the shape of the 4D universe.
• The Twist: Because the rulers are stretching, the old rules didn't work. They had to derive new rules that account for the "stretching" (non-metricity). They found that while there are many new "stretching" variables, most of them are locked down and can't move freely.

Act 2: The Boundary Problem (Section VI)

When you do physics calculations, you often have to worry about the "edges" of your universe (boundaries).

• Einstein's Gravity: You must add a special "boundary term" (a correction factor) to the math, or the equations break. It's like needing a lid on a pot so the soup doesn't boil over.
• The Discovery: The authors found that in this "Stretch" theory, you don't need the lid. The math works perfectly without the boundary term. This is a huge difference, but it turns out to be a feature, not a bug.

Act 3: The Final Headcount (Section VII)

This is the climax. They built the "Hamiltonian" (the energy equation) for this theory and counted the degrees of freedom.

• The Result: They found that all the extra "stretching" variables they introduced were actually fake. They are like shadows on the wall; they look real, but they don't have their own independent motion.
• The Conclusion: After removing the fake variables, the "Stretch" theory has exactly 2 degrees of freedom.
• The Verdict: Symmetric Teleparallel Gravity is mathematically identical to Einstein's General Relativity. They are the same theory, just described with different words.

---

Why Does This Matter?

1. It Settles a Debate: For years, scientists argued about whether this "Stretch" theory was a new, better theory of gravity or just a copy of Einstein's. This paper proves it's a copy (in the classical sense).
2. It Provides a New Toolkit: Even though the theories are the same, the "Stretch" math is sometimes easier to work with for certain problems (like the very early universe or quantum gravity). This paper gives physicists the "instruction manual" on how to use this new math without getting lost.
3. It's Rigorous: Many previous studies tried to prove this by picking a specific "gauge" (a specific way of setting up the coordinates), which can sometimes hide the truth. This paper did the math without picking a specific setup, making the proof much stronger and more trustworthy.

The Takeaway

Imagine you have a car. You can describe it by looking at its engine (Einstein's view) or by looking at its tires (Teleparallel view). This paper is like a mechanic who takes the car apart, counts every bolt and gear, and proves that no matter which way you look at it, it's the exact same car. It doesn't have extra engines or hidden wheels; it's just General Relativity, wearing a different hat.

Technical Summary

1. Problem Statement

The paper addresses foundational issues within Symmetric Teleparallel Gravity (STG), specifically the Symmetric Teleparallel Equivalent of General Relativity (STEGR). While STEGR is known to be dynamically equivalent to Einstein's General Relativity (GR) at the level of the action (differing only by a boundary term), there has been a lack of consensus regarding the number of propagating degrees of freedom (d.o.f.) in more general $f(Q)$ theories and even in the base STEGR model when analyzed without gauge fixing.

Previous analyses often relied on the coincident gauge (where the connection vanishes globally), which simplifies calculations but may obscure the full geometric structure and potentially hide or artificially generate degrees of freedom. The authors aim to establish a rigorous, gauge-independent geometric framework to:

1. Derive the generalized Gauss-Codazzi relations for spacetimes with non-metricity (where the connection is not metric-compatible).
2. Perform a complete Hamiltonian analysis of STEGR without relying on specific gauge choices.
3. Prove definitively that STEGR shares the exact same number of propagating degrees of freedom as standard GR (two tensorial modes).

2. Methodology

The authors employ a 3+1 ADM (Arnowitt-Deser-Misner) decomposition of spacetime, adapted for manifolds with non-metricity. The methodology proceeds through several distinct stages:

• Geometric Setup: They define a foliation of spacetime into spacelike hypersurfaces $\Sigma_t$. Unlike Riemannian geometry, the presence of non-metricity ($Q_{\mu\nu\rho} = \nabla_\mu g_{\nu\rho} \neq 0$) requires the introduction of new geometric objects beyond the standard extrinsic curvature.
• Generalized Gauss-Codazzi Relations: The authors derive the full set of projection equations relating the 4D curvature to 3D intrinsic and extrinsic quantities. This includes:
  • Generalized Ricci relations.
  • Generalized Codazzi relations.
  • A new Rank-one relation arising from the asymmetry of the curvature tensor in non-metric geometry.
• Teleparallel Limit: They impose the teleparallel constraint (vanishing total curvature, $R^\rho_{\lambda\mu\nu} = 0$) on these generalized relations. This step is crucial as it reveals which geometric tensors must vanish or become constrained, thereby identifying the dynamical variables.
• Variational Principle: The authors analyze the action functional, paying specific attention to boundary terms. They derive the necessary boundary terms to ensure a well-posed variational problem for both Palatini gravity and STEGR.
• Hamiltonian Construction: Using the Dirac-Bergman algorithm for constrained systems, they construct the canonical Hamiltonian. They identify primary and secondary constraints, classify them (first-class vs. second-class), and calculate the number of physical degrees of freedom.

3. Key Contributions

A. Generalized Extrinsic Geometry

The paper introduces a comprehensive set of extrinsic non-metricity tensors required to describe the embedding of hypersurfaces in non-metric spacetimes. These include:

• A symmetric rank-2 tensor ($\Sigma_{ab}$) playing the role of extrinsic curvature.
• Extrinsic vectors ($\theta_a, \kappa_a, \lambda_a$) and scalars ($\alpha$).
• Intrinsic distortion tensors ($L^{(3)}_{cab}$).
  The authors derive the generalized Gauss-Codazzi-Ricci equations (Eqs. 73–83), which are significantly more complex than their Riemannian counterparts due to the lack of curvature symmetries and the presence of non-metricity.

B. The Teleparallel Limit and Constraints

By applying the condition $R^\rho_{\lambda\mu\nu} = 0$ to the generalized equations, the authors prove that:

• The induced 3D geometry is also teleparallel ($R^{(3)} = 0$).
• The extrinsic curvature $K_{ab}$ and the tensor $\Phi_{ab}$ vanish.
• The extrinsic vectors $\kappa_a$ and $\lambda_a$ vanish.
• Crucially, the Lie derivatives of the remaining non-trivial tensors (like the extrinsic vector $\theta_a$ and intrinsic distortion $L^{(3)}_{cab}$) along the normal vector are not independent; they can be expressed entirely in terms of spatial derivatives. This implies these variables do not possess independent conjugate momenta.

C. Variational Principle and Boundary Terms

A significant finding concerns the boundary terms in the action:

• In standard GR, a boundary term (Gibbons-Hawking-York term) is required to cancel normal derivatives of the metric variation.
• In STEGR, the authors demonstrate that the variation of the action does not produce normal derivatives of the metric on the boundary. Consequently, no boundary term is required for a well-posed variational principle in STEGR. This highlights a fundamental structural difference between the Riemannian and Symmetric Teleparallel formulations, despite their dynamical equivalence.

D. Hamiltonian Analysis and Degrees of Freedom

The authors construct the Hamiltonian for STEGR and perform a full constraint analysis:

• New Variables: The formalism introduces new canonical variables: the extrinsic vector $\theta_a$ and the intrinsic distortion $L^{(3)}_{cab}$ (totaling 42 new canonical variables).
• Constraints: These new variables generate primary constraints (vanishing momenta). The analysis shows these constraints are first-class.
• Result: The new constraints do not generate new degrees of freedom. The Hamiltonian density is formally identical to that of GR plus terms that vanish on the constraint surface.
• Conclusion: The number of propagating degrees of freedom in STEGR is exactly two, identical to GR.

4. Key Results

1. Gauge Independence: The proof that STEGR has two degrees of freedom is achieved without fixing the coincident gauge, resolving previous ambiguities in the literature.
2. Geometric Equivalence: The paper establishes that the "extrinsic symmetric two-tensor" in teleparallel geometry plays the exact same dynamical role as the extrinsic curvature in Riemannian geometry.
3. Boundary Term Discrepancy: It is proven that while GR and STEGR are dynamically equivalent, their action functionals differ fundamentally regarding boundary terms. STEGR does not require a boundary term for a well-defined variational principle, whereas GR does.
4. Constraint Structure: The new geometric variables introduced by non-metricity are shown to be non-dynamical (pure gauge or constrained) in the teleparallel limit, preventing the proliferation of extra degrees of freedom.

5. Significance

• Foundational Clarity: This work provides the first rigorous, gauge-independent proof that the Symmetric Teleparallel Equivalent of GR shares the same physical content (2 d.o.f.) as standard GR. It settles debates regarding the stability and consistency of $f(Q)$ theories at the foundational level.
• Methodological Framework: The derived generalized Gauss-Codazzi relations provide a necessary toolkit for analyzing any metric-affine theory with non-metricity, not just teleparallel gravity. This is essential for studying higher-derivative extensions and cosmological models.
• Quantum Implications: By clarifying the boundary terms and the constraint structure, the paper lays the groundwork for future quantum gravity studies in the teleparallel paradigm, addressing issues like renormalizability and the definition of conserved quantities (energy) in asymptotically flat spacetimes.
• Future Applications: The authors suggest this framework can be applied to analyze the Hamiltonian structure of $f(Q)$ gravity, Starobinsky inflation models, and higher-derivative gravity theories (Stelle gravity) in the teleparallel setting.

In summary, the paper successfully bridges the gap between the geometric complexity of non-metric theories and the physical simplicity of General Relativity, proving that the teleparallel formulation is a robust and consistent alternative description of gravity with identical physical degrees of freedom.