{"id":"2b0c705e-28e5-4bec-9302-3bd89646912d","arxiv_id":"2603.14439","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.5,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Wald–Zoupas surface-charge integrability is slicing-dependent; a Frobenius theorem on solution phase space yields a slicing-independent criterion and separates fake from genuine fluxes via SPS torsion.","lead":"This paper rebuilds the covariant phase space so spacetime and the space of solutions share the same geometric language, then uses that to fix when surface charges are integrable. It matters for anyone tracking gravitational memory, asymptotic symmetries, or conserved charges at null infinity.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"The slicing-independent integrability claim and torsion–News identification rest on treating the (typically infinite-dimensional) SPS as a smooth manifold admitting a classical Frobenius theorem and well-defined connection/torsion.","rationale":"The reader’s weakest_assumption is precisely the load-bearing foundation of every geometric claim in the abstract. No stronger internal inconsistency can be diagnosed from the abstract alone, nor can the construction be cleared; the infinite-dimensional technicalities remain the single point on which the whole argument stands or falls. Consequently the UNVERDICTED status with low confidence is unchanged pending the body text.","tokens_in":2057,"tokens_out":439,"duration_ms":17691,"concrete_test":"Once the full text is available, locate the section that constructs the SPS connection via Frobenius and verify whether it specifies the manifold category and proves slicing-independence of the torsion 2-form; then recompute both the proposed SPS torsion and the News tensor on a concrete Bondi–Sachs solution space—if torsion vanishes while News is nonzero (or vice versa), the identification fails and the integrability criterion loses its geometric content.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract’s central advance—that Wald–Zoupas integrability is slicing-dependent while Frobenius on the SPS supplies a slicing-independent criterion, with genuine fluxes = non-vanishing SPS torsion (linked to News) and fake fluxes = pure gauge of the SPS connection—presupposes that the solution phase space carries a smooth manifold structure (Banach/Fréchet) on which the classical Frobenius theorem applies and an invariant connection with torsion can be defined. This structure is invoked for the entire geometric reconstruction (SPS connection, torsion, curvature, Liouville theorem) yet is left unexamined at the abstract level. In asymptotic gravity the SPS is infinite-dimensional; if the requisite topology, smoothness of the presymplectic form, or existence of the connection fail, the geometric objects are not well-defined and neither the claimed independence nor the flux classification follows.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript proposes a geometric reconstruction of the Covariant Phase Space Formalism (CPSF) that treats spacetime and the Solution Phase Space (SPS) in parallel. It defines changes of slicing on the SPS, argues that the standard Wald–Zoupas integrability criterion for surface-charge variations is slicing-dependent, and claims that the Frobenius theorem on the SPS supplies a slicing-independent integrability criterion. From the same construction the authors introduce an SPS connection, torsion and curvature; they identify “fake” surface fluxes with pure gauge of the SPS connection and “genuine” fluxes with non-vanishing SPS torsion (linked to the gravitational News). A geometric Liouville theorem on the SPS is offered as a classification of theories with and without bulk degrees of freedom.","tokens_in":2294,"tokens_out":1030,"duration_ms":9344,"significance":"If the constructions can be made rigorous, the work would supply a coordinate-free, slicing-independent foundation for surface-charge integrability and a geometric distinction between physical and pure-gauge fluxes—both long-standing issues in asymptotic gravity and black-hole thermodynamics. The parallel geometric treatment of spacetime and SPS, together with an explicit Frobenius criterion and a Liouville statement on SPS, would constitute a genuine conceptual advance over the existing Wald–Zoupas literature. Because only the abstract is available, these claims remain unverified; their significance is therefore conditional on the existence of a well-defined smooth (Banach/Fréchet) structure on the SPS that supports the classical Frobenius theorem and an invariant connection with torsion.","major_comments":[{"comment":"The entire geometric reconstruction (slicing-independent integrability, SPS connection/torsion/curvature, fake-vs-genuine flux dichotomy, Liouville theorem) presupposes that the typically infinite-dimensional solution phase space carries a smooth manifold structure on which the classical Frobenius theorem applies and an invariant connection with torsion can be defined. The abstract invokes this structure throughout but does not state the topology, charts, or regularity hypotheses that would make the SPS a Banach or Fréchet manifold. Without an explicit statement (or a reference to a standard construction that already supplies it), the central claims are not yet load-bearing. The manuscript must either supply these hypotheses or restrict the claims to finite-dimensional truncations where the structure is known to exist.","section":null},{"comment":"The asserted identification of genuine surface fluxes with non-vanishing SPS torsion (and of that torsion with the gravitational News) is a strong physical claim. Even at the abstract level it is presented as a theorem of the geometric reconstruction. A precise statement of the map from SPS torsion to the News tensor, together with a check that the identification is independent of the choice of SPS connection (modulo pure gauge), is required before the claim can be accepted. If the identification holds only for a particular class of connections or only asymptotically, that restriction must be stated.","section":null},{"comment":"The claim that the Wald–Zoupas criterion is “inherently slicing-dependent” while the Frobenius criterion is not needs an explicit counter-example or a general proof that the two criteria differ on a non-empty open set of slicings. Without such a demonstration the asserted superiority of the Frobenius condition remains programmatic.","section":null}],"minor_comments":[{"comment":"The abstract introduces several new geometric objects (SPS connection, SPS torsion, SPS curvature) without indicating whether they reduce to known constructions in the finite-dimensional or asymptotically flat literature; a short comparison paragraph would help the reader locate the novelty.","section":null},{"comment":"The phrase “strictly parallel geometric formulation for both manifolds” is repeated; a single precise statement of the parallel dictionary (spacetime ↔ SPS) would improve clarity.","section":null},{"comment":"The Liouville theorem on the SPS is announced as a “unified classification scheme”; the abstract does not indicate whether the classification recovers the standard distinction between theories with and without local degrees of freedom, or whether new intermediate cases appear.","section":null}],"recommendation":"uncertain","confidential_remarks":"Only the abstract is available for this review. The recommendation is therefore necessarily “uncertain”: the conceptual programme is interesting and potentially significant, but every load-bearing claim rests on an unexamined infinite-dimensional manifold structure for the SPS. Once the full text is supplied, the first task is to verify whether that structure is constructed or merely assumed; if the latter, a major revision (or rejection) will be required. I have no concerns about scope or citation pattern beyond the usual abstract-only limitations."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing to know is that this is an abstract-only read of a geometric upgrade to covariant phase space. The claimed advance is clear: Wald–Zoupas integrability is slicing-dependent on the solution phase space; Frobenius on the SPS gives a slicing-independent criterion; genuine fluxes are non-vanishing SPS torsion (tied to News) and fake fluxes are pure gauge of an SPS connection. They also sketch a geometric Liouville classification of bulk DOF.\n\nWhat looks new and useful is the parallel treatment of spacetime and SPS, the explicit definition of SPS slicings (which the abstract says have been under-studied), and the clean fake/genuine flux split. If the constructions hold, this reorganizes a tool people actually use in asymptotic symmetries, soft theorems, and memory. That is real subfield value, not just re-labeling.\n\nThe soft spot is exactly the one the stress-test flags, and it is load-bearing: everything rests on treating the (typically infinite-dimensional) SPS as a smooth manifold on which classical Frobenius applies and an invariant connection with torsion and curvature can be defined. The abstract invokes SPS connection/torsion/curvature and a Liouville theorem without showing the topology, smoothness of the presymplectic form, or existence of the connection. In asymptotic gravity that structure is not automatic. Without the body we cannot verify the lemmas, any worked example, or comparison to prior Wald–Zoupas literature. Circularity risk is low—this is first-principles geometry, not a fit—but soundness is simply uncheckable from the abstract.\n\nWho it is for: people who already live in CPSF, asymptotic charges, and holographic phase space. A serious referee in that community should see the full text; the claims are sharp enough and the literature gap they name is real enough that desk rejection would be premature. I would not cite it yet and would only bring it to reading group once the proofs and an example are in hand. Send it to peer review if the full paper materializes with the geometric constructions spelled out.","headline":"Abstract-only geometric reformulation of CPSF: slicing-independent integrability via Frobenius on SPS and torsion–News flux split look coherent and useful, but the infinite-dimensional manifold hypotheses are uncheckable here.","tokens_in":2888,"tokens_out":517,"would_cite":false,"duration_ms":4971,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["04.20.Fy","04.20.Cv","11.10.Ef"],"model":"grok-4.5","headline":"Wald–Zoupas integrability of surface charges is slicing-dependent; Frobenius on the solution phase space supplies a slicing-independent criterion and identifies genuine fluxes with SPS torsion.","keywords":["covariant phase space","surface charges","Wald-Zoupas criterion","solution phase space","Frobenius theorem","SPS torsion","gravitational News","Liouville theorem"],"falsifier":"Exhibit an explicit diffeomorphism-invariant theory and two distinct slicings of its solution space for which the Frobenius-based integrability criterion returns contradictory answers, or show that the SPS torsion fails to reproduce the known gravitational News in a standard asymptotically flat setting.","tokens_in":2967,"feed_emoji":"📐","tokens_out":624,"duration_ms":5650,"temperature":0.7,"pith_summary":"The paper aims to put the covariant phase space formalism on equal geometric footing for spacetime and for the solution phase space (SPS). Spacetime diffeomorphisms are well studied; the authors define the corresponding transformations on the SPS as changes of slicing and show that the usual Wald–Zoupas test for whether surface-charge variations are integrable depends on the chosen slicing. They therefore introduce the Frobenius theorem on the SPS itself, which produces a slicing-independent integrability criterion and, as a byproduct, a natural SPS connection, torsion and curvature. Within that geometry, “fake” surface fluxes appear as pure gauge of the SPS connection while “genuine” fluxes appear as non-vanishing SPS torsion and are identified with the gravitational News. The same machinery yields a geometric Liouville theorem that classifies theories according to whether they possess propagating bulk degrees of freedom. A sympathetic reader cares because surface charges and fluxes are the practical tools used to extract conserved quantities and asymptotic symmetries from general relativity and other diffeomorphism-invariant theories; a criterion that is independent of how one slices the space of solutions removes an ambiguity that has plagued the literature.","feed_headline":"Surface-charge integrability made slicing-independent via SPS Frobenius","feed_subtitle":"Genuine fluxes equal SPS torsion (the News); fake fluxes are pure gauge of the SPS connection.","key_machinery":"The Frobenius theorem applied to the solution phase space, which equips the SPS with a connection, torsion and curvature and thereby converts the Wald–Zoupas test into a slicing-independent geometric condition.","core_discovery":"The Wald–Zoupas integrability condition for surface-charge variations is intrinsically slicing-dependent on the solution phase space. Equipping the SPS with the Frobenius theorem supplies a slicing-independent integrability criterion, defines an SPS connection whose torsion measures genuine surface fluxes (linked to the News), and distinguishes those fluxes from pure-gauge “fake” fluxes.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["SPS Frobenius yields slicing-independent surface-charge integrability","Wald–Zoupas made independent via Frobenius on solution phase space","Genuine fluxes equal SPS torsion (News); fakes are connection gauge","SPS connection torsion measures genuine surface fluxes as News","Frobenius on SPS defines connection torsion curvature for charges"],"cache_read_input_tokens":128,"weakest_assumption_plain":"That the space of solutions can be treated as a smooth manifold on which the classical Frobenius theorem applies in exactly the same way as on spacetime, so that an SPS connection, torsion and curvature are well-defined.","fun_headline_variants_meta":{"raw":{"variants":["SPS Frobenius yields slicing-independent surface-charge integrability","Wald–Zoupas made independent via Frobenius on solution phase space","Genuine fluxes equal SPS torsion (News); fakes are connection gauge","SPS connection torsion measures genuine surface fluxes as News","Frobenius on SPS defines connection torsion curvature for charges"]},"model":"grok-4.5","effort":"low","cost_usd":0.003782,"raw_usage":{"total_tokens":1247,"prompt_tokens":829,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":37820000,"prompt_tokens_details":{"text_tokens":829,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":351,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":829,"tokens_out":67,"duration_ms":3859,"temperature":1.0,"reasoning_tokens":351,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T21:13:47.264155+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit an explicit diffeomorphism-invariant theory and two distinct slicings of its solution space for which the Frobenius-based integrability criterion returns contradictory answers, or show that the SPS torsion fails to reproduce the known gravitational News in a standard asymptotically flat setting.","supporting_citations":[],"review_version":1}