Beyond Symmetry: Current Formation Results

Trapped-surface formation is now proved for several nonsymmetric Einstein–matter systems and, in a July 2026 preprint, for directly constructed asymptotically flat spacelike vacuum data. These advances enlarge the data hypersurfaces, angular profiles, and matter models covered by the short-pulse method. They do not yet prove that generic large asymptotically flat data form a black hole, classify the future singular boundary, or converge to Kerr. This page compares exact theorem domains rather than treating “beyond symmetry” as a single milestone.

Evidence cutoff: 2026-08-12. Results dated 2025 or 2026 below are recent preprints unless a journal publication is explicitly named. Their theorem claims below refer to the versions specified in the references and remain subject to independent proof review, revision, or correction.

Required background. Analysis for Mathematical Relativity supplies scale-critical energy hierarchies; timelike congruences and spatial projection supplies null focusing; and the Einstein equation fixes each coupled matter system.

Helpful background. Causality and Global Structure clarifies what a trapped surface implies globally, and PDEs and Green Functions for Gravitation supplies characteristic existence methods.

A common comparison frame

A useful formation theorem must provide both semi-global existence through the focusing region and a strict sign conclusion for both future null expansions on one closed surface. Compare claims on seven independent axes:

• vacuum or matter model, including gauge group and particle mass;
• spherical, axial, or no symmetry assumption;
• intersecting finite null data, data from past null infinity, or spacelike asymptotically flat Cauchy data;
• Minkowskian or nontrivial incoming hypersurface;
• weighted regularity and scale-critical norm;
• gravitational shear, matter flux, or combined focusing mechanism;
• trapped surface, marginally outer trapped surface, incompleteness, or a stronger endpoint conclusion.

The final item is decisive. None of the results in the matrix below proves a generic singularity type or the full weak-cosmic-censorship statement merely by constructing a trapped sphere.

Theorem matrix through 12 August 2026

Result	Data and symmetry	Proved conclusion and present status
Vacuum short pulse	Two characteristic hypersurfaces; no imposed symmetry; initially regular and untrapped	A trapped sphere forms under weighted shear-flux bounds. Christodoulou 2009, Theorem 17.1, p. 588 of the 2008 preprint (PDF), Klainerman–Rodnianski, Klainerman–Luk–Rodnianski, and An–Luk provide peer-reviewed uniform, finite-cone, anisotropic, and scaling-critical variants.
Einstein–scalar	Intersecting null data; no symmetry; Minkowskian incoming side in the stated setup	Peer-reviewed scale-critical semi-global existence and trapping from gravitational and scalar focusing (2024). This is not Christodoulou’s spherical classification.
Einstein–Yang–Mills	Data from past null infinity; no symmetry; non-Abelian gauge field	Peer-reviewed scale-invariant semi-global existence and trapping driven by gravitational or Yang–Mills curvature (2025). Gauge-covariant curvature estimates replace a scalar-field reduction.
Einstein–Maxwell–charged scalar	Data from past null infinity; no symmetry	A 2025 preprint claims scale-critical formation driven separately by gravitational, electromagnetic, or charged-scalar concentration, including a nontrivial charging process Shen and Wan 2025, Abstract, v1.
Einstein–Weyl spinor	Double-null data; no symmetry; massless left-handed two-spinor	A 2025 preprint claims semi-global existence and trapping from combined shear and spinor flux Zhao and Wu 2025, Abstract, v1. This is a classical PDE theorem for a spinor field, not a quantized fermion-field result.
Einstein–massless Vlasov	Large characteristic data in 3+1 dimensions; no symmetry	A 2025 preprint claims semi-global existence and trapping using Weyl-curvature, Ricci-coefficient, and velocity-moment hierarchies. It is a kinetic, not a perfect-fluid, theorem.
Vacuum spacelike data	Directly constructed short-pulse-type Cauchy data, extended to an asymptotically flat end; no imposed symmetry	Chen–Klainerman 2026 claims evolution to a trapped surface. It addresses the passage from characteristic free data to explicit spacelike data, not arbitrary Cauchy data.
Spherical Einstein–Yang–Mills	Purely magnetic SU(2), two intersecting null hypersurfaces, nontrivial incoming data	An August 2026 preprint claims that sufficient Hawking-mass concentration beats the competing magnetic potential and forms a trapped sphere in this spherical reduction. Spherical symmetry remains an explicit hypothesis.

The table keeps the symmetry-free Yang–Mills result, first posted in 2023 and published in 2025, separate from the August 2026 spherical theorem. The latter is new because it allows a nontrivial incoming characteristic side and resolves a specific non-Abelian mass-versus-magnetic-repulsion estimate—not because it removes symmetry.

What the current theorems add

Matter flux without symmetry

The nonsymmetric Einstein–scalar result uses a double-null hierarchy adapted to both Weyl and scalar components Zhao–Hilditch–Valiente Kroon 2024, Theorems 1–2 and §§2–5. Einstein–Yang–Mills adds gauge-covariant commutators and a scale-invariant curvature hierarchy Athanasiou–Mondal–Yau 2025, Theorems 1.2–1.3 and §§2–6. The massless-Vlasov problem is different again: the distribution lives on the mass shell, so commuted estimates must control velocity moments as the geometry evolves Athanasiou–Mondal–Yau, 2026 revision, main theorems and §§2–7.

These are not corollaries of the dominant energy condition. The favorable sign in Raychaudhuri helps at the final focusing step, but existence through the large-data region depends on the detailed matter equations, commutators, renormalizations, and regularity.

From characteristic to spacelike initial data

Characteristic data make shear a directly prescribable free field. Standard Cauchy data $(h,K)$ must instead satisfy the elliptic Einstein constraints. Chen and Klainerman use a free-data formalism to construct a short-pulse segment and then extend it to an asymptotically flat spacelike end; the associated evolution contains a trapped surface Chen–Klainerman 2026, Theorems 3.2 and 3.5, Proposition 3.3, and §4, v1. This addresses an important interface between constraint construction and characteristic formation. Its limitation is visible in the construction: it produces a structured family, not an open dense classification of the entire constraint manifold.

Nontrivial incoming Yang–Mills data

For the purely magnetic spherical $SU(2)$ system, a gauge potential $w$ retains a genuine nonlinear degree of freedom. Its derivative energy increases focusing and Hawking mass, while the magnetic potential can enter the cross-focusing equation with the opposite sign. Therefore a mass-increment lower bound alone is insufficient. The August 2026 theorem assumes regular, initially untrapped characteristic data, a magnetic subextremality condition, controlled relative radial width, and a quantitative mass-concentration bound; the authors then obtain formation by contradiction Athanasiou–Mondal–Yau 2026, Theorems 1.1–1.2 and §§2.1–2.3, v1.

This is explicitly the first part of a proposed weak-censorship program. A trapped-surface theorem is its collapse component, not completion of that program.

Openness, codimension, and angular momentum

Within a fixed weighted characteristic norm, strict formation inequalities usually persist under small perturbations, so the constructed collapse class is open in that specialized data space. This does not determine the boundary between dispersion and collapse. Critical solutions, naked endpoints, and threshold codimension remain model- and topology-dependent.

Likewise, none of these entries gives a general mass–angular-momentum threshold for dynamical vacuum collapse. Anisotropic radiation can carry angular momentum, but forming a trapped surface and controlling the final Kerr parameters are different problems. A rigorous rotating final-state theorem would have to combine formation, exterior completeness, horizon regularity, angular-momentum flux, and nonlinear Kerr stability; that chain is not yet available for generic large data.

What remains open

As of the cutoff, the main gaps are:

• generic formation or dispersion for unrestricted large asymptotically flat vacuum Cauchy data;
• a theorem describing the codimension and regularity of the threshold between those outcomes without symmetry;
• singular-boundary classification and extension regularity after the trapped surface forms;
• a complete exterior and final-state theorem connecting large-data formation to a member of the Kerr family;
• independent, adversarial verification and peer-reviewed stabilization of the newest 2025–2026 preprint claims.

These are unresolved open problems, not evidence for one universal conjectural verdict about all large-data Einstein evolutions.

Check the comparison

Why does the August 2026 Einstein–Yang–Mills theorem not supersede the 2023 symmetry-free Einstein–Yang–Mills result, and why does the latter not make the former redundant?

Solution

They solve different cells of the evidence matrix. The 2023 result removes symmetry and develops gauge-covariant scale-invariant estimates from past null infinity under its own incoming-data setup. The 2026 result imposes spherical symmetry and a purely magnetic $SU(2)$ reduction but permits a nontrivial incoming characteristic hypersurface and proves a quantitative mass-concentration criterion despite magnetic defocusing. Neither theorem’s hypotheses contain the other’s, so neither is a logical strengthening of the other.

References

• Athanasiou, Nikolaos, Puskar Mondal, and Shing-Tung Yau. “Formation of Trapped Surfaces for the Spherically Symmetric Einstein–Yang–Mills System with Non-Trivial Incoming Data.” arXiv:2608.09746v1, 10 August 2026. arXiv.
• Athanasiou, Nikolaos, Puskar Mondal, and Shing-Tung Yau. “Formation of Trapped Surfaces in the Einstein–Yang–Mills System.” Journal de Mathématiques Pures et Appliquées 194 (2025): 103661. DOI. Open PDF.
• Athanasiou, Nikolaos, Puskar Mondal, and Shing-Tung Yau. “Semi-Global Existence and Trapped Surface Formation for the Einstein–Vlasov System.” arXiv:2510.12429 (2025), v2 revised 3 July 2026. arXiv v2.
• Chen, Xuantao, and Sergiu Klainerman. “Formation of Trapped Surfaces from Spacelike Initial Data.” arXiv:2607.11236v1, 13 July 2026. arXiv.
• Christodoulou, Demetrios. The Formation of Black Holes in General Relativity. EMS Monographs in Mathematics. Zürich: European Mathematical Society, 2009. DOI. Open PDF, 2008 preprint.
• Shen, Dawei, and Jingbo Wan. “Formation of Trapped Surfaces for the Einstein–Maxwell–Charged Scalar Field System.” arXiv:2504.19976v1, 28 April 2025. arXiv.
• Zhao, Peng, and Xiaoning Wu. “Trapped Surface Formation for the Einstein–Weyl Spinor System.” arXiv:2509.14525v1, 18 September 2025. arXiv.
• Zhao, Peng, David Hilditch, and Juan A. Valiente Kroon. “Trapped Surface Formation for the Einstein–Scalar System.” Advances in Theoretical and Mathematical Physics 28 (2024): 2085–2243. DOI. Open PDF.