REVIEW 3 major objections 5 minor 1 cited by
Formation of trapped surfaces for the Einstein--Maxwell--charged scalar field system
T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The Einstein–Maxwell–charged scalar system forms trapped surfaces without any symmetry assumption, in a scale-critical regime, and becomes charged along the way.
desk verdict First symmetry-free trapped surface formation result for the Einstein-Maxwell-charged scalar field system; a long bootstrap proof that looks structurally sound and deserves a serious referee, though the exposition has minor rough edges. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the recasting of the Maxwell equations, the complex scalar wave equation, and the Weyl Bianchi equations as first-order Bianchi-pair systems, estimated through a |u|^p-weighted divergence identity that balances the signatures s2 assigned to every field. The gauge choice U = A(e4) = 0 turns the electromagnetic potential equations into transport equations with the same regularity as the Faraday tensor, while the smallness condition be << 1 keeps the abnormal e-weighted terms under control. Several renormalized quantities (rβ, rK, rσ, rΨ3) remove borderline terms that would otherwise destroy integrability, and the top-order estimates for the Ricci coefficients are obtained by combining these transport estimates with 2D-elliptic estimates on the spheres.
What would settle it
Numerically evolve characteristic data that satisfy the upper smallness bounds and the lower bounds (1.3)–(1.4) with a fixed small e; measure the two null expansions on S_{-a/4,1}. If either expansion is non-negative, or if the charge on S_{u_8,1} is not within the claimed size ea despite the flux identity (1.31), the central claim is false.
Extended reading notes
Core claim
The central discovery is that trapping can be proved for the full Einstein–Maxwell–charged scalar system by treating the Maxwell field and the complex scalar field as Bianchi pairs alongside the Weyl curvature, and closing energy estimates with |u|^p-weighted norms of signature type. Under the assumptions of Theorems 3.1 and 9.1, the solution exists smoothly in the region V^* and satisfies uniform bounds; under the lower-bound assumptions (1.3)–(1.4), the sphere S_{-a/4,1} has both null expansions negative. Along the initial outgoing cone, the Hawking mass of S_{u_8,1} is comparable to a and its electric charge is comparable to ea, so the spacetime becomes charged after the short pulse.
Load-bearing premise
The argument requires that the outgoing component of the electromagnetic potential can be set to zero through the entire region up to the trapped sphere, and that the coupling e is small enough that e times the auxiliary bootstrap constant is tiny; if that gauge cannot be maintained or the smallness fails, the bounds on the potential and the charge formula collapse.
Editorial extensions
If this is right
- A trapped surface forms even though the initial foliation is free of trapped surfaces on both H_{u_8}^{(0,1)} and H_0.
- The final sphere on the initial outgoing cone has Hawking mass comparable to a and electric charge comparable to ea, so the charge-to-mass ratio is bounded by e0.
- The estimates are uniform as u_8 goes to −∞, making the theorem a semi-global existence statement from past null infinity.
- The scale-critical nature ties the criterion to the H^{3/2} threshold: the data can be large at H^{3/2} yet arbitrarily small in every H^s with s < 3/2.
Reading between the lines
- If the charging mechanism persists in the full future development, the sphere S_{u_8,1} is a natural starting point for apparent-horizon and charged-black-hole formation statements beyond spherical symmetry.
- Because the matter and gravitational parts are estimated separately, the same |u|^p Bianchi-pair machinery should adapt to other Einstein–matter systems whose fields decay no worse than these; a concrete test is Einstein–Yang–Mills with a charging current.
- Setting e ≈ a^{-1/2} makes the matter estimates 'normal' and may reveal whether the small-coupling restriction is an artifact of the proof or a genuine threshold.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a scale-critical trapped-surface formation theorem for the Einstein–Maxwell–charged scalar field (EMCSF) system in full generality, without symmetry assumptions. For characteristic initial data consisting of Minkowski data on the incoming null hypersurface H_0 and a short pulse on the outgoing hypersurface H_{u_8}, the authors establish a semi-global existence result in the region V^* with uniform control of matter fields, Weyl curvature, and Ricci coefficients (Theorem 3.1). Under additional lower-bound assumptions on the pulse size and on the electromagnetic current, they show that the sphere S_{-a/4,1} is trapped, that the Hawking mass of S_{u_8,1} is of size a, and that the electric charge of S_{u_8,1} is of size ea, thereby exhibiting a nontrivial charging process along past null infinity (Theorem 9.1). A rescaled version (Theorem 10.5) and the claimed scale-criticality are also discussed. The proof is built on the double null foliation framework, signature-based scale-invariant norms, |u|^p-weighted estimates for general Bianchi pairs, a bootstrap hierarchy with auxiliary parameter b, and a gauge choice U = A(e_4) = 0 for the electromagnetic potential.
Significance. If the result stands, this is the first trapped-surface formation theorem for the EMCSF system without spherical symmetry, extending the short-pulse mechanisms of Christodoulou, Klainerman–Rodnianski, and An–Luk to a system with charged matter. The paper has several genuine strengths: it contains a complete-looking hierarchy of estimates for the coupled system, introduces a charging-process mechanism that is new in this context, and gives a unified treatment of the Bianchi pair estimates for matter and curvature. The rescaling section is carefully written and properly accounts for the fact that the EMCSF system is not scale invariant by rescaling the coupling constant. The proof is substantial and largely self-contained, and the central bootstrap structure is present in full detail.
major comments (3)
- [§1.5.3, §2.8, Corollary 2.24, Proposition 6.4] The global gauge condition U = A(e_4) = 0 is imposed at the outset and used to reconstruct the electromagnetic potential A from F by transport equations: {∇_4}U ≃ -2(F)ρ and {∇_4}{A} ≃ -(F)β. The paper claims that A has the same regularity as F and Ψ, and this is load-bearing because A appears in the wave equations for the charged scalar field (Proposition 4.11) and in the schematic nonlinearities Γ_b·Γ_b used throughout the bootstrap. However, the paper does not construct the gauge transformation explicitly from the characteristic initial data on H_0 ∪ H_{u_8}, nor does it verify that the identities of Corollary 2.24 are preserved by the Maxwell evolution equations. To impose U = 0, one must solve a first-order transport equation for the gauge function along the integral curves of e_4, with initial data on H_0 (and compatibility on H_{u_8}); the regularity of the resulting A is then tied to the regularity of the initial gauge function and of F. Without this argument, the reader cannot verify that the potential A estimated in Proposition 6.4 is the same object that enters the charged scalar field equations. The authors should add a lemma or a well-documented paragraph showing that this gauge choice is admissible in the characteristic initial value problem with no loss of regularity, and that the Maxwell evolution is compatible with the transport equations for A.
- [§3.5, continuation argument] The bootstrap/continuation argument in Section 3.5 defines ℵ(u*) and U, takes the supremum u*, and then assumes u* ∈ U to apply Theorems 3.2–3.4. The paper does not explicitly justify that the set U is sufficiently regular (e.g., that the bootstrap bounds are closed) to conclude that the supremum is attained in the appropriate sense. This is a standard technical point in short-pulse proofs, but given that the bootstrap bounds involve T, W, G ≤ b^{1/4} and the theorems close with bounds of size 1, the extension step should be stated more carefully. In particular, the local existence result of [33] is invoked but not stated; the authors should confirm that it applies to the EMCSF system with the gauge U = 0 and that the norms in question behave continuously up to the boundary of the region.
- [§9.1, Proposition 9.3] The trapping argument uses the lower bound (9.1) pointwise in the angular variables and derives an integrated lower bound of size 12/a at u = -a/4. The step from the pointwise lower bound on H_{u_8} to the integrated lower bound along the e_4 direction uses the derivative estimate (9.7) with a term of size a^{3/2}/|u|^2 + e a^2/|u|^2, which is then absorbed by choosing a large and e small. This is carried out correctly, but the notation in the displayed computation 'a/|u|^2 = 12/a' is misleading: since |u| = a/4, one has a/|u|^2 = 16/a, while the correct quantity is the integrated lower bound 12/a. This is a notational issue, but it should be corrected to avoid confusion in a load-bearing inequality.
minor comments (5)
- [§1.5.6, line after (1.28)–(1.30)] The displayed chain 'a/|u|^2 = 12/a' is a typo: with |u| = a/4, a/|u|^2 = 16/a, and the intended value is the lower bound 12/a coming from the integral estimate. Please correct the wording.
- [§7, opening line] The first sentence of Section 7 says 'In this section, we prove Theorem 3.2', but the surrounding text and Propositions 7.1–7.5 actually concern the Weyl curvature estimates of Theorem 3.3. The theorem number should be corrected.
- [§2.11, signature table] The signature table lists Ψ_3 with s_2 = 1 but does not list the renormalized quantity rΨ_3, which is used throughout the norms (e.g., P_i(u,u) in §3.2.1). Since rΨ_3 is central to the bootstrap, the table should include its signature and decay rate.
- [§10, Theorem 10.5] In the statement of Theorem 10.5, the notation e_1^0(δ) and the condition 0 < e_1 < e_1^0(δ) are introduced, but the abstract and Theorem 1.5 use e_0 independent of δ. The authors should clarify whether e_1^0 depends on δ and how it relates to the e_0 of Theorem 3.1.
- [Throughout] The symbol '≫' is used to mean 'of the order of' (e.g., m(S_{u_8,1}) ≫ a), which conflicts with the common asymptotic meaning. A verbal clarification or a different symbol (such as ≍) would improve readability.
Circularity Check
The proof is self-contained: the stated initial lower bounds and the derived bootstrap estimates imply the trapped surface, mass, and charge conclusions without any circular reduction.
full rationale
The derivation chain is genuinely two-tiered: characteristic initial data with explicit L∞ size bounds and lower bounds (9.1)-(9.2) are fed into the bootstrap scheme (4.1), and Theorems 3.2-3.4 establish improved estimates T,W,G ≲ 1 by energy/transport arguments on the Bianchi and null structure equations. The trapped surface conclusion in Proposition 9.3 is not assumed: it uses the initial lower bound (9.1), propagates the inequality |u|^2(|pχ|^2+|pFqβ|^2+|Ψ4|^2) ≥ 3a/4 through the estimates of Theorem 3.1, and then applies Raychaudhuri's equation to get trχ ≤ −4/a < 0 on S_{−a/4,1}. Similarly, the mass statement in Proposition 9.4 follows by integrating an identity for e4(m) whose main term is ∫(|pχ|^2+S44), so m ≳ a is forced by the same pulse lower bound. The charge statement in Proposition 9.5 is an exact integrated Maxwell identity: Bu∫_{S_{u,u}} pFqρ dg = 2e∫_{S_{u,u}} Ω Im(ψΨ_4^*) dg, and therefore |Q(S_{u8,1})| ≳ ea is a direct consequence of the assumed current lower bound (9.2), not a renamed version of the conclusion. The electromagnetic potential A is not treated circularly: in the gauge U=0 the components U and {A are recovered by the transport equations of Corollary 2.24 and estimated in Propositions 6.4 and 6.7 using the already-estimated components of F; the estimates for ψ, Ψ4 and F do not presuppose the same derivative count for A. Self-citations to [3,8,25,30] are used for standard renormalization and signature techniques, while the local existence theorem needed to start the bootstrap is the external reference [33]. No equation is defined in terms of the result it is used to prove, and no fitted parameter is later relabeled as a prediction. The scaling argument in Section 10 is a genuine invariance computation with rescaled coupling e'=δ^{-1}e; the fact that Theorem 10.5 refers to system (1.1) in its conclusion rather than to the rescaled system is a consistency/correctness issue, not a circularity. Overall, the main theorem, trapped surface formation, mass growth, and charging process are derived from stated hypotheses through explicit estimates and integral identities, so no significant circularity is present.
Assumptions & free parameters
free parameters (4)
- a =
large (a >> 1)
- e =
0 < e < e_0 << 1
- b =
1 << b << a^{1/6}, b^3 e << 1
- delta =
fixed positive constant
assumptions (6)
- standard math Double null foliation and null frame calculus
- standard math Characteristic initial value problem local existence
- domain assumption Minkowskian data on H_0 and short pulse data on H_{u_8}
- domain assumption Electromagnetic gauge U = A(e_4) = 0 globally
- ad hoc to paper Bootstrap hierarchy b >> 1, b << a^{1/6}, b^3 e << 1
- ad hoc to paper Signature assignment s2(e) = 0.5
Cite this review
Pith. "Pith review of Formation of trapped surfaces for the Einstein--Maxwell--charged scalar field system." pith.science (2026). https://pith.science/paper/MECLPXKP
@misc{pith2026250419976,
author = {Pith},
title = {Pith review of: Formation of trapped surfaces for the Einstein--Maxwell--charged scalar field system},
year = {2026},
howpublished = {\url{https://pith.science/paper/MECLPXKP}},
note = {Machine review of arXiv:2504.19976}
}
read the original abstract
In this paper, we prove a scale-critical trapped surface formation result for the Einstein--Maxwell--charged scalar field (EMCSF) system, without any symmetry assumptions. Specifically, we establish a scale-critical semi-global existence theorem from past null infinity and show that the focusing of gravitational waves, the concentration of electromagnetic fields, or the condensation of complex scalar fields, each individually, can lead to the formation of a trapped surface. In addition, we capture a nontrivial charging process along past null infinity, which introduces new difficulties due to the abnormal behavior of the matter fields. Nevertheless, the semi-global existence result and the formation of a trapped surface remain valid.
Figures
Forward citations
Cited by 1 Pith paper
-
Formation of multiple Black Holes from Cauchy data
The authors construct smooth vacuum initial data without trapped surfaces whose future evolution produces N causally independent trapped surfaces.
Reference graph
Works this paper leans on
-
[33]
Luk, On the local existence for the characteristic initial value problem in general relativity, Int
J. Luk, On the local existence for the characteristic initial value problem in general relativity, Int. Math. Res. Not. no. 20, 4625–4678, 2018
work page 2018
-
[1]
An, Formation of trapped surfaces from past null infinity , arXiv:1207.5271
X. An, Formation of trapped surfaces from past null infinity , arXiv:1207.5271
-
[2]
An, Emergence of apparent horizon in gravitational collapse , Ann
X. An, Emergence of apparent horizon in gravitational collapse , Ann. PDE 6, Art. 10, 2020
work page 2020
-
[3]
X. An, A scale-critical trapped surface formation criterion: a ne w proof via signature for decay rates , Ann. PDE 8 (1), Art. 3, 2022
work page 2022
-
[4]
An, Naked singularity censoring with anisotropic apparent hor izon, To appear in Ann
X. An, Naked singularity censoring with anisotropic apparent hor izon, To appear in Ann. Math
- [5]
- [6]
- [7]
Show all 44 references
-
[8]
An and J
X. An and J. Luk, Trapped surfaces in vacuum arising dynamically from mild in - coming radiation, Adv. Theor. Math. Phys. 21 (1), 1–120, 2017
2017
-
[9]
An and H
X. An and H. Tan, A proof of weak cosmic censorship conjecture for the spheric ally symmetric Einstein–Maxwell–charged scalar field system , arXiv:2402.16250. 96
-
[10]
Angelopoulos, S
Y. Angelopoulos, S. Aretakis and D. Gajic, A vector field approach to almost-sharp decay for the wave equation on spherically symmetric, stati onary spacetimes, Ann. PDE 4 (2018), Art. 15, 120 pp
2018
-
[11]
Athanasiou, P
N. Athanasiou, P. Mondal and S.-T. Yau, Formation of trapped surfaces in the Einstein-Yang-Mills system , arXiv:2302.06915
-
[12]
Bieri, An extension of the stability theorem of the Minkowski space in general relativity, J
L. Bieri, An extension of the stability theorem of the Minkowski space in general relativity, J. Diff. Geom. Vol. 86 (1), 17–70, 2010
2010
-
[13]
Chen and S
X. Chen and S. Klainerman, Regularity of the future event horizon in perturbations of Kerr , arXiv:2409.05700
-
[14]
Christodoulou, The formation of Black Holes in General Relativity , EMS Mono- graphs in Mathematics, 2009
D. Christodoulou, The formation of Black Holes in General Relativity , EMS Mono- graphs in Mathematics, 2009
2009
-
[15]
Christodoulou and S
D. Christodoulou and S. Klainerman, The Global Nonlinear Stability of Minkowski Space, Princeton Mathematical Series 41, 1993
1993
-
[16]
Giorgi, The linear stability of Reissner-Nordström spacetime for s mall charge , Ann
E. Giorgi, The linear stability of Reissner-Nordström spacetime for s mall charge , Ann. PDE 6, Art. 8 (2020)
2020
-
[17]
Giorgi, S
E. Giorgi, S. Klainerman and J. Szeftel, Wave equations estimates and the nonlinear stability of slowly rotating Kerr black holes , Pure Appl. Math. Q. 20 (7) (2024), 2865–3849
2024
-
[18]
Holzegel, Ultimately Schwarzschildean spacetimes and the black hole stability problem, arXiv:1010.3216
G. Holzegel, Ultimately Schwarzschildean spacetimes and the black hole stability problem, arXiv:1010.3216
-
[19]
A. D. Ionescu and B. Pausader, The Einstein-Klein-Gordon coupled system: global stability of the Minkowski solution , Ann. Math. Stud. 406, Princeton University Press, 2022
2022
-
[20]
Kehle and R
C. Kehle and R. Unger, Gravitational collapse to extremal black holes and the thir d law of black hole thermodynamics , J. Eur. Math. Soc., 2025
2025
-
[21]
Kehle and R
C. Kehle and R. Unger, Extremal black hole formation as a critical phenomenon , arXiv:2402.10190
-
[22]
Klainerman, J
S. Klainerman, J. Luk and I. Rodnianski, A fully anisotropic mechanism for forma- tion of trapped surface in vacuum , Invent. Math., 198 (1), 1–26, 2014
2014
-
[23]
Klainerman and F
S. Klainerman and F. Nicolò, The Evolution Problem in General Relativity , Progress in Mathematical Physics, Vol. 25, 2003
2003
-
[24]
Klainerman and I
S. Klainerman and I. Rodnianski, Causal geometry of Einstein-Vacuum spacetimes with finite curvature flux , Invent. math. 159, 437–529, 2005. 97
2005
-
[25]
Klainerman and I
S. Klainerman and I. Rodnianski, On the formation of trapped surfaces , Acta Math 208, 211–333, 2012
2012
-
[26]
Klainerman and J
S. Klainerman and J. Szeftel, Kerr stability for small angular momentum , Pure Appl. Math. Q. 19 (3) (2023), 791–1678
2023
-
[27]
Kommemi, The global structure of spherically symmetric charged scal ar field space- times, Commun
J. Kommemi, The global structure of spherically symmetric charged scal ar field space- times, Commun. Math. Phys., 323, 35–106, 2013
2013
-
[28]
P. G. LeFloch and Y. Ma, The global nonlinear stability of Minkowski space for self-gravitating massive fields , Comm. Math. Phys. 346, 603–665, 2016
2016
-
[29]
P. G. LeFloch and Y. Ma, Nonlinear stability of self-gravitating massive fields , Ann. PDE 10: Art. 16, 2024
2024
-
[30]
Li and J
J. Li and J. Liu, Instability of spherical naked singularities of a scalar fie ld under gravitational perturbations, J. Differ. Geom. 120 (1): 97–197, 2022
2022
-
[31]
Li and P
J. Li and P. Yu, Construction of Cauchy data of vacuum Einstein field equatio ns evolving to black holes , Ann. of Math., 181 (2), 699–768, 2015
2015
-
[32]
Lindblad and I
H. Lindblad and I. Rodnianski, The global stability of Minkowski spacetime in har- monic gauge , Ann. of Math. (2), 171 (3), 1401–1477, 2010
2010
-
[34]
Penrose, Gravitational collapse and space-time singularities , Phys
R. Penrose, Gravitational collapse and space-time singularities , Phys. Rev. Lett. 14, 57–59, 1965
1965
-
[35]
Shen, Stability of Minkowski spacetime in exterior regions , Pure Appl
D. Shen, Stability of Minkowski spacetime in exterior regions , Pure Appl. Math. Q. 20 (2), 757–868, 2024
2024
-
[36]
Shen, Global stability of Minkowski spacetime with minimal decay , arXiv:2310.07483
D. Shen, Global stability of Minkowski spacetime with minimal decay , arXiv:2310.07483
-
[37]
Shen, Exterior stability of Minkowski spacetime with borderline decay, arXiv:2405.00735
D. Shen, Exterior stability of Minkowski spacetime with borderline decay, arXiv:2405.00735
-
[38]
Speck, The global stability of the Minkowski spacetime solution to the Einstein- Nonlinear system in wave coordinates , Analysis and PDE
J. Speck, The global stability of the Minkowski spacetime solution to the Einstein- Nonlinear system in wave coordinates , Analysis and PDE. Vol 7. no. 4, 2014
2014
-
[39]
Van de Moortel, Decay of weakly charged solutions for the spherically symme tric Maxwell–Charged–Scalar–Field equations on a Reissner–No rdström exterior space- time, Ann
M. Van de Moortel, Decay of weakly charged solutions for the spherically symme tric Maxwell–Charged–Scalar–Field equations on a Reissner–No rdström exterior space- time, Ann. Sci. Éc. Norm. Supér., 55 (2), 283–404, 2022
2022
-
[40]
Wang, An intrinsic hyperboloid approach for Einstein Klein–Gord on equations , J
Q. Wang, An intrinsic hyperboloid approach for Einstein Klein–Gord on equations , J. Diff. Geom. 115 (1), 27–109, 2020. 98
2020
-
[41]
Yu, Energy estimates and gravitational collapse , Comm
P. Yu, Energy estimates and gravitational collapse , Comm. Math. Phys. 317 (2), 275–316, 2013
2013
-
[42]
Yu, Dynamical formation of black holes due to the condensation o f matter field , arXiv:1105.5898, 2011
P. Yu, Dynamical formation of black holes due to the condensation o f matter field , arXiv:1105.5898, 2011
2011 arXiv
-
[43]
P. Zhao, D. Hilditch and J. A. Valiente Kroon, Trapped surface formation for the Einstein-scalar system , arXiv:2304.01695
-
[44]
Zipser, The global nonlinear stability of the trivial solution of th e Einstein– Maxwell equations , Ph.D
N. Zipser, The global nonlinear stability of the trivial solution of th e Einstein– Maxwell equations , Ph.D. thesis, Harvard University, 2000. Dawei Shen: Department of Mathematics, Columbia Universit y, New York, NY, 10027. Email: ds4350@columbia.edu Jingbo Wan: Department o...
2000
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.