{"id":"0d8a1b75-7227-4d72-bb60-65419ee921df","arxiv_id":"2512.16810","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"A lecture-note review of boundary and asymptotic symmetries that re-derives the BMS group as the asymptotic symmetry group of Minkowski spacetime alone and constructs an integral Hamiltonian generator for scalar-field diffeomorphisms on a null surface.","lead":"These lecture notes teach the covariant phase space machinery behind boundary and asymptotic symmetries — Noether charges, null-boundary fluxes, and the BMS group at null infinity — and add two original derivations: BMS from Minkowski alone, and a Hamiltonian generator for a scalar field on a null surface. A smart generalist might read it as a single, pedagogically careful route into the formalism behind BMS charges, soft theorems, and flat holography.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 'BMS from Minkowski alone' derivation in §5.2 is load-bearing for the novelty claim, but it inherits its group from the fall-off assumption (5.15); the paper's own §5.3 caveat shows the derived group is not fixed by flatness alone.","rationale":"The reader's weakest assumption correctly identifies Eq. (5.15) as the gatekeeper of the BMS derivation. My stress-test confirms this is the most load-bearing point for the paper's novelty: the derivation is not wrong, but it is conditional on a fall-off choice that the paper itself concedes can be relaxed to larger symmetry groups. The pedagogical and review content is otherwise consistent with the known literature, and I found no sign of an internal inconsistency in the CPS/Noether sections. Because the reader already rendered a CONDITIONAL verdict that accounts for this fall-off dependence, my analysis does not move the verdict. No REJECT is warranted: the conditional nature of the derivation is explicitly disclosed in §5.3, and the paper's remaining value as a review is intact. I note also that the genuinely new Appendix B is absent from the reviewed text, which reinforces the conditional assessment but does not by itself change the verdict.","tokens_in":75065,"tokens_out":18844,"duration_ms":176282,"concrete_test":"Solve Eq. (5.15) for the conformal boundary of Minkowski, but with the right-hand side weakened to £_ξ ĝ|_I = O(Ω) (or by relaxing the Bondi-Sachs fall-offs (5.40a) by one power in each g_{uμ} component). If the resulting vector-field algebra is strictly larger than (5.22)–(5.23), then the BMS group is not fixed by flat-space asymptotics alone, and the §5.2/Appendix A claim is conditional on the fall-off strength. As a subsidiary check, recompute the commutator (5.22) including the O(Ω) terms of (5.16); if closure fails or requires an additional gauge choice, the exponentiation claim in (5.23) is not established by the text.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central novelty claim — that BMS is derived using only Minkowski — rests on Eq. (5.15), which imposes that asymptotic symmetries preserve only the leading piece of the unphysical metric at I. This is a fall-off prescription, not a consequence of flatness. The same flat background with the exact Killing condition (5.14) yields Poincaré, while weaker fall-offs (which the paper acknowledges in §5.3: 'the analysis can be extended to weaker fall-off conditions and larger symmetries than BMS') yield larger groups such as gBMS/extended BMS. Consequently, the derivation in §5.2/Appendix A does not uniquely fix BMS by 'only Minkowski'; it fixes BMS within the class of vector fields satisfying (5.15). The claimed identification of G_BMS as the asymptotic symmetry group of Minkowski is therefore an overstatement: the argument is conditional on a modeling choice, and the abstract's 'using only Minkowski' understates the input. This is not an internal inconsistency, but it is the load-bearing point for the paper's headline novelty.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript is an expanded set of lecture notes for a GGI school on asymptotic symmetries and flat holography. It reviews the covariant phase space, Noether's theorem for gauge theories and gravity, boundary and asymptotic symmetries, flux-balance laws on null boundaries, and BMS charges and fluxes at null infinity. The two claimed original contributions are: (i) a derivation of the BMS group from Minkowski spacetime in Penrose conformal compactification, presented in §5.2 and Appendix A; and (ii) a derivation of an integral Hamiltonian generator for a scalar field on a null hypersurface, in Appendix B. The BMS derivation is summarized by Eq. (5.15)–(5.23), where the condition that the unphysical metric be preserved to leading order at I leads to the algebra (5.22) and the group G_BMS = SL(2,C) ⋉ R^S.","tokens_in":75281,"tokens_out":8499,"duration_ms":94571,"significance":"As a set of lecture notes, the paper is useful and mostly reliable: the covariant-phase-space review is systematic, the formulas agree at cross-checkable points with the established literature (Komar charge (3.54), Iyer–Wald relation (3.58), Bondi flux-balance laws (5.35)–(5.36), BMS algebra (5.22) and vector fields (5.41)), and the discussion of polarizations and Wald–Zoupas covariance is pedagogically valuable. The BMS derivation, if properly qualified, is a nice self-contained route from (5.15) to (5.23). However, the headline novelty is not assumption-free: the group follows from the fall-off prescription (5.15), and the abstract's claim that BMS is derived 'using only Minkowski' overstates the input. The scalar null-boundary toy model in Appendix B is potentially interesting but is not developed in the main text.","major_comments":[{"comment":"The abstract's claim of an 'original derivation of the BMS group using only Minkowski' is not accurate as stated. The derivation rests on Eq. (5.15), £_ξ η̂_μν |_I = 2α_ξ η̂_μν, which is a fall-off / boundary condition on asymptotic vector fields, not a consequence of flatness alone. The exact Killing condition (5.14) gives Poincaré, while weaker fall-offs—explicitly acknowledged in §5.3 ('the analysis can be extended to weaker fall-off conditions and larger symmetries than BMS')—give larger groups such as gBMS/extended BMS. Thus the derived group is conditional on the fall-off class (5.15) (equivalently the Bondi-type conditions (5.40)). The abstract and §5.2 should be reworded to state clearly 'under the standard leading-order conformal-preservation fall-offs (5.15)', and the dependence of the group on this modeling choice should be emphasized. This is load-bearing because it is the pa","section":"§5.2 / Abstract / §5.3"},{"comment":"The statement that the vector fields (5.16) 'form a closed sub-algebra' needs an explicit equivalence-relation or quotient. Equation (5.16) leaves all O(Ω^2) terms undetermined, so the algebra statement is only true up to vector fields that vanish at I (or some analogous trivial-diffeomorphism quotient). Without specifying this quotient, the set of vector fields (5.16) is not a well-defined group of equivalence classes. The Bondi-Sachs extension (5.41) in §5.3 fixes the higher-order terms, but §5.2 presents the Minkowski derivation as self-contained. Please state the quotient explicitly or refer more precisely to the treatment in Appendix A.","section":"§5.2, Eq. (5.16)"}],"minor_comments":[{"comment":"There is an apparent typesetting/insertion error: after Eq. (5.16) the text breaks into an unnumbered list ('1. in the early stationary epoch...') followed by duplicated Bondi-Sachs paragraphs and equations labelled (2.38)–(2.48) that do not belong in this section. These should be removed.","section":"§5.2, around Eq. (5.16)"},{"comment":"The phrase 'this algebra exponentiates to a finite group action' is misleading: the group G_BMS = SL(2,C) ⋉ R^S is not finite. This should read 'finite-dimensional group action' or 'action of a finite-dimensional group'.","section":"§5.2, before Eq. (5.23)"},{"comment":"The notation R^S is used without definition; while the text later explains that T(x^A) is an arbitrary function on the sphere, the definition should be given at first use.","section":"§5.2, Eq. (5.23)"},{"comment":"The paper repeatedly identifies closed forms with exact forms by assuming trivial cohomology. In §2.2 this is justified by a theorem for local forms in the variational bicomplex, but in §2.3 the wording 'assuming that the field space has trivial topology' is used. Please clarify the distinction between spacetime and field-space cohomology, since this assumption underlies the charge-aspect uniqueness claims.","section":"§2.2–§2.3"},{"comment":"The second claimed original contribution, the Hamiltonian generator for a scalar field on a null hypersurface, is announced in the abstract but not summarized or connected to the main text (e.g., Section 4.2). If it is a novel contribution, a short outline or cross-reference should be added in the introduction or conclusions.","section":"Abstract / Appendix B"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a competent and useful set of lecture notes. The main issue is the overstatement of the BMS derivation as 'using only Minkowski'; this is easily fixable by rewording the abstract and §5.2 and by explicitly acknowledging the fall-off dependence. The typesetting/insertion errors should also be cleaned before publication. If the authors make these changes, the paper would be acceptable as lecture support material for a school."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the GGI notes by Speziale. Punchline: this is a useful, mostly reliable pedagogical review of boundary and asymptotic symmetries, with two appendices that advertise original results. The visible math checks out — the Komar charge, Iyer–Wald relation, BMS vector fields and algebra, and the flux-balance laws all match the standard literature at each point I could cross-check. The writing is clear, and the paper is openly self-limiting: it declares the personal viewpoint and concedes the symplectic potential is not unique. That is real credit.\n\nThe advertised novelty is smaller than the abstract suggests. The BMS derivation in §5.2 is conditional on eq. (5.15), which imposes a particular fall-off on the unphysical metric. The paper itself notes that weaker fall-offs give larger symmetry groups. So 'using only Minkowski' overstates the input; the derivation fixes BMS within a chosen class, not from flatness alone. That does not make the derivation wrong, but it puts the novelty claim in proportion. The genuinely new item, Appendix B, I could not verify from the text available to me; it would need a careful check before anyone leans on it.\n\nThe v2 draft is not yet stable school material: §5.2–5.3 contain duplicated passages and unresolved [?] citations that should have been cleaned before posting. That is minor in scope but real.\n\nNet: this is a honest consolidation of known results and a reasonable entry point for newcomers. It is not a breakthrough. I would send it to peer review — the pedagogical value and the unverified appendix justify referee time — but I would expect the referee to ask for cleanup and to soften the 'using only Minkowski' phrasing. I would not cite it in my own work in the next year; it is support material rather than a research result I need.","headline":"Honest, accurate lecture notes; the BMS 'derivation' is conditional on a fall-off assumption and the v2 text needs cleanup, but the pedagogical content is solid and worth referee time.","tokens_in":75892,"tokens_out":2459,"would_cite":false,"duration_ms":28571,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C30","83C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"These lecture notes derive the BMS group—supertranslations together with Lorentz transformations—as the asymptotic symmetry group of Minkowski spacetime, using only the requirement that the leading conformally compactified metric be preserv","keywords":["BMS group","asymptotic symmetries","null infinity","conformal compactification","supertranslations","covariant phase space","Noether charges","null hypersurfaces"],"falsifier":"Compute the full solution space of £_ξ η̂_μν|_{I} = 2α_ξ η̂_μν for the conformally compactified Minkowski metric under the paper's regularity assumptions; if any solution exists that is not of the form in Eq. (5.16), or if the Lie bracket of two solutions fails to close into the stated algebra, the central claim is false.","tokens_in":74817,"feed_emoji":"🌌","tokens_out":8035,"duration_ms":74598,"temperature":0.7,"pith_summary":"The paper tries to establish that the BMS asymptotic symmetry group is fixed by flat-space asymptotics alone: asking vector fields to preserve only the leading order of the conformally compactified Minkowski metric at future null infinity yields precisely the algebra of supertranslations and sphere conformal Killing vectors, exponentiating to SL(2,C) ⋉ R^S. This gives a derivation of BMS that does not require solving Einstein equations or assuming the full asymptotic expansion. The same lecture notes review how Noether charges and flux-balance laws follow from the covariant phase space, and include an original construction of an integral Hamiltonian generator for diffeomorphisms of a scalar field on a null hypersurface. If correct, this fixes BMS as the natural asymptotic symmetry group within the chosen fall-off class and supplies a minimal toy model for null-boundary charges.","feed_headline":"Minkowski alone fixes the BMS group","feed_subtitle":"Preserving only the leading metric at null infinity yields supertranslations plus Lorentz symmetries and their charges.","key_machinery":"The load-bearing tool is conformal compactification: rescaling Minkowski by Ω² = 1/r² makes future null infinity a smooth null boundary with unphysical metric η̂_μν. The key equation is the leading-order preservation condition £_ξ η̂_μν|_{I} = 2α_ξ η̂_μν, which replaces the Killing equation and fixes the asymptotic Killing vectors. The BMS group—the semi-direct product of sphere conformal Killing vectors (Lorentz transformations) with supertranslations, arbitrary angle-dependent time translations—is the object derived. For the charge sector, the covariant phase space and the covariance/stationarity prescription for resolving the ambiguities of the symplectic potential are what turn Noether c","core_discovery":"The central claim is that the BMS group is already fully determined by Minkowski spacetime. With the conformally compactified metric η̂_μν and the requirement £_ξ η̂_μν|_{I} = 2α_ξ η̂_μν, the allowed vector fields take the form ξ = f ∂_u + Y^A ∂_A + Ω(ḟ ∂_Ω − D_A f ∂^A) + O(Ω²), where f = T(x^A) + (u/2) D_A Y^A and T is an arbitrary function on the sphere. These vector fields close under the Lie bracket and exponentiate to the BMS group, G_BMS = SL(2,C) ⋉ R^S, with SL(2,C) acting as conformal Killing vectors of the sphere and R^S as supertranslations. The notes also show that the same group results from preserving standard null-infinity fall-off conditions, and that the associated charges a","pith_inferences":["Editorial inference: the derivation is sensitive to the fall-off class: if the requirement in Eq. (5.15) is weakened to allow subleading terms in the unphysical metric, larger asymptotic symmetry groups (generalized or extended BMS) arise, so the paper's Minkowski-only derivation fixes BMS within a specific fall-off class rather than ruling out larger groups.","Editorial inference: the same leading-order conformal logic could be applied to other spacetimes with conformal boundaries, such as de Sitter or anti-de Sitter, to identify their asymptotic symmetry groups without solving the full field equations.","Editorial inference: the scalar null-hypersurface Hamiltonian generator suggests a concrete check—quantize the scalar field on the null boundary and verify that the generator's bracket reproduces the diffeomorphism action; this could be a toy model for edge-mode Hilbert spaces in flat holography."],"forward_implications":["The BMS group follows from the leading-order conformal structure of Minkowski alone; the standard null-infinity fall-off analysis reproduces the same vector fields, so the two derivations agree.","Supertranslations are arbitrary functions on the sphere; only their l=0,1 modes are global translations, and there is no unique Lorentz subgroup—it depends on a choice of supertranslation frame.","BMS charges are surface integrals with flux-balance laws; fixing symplectic-potential ambiguities by covariance and stationarity makes the charges background-independent and removes field-dependent cocycles from the charge algebra.","The same covariant-phase-space methods applied to finite null boundaries yield a hierarchy of boundary symmetry groups, from all diffeomorphisms of the null hypersurface to BMS-like groups with an extra dilation.","The scalar field on a null hypersurface admits an explicit integral Hamiltonian generator, providing a tractable model for boundary charges and fluxes outside gravity."],"fun_headline_variants":["Minkowski alone pins down the BMS group","BMS symmetries emerge from flat space only","Pure Minkowski yields supertranslations and Lorentz","BMS group: derived just from Minkowski metric","Minkowski’s conformal boundary dictates BMS"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The derivation stands or falls with the modeling choice that asymptotic symmetries need preserve only the leading order of the unphysical metric at null infinity; change the fall-off condition and the resulting symmetry group changes.","fun_headline_variants_meta":{"raw":{"variants":["Minkowski alone pins down the BMS group","BMS symmetries emerge from flat space only","Pure Minkowski yields supertranslations and Lorentz","BMS group: derived just from Minkowski metric","Minkowski’s conformal boundary dictates BMS"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000137,"raw_usage":{"total_tokens":958,"prompt_tokens":688,"completion_tokens":270,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":432,"completion_tokens_details":{"reasoning_tokens":207}},"tokens_in":432,"tokens_out":270,"duration_ms":3759,"temperature":1.0,"reasoning_tokens":207,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T15:25:45.522641+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full solution space of £_ξ η̂_μν|_{I} = 2α_ξ η̂_μν for the conformally compactified Minkowski metric under the paper's regularity assumptions; if any solution exists that is not of the form in Eq. (5.16), or if the Lie bracket of two solutions fails to close into the stated algebra, the central claim is false.","supporting_citations":[],"review_version":1}