🔢 mathematics

Intrinsic Brown--York Type Mass at Infinity in Four Dimensions

This paper establishes an intrinsic Brown--York type mass for closed hypersurfaces in four-dimensional asymptotically flat manifolds, demonstrating that for large uniformly convex surfaces, the mass expansion converges to the ADM mass with a shape-dependent correction that vanishes for nearly round surfaces under natural decay conditions.

Original authors: Jiangcheng You

Published 2026-07-03

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jiangcheng You

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

The Big Picture: Weighing the Universe

Imagine you are trying to weigh a massive, invisible cloud that stretches out forever. In physics, this "cloud" is a universe (or a part of one) that is mostly empty space but has some gravity hidden inside. Scientists want to know the total amount of "stuff" (mass) in this universe.

In the 1960s, physicists Arnowitt, Deser, and Misner (ADM) figured out how to weigh this cloud by looking at the very edge of the universe, far away from the center. They found a specific way to calculate the total weight, called the ADM mass.

Later, in the 1990s, Brown and York came up with a different idea. Instead of looking at the infinite edge, they wanted to weigh a specific chunk of the universe by looking at its boundary (like the skin of a balloon). They calculated the weight by comparing the "shape" of this boundary to what it would look like if it were floating in empty, flat space. The difference between the real shape and the "flat" shape tells you how much mass is inside.

The Problem: The 4D Puzzle

The Brown and York method works beautifully in our 3D world (plus time). However, this paper deals with 4-dimensional space (mathematical space, not necessarily our physical reality).

Here is the snag: To use the Brown and York method, you have to imagine your 3D boundary surface being perfectly copied into a flat, empty 4D room to see what it "should" look like.

In 3D: You can almost always copy a curved surface into flat space without tearing it.
In 4D: Sometimes, you cannot copy the surface into flat space without it ripping or distorting. It's like trying to flatten a crumpled piece of paper perfectly onto a table without any wrinkles; sometimes, the paper just won't lie flat because of its complex internal geometry.

If you can't make that flat copy, the old Brown and York formula breaks down. You can't compare the real surface to a flat one if the flat one doesn't exist.

The Solution: The "Intrinsic" Scale

The author, Jiangcheng You, proposes a clever workaround. Instead of trying to force the surface into a flat room (which might be impossible), he looks inside the surface itself.

Think of it like this:

The Old Way: You try to fit a weirdly shaped rock into a perfect square box to measure how much it bulges out. If the rock doesn't fit, you're stuck.
The New Way: You look at the rock's own internal map. You ask, "If this rock were made of a specific, perfect material, what would its internal tension look like?" You calculate the "ideal" shape based purely on the rock's own geometry, without needing an outside box.

You calls this the Intrinsic Brown–York Mass. He uses a mathematical equation (the "contracted Gauss equation") to find the "ideal" shape directly from the surface's own curvature. If the surface is "nice" (positively curved), this ideal shape is unique and easy to find.

The Main Discovery: Does it Work at Infinity?

The author asks: "If we take this new, intrinsic method and move our measuring surface further and further out into the infinite universe, does it eventually match the original ADM weight?"

He finds that the answer is yes, but with a catch.

The Perfect Circle: If you measure using perfect spheres (like standard coordinate circles), the new method matches the old ADM weight perfectly. The "correction" needed is zero.
The Wobbly Circle: If you measure using surfaces that are almost round but slightly wobbly or lumpy, the new method gives you the correct weight plus a small error term. This error depends on how "wobbly" the surface is.
- If the wobbles die down fast enough as you go further out, the error vanishes, and you get the correct total mass.
- If the wobbles are too big or decay too slowly, the measurement might be slightly off.

The "Weyl" Obstacle

The paper also explains why the old method sometimes fails in 4D. It turns out that at the very edge of the universe, there is a type of gravitational "ripple" called the Weyl tensor.

Imagine the universe has a hidden texture. In 3D, this texture is smooth enough to flatten. In 4D, this texture can be so complex (like a knot that can't be untied) that it prevents the surface from ever being flattened into a 4D room.
The author proves that if this "knot" (the Weyl tensor) is not zero, you physically cannot flatten the surface. This is why the old method fails and why the new "intrinsic" method is necessary.

Summary

The Goal: Measure the total mass of a 4D universe.
The Problem: The standard method requires flattening the universe's boundary, which is sometimes impossible in 4D due to complex geometry.
The Fix: Calculate the "ideal" shape using only the boundary's own internal rules (intrinsic geometry), avoiding the need for a flat copy.
The Result: This new method works! If you measure far enough away, and your measuring surface isn't too lumpy, you get the exact same total mass as the original ADM method.

In short, the paper builds a new, more robust scale for weighing 4D universes that doesn't break when the geometry gets too complicated to flatten.

Technical Summary: Intrinsic Brown–York Type Mass at Infinity in Four Dimensions

Problem Statement
The paper addresses the definition and asymptotic behavior of quasilocal mass in four-dimensional asymptotically flat (AF) Riemannian manifolds. The classical Brown–York mass, defined in dimension three, relies on isometrically embedding a closed boundary surface into a flat Euclidean reference space to define a reference mean curvature. However, in dimension four, such an isometric embedding into $\mathbb{R}^4$ does not always exist, even for large coordinate spheres in asymptotically flat ends. Specifically, the presence of a non-vanishing Weyl tensor at infinity ( $W_\infty \neq 0$ ) can obstruct local isometric embeddability into flat space. Consequently, the classical definition fails to generalize directly to four dimensions. The central problem is to construct an intrinsic Brown–York type mass that remains well-defined without requiring a flat reference embedding and to determine under what geometric conditions this mass converges to the ADM mass at infinity.

Methodology
The author, Jiangcheng You, adopts a Hamilton–Jacobi perspective, viewing the reference term in the Brown–York mass not as a result of an embedding, but as a quantity determined intrinsically by the boundary geometry.

Intrinsic Reference Construction:
Instead of seeking an isometric embedding into $\mathbb{R}^4$ , the paper defines the reference mean curvature $H_0^+[\sigma]$ by solving the contracted Gauss equation for a reference shape operator $A$ directly from the induced metric $\sigma$ :
$\text{Ric}^\sharp_\sigma = (\text{tr}_\sigma A)A - A^2$
For boundaries with positive sectional curvature, this equation admits a unique positive definite solution. The reference mean curvature is defined as the trace of this solution:
$H_0^+[\sigma] := \text{tr} \left( \sqrt{\det B_\sigma} B_\sigma^{-1} \right), \quad \text{where } B_\sigma = \frac{1}{2}R_\sigma \text{Id} - \text{Ric}^\sharp_\sigma$
This construction is intrinsic and avoids the non-existence of flat embeddings.
Asymptotic Expansion:
The paper analyzes the behavior of the Brown–York type mass, defined as $m_{BY}(\Sigma) = \frac{1}{3\omega_3} \int_\Sigma (H_0^+[\sigma] - H_g(\Sigma)) d\mu_\sigma$ , for a family of large hypersurfaces $\{\Sigma_a\}$ escaping to infinity. By treating the mass as a functional of the ambient metric and performing a Taylor expansion around the Euclidean metric $g_E$ , the author derives an asymptotic expansion.
The expansion consists of:
- A boundary integral term converging to the ADM mass.
- A shape-dependent correction term involving a tensor $D_a$ paired with the metric perturbation $h = g - g_E$ .
- A quadratic remainder controlled by the decay rate of the metric and the scale of the hypersurface.
Geometric Conditions:
The analysis considers families of hypersurfaces satisfying uniform Euclidean convexity and "nearly round" conditions (generalizing the work of Shi–Wang–Wu to four dimensions). These conditions control the trace-free second fundamental form, diameter, and volume relative to the distance from the origin.

Key Contributions and Results

Obstruction to Embedding (Section 2.1): The paper rigorously demonstrates that for certain scalar-flat AF ends with $W_\infty \neq 0$ , the induced metrics on large coordinate spheres are not locally isometrically embeddable into $\mathbb{R}^4$ . This is proven using the Li–Weinstein local embedding criterion, showing that the Codazzi equation fails due to the Weyl tensor contribution.
Intrinsic Definition (Section 2.2): The paper establishes the existence and uniqueness of the positive solution to the contracted Gauss equation for metrics with positive sectional curvature, providing a canonical, base-point-free definition of the reference mean curvature.
Large-Boundary Expansion (Theorem 1.1): The main result provides an asymptotic expansion for the Brown–York type mass along a family of large hypersurfaces $\{\Sigma_a\}$ . The mass converges to the ADM mass if and only if a specific shape-dependent correction term vanishes in the limit:
$\lim_{a \to \infty} m_{BY}(\Sigma_a) = m_{ADM}(g) \iff \int_{\Sigma_a} D_a^{\alpha\beta} h_{\alpha\beta} d\mu_E \to 0$
Here, $D_a$ depends only on the Euclidean geometry of $\Sigma_a$ .
Convergence for Nearly Round Hypersurfaces (Theorem 1.3): The paper proves that for "nearly round" hypersurfaces (where the trace-free second fundamental form decays at rate $\tau$ ), the correction term vanishes provided the compatibility condition $q + \min\{q, \tau\} > 2$ holds. This recovers the ADM mass along such families, serving as a four-dimensional analogue of the Shi–Wang–Wu result in dimension three.
Coordinate Spheres: As a corollary, it is shown that for standard coordinate spheres, the correction tensor $D_a$ vanishes identically, ensuring convergence to the ADM mass.

Significance and Claims
The paper claims that the proposed intrinsic Brown–York type mass is a valid generalization of the classical three-dimensional definition to four dimensions, overcoming the obstruction of non-embeddability. The significance lies in:

Consistency: It verifies that the definition recovers the ADM mass along suitable large boundaries, a necessary consistency check for any quasilocal mass definition.
Geometric Insight: It highlights that the convergence to the ADM mass depends not just on the decay of the metric, but also on the "shape" of the hypersurfaces tending to infinity. The correction term measures the deviation of the hypersurface's Euclidean geometry from a round model.
Foundational Step: The author modestly frames these results as a "first step." The paper establishes the correct large-boundary behavior and recovery of the ADM mass under specific shape-defect conditions. It explicitly notes that further questions remain regarding positivity, rigidity, monotonicity along geometric foliations, and higher-order asymptotic expansions, which are left for future investigation.

The work aligns with the Hamilton–Jacobi viewpoint where the reference term is determined by the prescribed boundary geometry, and it draws conceptual parallels to holographic renormalization in asymptotically flat spacetimes.