Weak Continuity of the Cartan Structural System and Compensated Compactness on Semi-Riemannian Manifolds with Lower Regularity

This paper establishes the global weak continuity of the Cartan structural system and the Gauss–Codazzi–Ricci system on semi-Riemannian manifolds with lower regularity by proving a new geometric compensated compactness theorem, which further enables the construction of isometric immersions and the analysis of various geometric and physical equations.

The Gist

The Big Picture: Building a Universe from a Blueprint

Imagine you are an architect trying to build a complex, multi-dimensional structure (like a spaceship or a universe). You have a set of blueprints called the Cartan Structural System (or the Gauss-Codazzi-Ricci system). These blueprints tell you how the curves, angles, and connections of your building must fit together to ensure the structure is stable and makes geometric sense.

In the world of smooth, perfect mathematics, these blueprints are easy to follow. But in the real world (and in advanced physics like General Relativity), things are messy. The materials might be rough, the measurements might be slightly off, or the "fabric" of space might be crumpled. This is what the authors call "lower regularity."

The big question this paper asks is: If we have a slightly messy, imperfect set of blueprints that almost work, and we smooth them out or take a limit, does the final result still hold together?

The authors say YES. They prove that even if your materials are rough and your measurements are "fuzzy" (mathematically speaking, in a space called $L^p$), the fundamental laws of geometry still hold up in the limit.

---

The Core Problem: The "Jiggle" in the System

To understand the difficulty, imagine you are trying to balance a stack of Jenga blocks.

• The Blocks: These represent the geometric data (curvature, connections) of your manifold.
• The Jiggle: In real-world physics, these blocks aren't static; they vibrate or fluctuate. Mathematically, we have a sequence of solutions $\{W_\epsilon\}$ that are getting closer and closer to a final answer, but they are "wiggling" a bit.

In standard math, if you have a sequence of numbers getting closer to a limit, the square of those numbers usually gets closer to the square of the limit. But in the world of non-linear partial differential equations (PDEs), this isn't always true.

• If you have a wave that is getting smaller and smaller (converging to zero), its energy (which is proportional to the square of the wave) might not disappear. It might "hide" in the high-frequency jiggles.

This is the problem of Weak Continuity. The authors want to prove that for these specific geometric blueprints, the "energy" doesn't hide. If the blueprints converge, the rules governing the blueprints also converge.

---

The Secret Weapon: "Compensated Compactness"

How do they prove this? They use a technique called Compensated Compactness.

The Analogy: The Tug-of-War
Imagine two teams pulling on a rope.

• Team A is pulling left (representing one part of the equation).
• Team B is pulling right (representing another part).
• Individually, the rope is shaking violently (weak convergence).
• However, if Team A and Team B are perfectly coordinated, their opposing forces cancel each other out in a specific way, leaving the rope perfectly still in the middle.

In mathematics, this is called a div-curl structure. Even though the individual parts of the equation are messy and only "weakly" converging, their specific interaction (the product of the two parts) is actually very stable. The "weakness" of one part is compensated by the "weakness" of the other.

The authors had to invent a new, geometric version of this trick.

• Old Trick: Worked well on flat surfaces (like a sheet of paper).
• New Trick: They extended it to Semi-Riemannian Manifolds. Think of this as doing the tug-of-war on a trampoline that is curved, twisted, and has some parts that are "negative" (like a saddle shape). This is much harder because the usual tools (like the Laplacian operator) break down on these curved, weird surfaces.

They proved a Generalized Quadratic Theorem: No matter how the surface is twisted or how rough the materials are (as long as they aren't too rough), the "cancellation" still happens. The "jiggle" disappears, and the geometric laws remain intact.

---

The "Realization" Problem: From Blueprint to Building

Once they proved the blueprints are stable, they tackled the Realization Theorem.

The Analogy: The Magic Clay
Imagine you have a lump of clay (the abstract mathematical data). You know the clay satisfies the "laws of geometry" (the Cartan system). The question is: Can you actually mold this clay into a real 3D object (an isometric immersion) that fits into a larger universe?

• The Result: Yes! If the clay satisfies the laws, you can mold it into a real shape.
• The Catch: The clay must be "simply connected" (no holes, like a donut, but more like a solid ball) for this to work globally.
• The Significance: This means that if you find a solution to the equations, you don't just have a number; you have a guaranteed physical shape. This is crucial for physics, where we want to know if a mathematical model of space-time actually corresponds to a real, embeddable universe.

---

Why Does This Matter? (The Applications)

The authors show that their math isn't just abstract theory; it solves real problems in physics:

1. Einstein's Constraint Equations: These are the rules that the universe must follow at the very beginning of time (the Big Bang). The authors prove that even if the early universe was "rough" or "fuzzy," these rules still hold up when we look at the universe as it is today.
2. Quasilinear Wave Equations: These describe how light and gravity waves travel. The authors show that these waves behave consistently even when the background space is messy.
3. Gluing Space-Times: In physics, we sometimes want to glue two different universes together (like sewing two pieces of fabric). The authors' work ensures that the seam (the "junction") is mathematically valid, even if the fabric is rough.

Summary

In short, Chen and Li have built a mathematical safety net.

They proved that the fundamental laws of geometry (the Cartan system) are robust. Even if you start with imperfect, rough, or "wiggly" data, and you let it settle down, the final result will still obey the laws of geometry. They did this by inventing a new way to handle the "cancellation" of errors (compensated compactness) on curved, twisted surfaces, ensuring that our mathematical models of the universe remain reliable even when the universe itself is messy.

Technical Summary

1. Problem Statement

The paper addresses the isometric immersion problem for semi-Riemannian manifolds with lower regularity (specifically metrics in $W^{1,p}_{loc} \cap L^\infty_{loc}$ with $p > 2$). The core mathematical challenge is to establish the global weak continuity of two fundamental systems of nonlinear partial differential equations (PDEs) that govern the existence of such immersions:

1. The Gauss–Codazzi–Ricci (GCR) system.
2. The Cartan structural system (equivalent to the GCR system).

Key Challenges:

• Non-ellipticity: Unlike Riemannian manifolds, semi-Riemannian manifolds possess indefinite metrics (non-positive definite). Consequently, the Laplace–Beltrami operator is not elliptic, rendering standard elliptic PDE techniques (like those relying on the div-curl lemma in Euclidean space) inapplicable.
• Global Intrinsic Formulation: Existing compensated compactness techniques often rely on local coordinates or Euclidean structures. The authors aim to formulate these results globally and intrinsically on vector bundles over semi-Riemannian manifolds, independent of local coordinate charts.
• Regularity Constraints: The results must hold for $p > 2$, which is a weaker condition than the $p > \dim(M)$ usually required for realization theorems (constructing immersions from solutions).

2. Methodology

The authors employ a geometric approach based on compensated compactness theory, extending classical results from Euclidean space to the semi-Riemannian setting.

A. Geometric Compensated Compactness Theorem (Theorem 3.2)

The central methodological innovation is the formulation of a generalized quadratic theorem on vector bundles over semi-Riemannian manifolds.

• Intrinsic Formulation: Instead of relying on the Fourier transform (which is not globally defined on manifolds), the authors utilize the principal symbol of differential operators. They define a "cone of constraints" $\Lambda_T$ based on the principal symbol $\sigma_m(T)$.
• Quadratic Structure: They prove that if a sequence of sections $\{u_\varepsilon\}$ converges weakly in $L^2$ and satisfies certain differential constraints (pre-compactness of $T u_\varepsilon$), then any quadratic polynomial $Q$ vanishing on the cone $\Lambda_T$ converges weakly to $Q(u)$.
• Handling Signatures: The proof involves complexifying the vector bundles and utilizing the fact that the principal symbol is diffeomorphism-invariant. They show that the signature of the metric does not affect the validity of the quadratic theorem, provided the metric is non-degenerate ($L^\infty_{loc}$).

B. Application to Cartan Structural System

The authors apply the generalized quadratic theorem to the Cartan structural system:
$$dW = W \wedge W$$
where $W$ is the connection 1-form taking values in the Lie algebra of the semi-orthogonal group.

• They identify the differential constraints ($dW$ and $\delta W$) and the quadratic nonlinearity ($W \wedge W$).
• By verifying that the quadratic term vanishes on the operator cone defined by the principal symbols of $d$ and $\delta$, they prove the weak continuity of the system in $L^p_{loc}$ for $p > 2$.

C. Realization and Rigidity

• Realization Theorem (Theorem 5.1): They prove that weak solutions to the Cartan/GCR system on a simply-connected manifold with $p > \dim(M)$ can be realized as isometric immersions into semi-Euclidean space. This relies on solving Pfaff and Poincaré systems with Sobolev coefficients (using Lemma 5.1 by Mardare).
• Weak Rigidity (Theorem 5.2): Combining the weak continuity of the structural systems with the realization theorem, they establish that sequences of isometric immersions with bounded $W^{2,p}_{loc}$ norms ($p>2$) converge weakly to an isometric immersion, preserving the geometric data (second fundamental form, normal connection) in the limit.

3. Key Contributions and Results

1. Global Intrinsic Compensated Compactness (Theorem 3.2)

• Result: A generalized quadratic theorem for vector bundles over semi-Riemannian manifolds with $L^\infty_{loc}$ metrics.
• Significance: It extends the classical Murat-Tartar quadratic theorem to non-elliptic settings without relying on local coordinates. It is formulated entirely in terms of the principal symbol and the geometry of the bundle.

2. Weak Continuity of Structural Systems (Theorems 4.1 & 4.2)

• Result: The Cartan structural system ($dW = W \wedge W$) and the GCR system are weakly continuous in $L^p_{loc}$ for $p > 2$.
• Significance: This resolves the issue of non-ellipticity. The proof is intrinsic and does not require the manifold to be Riemannian or the dimension to be small. It applies to semi-Riemannian manifolds of arbitrary signature.

3. Realization Theorem for Lower Regularity (Theorem 5.1)

• Result: On a simply-connected semi-Riemannian manifold with metric $g \in W^{1,p}_{loc}$ ($p > \dim M$), any distributional solution to the GCR system corresponds to a unique (up to rigid motion) isometric immersion $f \in W^{2,p}_{loc}$.
• Significance: This bridges the gap between the PDE solutions and the geometric existence of the immersion in low regularity settings.

4. Weak Rigidity of Isometric Immersions (Theorem 5.2)

• Result: A sequence of isometric immersions $\{f_\varepsilon\}$ bounded in $W^{2,p}_{loc}$ ($p>2$) converges weakly to an isometric immersion $f$. The second fundamental forms and normal connections converge weakly and satisfy the GCR system in the limit.
• Significance: This establishes the stability of isometric immersions under weak convergence, a crucial property for analyzing limits in geometric analysis and physics.

5. Applications to Physics and Geometry

The authors demonstrate the utility of their results in several areas:

• Einstein's Constraint Equations: Proving the weak continuity of the vacuum constraint equations for space-like hypersurfaces in Minkowski space.
• Quasilinear Wave Equations: Establishing weak continuity for quasilinear wave equations satisfying the null condition (Klainerman's null condition) using the geometric compensated compactness framework.
• General Immersed Hypersurfaces: Extending the theory to hypersurfaces with degenerate induced metrics (e.g., lightcones in spacetime) by introducing "rigging vector fields" and deriving a generalized Gauss-Codazzi system (Theorem 6.2).

4. Significance

• Mathematical Physics: The results provide a rigorous foundation for studying space-times with lower regularity, which is essential for models involving gravitational sources, thin shells, and junction conditions in General Relativity.
• Geometric Analysis: It overcomes the long-standing difficulty of applying compensated compactness to semi-Riemannian (indefinite metric) geometries, where standard elliptic machinery fails.
• Generality: The framework is dimension-independent and applies to arbitrary signatures, making it applicable to Lorentzian geometry (space-time) as well as higher-dimensional semi-Riemannian manifolds.
• Intrinsic Nature: By avoiding local coordinate computations in favor of bundle-theoretic and intrinsic formulations, the results are more robust and geometrically transparent.

In summary, Chen and Li successfully extend the powerful tools of compensated compactness to the semi-Riemannian setting, proving the weak continuity of fundamental geometric systems and establishing the existence and rigidity of isometric immersions for manifolds with low regularity.