Geometric Aspects of Covariant Phase Space Formalism: Solution Space Slicings and Surface Charge Integrability

M. Golshani; M.H. Vahidinia; M.M. Sheikh-Jabbari; V. Taghiloo

REVIEW

Geometric Aspects of Covariant Phase Space Formalism: Solution Space Slicings and Surface Charge Integrability

M. Golshani, M.M. Sheikh-Jabbari, V. Taghiloo, M.H. Vahidinia

High Energy Physics - Theory · Submitted 15 Mar 2026

Pith's verdict: 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.

T0 · AI review

How this review was made: An AI referee (grok-4.5) read the paper on July 14, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2603.14439 (version 2)

Pith ID26XKS3AR, Pith's permanent record of this paper and its review

CitationM. Golshani, M.H. Vahidinia, M.M. Sheikh-Jabbari, V. Taghiloo. "Geometric Aspects of Covariant Phase Space Formalism: Solution Space Slicings and Surface Charge Integrability." arXiv:2603.14439 (2026). https://pith.science/paper/26XKS3AR

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the 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.

What 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.

The 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.

Who 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.

Referee report

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 objections (3)

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.
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.
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.

Minor objections (3)

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.
The phrase “strictly parallel geometric formulation for both manifolds” is repeated; a single precise statement of the parallel dictionary (spacetime ↔ SPS) would improve clarity.
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.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

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.

The reading

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.

What carries the argument

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.

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Original abstract

The Covariant Phase Space Formalism (CPSF) provides a robust framework for deriving symplectic structures and surface charges in diffeomorphism-invariant theories. By construction, the CPSF operates on two distinct manifolds: the spacetime and the Solution Phase Space (SPS). In this paper, we advance the formalism by establishing a strictly parallel geometric formulation for both manifolds. Within this framework, we systematically analyze diffeomorphisms and frame changes on both spaces. While spacetime diffeomorphisms have been extensively studied in the literature, transformations on the SPS have been largely overlooked; we rigorously define and investigate these as changes of slicing on SPS. We demonstrate that the standard Wald-Zoupas criterion for the integrability of surface charge variations is inherently slicing-dependent. To resolve this issue, we develop the Frobenius theorem on the SPS and use it to extends the Wald-Zoupas condition into an inherently slicing-independent criterion for integrability. The Frobenius theorem on the SPS also yields a rigorous and natural definition of fundamental geometric quantities on the solution space, specifically the SPS connection, torsion, and curvature. Furthermore, this geometric machinery naturally distinguishes between fundamentally different surface fluxes: "fake" fluxes are identified mathematically as pure gauge artifacts of the SPS connection, while "genuine" fluxes manifest as non-vanishing SPS torsion, which directly relates to the physical gravitational News tensor. Finally, we present a geometric formulation of the Liouville theorem on the SPS, offering a unified classification scheme for theories with and without propagating bulk degrees of freedom.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 7,703 input tokens.

What the abstract itself states, as probabilities: claims first 0.10 · states limitation 0.12 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.69 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; show every role.

The Covariant Phase Space Formalism (CPSF) provides a robust framework for deriving symplectic structures and surface charges in diffeomorphism-invariant theories. By construction, the CPSF operates on two distinct manifolds: the spacetime and the Solution Phase Space (SPS). In this paper, we advance the formalism by establishing a strictly parallel geometric formulation for both manifolds. Within this framework, we systematically analyze diffeomorphisms and frame changes on both spaces. While spacetime diffeomorphisms have been extensively studied in the literature, transformations on the SPS have been largely overlooked; we rigorously define and investigate these as changes of slicing on SPS. We demonstrate that the standard Wald-Zoupas criterion for the integrability of surface charge variations is inherently slicing-dependent. To resolve this issue, we develop the Frobenius theorem on the SPS and use it to extends the Wald-Zoupas condition into an inherently slicing-independent criterion for integrability. The Frobenius theorem on the SPS also yields a rigorous and natural definition of fundamental geometric quantities on the solution space, specifically the SPS connection, torsion, and curvature. Furthermore, this geometric machinery naturally distinguishes between fundamentally different surface fluxes: "fake" fluxes are identified mathematically as pure gauge artifacts of the SPS connection, while "genuine" fluxes manifest as non-vanishing SPS torsion, which directly relates to the physical gravitational News tensor. Finally, we present a geometric formulation of the Liouville theorem on the SPS, offering a unified classification scheme for theories with and without propagating bulk degrees of freedom.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	The Covariant Phase Space Formalism (CPSF) provides a robust framework for deriving symplectic structures and surface charges in diffeomorphism-invariant theories.	background 1.00	0.06	0.03	asserted 1.00
s1	By construction, the CPSF operates on two distinct manifolds: the spacetime and the Solution Phase Space (SPS).	background 1.00	0.09	0.02	asserted 1.00
s2	In this paper, we advance the formalism by establishing a strictly parallel geometric formulation for both manifolds.	contribution 0.99	0.89	0.08	asserted 1.00
s3	Within this framework, we systematically analyze diffeomorphisms and frame changes on both spaces.	contribution 0.54	0.88	0.03	asserted 0.99
s4	While spacetime diffeomorphisms have been extensively studied in the literature, transformations on the SPS have been largely overlooked; we rigorously define and investigate these as changes of slicing on SPS.	gap 0.62	0.78	0.08	asserted 1.00
s5	We demonstrate that the standard Wald-Zoupas criterion for the integrability of surface charge variations is inherently slicing-dependent.	result 0.93	0.70	0.17	asserted 1.00
s6	To resolve this issue, we develop the Frobenius theorem on the SPS and use it to extends the Wald-Zoupas condition into an inherently slicing-independent criterion for integrability.	contribution 0.82	0.95	0.42	asserted 1.00
s7	The Frobenius theorem on the SPS also yields a rigorous and natural definition of fundamental geometric quantities on the solution space, specifically the SPS connection, torsion, and curvature.	result 0.60	0.93	0.14	asserted 1.00
s8	Furthermore, this geometric machinery naturally distinguishes between fundamentally different surface fluxes: "fake" fluxes are identified mathematically as pure gauge artifacts of the SPS connection, while "genuine" fluxes manifest as non-vanishing SPS torsion, which directly relates to the physical gravitational News tensor.	result 0.77	0.90	0.19	asserted 1.00
s9	Finally, we present a geometric formulation of the Liouville theorem on the SPS, offering a unified classification scheme for theories with and without propagating bulk degrees of freedom.	contribution 0.91	0.94	0.16	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.95 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v2

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

On the geometric origin of central charges in gravity
hep-th 2026-10 accept novelty 6.0 of 10

Central charges in gravity are derived from the Noetherian split of the covariant phase space, with explicit formulas for vanishing and integrable flux, and applied to AdS3.
On the quantum statistical relation and the covariant phase space Hamiltonian
hep-th 2026-10 accept novelty 6.0 of 10

A closed expression for the covariant phase space Hamiltonian in gauge theories is derived and used to express the Euclidean action as a boundary integral, yielding the quantum statistical relation for black holes.

How the literature uses it

What this paper does with the arXiv papers it cites

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

What it cites · 114 sentences without a confident label

Compares with 2 papers

Combining [ref] and [ref] we obtain [equation] The central extension is therefore [equation] A similar result has been also obtained in [ref] .

Extended corner symmetry, charge bracket and Einstein's equations · Surface charge algebra · 0.82
Combining [ref] and [ref] we obtain [equation] The central extension is therefore [equation] A similar result has been also obtained in [ref] .

A canonical bracket for open gravitational system · Surface charge algebra · 0.82

Cites as support 11 papers

Nevertheless, in certain two- and three-dimensional gravitational theories that do not have propagating bulk modes (gravitational waves), the surface charges are not integrable by the WZ criterion [ref] .

Field-dependent diffeomorphisms and the transformation of surface charges between gauges · Criteria for Charge Integrability · 0.96
Nevertheless, in certain two- and three-dimensional gravitational theories that do not have propagating bulk modes (gravitational waves), the surface charges are not integrable by the WZ criterion [ref] .

The partial Bondi gauge: Gauge fixings and asymptotic charges · Criteria for Charge Integrability · 0.96
Nevertheless, in certain two- and three-dimensional gravitational theories that do not have propagating bulk modes (gravitational waves), the surface charges are not integrable by the WZ criterion [ref] .

Darboux Soft Hair in 3D Asymptotically Flat Spacetimes · Criteria for Charge Integrability · 0.96

Cites as background 24 papers

This question has a classic answer within the covariant phase space formalism [ref] .

A General Definition of "Conserved Quantities" in General Relativity and Other Theories of Gravity · Criteria for Charge Integrability · 0.92
These systems have been extensively studied in the literature, in particular see [ref] .

Symmetries at Causal Boundaries in 2D and 3D Gravity · Examples · 0.97
These systems have been extensively studied in the literature, in particular see [ref] .

Null boundary phase space: slicings, news and memory · Examples · 0.97

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.