⚛️ general relativity

On more general Gibbons-Hawking-York boundary terms for f(R) gravity

This paper introduces more general boundary conditions for $f(R)$ gravity that ensure a well-posed stationary action principle, explicitly computes the corresponding Gibbons-Hawking-York boundary terms for any analytic $f(R)$ , and outlines their applications to scalar-tensor mapping and black-hole thermodynamics.

Original authors: Federico Scali, Sergio Luigi Cacciatori, Matteo Galaverni, Gabriele Gionti

Published 2026-09-30

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Federico Scali, Sergio Luigi Cacciatori, Matteo Galaverni, Gabriele Gionti

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Gravity is the force that holds planets in orbit and keeps our feet on the ground, but in the language of modern physics, it is also the shape of space and time itself. For over a century, scientists have used a set of rules called general relativity to describe how matter bends this cosmic fabric. These rules work beautifully for most situations, but when physicists try to apply them to the very beginning of the universe or the centers of black holes, the equations become difficult to solve. To make things work, they often look at slightly different versions of the rules, known as modified gravity theories. One of the simplest and most popular of these versions is called f(R) gravity. In this version, the standard rules are tweaked by allowing the curvature of space to interact in more complex, non-linear ways. This tweak introduces a new kind of freedom into the system, a hidden degree of freedom that behaves like an extra field.

To study these theories mathematically, physicists use a tool called an action principle. Think of this as a master recipe that, when followed, produces the correct equations for how gravity moves and changes. However, for this recipe to work correctly, the scientists must also define the edges of their universe, or the boundary, where the calculations stop. In the standard version of gravity, there is a well-known way to handle these edges, a specific correction term added to the recipe to ensure the math balances out. But in the more complex f(R) theories, the standard edge correction is not enough. If the scientists try to use the old method, the recipe breaks down, and the equations do not produce a unique, stable solution. For a long time, the scientific community settled on a specific, somewhat rigid way to fix the edges: they simply decided that the curvature of space at the boundary must not change at all. While this works, it is a very strict rule that might be throwing away other valid possibilities.

A team of researchers has now shown that this strict rule is not the only way to make the math work. They discovered that there is a whole new family of ways to handle the edges of these gravitational theories. Instead of demanding that the curvature at the edge stays perfectly still, they found that the curvature is allowed to change, as long as it changes in a specific relationship to how the edge itself is bending. They demonstrated that if the change in curvature is linked to the bending of the boundary through a simple power-law relationship, the mathematical recipe remains stable and produces a unique solution. This finding is significant because it opens up a much larger space of possible solutions for the universe. It suggests that the universe might have more ways to arrange itself than previously thought, without breaking the fundamental laws of physics.

The researchers did not just propose this idea; they worked out the exact mathematical correction needed for every single one of these new scenarios. They showed that for any smooth, well-behaved function describing the gravity theory, there is a corresponding correction term that can be added to the action. This term acts like a precise counterweight, canceling out the unwanted fluctuations at the edge so that the rest of the calculation proceeds smoothly. Their work covers a vast range of possibilities, including the old, strict method as just one special case within a much broader spectrum. By proving that these more flexible conditions are mathematically sound, the authors have provided a more robust foundation for studying modified gravity. This flexibility could be crucial for understanding the thermodynamics of black holes or for mapping these complex theories onto simpler ones, potentially revealing new insights into how gravity operates at the deepest levels of reality. The study confirms that the universe does not need to be forced into a single, rigid boundary condition to make sense; it can be described with a richer, more adaptable set of rules.

Technical Summary: On more general Gibbons-Hawking-York boundary terms for f(R) gravity

Problem Statement
In $f(R)$ gravity, where the Einstein-Hilbert Lagrangian is generalized to an arbitrary function of the scalar curvature $R$ , the standard variational principle faces a well-posedness issue. The action involves second-order derivatives of the metric, leading to boundary terms in the variation that depend on the normal derivatives of the metric variations. Unlike General Relativity (GR), where fixing the metric on the boundary ( $\delta g_{\mu\nu}|_{\partial M} = 0$ ) is sufficient to render the action stationary (after adding the Gibbons-Hawking-York or GHY term), $f(R)$ gravity introduces an additional dynamical degree of freedom due to the nonlinearity of $f(R)$ .

Consequently, fixing only the metric is insufficient. The literature typically adopts the condition $\delta R|_{\partial M} = 0$ (fixing the scalar curvature on the boundary) to obtain a well-posed action. This choice is often motivated by the mapping of $f(R)$ gravity to a scalar-tensor theory, where the scalar field is fixed. However, the authors argue that this mapping is a mathematical tool rather than a physical requirement, and restricting the space of admissible solutions to those satisfying $\delta R|_{\partial M} = 0$ may be unnecessarily limiting. The paper seeks to identify more general boundary conditions that ensure a well-posed stationary action principle without restricting the solution space to the specific case of $\delta R|_{\partial M} = 0$ .

Methodology
The authors analyze the variation of the $f(R)$ action, $S_f = \frac{1}{2k} \int_M d^D x \sqrt{-g} f(R)$ . The variation yields a bulk term (producing the field equations) and a boundary term proportional to $f'(R) \delta K$ , where $K$ is the trace of the extrinsic curvature. To cancel this boundary variation, a GHY term must be added to the action.

The methodology proceeds in three stages:

Review of Madsen-Barrow Construction: The authors revisit the construction by Madsen and Barrow, which derives a GHY term as a convergent power series in $K$ under the specific condition $\delta R|_{\partial M} \propto K \delta K$ . This serves as the foundation for generalization.
Power-Law Ansatz: The authors propose a generalized "power-law" boundary condition of the form:
$\delta R|_{\partial M} = \alpha K^r \delta K$
where $\alpha$ is a function of the boundary coordinates and $r$ is a real parameter. This ansatz encompasses the standard case ( $\alpha=0$ ) and the Madsen-Barrow case.
Functional Generalization: The power-law condition is further generalized to an arbitrary functional condition:
$\delta R|_{\partial M} = g(K) \delta K$
where $g$ is an analytic function.

For these generalized conditions, the authors construct a corresponding GHY boundary term $S_{GHY}$ such that its variation exactly cancels the unwanted boundary terms arising from the bulk variation. This involves solving a recursive relation for the coefficients of a series expansion of the GHY term, ensuring the cancellation holds for any analytic $f(R)$ .

Key Contributions and Results

Generalized Boundary Conditions: The paper establishes that a well-posed stationary action principle in $f(R)$ gravity does not strictly require $\delta R|_{\partial M} = 0$ . Instead, a broader class of conditions relating the variation of the scalar curvature to the variation of the extrinsic curvature trace is admissible.
Explicit GHY Terms: The authors explicitly compute the corresponding GHY boundary terms for the generalized conditions.
- For the power-law condition $\delta R|_{\partial M} = \alpha K^r \delta K$ , the GHY term is derived as an infinite series involving derivatives of $f(R)$ and powers of $K$ . The coefficients of this series depend on $\alpha$ , $r$ , and the Gamma function.
- The result recovers the standard GR GHY term when $f(R)=R$ and the Madsen-Barrow term for specific parameter choices.
- The derivation holds for any analytic function $f(R)$ , provided the series converges.
Constraints on Parameters: The analysis reveals constraints on the parameter $r$ . Specifically, if $r = -1 - 1/m$ (where $m$ is a positive integer), the series coefficients vanish in a way that prevents the construction of a valid GHY term without additional assumptions on $f(R)$ . These specific values of $r$ must be discarded.
Consistency: The generalized conditions are shown to be consistent with the Gauss-Codazzi equations, provided specific constraints on the traceless part of the extrinsic curvature tensor are met (or the tensor is fixed a priori).

Significance and Claims
The paper claims to enlarge the space of admissible solutions for $f(R)$ gravity by demonstrating that the boundary condition $\delta R|_{\partial M} = 0$ is not the unique path to a well-posed action principle. By decoupling the boundary condition from the specific scalar-tensor mapping, the authors argue that the physical degrees of freedom in $f(R)$ gravity can be addressed more generally.

The authors outline the perspectives for applying these new GHY terms in two main areas, as discussed in the conclusions:

Scalar-Tensor Mapping: The new terms offer a refined tool for analyzing the correspondence between $f(R)$ gravity and scalar-tensor theories without imposing restrictive boundary conditions on the scalar field.
Black-Hole Thermodynamics: The modified boundary terms may impact the derivation of black-hole thermodynamic laws (such as entropy and energy) when using the Euclidean path-integral approach, potentially leading to corrections or generalizations of existing results.

The work remains theoretical, focusing on the mathematical consistency of the variational principle and the explicit construction of the necessary boundary terms, without proposing new experimental tests or specific numerical simulations.

More like this