{"id":"e2fb267e-d304-43f9-9faf-7167e272d66d","arxiv_id":"2507.22566","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Compact spacelike submanifolds in the light cone with parallel mean curvature are exactly round totally umbilical spheres in spacelike hyperplanes.","lead":"This paper proves a rigidity result: every compact spacelike submanifold of codimension two lying in the light cone of Lorentz-Minkowski spacetime and having parallel mean curvature vector field must be a totally umbilical round sphere in a spacelike hyperplane. The proof uses a new integral inequality and also yields a new proof of Obata's theorem on conformal metrics of constant scalar curvature on spheres.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified. The proof of Theorem 6.3 is sound; the causal-character facts behind Corollary 2.5 are true and directly verifiable.","rationale":"The reader's weakest-assumption analysis correctly locates the dependence on Corollary 2.5 and the causal-character facts of Remark 2.2. However, on inspection this dependence is secure: the required facts follow immediately from the divergence theorem applied to the position vector, and the rest of the proof checks out. I re-derived the key identities: (10) gives ⟨H,H⟩ = 2uv/n^2; (21) gives ∇u = uα and ∇v = −vα, hence uv constant; and compactness forces uv > 0 because H cannot be everywhere timelike or lightlike. With uv > 0, the rescaling in Corollary 2.5 is well defined. The integral formulas (45)–(48) are algebraically consistent, and the equality case of Proposition 5.4 is justified by the pointwise nonnegativity of trace(A^2) − (1/n)(trace A)^2 for self-adjoint operators together with the strict signs of the test weights. In the light-cone application, formula (25) makes the integrand in (49) vanish identically, so the equality case applies directly, yielding total umbilicity and the round-sphere conclusion. I found no gap that would invalidate Theorem 6.3. The paper's small typos are harmless. Therefore the reader's ACCEPT verdict stands unchanged.","tokens_in":19430,"tokens_out":31905,"duration_ms":372775,"concrete_test":"Verify the external causal fact independently: prove that a compact spacelike submanifold of L^{n+2} cannot have mean curvature vector field everywhere timelike or everywhere lightlike by integrating Δ⟨a,ψ⟩ = n⟨a,H⟩ over M with a constant timelike vector a chosen so that ⟨a,H⟩ has constant sign; confirm the sign convention for Δψ = nH so the contradiction ∫⟨a,H⟩ dV = 0 versus strict positivity follows. This settles the only cited input on which Corollary 2.5, and hence Proposition 5.4 and Theorem 6.3, depends.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I examined the point identified as weakest, Corollary 2.5. Its proof needs (i) uv = trace(Aξ)·trace(Aη) constant under ∇⊥H = 0, which follows from (21); and (ii) uv > 0, equivalently ⟨H,H⟩ > 0 on a compact spacelike submanifold. The cited facts that H cannot be everywhere timelike or everywhere lightlike are correct and can be proved without external citations: for every constant vector a, Beltrami's equation gives Δ⟨a,ψ⟩ = n⟨a,H⟩; integrating over compact M yields ∫⟨a,H⟩ dV = 0. If H were everywhere future timelike (or future lightlike), choosing a = −e0 would make ⟨a,H⟩ = H0 > 0 everywhere, contradiction; the past case is symmetric. Hence ⟨H,H⟩ is constant and positive, so u and v never vanish, and the rescaling ξ̄ = (1/u)ξ, η̄ = uη gives parallel lightlike normals with nonzero constant traces. I also checked Proposition 5.4's equality analysis: equality forces the two nonnegative trace-variance integrals to vanish; since ⟨a,ξ0⟩ > 0 and ⟨a,−ξ1⟩ > 0 pointwise, both shape operators Aξ0 and Aξ1 are scalar. The remaining step—that λ1ξ0−λ0ξ1 is a parallel, hence constant, timelike vector—follows from ∇⊥ξ0 = ∇⊥ξ1 = 0 and λ0λ1 = ⟨H,H⟩/2 > 0. The minor displayed typos (the A_H coefficient and the missing square in Remark 3.3) do not affect the argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies compact spacelike submanifolds of codimension two in Lorentz-Minkowski spacetime L^{n+2} whose mean curvature vector field is parallel. The authors first construct adapted lightlike normal fields with constant nonzero traces (Corollary 2.5), then derive an integral formula (Proposition 5.1) and reduce it to a pair of integral identities under parallelism of H (Corollary 5.3). From these they obtain an integral inequality (Proposition 5.4) whose equality case is shown to force total umbilicity and, since a totally umbilical submanifold with parallel H has constant sectional curvature, a round sphere in a spacelike affine hyperplane. The main theorem (Theorem 6.3) applies the equality analysis to compact spacelike submanifolds contained in the future light cone, using the light-cone identity S = n(n-1)<H,H> to conclude that the equality case of Proposition 5.4 holds identically. As applications, the paper gives rigidity statements for submanifolds in de Sitter and anti-de Sitter spacetimes through light cones, reproves Obata's theorem on pointwise conformally flat metrics of constant scalar curvature on S^n, and explicitly solves the associated elliptic PDE (Corollaries 6.8-6.11).","tokens_in":19782,"tokens_out":11262,"duration_ms":130694,"significance":"If the result holds, Theorem 6.3 gives a complete, dimension-independent classification of compact spacelike codimension-two submanifolds with parallel mean curvature vector field that lie in the light cone: they are exactly the totally umbilical round spheres S^n(v,r). This is a genuine advance over earlier work, which treated only dimensions 2 and 4 or required additional curvature assumptions. The proof is coherent and, notably, avoids the pseudo-umbilicity assumption used in the earlier integral formula of [2]; the key new ingredient is the refined integral formula in Proposition 5.1 and its reduction in Corollary 5.3. The paper also delivers a concrete byproduct: an explicit description of all solutions of Obata's equation on the round sphere, obtained directly from the geometric classification. The main computations are transparent and the chain from the structure equations to the rigidity statement is checkable by hand.","major_comments":[],"minor_comments":[{"comment":"The proof of the positivity of uv (equivalently of <H,H>) is delegated to [2, Rem. 4.2] and [19]; since this positivity is what makes the rescaling of the lightlike normals possible and thus underpins formulas (48) and (49), the paper would be more self-contained if the short Beltrami-formula argument (integration of Delta<a,psi> = n<a,H> over compact M) were included or at least sketched.","section":"Section 2, Corollary 2.5"},{"comment":"The displayed inequality should read <H,H>(x_0) >= 1/psi_0(x_0)^2, not >= 1/psi_0(x_0); the printed expression is missing the square in the denominator.","section":"Remark 3.3"},{"comment":"In (51) the notation trace(A_{xi_{i+1}})^2 is ambiguous and should be written as (trace A_{xi_{i+1}})^2, since the square applies to the trace, not to the operator.","section":"Proposition 5.4, equation (51)"},{"comment":"The statement uses S_1^{m+2}(c) and H_1^{m+2}(-c), but the correspondence described earlier is between submanifolds of L^{n+2} and those of S_1^{n+2}(c) or H_1^{n+2}(-c); the m in the statement should presumably be n.","section":"Corollary 6.6"},{"comment":"In the display quoting the equivalences from Proposition 3.5, the item numbering has two entries labelled (4); the second should be renumbered (5).","section":"Introduction, Proposition 3.5"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result is real. Previous partial results handled n=2 and n=4 via Gauss-Bonnet and Gauss-Bonnet-Chern; this paper removes the dimension dependence with an integral inequality (Prop 5.4) derived directly from the structure equations. The rigidity conclusion in Theorem 6.3 — compact spacelike codim-two submanifold in the future light cone of L^{n+2} with parallel mean curvature is a totally umbilical round sphere — follows because for light-cone submanifolds formula (25) makes S = n(n-1)<H,H>, so the inequality collapses to equality and the equality analysis kicks in. I checked the equality analysis; it is clean. The integral inequality is a reusable tool, not just a means to this theorem.\n\nThe paper also gives an extrinsic proof of Obata's classification of conformal metrics on the round sphere with constant scalar curvature, and it explicitly writes down all solutions, which the original source did not. The counterexamples in 6.5 correctly show that compactness cannot be relaxed to completeness. The reference to earlier work by the same authors for basic light-cone facts is appropriate, not padding.\n\nSoft spots, all minor. The weakest point, as the stress-test identified, is Corollary 2.5: the proof that trace(A_{xi0}) and trace(A_{xi1}) can be rescaled to nonzero constants depends on the fact that H is neither everywhere timelike nor everywhere lightlike on a compact spacelike submanifold. That fact is true, and the stress-test's short Beltrami-equation proof confirms it, but the paper just cites [2, Rem 4.2] and [19] instead of giving that one-line argument. Slightly annoying, not a gap. There is also a coefficient typo in the displayed formula for A_H in Remark 3.3 (the 1/2 is missing) and a missing square in the same remark; neither affects any subsequent step. I would flag them for the authors but would not hold the paper up.\n\nBottom line: this is a solid, publishable paper. The main theorem is a genuine advance in a classical problem, the method is transparent and reusable, and the proof is coherent. I recommend sending it to peer review at a good differential geometry journal. I'd take it to a reading group and would cite it if I did anything in Lorentzian submanifold rigidity.","headline":"A sound, dimension-independent proof that closes the classification of compact light-cone spacelike submanifolds with parallel mean curvature; only minor typos and a terse citation hold it back.","tokens_in":20287,"tokens_out":6117,"would_cite":true,"duration_ms":60114,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C40","53C42","58E15","58J05","53C24","53C18","53B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Parallel mean curvature in the light cone forces round spheres","keywords":["compact spacelike submanifolds","parallel mean curvature vector field","Lorentz-Minkowski spacetime","light cone","pointwise conformal metrics on the round sphere","constant scalar curvature","parallel second fundamental form","integral inequality"],"falsifier":"Look for a compact spacelike codimension-two submanifold in $Λ^{{n+1}}$_+ ⊂ $L^{{n+2}}$ with n ≥ 3, parallel mean curvature vector field, and image not equal to any S^n(v,r); a single such example would disprove Theorem 6.3. Equivalently, plug a smooth positive function h into Obata's equation (54) on S^n: if h is not one of the affine functions −v_0 + Σ_{i=1}^{n+1} v_i x_i with ⟨v,v⟩ = −1 and v_0 < 0, then the claimed rigidity fails. The paper itself shows why compactness is essential: the noncompact cylinder ψ(x,y) = ($\\cosh$ x, $\\sinh$ x, cos y, sin y) lies in $Λ^{3}$_+, has parallel mean curvature vector field, and is not totally umbilical.","tokens_in":19243,"feed_emoji":"📐","tokens_out":8072,"duration_ms":92491,"temperature":0.7,"pith_summary":"This paper aims to close a classification question: which compact spacelike submanifolds of codimension two in Lorentz-Minkowski spacetime, sitting inside the future light cone and having parallel mean curvature vector field, are possible? The answer claimed is that every such submanifold is a totally umbilical round sphere obtained by cutting the light cone with a spacelike hyperplane. The interest is that the result is dimension-independent and removes the extra curvature assumptions used in earlier dimension-two and dimension-four proofs. As a by-product, the authors obtain all smooth solutions of a conformal PDE on the round sphere first studied by Obata, reproving his rigidity theorem and making the solutions explicit.","feed_headline":"Parallel mean curvature in the light cone forces round spheres","feed_subtitle":"A dimension-free integral inequality leaves exactly one compact example: a totally umbilical sphere","key_machinery":"The central objects are two adapted lightlike normal vector fields ξ_0, ξ_1 with ⟨ξ_0,ξ_1⟩ = 1 that are parallel for the normal connection and have non-zero constant trace functions; their existence is Corollary 2.5. The argument rescales an arbitrary lightlike normal pair by the trace functions, using the fact that on a compact spacelike submanifold with ∇^⊥H = 0 the mean curvature vector is neither everywhere timelike nor everywhere lightlike. The integral machinery is a divergence-form identity, Proposition 5.1, which after the traces become constant reduces to vanishing weighted integrals, Corollary 5.3. Combining those integrals with the identity relating trace(A_{ξ_0}A_{ξ_1}) − (1/n)trace(A_{ξ_0})trace(A_{ξ_1}) to n(n−1)⟨H,H⟩ − S yields the integral inequality whose equality case is characterizable.","core_discovery":"The central claim is Theorem 6.3: if ψ : M^n → $L^{{n+2}}$ is a compact spacelike submanifold with ψ(M^n) ⊂ $Λ^{{n+1}}$_+ and ∇^⊥H = 0, then ψ(M^n) = S^n(v,r) = {x ∈ $L^{{n+2}}$ : ⟨x,x⟩ = 0, ⟨v,x⟩ = r}, with v a unit timelike vector and the sectional curvature equal to 1/$r^{2}$ = ⟨H,H⟩ > 0. The proof runs through an integral inequality, Proposition 5.4, which says that for any timelike vector a with ⟨a,ξ_0⟩ > 0 the integral of ⟨a,ξ_0 − ξ_1⟩(n(n−1)⟨H,H⟩ − S) over M^n is non-negative, with equality exactly in the totally umbilical round-sphere case. For submanifolds lying in the light cone the identity S = n(n−1)⟨H,H⟩ holds, so the inequality becomes an equality; the equality analysis then forces the Weingarten operators of the adapted lightlike normals to be multiples of the identity, which is precisely total umbilicity. The sphere lies in a spacelike affine hyperplane of $L^{{n+2}}$, matching the explicit model S^n(v,r).","pith_inferences":["The same integral-inequality route, with two parallel lightlike normals and a weighted integral identity, is a natural candidate for rigidity statements in other Lorentzian space forms, where the light cone correspondence makes de Sitter and anti-de Sitter the immediate next targets.","The explicit solution formula for equation (E) effectively realizes every constant-scalar-curvature conformal metric on the round sphere as a pullback by a conformal diffeomorphism; this suggests a computational test of whether any positive solution of the associated Yamabe-type equation must have the same affine denominator form.","Since compactness is essential, an extension of the integral inequality to compact spacelike submanifolds with boundary could give a boundary-value rigidity statement for spacelike graphs in the light cone, with the round sphere appearing as the equality case."],"forward_implications":["Every compact spacelike submanifold in the future light cone with parallel mean curvature vector field is a totally umbilical round sphere S^n(v,r).","The sectional curvature of such a sphere is constant, equal to 1/r^2 = ⟨H,H⟩ > 0, and the sphere lies in a spacelike hyperplane of Lorentz-Minkowski spacetime.","All smooth solutions of the elliptic equation (E) for spacelike graphs over the round sphere are explicitly the logarithmic functions in Corollary 6.10, giving a new proof of Obata's theorem on conformal metrics with constant scalar curvature.","In the compact light-cone setting, parallel mean curvature vector field is equivalent to parallel second fundamental form, constant scalar curvature, constant sectional curvature, and being a totally umbilical round sphere.","Via the correspondence with light cones in de Sitter and anti-de Sitter spacetimes, the same rigidity holds for compact spacelike submanifolds through those light cones."],"supporting_citations":[{"why":"Supplies the fact that the mean curvature vector of a compact spacelike submanifold with parallel mean curvature cannot be everywhere timelike, along with the earlier two-dimensional rigidity result that this paper extends.","marker":"[2]"},{"why":"Supplies the complementary fact that the mean curvature vector cannot be everywhere lightlike on a compact spacelike submanifold, which is needed to make the adapted lightlike normals have non-zero constant traces.","marker":"[19]"},{"why":"Provides the result that a compact spacelike submanifold in the light cone is diffeomorphic to the sphere and gives a dimension-four partial classification that the new method supersedes.","marker":"[21]"},{"why":"Supplies the explicit lightlike normal frame and Weingarten formulas for spacelike submanifolds through the light cone, together with the two-dimensional sphere classification that motivates the general theorem.","marker":"[23]"},{"why":"States Obata's classical rigidity result for pointwise conformal metrics of constant scalar curvature on the round sphere, which is reproved here as a corollary of the main classification.","marker":"[20]"}],"fun_headline_variants":["Compact light-cone submanifolds with parallel mean curvature are spheres","Light cone rigidity: spacelike submanifolds with parallel mean curvature are spheres","Parallel mean curvature in light cone: spacelike submanifolds are spheres","Spacelike submanifolds in light cone with parallel mean curvature are round spheres","Light cone spacelike submanifolds: parallel mean curvature implies spheres"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that on a compact spacelike submanifold with parallel mean curvature vector field the mean curvature vector cannot be everywhere timelike or everywhere lightlike, so its squared length is a positive constant and the rescaled lightlike normals have non-zero constant traces.","fun_headline_variants_meta":{"raw":{"variants":["Compact light-cone submanifolds with parallel mean curvature are spheres","Light cone rigidity: spacelike submanifolds with parallel mean curvature are spheres","Parallel mean curvature in light cone: spacelike submanifolds are spheres","Spacelike submanifolds in light cone with parallel mean curvature are round spheres","Light cone spacelike submanifolds: parallel mean curvature implies spheres"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000842,"raw_usage":{"total_tokens":3652,"prompt_tokens":914,"completion_tokens":2738,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":530,"completion_tokens_details":{"reasoning_tokens":2636}},"tokens_in":530,"tokens_out":2738,"duration_ms":22311,"temperature":1.0,"reasoning_tokens":2636,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:34:38.726602+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a compact spacelike codimension-two submanifold in $Λ^{{n+1}}$_+ ⊂ $L^{{n+2}}$ with n ≥ 3, parallel mean curvature vector field, and image not equal to any S^n(v,r); a single such example would disprove Theorem 6.3. Equivalently, plug a smooth positive function h into Obata's equation (54) on S^n: if h is not one of the affine functions −v_0 + Σ_{i=1}^{n+1} v_i x_i with ⟨v,v⟩ = −1 and v_0 < 0, then the claimed rigidity fails. The paper itself shows why compactness is essential: the noncompact cylinder ψ(x,y) = ($\\cosh$ x, $\\sinh$ x, cos y, sin y) lies in $Λ^{3}$_+, has parallel mean curvature vector field, and is not totally umbilical.","supporting_citations":[{"cited_title":"Al ´ ıas, F.J.M","cited_arxiv_id":null,"evidence_quote":"Supplies the fact that the mean curvature vector of a compact spacelike submanifold with parallel mean curvature cannot be everywhere timelike, along with the earlier two-dimensional rigidity result that this paper extends."},{"cited_title":"Mars and J.M.M","cited_arxiv_id":null,"evidence_quote":"Supplies the complementary fact that the mean curvature vector cannot be everywhere lightlike on a compact spacelike submanifold, which is needed to make the adapted lightlike normals have non-zero constant traces."},{"cited_title":"Palmas, F.J","cited_arxiv_id":null,"evidence_quote":"Provides the result that a compact spacelike submanifold in the light cone is diffeomorphic to the sphere and gives a dimension-four partial classification that the new method supersedes."},{"cited_title":"Palomo and A","cited_arxiv_id":null,"evidence_quote":"Supplies the explicit lightlike normal frame and Weingarten formulas for spacelike submanifolds through the light cone, together with the two-dimensional sphere classification that motivates the general theorem."},{"cited_title":"Obata, The conjectures on conformal transformations of Riemannian manifolds, J","cited_arxiv_id":null,"evidence_quote":"States Obata's classical rigidity result for pointwise conformal metrics of constant scalar curvature on the round sphere, which is reproved here as a corollary of the main classification."}],"review_version":1}