Rigidity of spin fill-ins with non-negative scalar curvature

This paper establishes new mean curvature rigidity theorems for spin fill-ins with non-negative scalar curvature by employing two distinct spinorial techniques—an APS boundary value problem extension and an index-theoretic comparison—to resolve questions posed by Miao and Gromov, while also deriving a novel Witten-type mass inequality for asymptotically Schwarzschild manifolds.

The Gist

Imagine you are an architect trying to build a house (a "fill-in") on a specific plot of land (the "boundary"). You have two strict rules for your construction:

1. The Roof Must Be Flat or Curved Outward: In math terms, the "scalar curvature" must be non-negative. Think of this as the roof never dipping inward like a sad, sagging tent; it must be sturdy and convex.
2. The Walls Must Be Strong: The "mean curvature" of the boundary (the edge of your plot) represents how much the ground pushes up against your walls.

This paper, written by Cecchini, Hirsch, and Zeidler, asks a very specific question: If you have a plot of land with a specific shape and a specific "pushiness" from the ground, is there only one way to build a house that follows these rules? Or can you build many different houses?

The authors use a special mathematical tool called Spinors. If you imagine a standard map as a 2D sheet, a spinor is like a "quantum compass" that lives on the surface. It's a bit like a spinning top that needs to rotate 720 degrees (two full turns) to get back to where it started. These "spinning compasses" are incredibly sensitive to the shape of the space they live in.

Here are the three main discoveries of the paper, explained with everyday analogies:

1. The "Impossible Garden" (Answering Miao's Question)

The Question: If you have a piece of land that can theoretically be filled in (like a circle can be filled with a disk), can you always build a house with a non-sagging roof and walls that push outward (positive mean curvature)?

The Discovery: No.
The authors found that for certain shapes (specifically some weirdly stretched spheres called "Berger spheres"), if you try to build a house with outward-pushing walls and a non-sagging roof, the laws of physics (math) force your house to be perfectly flat and your walls to be perfectly vertical. You cannot make them bulge outward.

• The Analogy: Imagine trying to build a dome on a specific patch of ground. You want the ground to push up against the dome (positive pressure). The authors proved that for certain tricky shapes, the ground simply refuses to push up if the dome is to remain non-sagging. The only solution is a flat, rigid floor with no pressure at all. It's like trying to inflate a balloon made of steel; it just won't bulge.

2. The "Perfect Fit" (Answering Gromov's Question)

The Question: If you have a plot of land and you want to build a house that is as "tight" as possible against the land's curvature, is the only solution a perfect, round ball (a disk in Euclidean space)?

The Discovery: Yes.
If you try to build a house that is "almost" a perfect sphere but slightly squashed or stretched, and you try to keep the roof non-sagging, the math forces you to admit that you must have built a perfect sphere. There is no wiggle room.

• The Analogy: Imagine you have a rubber sheet (your boundary) and you want to stretch a taut, non-sagging plastic sheet over it (your fill-in). If the rubber sheet is stretched to its absolute limit (the "hyperspherical radius"), the only way to cover it without the plastic sheet sagging is if the plastic sheet is a perfect, round dome. If you try to make it an oval or a cube, the plastic sheet would have to sag (negative curvature) to fit, which breaks the rules. The paper proves that if you are at the limit, you are locked into the perfect shape.

3. The "Ghostly Blueprint" (The New Mass Formula)

The Discovery: The authors used their "spinning compass" technique to create a new way to measure the "weight" (mass) of a universe that is stretching out to infinity (an asymptotically flat manifold).

• The Analogy: Usually, to weigh a universe, you need to know that the space inside is "sturdy" (non-negative curvature). If the space is wobbly, the old weighing scales break. The authors found a new "ghostly scale." They showed that even if the universe is wobbly or has weird curves inside, you can still calculate its total mass by looking at how the "spinning compasses" behave at the edges. It's like weighing a bag of jelly by looking at how the jelly jiggles against the bag, even if the jelly itself is squishy and irregular.

Why Does This Matter?

In the world of General Relativity (Einstein's theory of gravity), shapes and masses are deeply connected.

• Rigidity means that nature has very strict rules. You can't just wiggle the universe into any shape you want; if you try to force a shape that is "too tight" or "too curved," the universe snaps back to a specific, rigid form.
• Spinors are the secret language the universe uses to enforce these rules. By listening to these "spinning compasses," the authors proved that the universe is much more rigid and predictable than we might have thought.

In short: The paper proves that if you try to build a geometric structure with specific "sturdy" properties, you often have no choice but to build a perfect sphere or a flat plane. Nature doesn't allow for "almost perfect" solutions in these specific scenarios; it demands perfection.

Technical Summary

Here is a detailed technical summary of the paper "Rigidity of Spin Fill-Ins with Non-Negative Scalar Curvature" by Cecchini, Hirsch, and Zeidler.

1. Problem Statement and Context

The paper addresses fundamental questions in Riemannian geometry and mathematical relativity concerning fill-ins and extensions of manifolds with non-negative scalar curvature (NNSC).

• Definition: A fill-in for a closed $(n-1)$-dimensional manifold $\Sigma$ with metric $g_\Sigma$ and mean curvature function $h$ is a compact $n$-dimensional manifold $(M, g)$ such that $\partial M = \Sigma$, $g|_{\partial M} = g_\Sigma$, $\text{scal}_M \ge 0$, and the mean curvature of the boundary $H_{\partial M} = h$.
• The Questions:
  1. Miao's Question: Does every closed null-bordant Riemannian manifold admit an NNSC fill-in with positive mean curvature? (Previous work by Shi-Wang-Wei showed existence with negative mean curvature).
  2. Gromov's Conjecture: Is the disk rigid regarding the hyperspherical radius? Specifically, if a spin fill-in achieves the upper bound for the mean curvature determined by the hyperspherical radius of the boundary, must the fill-in be a round Euclidean disk?

The authors investigate these questions using spinorial techniques, specifically leveraging the Dirac operator, index theory, and integral inequalities.

2. Methodology

The paper employs two distinct spinorial approaches:

Approach A: Extension via Fredholm Alternative (APS Boundary Conditions)

• Core Idea: This method extends boundary spinors satisfying a generalized eigenvalue equation into the interior of the manifold.
• Technique: The authors define a boundary Dirac operator $A$ and impose generalized Atiyah-Patodi-Singer (APS) boundary conditions using spectral projections.
• Key Tool: They utilize the Fredholm alternative for the Dirac operator on manifolds with boundary. By analyzing the surjectivity of the Dirac operator $D$ under these boundary conditions, they prove that if a non-trivial spinor exists on the boundary satisfying specific eigenvalue equations, it must extend to a parallel spinor in the interior.
• Application: This approach is used to prove rigidity results for manifolds admitting parallel spinors or harmonic spinors on the boundary, without relying on the Atiyah-Singer index theorem for the existence of the spinor itself.

Approach B: Index Theory and Integral Inequalities

• Core Idea: This approach uses the existence of harmonic spinors guaranteed by the Atiyah-Singer Index Theorem (specifically adapted for maps to Euclidean domains) to derive integral inequalities.
• Technique: They construct a "twisted" Dirac bundle over $M$ associated with a map $f: M \to N$ (where $N$ is a target domain, often Euclidean). They establish a fundamental integral inequality (Proposition 4.4) combining the Schrödinger-Lichnerowicz formula with estimates on curvature terms and boundary mean curvatures.
• Key Tool: A refined integral inequality (Proposition 4.4) that bounds the $L^2$ norm of the Dirac operator in terms of scalar curvature, boundary mean curvature, and the Lipschitz constant of the map. This inequality is derived using a quantitative matrix Hölder inequality (Lemma B.1).

3. Key Contributions and Results

Result 1: Negative Answer to Miao's Question (Theorem 1.2)

• Statement: For closed spin manifolds $\Sigma$ of dimension $n \ge 3$ where $n \equiv 0, 1, 3, 7 \pmod 8$, there exist metrics $g_\Sigma$ such that no spin NNSC fill-in with non-negative mean curvature exists, unless the fill-in is Ricci-flat with minimal boundary.
• Significance: This disproves the general possibility of positive mean curvature fill-ins for all null-bordant manifolds in the spin setting. The proof relies on the existence of harmonic spinors on specific Berger spheres (or general manifolds with non-vanishing $\hat{A}$-genus in specific dimensions) and the extension principle (Lemma 3.1).
• Corollary (Theorem 1.3): Spin domains admitting a parallel spinor are extremal. If a fill-in has mean curvature $h \ge H_{\partial N}$, then $h$ must equal $H_{\partial N}$, and the fill-in must admit a parallel spinor.

Result 2: Rigidity of the Hyperspherical Radius (Theorem 1.5)

• Statement: For a spin NNSC fill-in $(M, g)$ of $(\Sigma, g_\Sigma, h)$, the minimum mean curvature satisfies:
  $$\min_{p \in \Sigma} h(p) \le \frac{n-1}{\text{Rad}_{S^{n-1}}(\Sigma, g_\Sigma)}$$
  Equality holds if and only if $(M, g)$ is a round Euclidean disk and $h$ is constant.
• Significance: This confirms Gromov's conjecture regarding the rigidity of disks. It establishes a sharp upper bound for the mean curvature of fill-ins based on the geometric size (hyperspherical radius) of the boundary.

Result 3: Almost Rigidity for Maps to Convex Domains (Theorem 1.6)

• Statement: If a map $f: \partial M \to \partial \Omega$ (where $\Omega \subset \mathbb{R}^n$ is strictly convex) is "almost" an isometry (Lipschitz constant $\le 1+\delta$, mean curvature condition $\ge H_\Omega \circ f - \delta$, and non-zero degree), then $M$ is flat and isometric to $\Omega$, and $f$ is close to an isometry in $W^{1,p}$.
• Significance: This is a crucial intermediate step. It handles the technical difficulty that the hyperspherical radius is defined via a supremum (which may not be attained by a smooth map). The theorem allows the authors to pass from "almost" maps to the exact rigidity result.

Result 4: Witten-Type Integral Formula for Mass (Theorem 6.1)

• Statement: The authors derive a Witten-type integral formula for the ADM mass of an asymptotically Schwarzschild manifold that does not require the assumption of non-negative scalar curvature.
  $$m \ge \frac{1}{2(n-1)\omega_{n-1}} \int_M (4|\nabla \psi|^2 + \text{scal}|\psi|^2) dV + O(r^{-\delta})$$
• Significance: Unlike Witten's original proof, this formula holds even if $\text{scal} < 0$ in the interior, provided the manifold is asymptotically Schwarzschild. This provides a new proof of the Riemannian Positive Mass Theorem and addresses Gromov's question about the relationship between Llarull/Lott type theorems and the Positive Mass Theorem.

4. Technical Highlights

• Lemma 3.1 (Extension Principle): A novel lemma showing that under specific boundary conditions, a spinor on the boundary satisfying $A\psi = \frac{1}{2}h\psi$ extends to a parallel spinor in the interior if $\text{scal} \ge 0$ and $H \ge h$. This avoids the need for index-theoretic existence arguments in the first part of the paper.
• Proposition 4.4 (Integral Inequality): A generalized inequality involving the curvature operator of the target manifold and the Weingarten map of the boundary. It refines previous results by Goette-Semmelmann, Listing, and Lott by providing precise control over the boundary terms, essential for the "almost rigidity" proofs.
• Index Formula (Appendix A): The authors provide a direct proof that $\text{ind}(D, 1) = \deg(f)$ for maps to convex domains in Euclidean space, valid for both even and odd dimensions, independent of the parity of the dimension.

5. Significance and Impact

• Resolution of Open Problems: The paper definitively answers Miao's question (in the negative for spin manifolds) and proves Gromov's conjecture on the rigidity of disks.
• Methodological Advancement: It demonstrates the power of combining Fredholm theory (for existence of extensions) with Index theory (for existence of harmonic spinors) to tackle geometric rigidity problems.
• Relativity Applications: The derivation of a mass formula without the non-negative scalar curvature assumption offers new tools for studying the stability of the Positive Mass Theorem and the behavior of mass in asymptotically flat spacetimes.
• Low Regularity: The results extend to low-regularity (Lipschitz) maps and metrics, broadening the applicability of rigidity theorems in geometric analysis.

In summary, this paper unifies spin geometry, index theory, and geometric analysis to establish strong rigidity theorems for manifolds with non-negative scalar curvature, resolving long-standing questions about the existence and uniqueness of such fill-ins.