{"id":"c10fc78d-80db-47a3-93a2-9b5b880eedbb","arxiv_id":"2507.12362","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"This paper develops a submanifold calculus for exact Courant algebroids: generalised second fundamental form, Gauss-Codazzi equations, constraint equations, and a fundamental theorem for hypersurfaces.","lead":"This paper builds a differential-geometry toolkit for submanifolds inside the 'generalised geometry' framework used in string theory and supergravity, defining new curvature objects and equations for hypersurfaces. It aims to turn the initial-value formulation of generalised Einstein equations into a form that can be studied like the classical ADM formalism of general relativity.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Flatness characterisation and generalised fundamental theorem both rest on curvature formulas (Props. 8.1, 8.3) and the Bianchi identity cited only to unpublished work [6,7]; until these are independently checked, Sections 6–7 are unverified.","rationale":"The reader's weakest_assumption identifies precisely the point where the paper's central claims are least secure. Section 6 and Section 7 depend on curvature formulas and a Bianchi identity that are not proved in the manuscript and are attributed to unpublished work in progress. I read the derivations of Sections 3–5 in good faith and found them internally coherent and, as far as I can tell, substantively plausible; the paper's own exterior-geometry results (generalised Gauß–Codazzi equations, constraints, induced structures) appear to be derived from the definitions. However, the flatness characterisation and the generalised fundamental theorem are not independently verifiable from the text alone. The proof of Theorem 6.3 is a long calculation that repeatedly invokes Proposition 8.1 and 8.3, and the proof of Theorem 7.6 explicitly relies on those same formulas through Lemma 7.9. A single erroneous coefficient in the curvature decomposition would invalidate the complete-triviality results in Riemannian and Lorentzian signatures and the reduction in Theorem 7.6. I also noted the possible issue that Lemma 7.3 postulates a closed extension of HΣ + n♭∧H⊥ without proving dΣH⊥ = 0; while this is a concrete internal point, the primary obstruction remains the unverified curvature formulas, because they are load-bearing for the whole of Sections 6–7. No ad hominem is intended; the authors themselves flag the reliance on [6] and [7]. The appropriate disposition is a conditional acceptance pending verification of those formulas, exactly as the reader concluded. My stress-test therefore does not change the verdict.","tokens_in":43810,"tokens_out":18316,"duration_ms":199831,"concrete_test":"Independently derive Proposition 8.1 and 8.3 directly from Lemma 4.17 and the curvature definition (5.5), without citing [6] or [7]. A tractable spot-check is the case of a flat base metric, constant H, and e=0 in dimension d=3: compute the generalised Riemann tensor for the canonical connection using Lemma 4.17 and compare both sides of Proposition 8.1. If even one H(2) coefficient differs, the flatness characterisation and the fundamental theorem require revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 6.3, its corollaries, and Theorem 7.6 all rely on Propositions 8.1 and 8.3, which give the pure- and mixed-type components of the generalised Riemann tensor for the canonical generalised Levi-Civita connection. These propositions are cited to the unpublished work in progress [6], and the Bianchi identity needed in Section 6 is cited to [7], also work in progress. The paper supplies no proof and no independent verification of these formulas, nor of the auxiliary identity (6.7) derived from them. If any coefficient in Propositions 8.1 or 8.3 is off, the derivation of equations (6.4), (6.5), and (6.10) collapses, and with them the complete-triviality Corollaries 6.5 and 6.7, the neutral-signature example's comparison (6.13), and the reduction to the classical case in Theorem 7.6. This is not a disagreement with consensus; it is a verifiability gap in the central chain of reasoning. The authors explicitly acknowledge in the Acknowledgements and at the start of Section 8 that these results are from work in progress, so the manuscript itself flags the missing support. A secondary note: Lemma 7.3 requires extending H = HΣ + n♭∧H⊥ to a closed three-form, which is only possible if dΣH⊥ = 0; the manuscript does not show that the assumed flat Gauß–Codazzi equations force this, although the pointwise argument in the proof of Theorem 7.6 may circumvent the need for a global extension if the formulas of Lemma 7.9 are established independently. This second point does not replace the primary concern about Propositions 8.1 and 8.3, but it reinforces that Sections 6–7 need independent scrutiny.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops the submanifold theory of exact Courant algebroids, with emphasis on semi-Riemannian hypersurfaces. After reviewing the pullback Courant algebroid and constructing a concrete realization via Courant transversal bundles, the authors show that a generalised metric and a divergence operator on the ambient algebroid induce corresponding structures on the pullback. They introduce a generalised second fundamental form, a shape tensor, and a conormal exterior curvature, and derive generalised Gauss and Codazzi equations (Theorems 5.14 and 5.19) from their definition of the generalised Riemann tensor. From these equations they obtain generalised energy and momentum constraints (Corollaries 5.18 and 5.20). The paper then characterises exact semi-Riemannian Courant algebroids that are flat for the canonical generalised Levi-Civita connection, proving conformal flatness of the base in general and complete triviality in Riemannian and Lorentzian signatures (Corollaries 6.5 and 6.7), with a non-trivial neutral-signature example. Finally, Section 7 states and proves a generalised fundamental theorem for hypersurfaces, asserting that flat generalised Gauss-Codazzi data can be locally realised in an untwisted flat generalised tangent bundle.","tokens_in":44258,"tokens_out":6059,"duration_ms":71030,"significance":"If the results hold, the paper provides a systematic and largely coordinate-free transfer of classical submanifold geometry to exact Courant algebroids, with immediate applications to the initial value formulation of generalised Einstein equations and to the restriction of generalised Kähler and hyper-Kähler structures. The derivations in Sections 4 and 5 are detailed and mostly self-contained, and the recovery of previously known constraint formulas from a unified framework is a useful check of internal consistency. The neutral-signature example is concrete and helps delineate the signature-dependence of the flatness theorem. The main weakness is that the curvature formulas on which the flatness characterisation and the fundamental theorem rely are not proved in this paper but are cited to unpublished work in progress.","major_comments":[{"comment":"Propositions 8.1 and 8.3, which give the pure-type and mixed-type components of the generalised Riemann tensor for the canonical generalised Levi-Civita connection, are cited to the unpublished work in progress [6], and the Bianchi identity used in Section 6 is cited to [7], also work in progress. These formulas are load-bearing: Theorem 6.3, Corollaries 6.5 and 6.7, and Theorem 7.6 all derive their conclusions from them. If any coefficient in Proposition 8.1 or 8.3 is incorrect, the derivations of equations (6.4), (6.5), (6.10) and (6.13) collapse, and with them the complete-triviality results and the reduction to the classical fundamental theorem. The manuscript itself acknowledges this dependence at the start of Section 8 and in the Acknowledgements. The paper should either prove these propositions and the Bianchi identity, or clearly state that the flatness characterisation and the fundamental theorem are conditional on results proved elsewhere.","section":"Appendix A (Section 8), used in Sections 6 and 7"},{"comment":"The extension step in Lemma 7.3 requires constructing a closed three-form H = H_Sigma + n^flat wedge H_perp on M = Sigma x R. This is possible only if d_Sigma H_perp = 0. The paper does not show that the assumed flat Gauss-Codazzi equations force this closure condition. The pointwise jet argument in the proof of Theorem 7.6 may circumvent the need for a global closed extension, but the manuscript does not spell out how; as written, the existence of the ambient exact Courant algebroid in Lemma 7.3 is not fully justified. The authors should either prove d_Sigma H_perp = 0 from the flat Gauss-Codazzi data or reformulate the proof so that only the pointwise data are used.","section":"Section 7, Lemma 7.3 and proof of Theorem 7.6"},{"comment":"Lemma 7.9 asserts that the generalised Riemann tensor of the synthetic connection on E_Sigma ⊕ L is related to the curvature of the synthetic classical connection by the formulas of Propositions 8.1 and 8.3, including for conormal components that are not explicitly covered by those propositions. Remark 7.10 defers the justification to a formal multilinearity argument. Since the proof of Theorem 7.6 applies Corollary 6.5 to this synthetic curvature, the step needs a precise statement of which curvature components are determined by the flat Gauss-Codazzi equations and why the formal replacement prescription yields well-defined equations. This is not merely cosmetic: the conormal components Rm_~D(a,n_∓,v,w) are essential for the conclusion that the ambient data are trivial.","section":"Section 7, Lemma 7.9 and Remark 7.10"}],"minor_comments":[{"comment":"The header reads \"MSc classification\"; this should be \"MSC classification\".","section":"Abstract, page 3"},{"comment":"The sentence \"A generalised metric on on an exact Courant algebroid\" contains a duplicated \"on\".","section":"Section 4.1, Definition 4.1"},{"comment":"The text \"the the generalised second fundamental form\" contains a duplicated article; it should read \"the generalised second fundamental form\".","section":"Introduction, page 7"},{"comment":"The display in equation (5.2) is dense and the notation chi^⊥_± is introduced only through context; a short sentence defining chi^⊥_±(a_±,b_±) before the display would improve readability.","section":"Section 5.1, Lemma 5.4"},{"comment":"The notation pi e_± and the identification of e_± with elements of TM via the isometries sigma_± is used heavily but the conventions are not repeated near the theorem; pointing back to Corollary 4.4 and the surrounding text would help.","section":"Section 6, Theorem 6.3"}],"recommendation":"major_revision","confidential_remarks":"The two cited works in progress, [6] and [7], carry a substantial part of the technical content used in Sections 6 and 7. If the editor is willing to accept a paper with such an external dependence, the authors should be asked to include the missing proofs or to restructure the claims as conditional theorems. The central ideas and the derivations in Sections 4 and 5 appear sound and valuable, but the current manuscript is not self-contained enough for publication in its present form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is worth a serious look. It builds a clean submanifold calculus for exact Courant algebroids: pullback of generalized metrics, divergences, connections, and genuinely new objects — generalized second fundamental form, shape tensor, mean curvature, and Gauss–Codazzi equations. Sections 3–5 are internally derived and largely check out. The constraint equations for the generalized Einstein equations, and the recovery of Shahbazi's supergravity constraints in a special case, are a real payoff. Corollaries 4.19–4.20, on generalized Kähler and hyper-Kähler structures restricting to compatible submanifolds, are a nice dividend. I read those as solid.\n\nThe soft spot is the one the authors themselves flag. Propositions 8.1 and 8.3, the component formulas for the generalized Riemann tensor of the canonical Levi-Civita connection, are cited to unpublished work in progress [6], and the Bianchi identity is cited to [7]. These formulas are load-bearing for Theorem 6.3 (conformal flatness), Corollaries 6.5 and 6.7 (complete triviality in Riemannian and Lorentzian signature), and Theorem 7.6 (the generalized fundamental theorem). Nothing in the present manuscript independently verifies them. If a coefficient is off, or a hidden signature assumption enters, Sections 6–7 collapse. The auxiliary identity (6.7) and much of the proof of Theorem 6.3 are derived from those formulas, so the problem is not cosmetic.\n\nThe stress-test note raises a secondary point about Lemma 7.3: extending HΣ + n♭∧H⊥ to a closed three-form on M requires dΣH⊥ = 0, and the manuscript does not show that the flat Gauss–Codazzi data forces this. The pointwise argument in Theorem 7.6 may avoid needing a global extension, but it deserves scrutiny. That is secondary; the primary issue is verification of the curvature formulas.\n\nMy overall read: the exterior-geometry core is a solid contribution that stands on its own, and the flatness/fundamental-theorem sections are plausible but currently unverified. That is exactly the situation where an editor should send it to a referee rather than desk reject. Send it out with a referee who knows the canonical connection literature, and demand that [6]/[7] be made available or the relevant identities proved in an appendix. The paper should not depend on unpublished work for its main theorem.","headline":"A genuinely useful submanifold calculus for exact Courant algebroids, but the flatness and fundamental-theorem results currently rest on curvature formulas from unpublished work.","tokens_in":44732,"tokens_out":2057,"would_cite":true,"duration_ms":22781,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D18","35Q76"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that classical submanifold theory extends to exact Courant algebroids, with a generalised second fundamental form, Gauß-Codazzi equations, Einstein constraint equations, and a fundamental theorem for generalised…","keywords":["exact Courant algebroids","generalised metrics","generalised second fundamental form","Gauß-Codazzi equations","generalised Einstein equations","constraint equations","flat Courant algebroids","generalised hypersurfaces"],"falsifier":"Compute the pure-type and mixed-type components of $Rm^D$ from Propositions 8.1 and 8.3 in coordinates for a Lorentzian exact Courant algebroid with nonzero twist $H$ and nonzero divergence field $e$, and check whether $Rm^D=0$ forces $H=0$ and $e=0$ as Corollary 6.7 claims; a single explicit flat example with $H\\neq 0$ would refute the central characterisation.","tokens_in":43633,"feed_emoji":"📐","tokens_out":13209,"duration_ms":128924,"temperature":0.7,"pith_summary":"The paper claims that the classical machinery of submanifold geometry—second fundamental form, shape operator, mean curvature, and the Gauß–Codazzi equations—has a working analogue for exact Courant algebroids, the setting of generalised geometry. When an exact Courant algebroid $E\\to M$ is pulled back to an immersed hypersurface $\\Sigma$, a generalised metric and a divergence operator descend to the pullback algebroid, and a unit normal $n$ lifts to sections $n_\\pm$ of the $\\pm 1$ eigenbundles of the generalised metric. The generalised second fundamental form $K_{n_\\pm}(a,b)=G(D_a n_\\pm,b)$ splits into a part fixed by the ambient generalised metric and a mixed part that records the twist $H$, while the generalised mean curvature $T_\\pm=\\operatorname{tr}_h k-\\langle e,n_\\pm\\rangle$ is determined by the pair $(G,\\operatorname{div})$ alone. The paper derives generalised Gauß and Codazzi equations and, as corollaries, the energy and momentum constraint equations for the initial-value formulation of the generalised Einstein equations. It also shows that flatness of the canonical generalised Levi-Civita connection forces complete triviality in Riemannian and Lorentzian signature, with a non-trivial flat example in neutral signature, and it states a generalised fundamental theorem for hypersurfaces.","feed_headline":"Generalised hypersurfaces obey Gauß-Codazzi equations","feed_subtitle":"A new second-fundamental form for Courant algebroids yields Einstein constraint equations and a generalised fundamental theorem.","key_machinery":"The load-bearing object is the generalised second fundamental form $K_{n_\\pm}(a,b)=G(D_a n_\\pm,b)$, together with the conormal exterior curvature $L_\\pm(a)=G(D_{n_\\pm-n_\\mp}n_\\pm,a)$ and the splitting of $E$ into the $\\pm 1$ eigenbundles $E_\\pm$ of the generalised metric. The identity $\\tfrac12[n_\\pm,G]=K_++K_-$ (Lemma 5.8) shows that the mixed-type part of the exterior curvature is the Lie derivative of the generalised metric along the normal, and the projection $\\pi_\\parallel:\\iota^*E\\to E_\\Sigma=N^\\perp$ produces the induced generalised connection $D^\\Sigma$ that enters all curvature comparisons. The paper's computations are organised by this decomposition, with the difference between the induced canonical connection $\\tilde D^\\Sigma$ and the projected ambient connection $D^\\Sigma$ playing a central role in the constraint equations.","core_discovery":"On the paper's own terms, the discovery is that exterior curvature is not lost when passing from a manifold to a Courant algebroid; it is reorganised by the decomposition $E=E_+\\oplus E_-$ of the generalised metric. For a hypersurface $\\Sigma$ with unit normal $n$, Lemma 5.4 gives the pure-type and mixed-type parts of $K_{n_\\pm}$ in terms of the classical second fundamental form $k$, the twist $H$, the divergence field $e$, and the connection choice $\\chi^\\perp_\\pm$; the mixed-type tensor $K_\\pm=K_{n_\\pm}|_{E^\\mp_\\Sigma\\times E^\\pm_\\Sigma}$ depends only on the generalised metric, and the mean curvature $T_\\pm=\\operatorname{tr}_h k-\\langle e,n_\\pm\\rangle$ depends only on $(G,\\operatorname{div})$. The generalised Gauß equations (Theorem 5.14) and Codazzi equations (Theorem 5.19) relate the ambient and induced generalised Riemann tensors, and their traces give the generalised Einstein constraint equations (Corollaries 5.18 and 5.20). The same curvature formalism yields Corollaries 6.5 and 6.7: in Riemannian and Lorentzian signatures a canonically flat exact semi-Riemannian Courant algebroid is completely trivial—untwisted, constant dilaton, flat base metric—while Example 6.10 exhibits a non-trivial flat example in neutral signature. Theorem 7.6 then states a generalised fundamental theorem: data on an exact Riemannian Courant algebroid satisfying the flat generalised Gauß-Codazzi equations is locally induced by a hypersurface in Euclidean space, which in particular forces the classical data to satisfy the classical flat Gauß-Codazzi equations.","pith_inferences":["Beyond the paper, the clean splitting of the generalised second fundamental form suggests that existence questions for prescribed exterior data could be posed for generalised submanifolds in non-flat ambient Courant algebroids, not only the flat case treated here.","Beyond the paper, the fact that flatness is signature-dependent points toward a classification problem for canonically flat neutral-signature Courant algebroids, where the nontrivial example is likely the first member of a larger family.","Beyond the paper, the constraint equations for the pair $(H,\\operatorname{div}_\\Sigma)$ should be interpretable as evolution equations along the normal direction, opening a route to a generalised Ricci flow with boundary or to a Hamiltonian formulation of generalised gravity.","Beyond the paper, extending the construction to submanifolds of codimension greater than one would require a family of generalised normal bundles and would test whether the Gauß-Codazzi identities retain the same form."],"forward_implications":["The generalised Einstein equations have an initial-value formulation on a hypersurface, with the energy constraint given by Corollary 5.18 and the momentum constraint by Corollary 5.20.","Generalised Kähler and hyper-Kähler structures restrict to any semi-Riemannian submanifold whose induced Courant algebroid is invariant under the generalised almost complex structure.","In Riemannian and Lorentzian signature, a canonically flat exact Courant algebroid is completely trivial: the twist vanishes, the dilaton is constant, and the base metric is flat.","Neutral signature is genuinely different: Example 6.10 constructs a non-trivial flat exact Courant algebroid with a conformally flat base and nonzero twist.","The generalised fundamental theorem (Theorem 7.6) reduces the existence of generalised hypersurfaces with prescribed exterior data to the classical flat Gauß-Codazzi equations, so the classical uniqueness statement applies."],"supporting_citations":[{"why":"introduces the pullback Courant algebroid that the paper uses as the foundation for all induced structures.","marker":"[3]"},{"why":"provides the alternative construction of the pullback Courant algebroid and its exactness.","marker":"[4]"},{"why":"supplies the theory of divergence operators and generalised Levi-Civita connections with prescribed divergence used throughout Sections 4 and 5.","marker":"[10]"},{"why":"fixes conventions for compatibility of generalised metric and divergence and for the generalised Ricci flow objects.","marker":"[9]"},{"why":"gives the definition of the generalised Riemann tensor as an algebraic curvature tensor used in the curvature identities.","marker":"[11]"},{"why":"supplies the generalised Ricci tensor definitions and the fact that mixed-type Ricci components are connection-independent.","marker":"[12]"},{"why":"work in progress cited for the pointwise component formulas of the generalised Riemann tensor of the canonical connection.","marker":"[6]"},{"why":"work in progress cited for the Bianchi identity satisfied by the generalised Riemann tensor.","marker":"[7]"},{"why":"the NS-NS supergravity constraint formulas that the paper recovers after translating the generalised constraints into classical data.","marker":"[1]"},{"why":"the classical fundamental theorem for hypersurfaces that Theorem 7.6 generalises and whose uniqueness statement it inherits.","marker":"[16]"}],"fun_headline_variants":["Courant algebroids get a second fundamental form","Generalized Gauß-Codazzi equations for hypersurfaces","Einstein constraints emerge from generalized curvature","Flat Courant algebroids trivial except in neutral signature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the component formulas for the generalised Riemann tensor of the canonical generalised Levi-Civita connection, taken from unpublished work in progress, are correct in all signatures; if they contain a hidden signature assumption or an algebraic error, the flatness characterisation and the generalised fundamental theorem do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Courant algebroids get a second fundamental form","Generalized Gauß-Codazzi equations for hypersurfaces","Einstein constraints emerge from generalized curvature","Flat Courant algebroids trivial except in neutral signature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000458,"raw_usage":{"total_tokens":2409,"prompt_tokens":1168,"completion_tokens":1241,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":784,"completion_tokens_details":{"reasoning_tokens":1176}},"tokens_in":784,"tokens_out":1241,"duration_ms":13231,"temperature":1.0,"reasoning_tokens":1176,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:47:25.380534+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the pure-type and mixed-type components of $Rm^D$ from Propositions 8.1 and 8.3 in coordinates for a Lorentzian exact Courant algebroid with nonzero twist $H$ and nonzero divergence field $e$, and check whether $Rm^D=0$ forces $H=0$ and $e=0$ as Corollary 6.7 claims; a single explicit flat example with $H\\neq 0$ would refute the central characterisation.","supporting_citations":[{"cited_title":"Courant Algebroid Connections and String Effective Actions, pages 211–265","cited_arxiv_id":null,"evidence_quote":"gives the definition of the generalised Riemann tensor as an algebraic curvature tensor used in the curvature identities."},{"cited_title":"The canonical generalised Levi-Civita connection and its curvature","cited_arxiv_id":null,"evidence_quote":"work in progress cited for the pointwise component formulas of the generalised Riemann tensor of the canonical connection."},{"cited_title":"On the space of generalized Riemann curvature tensors","cited_arxiv_id":null,"evidence_quote":"work in progress cited for the Bianchi identity satisfied by the generalised Riemann tensor."},{"cited_title":"Shahbazi","cited_arxiv_id":null,"evidence_quote":"the NS-NS supergravity constraint formulas that the paper recovers after translating the generalised constraints into classical data."},{"cited_title":"Wiley, 1969","cited_arxiv_id":null,"evidence_quote":"the classical fundamental theorem for hypersurfaces that Theorem 7.6 generalises and whose uniqueness statement it inherits."}],"review_version":1}