{"id":"654f5690-2de4-4ebe-b600-8e8c04a3ef44","arxiv_id":"2505.16026","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"By adding a field-dependent Lorentz transformation to the naive tetrad shifts, the author constructs integrable improved shifts whose corner charge algebra is a curvature-deformed Poincaré algebra, and argues the spin connection becomes noncommutative on corners.","lead":"What did this paper find: a new set of internal gauge transformations for 4D tetrad gravity that remain integrable even when a spatial slice has a boundary. Why read it: it offers a complete and well-defined set of edge modes for gravity, which may clarify asymptotic symmetries and quantum gravity calculations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Appendix D proves uniqueness, not existence: L[phi] exists only if p'(omega_beta phi) lies in the image of L -> L∧e, which is asserted, and the prefactors are explicitly left unchecked; if L is not globally defined, integrability of the improved shifts fails.","rationale":"Reading in good faith, the paper's central claim is that the improved shifts (6) are integrable with generator (8). The calculation in appendix E is lengthy and appears internally coherent, and the charge algebra in appendix F is derived with care. The weakest point is clearly appendix D: it establishes at most uniqueness of L[phi], and it explicitly disclaims control of numerical prefactors. Existence is made to depend on a projection p' from the Cattaneo-Schiavina reduction, but the paper does not prove that p'(omega_beta phi) lies in the image of L -> L∧e, nor does it describe p' explicitly enough to check this. Since the improved transformations, the generator, and the on-shell algebra all use L[phi] through relation (7), any gap here undermines the main claim. This is an addressable technical gap rather than a fatal flaw, which is exactly the situation captured by the reader's CONDITIONAL verdict. I therefore recommend no change to the verdict, and I agree with the reader's identification of the weakest assumption.","tokens_in":19450,"tokens_out":8773,"duration_ms":80977,"concrete_test":"Use the 3+1 decomposition of appendix B with a fixed internal normal nu. Construct the projector p' explicitly and, for a generic tetrad e and a generic connection omega satisfying the structural constraint (52), form X = p'(omega_beta phi). Solve the 12 linear equations (64) for the six components of L[phi] using a computer algebra system. Verify (i) that a solution exists with no residual cokernel component, and (ii) that the solution satisfies L[phi]_beta e = p'(omega_beta phi) with correct numerical prefactors. If the linear solve fails for a generic allowed configuration, the improved shifts are not globally defined and the central integrability claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction in Section 2 (eqs. 6-7) requires a map L[phi] satisfying L[phi]_beta e = p'(omega_beta phi) pointwise on the reduced phase space. Appendix D solves the unprojected equation by linear algebra, but the text explicitly says it 'does not pay close attention to the numerical prefactors' and that the calculation 'establishes injectivity, so that if there is a solution L[phi], then it is unique.' Existence is then delegated to a projection p' borrowed from the Cattaneo-Schiavina reduction. However, the paper never proves that p'(omega_beta phi) lies in the image of the map L -> L∧e, nor does it give the explicit projector or check that the projection removes exactly the 6-dimensional cokernel of equation (64). The relation between p' and this cokernel is asserted in words, not demonstrated. This is load-bearing because every subsequent step uses L[phi] through relation (7): the improved transformation law Y_phi[omega]∧e, the cancellation in appendix E, and the on-shell charge algebra (18) all depend on the existence and precise normalization of L. A wrong numerical prefactor or a residual cokernel component would change Y_phi[omega] and P_phi, so the claimed integrability would not follow. This is not a disagreement with the approach; it is a missing derivation at the foundation of the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to define improved internal tetrad shifts in 4D Einstein-Cartan gravity that are integrable in the presence of corners, in contrast to the non-integrable 'naive' shifts of the author's earlier work. The construction depends on a field-dependent Lorentz element L[φ] satisfying L[φ]^IJ_β e_J = p'(ω^IJ_β φ_J) (Eq. (7)); with this, the improved shifts (Eq. (6)) are claimed to be generated by the charge P_φ (Eq. (8)). The author derives an on-shell corner charge algebra (Eq. (18)) that is a deformation of ISO(1,3)^S with curvature-dependent corner terms, and argues that this implies corner noncommutativity of the spin connection. A partial embedding into an extended BF theory is presented in Section 4 and Appendix G.","tokens_in":19696,"tokens_out":5789,"duration_ms":47950,"significance":"If the existence of L[φ] is established and the integrability calculation holds, the paper would provide a complete integrable set of edge modes for 4D tetrad gravity, which is a substantial advance over the usual non-integrable diffeomorphism charges. The explicit Poisson-bracket computations in Appendices E and F, the off-shell result in Eq. (120), and the extended BF embedding are nontrivial and useful. The author is also transparent about several open points, such as the unclear geometric meaning of L[φ]. However, the advertised conclusion of corner noncommutativity of ω currently goes beyond what is rigorously derived.","major_comments":[{"comment":"The existence proof for L[φ] is incomplete. Appendix D establishes at most uniqueness: the text after Eq. (68) states that 'if there is a solution L[φ], then it is unique', and the displayed solution is written with '∝' because the calculation 'does not pay close attention to the numerical prefactors'. Existence is then delegated to the projection p' imported from Cattaneo-Schiavina, with the assertion that the 6-dimensional cokernel of Eq. (64) is removed by p'. The explicit projector is not given, and no proof is supplied that p'(ω^IJ_β φ_J) lies in the image of the map L ↦ L∧e. This is load-bearing: Eq. (7) is used throughout the integrability calculation in Appendix E (e.g., in rewriting e^I ∧ (ω_β)^J_K φ^K ∧ δω^I_J in Eqs. (70)-(72)) and in the charge algebra. A wrong numerical prefactor or a residual cokernel component would change Y_φ[ω] and P_φ, so the claimed integrability would not follow. The author should either complete the existence proof with an explicit projector and correct prefactors, or state the existence of L[φ] as an assumption.","section":"Appendix D, Eq. (64)"},{"comment":"The claimed corner noncommutativity of ω is not derived. Equation (20) is introduced with 'should satisfy' and is justified only by a qualitative matching of powers of e and ω. No derivation from the on-shell bracket (18) or (119) is given, and the Poisson structure of ω on the corner is not defined. Therefore the abstract's statement that these results 'imply corner noncommutativity of the spin connection' overstates what is established; at present this is an interpretation, not a theorem.","section":"Section 3, Eq. (20)"}],"minor_comments":[{"comment":"The phrase 'a better way understand the dynamics' is missing 'to'; it should read 'a better way to understand the dynamics'.","section":"Abstract"},{"comment":"The notation ϵ_ab and the subscripts a,b in Q^I_{φ,a} are not defined; please specify the index conventions for the spatial slice and for the smearing functions.","section":"Section 3, Eq. (20)"},{"comment":"The on-shell equivalence L_ξ ≈ Y_{φ_ξ} + X_{α_ξ} is stated without proof or reference to the explicit field-dependent parameters; a short derivation or a pointer to the relevant equations would improve readability.","section":"Section 2, Eq. (17)"},{"comment":"Since the prefactors are essential for the relation (7), the '∝' in these equations should be replaced by explicit expressions in the final version, or the existence claim should be explicitly qualified.","section":"Appendix D, Eqs. (66) and (68)"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its open points, but the central result is conditional on the existence of L[φ], and the present appendix D does not provide that existence proof. I would ask the author to either complete the proof or explicitly state the existence of L[φ] as an assumption. The noncommutativity claim in Section 3 is also more speculative than the abstract suggests; this should be reframed in a revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know this paper before you dismiss it: it finds an integrable version of internal tetrad shifts in 4D Einstein-Cartan theory by adding a field-dependent Lorentz transformation, and it gets a corner charge algebra that is a deformation of ISO(1,3)^S with curvature terms. If the main construction holds, this removes a known obstruction to defining gravitational corner charges, so it's worth a serious look. But the existence proof for the correcting Lorentz element L[phi] has a gap, and the paper's broader claims about corner noncommutativity of omega and the BF embedding are more suggestive than proven.\n\nWhat's new: the improved shifts (eq. 6) and the condition L[phi]_beta e = p'(omega_beta phi) (eq. 7) are new, as is the curvature-deformed algebra and the proposed embedding into an extended BF theory. The prequel [1] only had the naive, non-integrable shifts. The reliance on the author's own prequel is fine; the new step is the Lorentz correction, and it is derived from explicit Poisson brackets, not from [1]. The calculation in appendix E of the variation of P_phi is detailed, and appendix F works out the charge algebra carefully. The author is explicit about what is a proof and what is a hint.\n\nWhere it's soft, in proportion: Appendix D, which is supposed to establish existence of L[phi], actually proves uniqueness conditional on existence. It solves the equation by linear algebra but says the prefactors are not checked, and the projection p' is asserted to remove the 6-dimensional cokernel rather than demonstrated to do so. Since every later step uses eq. (7), this is a genuine gap in the central claim, not a cosmetic one. A referee should ask for a complete existence proof or an explicit projector computation. Second, the corner noncommutativity of omega is inferred from the shift-shift bracket and explicitly left to future work; the abstract says 'argue', so that's honest, but it shouldn't be cited as established. Third, the BF embedding is partial, as the author admits. The title's 'all shifts' is also slightly overbroad since the result is for field-independent parameters, though the body qualifies it.\n\nIs it serious? Yes. The core idea is novel, the integrability calculation is mostly there, and the honesty about limitations is a good sign. A careful referee can push on the gap in appendix D. I'd send this to peer review and ask the author to tighten the existence proof. I wouldn't cite it for the noncommutativity claim yet, but I'd cite it for the improved shifts and the algebra if the gap closes. Worth a reading group slot, but only after someone has checked appendix D.","headline":"A promising but thinly-proved result: the improved tetrad shifts are a real step for corner charges, but the existence of L[phi] is asserted, not shown, so the main theorem needs a referee to pin it down.","tokens_in":20268,"tokens_out":6404,"would_cite":false,"duration_ms":48873,"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":"Improved internal shifts make every edge mode of 4D tetrad gravity integrable, with a curvature-deformed corner charge algebra.","keywords":["tetrad gravity","edge modes","corner charges","integrable symmetries","shift symmetry","spin connection noncommutativity","extended BF theory","corner symmetry algebra"],"falsifier":"Compute the defining equation $L[\\phi]\\wedge e=p'(\\omega\\wedge\\phi)$ on an explicit slice whose connection has a non-Levi-Civita symmetric part; if no solution exists, or if the charge $P_\\phi$ fails to satisfy $\\delta P_\\phi+\\iota_{Y_\\phi}\\Omega=0$ for that configuration, the central claim fails. A more direct check is to evaluate the shift-shift Poisson bracket in a discretised version of the theory and look for the corner term $\\oint \\mathrm{Tr}[\\omega\\wedge d(\\phi\\wedge\\tilde\\phi)_\\beta-(\\phi\\wedge\\tilde\\phi)_\\beta F_\\omega]$; its absence would contradict the predicted deformation of the Poincare corner algebra.","tokens_in":19173,"feed_emoji":"🌀","tokens_out":9461,"duration_ms":73017,"temperature":0.7,"pith_summary":"This paper claims that the internal “shift” symmetries of four-dimensional tetrad gravity — symmetries that shift the tetrad by covariant derivatives and make diffeomorphisms look like internal gauge transformations — can be made fully integrable, even when the spacetime region has a corner boundary. Integrability means each transformation is generated by a well-defined charge on the phase space, so charges and their Poisson brackets are unambiguous. The key move is to add a field-dependent Lorentz transformation to the naive shifts; the corrected shifts are generated by a charge whose corner piece is the covariant Brown-York momentum. The resulting corner charge algebra is a deformation of the Poincaré-type algebra $ISO(1,3)^S$ by a curvature term, which the paper reads as evidence that the spin connection does not commute with itself on a corner. If correct, this gives a complete, integrable set of edge modes for 4D gravity and a cleaner route to asymptotic charges and quantisation.","feed_headline":"All shift symmetries of 4D gravity become integrable at corners","feed_subtitle":"Adding a field-dependent Lorentz rotation makes tetrad shifts true gauge charges with a deformed corner algebra.","key_machinery":"The central object is the improved shift vector field and its charge. The map $L[\\phi]$ sends an internal vector $\\phi$ to an $so(1,3)$-valued function of the fields, defined implicitly by $L[\\phi]_\\beta e=p'(\\omega_\\beta\\phi)$; the projection $p'$ removes the six-dimensional cokernel of $X\\mapsto X\\wedge e$, matching the degeneracy of the covariant phase space that is fixed by the structural constraint $p'(d_\\omega e)=d_\\omega e$. This map repairs the non-integrability of the naive shifts by turning an unmatched boundary variation into a Lorentz rotation. The charge $P_\\phi$ then carries the argument: its bulk piece is a combination of the Einstein and Gauss constraints, and its corner piece is the Brown-York momentum, so the transformation is a genuine gauge symmetry with well-defined corner charges.","core_discovery":"On the covariant phase space of Einstein-Cartan tetrad gravity in four dimensions, the author constructs improved internal shifts $Y_\\phi[e]=d_\\omega\\phi - L[\\phi]\\cdot e$ and $Y_\\phi[\\omega]\\wedge e = d_\\omega(L[\\phi]\\wedge e)-F_\\omega\\wedge\\phi$ for field-independent parameters $\\phi$, where $L[\\phi]$ is a field-dependent Lorentz transformation fixed by $L[\\phi]_\\beta\\, e = p'(\\omega_\\beta\\phi)$. These transformations are integrable: they are generated by the charge $P_\\phi = -\\int_\\Sigma \\mathrm{Tr}[(\\phi\\wedge e)_\\beta\\wedge F_\\omega + \\tfrac12 d_\\omega e^2_\\beta\\, L[\\phi]] - \\oint_{\\partial\\Sigma} p_I\\phi^I$, whose bulk part is a combination of the Einstein and Gauss constraints and whose corner part is the Brown-York momentum. The on-shell corner charge algebra is $\\{J_\\alpha,J_\\beta\\}=J_{-[\\alpha,\\beta]}$, $\\{J_\\alpha,P_\\phi\\}=P_{\\alpha\\cdot\\phi}+\\oint \\mathrm{Tr}[(\\phi\\wedge e)_\\beta\\wedge d\\alpha]$, and $\\{P_\\phi,P_{\\tilde\\phi}\\}\\approx J_{[L[\\phi],L[\\tilde\\phi]]}+\\oint \\mathrm{Tr}[\\omega\\wedge d(\\phi\\wedge\\tilde\\phi)_\\beta-(\\phi\\wedge\\tilde\\phi)_\\beta F_\\omega]$, a deformation of $ISO(1,3)^S$ whose new term vanishes only for reducible connections. The author argues this implies corner Poisson noncommutativity of the spin connection $\\omega$, and shows the same algebra appears more simply in an extended BF theory, where the shift generators obey the Maxwell-algebra bracket $\\{T_\\phi,T_{\\tilde\\phi}\\}=R_{(\\phi\\wedge\\tilde\\phi)_\\beta}$.","pith_inferences":["A concrete stress test would be to quantise a small region of tetrad gravity with the improved shifts and check whether the predicted corner bracket of the connection reproduces the known noncommutativity of the tetrad; a mismatch would show the improved shifts are not the right complete set.","The Maxwell-algebra form of the extended BF bracket suggests the map $\\phi\\mapsto L[\\phi]$ may carry a crossed-module or 2-group structure; verifying the relevant action identity would give the deformed corner algebra an interpretation independent of the intricate phase-space calculation.","The expected corner noncommutativity of $\\omega$ implies that lattice or spin-foam models of quantum gravity should include connection degrees of freedom on cell boundaries, not just edge vectors; this is testable by constructing the discrete analogue of $P_\\phi$ and evaluating its brackets.","The choice of internal normal in the structural constraint may drop out of all on-shell corner charges; if so, the improved shifts would be universal rather than a gauge-fixing artefact."],"forward_implications":["Regions of 4D tetrad gravity with corners now carry an integrable, complete set of internal gauge charges, unlike diffeomorphisms that move the corner.","The corner charge algebra is fully determined: Lorentz charges, mixed Lorentz-shift brackets, and shift-shift brackets with the curvature extension term $\\oint \\mathrm{Tr}[\\omega\\wedge d(\\phi\\wedge\\tilde\\phi)_\\beta-(\\phi\\wedge\\tilde\\phi)_\\beta F_\\omega]$.","The spin connection becomes a noncommuting variable on corners, with expected bracket $\\{Q^I_\\phi(x),Q^J_\\psi(y)\\}=\\tfrac12\\epsilon_{ab}\\delta(x,y)[L[\\phi],L[\\psi]]^{IJ}_\\beta(x)$.","The same shift algebra arises from an extended BF theory, where the shift-shift bracket is the Maxwell-algebra relation $\\{T_\\phi,T_{\\tilde\\phi}\\}=R_{(\\phi\\wedge\\tilde\\phi)_\\beta}$, giving a less intricate computational setting for the gravity result.","Asymptotic charge constructions based on these shifts avoid the integrability ambiguities that plague diffeomorphism charges at infinity."],"supporting_citations":[{"why":"Establishes the naive shift symmetries and their non-integrability in the presence of corners, which this paper repairs.","marker":"[1]"},{"why":"Supplies the reduced phase space, structural constraint, and projection $p'$ used to define $L[\\phi]$.","marker":"[2]"},{"why":"Shows how diffeomorphisms are realised as field-dependent internal transformations in 4D BF-type topological theories, the pattern extended here.","marker":"[6]"},{"why":"Provides the corner charge framework for Lorentz charges in tetrad gravity that the algebra extends.","marker":"[10]"},{"why":"Establishes the corner symplectic structure and tetrad noncommutativity that motivate the new connection noncommutativity.","marker":"[11]"},{"why":"Documents earlier corner noncommutativity results and edge simplicity constraints relevant to reading off commutation relations.","marker":"[25]"},{"why":"Identifies the double-extension or Maxwell algebra structure used to recognise the extended BF shift algebra.","marker":"[26]"}],"fun_headline_variants":["Tetrad shifts turn integrable at corners of 4D gravity","Spin connection becomes noncommutative at corners in gravity","New integrable shifts deform corner algebra in 4D gravity","Extended BF theory yields tetrad gravity edge modes","Corner shifts in tetrad gravity are now gauge charges"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction relies on the reduced phase-space description in which the structural constraint $p'(d_\\omega e)=d_\\omega e$ fixes the six redundant components of the connection; if that reduction is not appropriate for a given boundary or matter content, the field-dependent Lorentz map $L[\\phi]$ that makes the shifts integrable may fail to exist, and the appendix proving existence does not fix its numerical prefactors.","fun_headline_variants_meta":{"raw":{"variants":["Tetrad shifts turn integrable at corners of 4D gravity","Spin connection becomes noncommutative at corners in gravity","New integrable shifts deform corner algebra in 4D gravity","Extended BF theory yields tetrad gravity edge modes","Corner shifts in tetrad gravity are now gauge charges"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001114,"raw_usage":{"total_tokens":4695,"prompt_tokens":1059,"completion_tokens":3636,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":675,"completion_tokens_details":{"reasoning_tokens":3554}},"tokens_in":675,"tokens_out":3636,"duration_ms":22327,"temperature":1.0,"reasoning_tokens":3554,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T15:08:12.928780+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the defining equation $L[\\phi]\\wedge e=p'(\\omega\\wedge\\phi)$ on an explicit slice whose connection has a non-Levi-Civita symmetric part; if no solution exists, or if the charge $P_\\phi$ fails to satisfy $\\delta P_\\phi+\\iota_{Y_\\phi}\\Omega=0$ for that configuration, the central claim fails. A more direct check is to evaluate the shift-shift Poisson bracket in a discretised version of the theory and look for the corner term $\\oint \\mathrm{Tr}[\\omega\\wedge d(\\phi\\wedge\\tilde\\phi)_\\beta-(\\phi\\wedge\\tilde\\phi)_\\beta F_\\omega]$; its absence would contradict the predicted deformation of the Poincare corner algebra.","supporting_citations":[{"cited_title":"New edge modes and corner charges for first-order symmetries of 4D gravity","cited_arxiv_id":null,"evidence_quote":"Establishes the naive shift symmetries and their non-integrability in the presence of corners, which this paper repairs."},{"cited_title":"Cattaneo and Michele Schiavina","cited_arxiv_id":null,"evidence_quote":"Supplies the reduced phase space, structural constraint, and projection $p'$ used to define $L[\\phi]$."},{"cited_title":"Diffeomorphisms as quadratic charges in 4d BF theory and related TQFTs, October 2022","cited_arxiv_id":null,"evidence_quote":"Shows how diffeomorphisms are realised as field-dependent internal transformations in 4D BF-type topological theories, the pattern extended here."},{"cited_title":"Edge modes of gravity","cited_arxiv_id":null,"evidence_quote":"Provides the corner charge framework for Lorentz charges in tetrad gravity that the algebra extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Documents earlier corner noncommutativity results and edge simplicity constraints relevant to reading off commutation relations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Identifies the double-extension or Maxwell algebra structure used to recognise the extended BF shift algebra."}],"review_version":1}