{"id":"6fc4513e-a2c8-4aa7-b479-d1a3cf44ad5d","arxiv_id":"2412.14992","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":3,"one_line_summary":"The Weyl charge in (A)dS3 gravity is kinematical: it can be toggled on or off by a field-dependent diffeomorphism between Bondi-Sachs and Fefferman-Graham gauges.","lead":"In three-dimensional gravity, the Weyl charge, a surface charge associated with boundary conformal rescalings, vanishes in one coordinate gauge and does not vanish in another. The authors propose that such 'kinematical' charges be distinguished from 'dynamical' charges like mass and angular momentum, clarifying when extra boundary charges are physically meaningful.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central toggle claim relies on the asserted all-orders validity of (4.31); only the O(1) cancellation is displayed, so the exact phase-space mapping is not yet demonstrated.","rationale":"I agree with the reader's weakest assumption. The direct charge evaluations in §§2–3 are explicit and internally consistent, so the kinematical/dynamical classification does not stand or fall on the diffeomorphism section alone. However, the paper's distinctive contribution is the field-dependent toggle mechanism, and that mechanism is only as strong as the exactness of (4.31) and (4.18). The displayed O(1) check is not sufficient, because the correction A is nonlinear in the field-dependent Jacobian and the evaluation of Θ_BS in FG coordinates involves nontrivial δx̃ terms. A symbolic computation to higher order is feasible and would either remove the concern or locate a concrete error. I do not see a reason to change the conditional verdict: if the higher-order check passes, the central claim is well supported; if it fails, the toggle interpretation needs revision. The corner-term ambiguity is real but the paper explicitly acknowledges it and uses it as supporting evidence for kinematical charges, so it is not the most load-bearing issue here.","tokens_in":31866,"tokens_out":8208,"duration_ms":80359,"concrete_test":"Implement the coordinate expansion (4.15) together with the definitions (4.6)–(4.7) in a computer algebra system, for example Mathematica with xAct or a custom symbolic code. Compute the EH pre-symplectic potential Θ_BS and the correction term A of (4.30) through order ρ^4, then evaluate the right-hand side of (4.31) componentwise in FG coordinates and require exact agreement with Θ_FG from (3.11) through O(ρ^3). If a mismatch appears, identify the first failing order and check whether the charge aspect built from Θ changes; if equality holds, repeat the same test for the vector-field transformation (4.18) through O(ρ^3). This directly settles whether the asserted all-orders mapping is correct.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's novel mechanism—that a field-dependent diffeomorphism between BS and FG gauges is large and toggles the Weyl charge on or off—requires that the non-tensorial transformation law (4.31) for the EH pre-symplectic potential hold to all orders in the radial coordinate ρ. Section 4.2.3 verifies only the O(1) pieces (4.32)–(4.33), then states without displaying the calculation that 'this yields the correct result to all orders in ρ and for all components of the potential.' The correction term A in (4.30) is intricate, and evaluating Θ_BS in FG coordinates requires keeping δx̃ ≠ 0 and [∂̃, δ] ≠ 0, so an error at subleading orders is a real possibility. If (4.31) fails at higher order, the field-dependent diffeomorphism does not exactly map the phase spaces, and the interpretation of the Weyl-charge toggle as a consequence of field-dependence would be unsupported, even though the direct charge computations in §§2–3 would remain valid. The same all-orders gap affects the vector-field identity (4.18), where only the O(ρ) check is shown. The corner-term convention dependence is real but is explicitly acknowledged and used as supporting evidence for kinematical charges, so the missing all-orders check is the more concrete, checkable soft spot.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes a refinement of the usual classification of asymptotic charges as physical or pure gauge, distinguishing \"dynamical\" charges (those tied to flux-balance laws) from \"kinematical\" charges (those that can be turned off by a change of gauge and that arise from corner terms). The concrete test case is (A)dS3 gravity with boundary Weyl rescalings. In Bondi-Sachs gauge the authors compute the Iyer-Wald charges for the Einstein-Hilbert and metric Chern-Simons Lagrangians, finding respectively Q_xi = fM + gN and Q~_xi = (1/ell^2)fN + gM + w phi'; in Fefferman-Graham gauge the Weyl term moves from the Chern-Simons charge to the Einstein-Hilbert charge. They show that the Weyl field has no flux-balance law and that its charge contribution is a corner term, and they construct a field-dependent diffeomorphism between the two gauges. They derive non-tensorial transformation laws for asymptotic Killing vectors and for the pre-symplectic potential, and argue that this diffeomorphism is large and toggles the Weyl charge on or off.","tokens_in":32133,"tokens_out":10259,"duration_ms":82918,"significance":"If the all-orders statements in Section 4 are substantiated, this is a solid and interesting contribution to the asymptotic-charge literature. The direct computations in Sections 2 and 3 are the main strength: the charge formulas (2.15) and (3.19), the symplectic currents (2.8) and (3.12), and the flux laws (2.18) and (3.22) are explicit, and the paper is careful about integrability and about the relation between Iyer-Wald and Barnich-Brandt charges. The proposed dynamical/kinematical distinction, supported by the absence of a flux-balance law and the corner-term origin of the Weyl charge, is a plausible and useful organizing principle even if it is not yet a theorem. The technical observation that field-dependent diffeomorphisms make field-space forms transform as connections rather than tensors, with the explicit correction term (4.30), is a valuable point for future work.","major_comments":[{"comment":"The statement that (4.31) \"yields the correct result to all orders in rho and for all the components of the potential\" is not supported by the displayed calculation. The verification shown in (4.32)-(4.33) cancels only the O(rho^{-1}) pieces and does not display the O(1), O(rho), or higher coefficients, nor the angular components. Because the exactness of the phase-space mapping and the interpretation of the diffeomorphism as toggling the Weyl charge depend on this formula rather than only on the direct charge computations of Sections 2 and 3, this is a load-bearing omission. Please provide the all-orders verification, or an induction argument, or explicitly reduce the claim to the order needed for the boundary charges.","section":"4.2.3, Eqs. (4.31)-(4.33)"},{"comment":"The recursive construction of the perturbative diffeomorphism is asserted rather than demonstrated. After imposing g(3)_ab = 0 at (4.13), the text states that the subleading terms in rho can be made to vanish by tuning (R_n, T_n, F_n) for n >= 6, but no recursive algorithm or general argument is given. This matters because the later transformations of the vector field and of the symplectic potential use the full expansion (4.15). Please provide at least a schematic induction step, or state explicitly that the construction is a formal asymptotic expansion and specify which orders are needed for the charges.","section":"4.2.1, Eqs. (4.12)-(4.14)"},{"comment":"The vector-field transformation is checked only through O(rho). The conclusion that neglecting the field-dependent term in (4.18) would wrongly remove the Weyl symmetry is established at leading order, and that order is sufficient for the charge argument, but the sentence claiming that one can \"explicitly verify\" the expected result (3.13) is again an omitted check. Please display the higher-order terms or state clearly at which order the verification stops and why that order is sufficient.","section":"4.2.2, Eqs. (4.18)-(4.22)"},{"comment":"The abstract says that the charge results \"can also be derived\" using the field-dependent diffeomorphism, but Section 4 transforms the metric, the asymptotic Killing vector, and the pre-symplectic potential only; the Iyer-Wald charge aspect (A.7) is not transported. The transformation of the charge aspect is mentioned in the conclusions as being \"very intricate and lengthy,\" but it is not given. The toggle statement is therefore an inference from the direct computations of Sections 2 and 3 together with partial transformation data, not a complete derivation. Please either include the transformed charge aspect at the relevant order or reformulate the claim so that it matches what is actually shown.","section":"Section 4 and abstract"}],"minor_comments":[{"comment":"The author affiliation contains a typo: \"Fran ce\" should read \"France.\"","section":"Title page"},{"comment":"The notation e^{phi_0 - phi} is written with unusual spacing as \"e^{phi 0-phi}\"; please clarify by proper superscript formatting.","section":"Eq. (4.3b)"},{"comment":"The summary table is useful, but the symbols f, g, w, M, N, and phi are not defined there; a cross-reference to Eqs. (2.9), (2.11), (3.13), and (3.15) would help the reader.","section":"Introduction, table"},{"comment":"In (4.19)-(4.22), the sign and ordering of the correction terms is clear in the final result, but the intermediate expressions would benefit from an explicit statement that h is always the original BS parameter before the redefinition (2.11), since the same letter is reused in (3.13) with a different meaning.","section":"Section 4.2.2"}],"recommendation":"major_revision","confidential_remarks":"This is a competent and potentially publishable paper. The direct charge computations are the strongest part, and the proposed terminology is likely to be influential. The main risk is the unverified all-orders statement in Section 4.2.3, which is load-bearing for the exact phase-space mapping claim. If the authors can supply the missing verification, or carefully restrict the claim to the order needed for the charges, I would support publication after revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper has a genuinely new observation and a solid core computation. The claim that the Weyl charge in (A)dS3 vanishes in Bondi–Sachs gauge but not in Fefferman–Graham gauge for Einstein–Hilbert gravity—and the opposite for metric Chern–Simons—is worked out explicitly and consistently in Sections 2 and 3. The kinematical/dynamical distinction is a reasonable conceptual move, and the paper is honest about its limitations, including the corner-term ambiguity.\n\nWhat is actually new: the explicit gauge comparison showing the toggle, the non-tensorial transformation law (4.31) for the pre-symplectic potential under field-dependent diffeomorphisms, and the interpretation of the BS-to-FG map as a large diffeomorphism between gauges. The computations are transparent, and the paper engages seriously with prior literature. The Weyl charges were known separately in both gauges, but the charge-toggle observation and the kinematical classification are new.\n\nThe soft spots: the all-orders verification of (4.31) is asserted but not shown. Section 4.2.3 displays only the O(1) cancellation and then says one can check the rest. That is the one concrete gap I would want closed or clarified in a revision. It is not obviously wrong—the direct charge computations are independent of that check—but the strong reading of the toggle mechanism as a consequence of field-dependence does lean on it. The corner-term dependence of whether the Weyl charge vanishes is real, and the paper acknowledges it; I do not count that as a flaw because they use it as evidence for the kinematical label. The kinematical/dynamical criteria are proposals, not theorems; that is fine for a paper like this.\n\nWho is this for? People working on asymptotic charges in 3D gravity, Weyl–BMS and partial Bondi gauge extensions, and covariant phase space methods. It will be cited and discussed. I would bring it to a reading group and send it to a serious referee, with a request that the authors either provide the all-orders calculation or state clearly that it is a check to be completed.","headline":"A solid, worth-reading paper that identifies Weyl charges as 'kinematical' via an explicit BS/FG gauge comparison; the one real gap is an asserted all-orders check for the symplectic potential transformation.","tokens_in":32724,"tokens_out":2014,"would_cite":true,"duration_ms":15830,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"In (A)dS3 gravity, a boundary charge can be switched on or off by changing gauge.","keywords":["kinematical charges","dynamical charges","Weyl charge","Bondi-Sachs gauge","Fefferman-Graham gauge","field-dependent diffeomorphisms","surface charges","AdS3 gravity"],"falsifier":"Compute the order-$\\rho^2$ contributions to both $|\\tilde J|\\tilde J^\\rho_\\alpha \\tilde\\Theta^\\alpha_\\mathrm{BS}$ and the correction $\\tilde J^\\rho_\\alpha A^\\alpha$ in the transformation formula (4.31) for the explicit diffeomorphism (4.15); if these terms do not cancel at that order and all higher orders, the claimed exact mapping between the two phase spaces, and hence the claim that the diffeomorphism toggles the Weyl charge, would fail.","tokens_in":31600,"feed_emoji":"🔄","tokens_out":8740,"duration_ms":73196,"temperature":0.7,"pith_summary":"Surface charges attached to asymptotic symmetries are usually classified as physical or pure gauge depending on whether they vanish. This paper argues that the physical class should be refined into dynamical and kinematical charges. The test case is (A)dS3 gravity with boundary Weyl rescalings: the Weyl charge vanishes in Bondi–Sachs gauge but not in Fefferman–Graham gauge for the Einstein–Hilbert Lagrangian, while for the metric Chern–Simons Lagrangian the pattern is reversed. The paper concludes that the Weyl charge is kinematical because it obeys no flux-balance law, arises from a corner term in the symplectic structure, and can be toggled on or off by a field-dependent diffeomorphism between gauges, unlike mass and angular momentum.","feed_headline":"Weyl charge disappears when 3D gravity changes gauge","feed_subtitle":"The Weyl boundary charge is kinematical, not dynamical, so a coordinate change can toggle it on or off.","key_machinery":"The central object is the field-dependent diffeomorphism from Bondi–Sachs to Fefferman–Graham coordinates, constructed perturbatively in the radial coordinate $\\rho$ through $u = t - \\ell^2 e^{-\\phi}\\rho + O(\\rho^2)$, $r = -\\rho^{-1} + O(1)$, and $\\theta = \\varphi + O(\\rho^2)$. Because the change of coordinates depends on the Weyl factor $\\phi$, field-space variations of the old coordinates do not vanish and commutators such as $[\\tilde\\partial_\\mu,\\delta]$ fail to vanish. This forces corrected transformation laws: asymptotic Killing vectors transform as $\\xi^\\mu = \\tilde J^\\mu_\\alpha \\tilde\\xi^\\alpha + \\tilde J^\\mu_\\alpha \\mathcal L_\\xi \\tilde x^\\alpha$, and the pre-symplectic potential transforms as $\\Theta^\\mu = |\\tilde J|\\tilde J^\\mu_\\alpha \\tilde\\Theta^\\alpha - \\tilde J^\\mu_\\alpha A^\\alpha$, with the correction $A$ coming entirely from variations of the field-dependent coordinates. This non-tensorial mechanism is what carries the Weyl symmetry from one gauge to the other and turns the Weyl charge on or off.","core_discovery":"The central claim is that a surface charge can be genuinely nonzero in one coordinate gauge and zero in another, and that this is a signal of a distinct kind of physical charge, called kinematical. Concretely, in Bondi–Sachs gauge the Einstein–Hilbert charge is $Q_\\xi = fM + gN$, while in Fefferman–Graham gauge it is $Q_\\xi = fM + gN + \\ell^2(\\dot{w}\\phi - w\\dot{\\phi})$; for the metric Chern–Simons Lagrangian the Weyl contribution appears in Bondi–Sachs as $\\frac{1}{\\ell^2}fN + gM + w\\phi'$ and disappears in Fefferman–Graham. The field-dependent diffeomorphism that maps between the two gauges is large in the sense that it activates or deactivates the Weyl charge, and it acts non-tensorially on variational forms because the coordinate change depends on the fields themselves.","pith_inferences":["Beyond the paper, the three proposed markers of a kinematical charge—gauge-dependence, absence of a flux-balance law, and origin as a corner term—may be facets of one property: any charge removable by a corner ambiguity should be expected to toggle under a field-dependent gauge change.","Beyond the paper, one can test this criterion in four-dimensional partial Bondi gauge by computing the $\\sqrt{q}$, $C$, and $D$ charges in two different boundary gauges; the paper names these as candidate kinematical charges, but the explicit two-gauge comparison is not performed there.","Beyond the paper, if field-space forms transform as connections, the Iyer–Wald charge aspect itself must obey a non-tensorial transformation law under the Bondi–Sachs to Fefferman–Graham diffeomorphism; extracting that law explicitly would give a sharper diagnostic of when a charge is kinematical."],"forward_implications":["Mass and angular momentum are gauge-stable charges: the terms $fM + gN$ survive in both gauges and both Lagrangians, while the Weyl charge can be removed or restored by changing gauge.","The Weyl charge in Einstein–Hilbert gravity vanishes in Bondi–Sachs gauge and equals $\\ell^2(\\dot{w}\\phi - w\\dot{\\phi})$ in Fefferman–Graham gauge, so a charge that is physical by the usual zero-vs-nonzero test can fail that test simply by choosing coordinates.","For the metric Chern–Simons Lagrangian the same toggle goes the other way, showing that two bulk formulations of the same on-shell metric can assign different kinematical charges to the same gauge.","The Bondi–Sachs to Fefferman–Graham map is a large diffeomorphism between gauges, not a residual symmetry within a gauge, because it changes the charge content of the solution space.","Field-dependent diffeomorphisms are not automorphisms of the variational bicomplex, so symplectic potentials and charge aspects transform with correction terms and behave like connections rather than tensors."],"supporting_citations":[{"why":"Provides the Iyer–Wald Noether charge expressions used to compute charges in both gauges.","marker":"[3]"},{"why":"Provides the Barnich–Brandt cohomological charge method, which the paper checks agrees with its charge results.","marker":"[6]"},{"why":"Supplies the modified field-dependent bracket and the differential determinant gauge condition used for the Bondi–Sachs solution space.","marker":"[13]"},{"why":"Supplies the tortoise-coordinate route from Bondi to Fefferman–Graham gauge used in the perturbative diffeomorphism construction.","marker":"[23]"},{"why":"Earlier comparison of Bondi–Sachs and Fefferman–Graham gauges in three-dimensional gravity that the perturbative construction extends.","marker":"[42]"},{"why":"Earlier Fefferman–Graham computation of Weyl charges, recovered and contrasted with the Bondi–Sachs result.","marker":"[44]"},{"why":"Supplies the Bondi–Sachs Weyl solution space, corner terms, and integrability analysis on which the Bondi–Sachs charge calculation builds.","marker":"[47]"},{"why":"Supplies the adjusted transformation law for vector fields under field-dependent diffeomorphisms used in equation (4.16).","marker":"[99]"}],"fun_headline_variants":["Gauge change toggles Weyl charge in 3D gravity","Weyl charge is kinematical: vanishes in another gauge","Coordinate map flips boundary charge on and off","Kinematical charge appears and disappears with gauge","Field-dependent diffeo toggles surface charge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central claim rests on the assertion, made without displaying the full calculation, that the perturbative Bondi–Sachs to Fefferman–Graham diffeomorphism maps the metric, residual Killing vectors, and pre-symplectic potential to all orders in $\\rho$; the explicit check shown stops at order $\\rho^0$, so the exactness of the charge toggle depends on an unshown all-orders cancellation.","fun_headline_variants_meta":{"raw":{"variants":["Gauge change toggles Weyl charge in 3D gravity","Weyl charge is kinematical: vanishes in another gauge","Coordinate map flips boundary charge on and off","Kinematical charge appears and disappears with gauge","Field-dependent diffeo toggles surface charge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00019,"raw_usage":{"total_tokens":1386,"prompt_tokens":1038,"completion_tokens":348,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":654,"completion_tokens_details":{"reasoning_tokens":267}},"tokens_in":654,"tokens_out":348,"duration_ms":3345,"temperature":1.0,"reasoning_tokens":267,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:44:05.420761+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the order-$\\rho^2$ contributions to both $|\\tilde J|\\tilde J^\\rho_\\alpha \\tilde\\Theta^\\alpha_\\mathrm{BS}$ and the correction $\\tilde J^\\rho_\\alpha A^\\alpha$ in the transformation formula (4.31) for the explicit diffeomorphism (4.15); if these terms do not cancel at that order and all higher orders, the claimed exact mapping between the two phase spaces, and hence the claim that the diffeomorphism toggles the Weyl charge, would fail.","supporting_citations":[],"review_version":1}