{"id":"5cedbdc7-6197-41ed-8478-a72947942b63","arxiv_id":"2412.16548","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The most general Weyl-quadratic-gravity action yields manifestly gauge-covariant equations of motion, with energy-momentum and Weyl-current conservation holding in both the Weyl and Riemannian pictures.","lead":"Physicists derived the equations of motion and conservation laws for a theory of gravity built on Weyl geometry, where scale transformations are a local gauge symmetry. This provides a complete technical toolkit for testing this alternative to Einstein's gravity in cosmology, dark matter, and quantum corrections.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The conservation-law core rests on divergence identities (65) and (68) that are asserted, not derived; an index or sign error there would invalidate eqs (67)-(78) and their d-dimensional analogues.","rationale":"Read in good faith: the paper's aim is to provide manifestly Weyl-covariant equations of motion and conservation laws for the most general quadratic action in Weyl conformal geometry. The explicit EOM tensors (52)-(59) are plausible and pass spot checks (e.g., the conformal-gravity combination gives B(c)=0 and W(c)=˚W(c)), and the derivation of the variation formulas (44)-(51) is clearly laid out. The d-dimensional extension is a natural continuation with a specific regulator. The weakest point is not the existence of the ∇̂ formalism, which is argued consistently via (17)-(26), but the unproven divergence identities (65) and (68) on which all conservation results rest. The reader's weakest-assumption field targeted the derivative's charge assignments; that is a contributing assumption, but the decisive step is the asserted algebraic identities. These are precisely the kind of long computation where sign errors in non-symmetric curvature contractions (R_{μν} ≠ R_{νμ}, eq (D-4)) are easy to make. The paper itself labels them as results of 'some algebra' and provides no intermediate steps, no appendix derivation, and no numerical or symbolic verification. Consequently the central claim—both Weyl-covariant and Riemannian conservation—is not yet established with certainty. This supports the reader's CONDITIONAL verdict: the paper should be accepted only after the identities (65), (68), and (154) are independently checked or demonstrated. No evidence of bad faith or obvious contradiction was found; the request for verification is a normal scientific caution, not an accusation.","tokens_in":35790,"tokens_out":29585,"duration_ms":206186,"concrete_test":"Independently recompute the left-hand sides of (65) and (68) for i=1,...,4 in d=4 by substituting the explicit expressions (52)-(59) into the divergence, using only the commutator (21), the Bianchi identities (27), and the identities (D-12)-(D-14), without invoking the claimed result. Do this in a symbolic tensor computer-algebra system such as xAct/xTensor or Cadabra. Confirm that ∇̂^μ W^(i)_{μν} equals (1/2) F_{μν} B^{(i)μ} and that ∇̂^μ B^{(i)}_μ equals 2 g^{μν} W^(i)_{μν} identically. If the identities hold, the conservation laws (67)-(78) are confirmed; if any coefficient or sign differs, trace the discrepancy to the specific W^(i)/B^(i) formula. As a secondary check, compute the variation of the Gauss-Bonnet action (119) directly from (48)-(51) and verify that B(G)_μ vanishes.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equations (65) and (68) are the load-bearing bridge of the paper: from the explicit tensor expressions (52)-(59) they imply the central conservation laws (67), (69)-(71), (74), (78), and their d-dimensional generalizations (154)-(166). Yet in §4.1 these are introduced as 'after some algebra with commutators (21) and Bianchi identities (27)' with no derivation shown, and the identical d-dimensional claim (154) is introduced as 'calculations are rather long but one can show'. The tensors W^(i) and B^(i) are long combinations of curvature terms, double covariant derivatives, and F-terms; a single misapplied commutator sign or a wrong contraction in (D-12)-(D-14) would change the coefficient on the right-hand side of (65) and break the conservation statements. The subsequent translation to Riemannian conservation in eqs (70)-(71) and (77)-(78) additionally depends on the charge assignments of W and R; a mistake in those charges would sever the Riemannian interpretation. The paper offers no independent check of (65)-(68): the Gauss-Bonnet example in §5 is itself asserted ('It is easy to check that B(G)_µ ≡ 0') and the conformal-gravity limit, while internally consistent, does not test the full identities. Since the entire novelty of the paper is these covariant conservation laws, the unverified status of (65) and (68) is the most load-bearing weak point.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies Weyl conformal geometry as a gauge theory of the Weyl group in a manifestly Weyl gauge covariant formalism. The authors compute the equations of motion for the most general quadratic action S = ∫ d^4x √g [α1 R^2 + α2 C^2 + α3 F^2 + α4 G] in four dimensions, obtaining covariant tensors W_μν and B_μ, and then generalize the computation to arbitrary d dimensions using the geometric regulator R^{(d-4)/2}. They further derive conservation laws for the energy-momentum tensor and for the Weyl gauge current, in both Weyl-covariant and Riemannian forms, and illustrate the results with Gauss-Bonnet, R^2+F^2, and conformal gravity examples.","tokens_in":36124,"tokens_out":58573,"duration_ms":442703,"significance":"If correct, the paper provides a useful systematic toolkit: explicit covariant equations of motion (52)-(59) and (145)-(152), a clean Noether derivation of the conservation laws from gauged diffeomorphisms in Section 4.2, and dimension-independent statements. The checks in Section 5 (Gauss-Bonnet combination vanishes; conformal gravity reproduces known equations) support the main calculations. The central off-shell identity (65), however, is misprinted with an index/sign error, and the d-dimensional analogue (154) is asserted rather than proved; these issues must be fixed before the paper can be used as a reference.","major_comments":[{"comment":"The identity is stated as ∇̂^μ W^{(i)}_{μν} = (1/2) F^{μν} B^{(i)}_μ. This is inconsistent with the derivation in Section 4.2. From δg_{μν} = -∇̂_μξ_ν - ∇̂_νξ_μ and δω_μ = F_{μν}ξ^ν, the Noether argument gives δS = ∫√g[-2∇̂^μW_{μν} + F_{μν}B^μ]ξ^ν, hence 2∇̂^μW_{μν} = F_{μν}B^μ. Since F^{μν}B_μ = -F_{μν}B^μ for the antisymmetric F, Eq. (65) as written has the wrong sign and index placement. A direct check for i=3, using W^{(3)}_{μν}=2F_{μρ}F_ν^ρ - (1/2)g_{μν}F^2 and B^{(3)} of Eq. (58), confirms ∇̂^μW^{(3)}_{μν} = (1/2)F_{μν}B^{(3)μ}, not (1/2)F^{μν}B^{(3)}_μ. The on-shell conservation laws (67) and (71) are unaffected because the right-hand side vanishes when B_μ=0, but the off-shell identity must be corrected, and the same correction carries to (154).","section":"§4.1, Eq. (65)"},{"comment":"The d-dimensional identities are introduced with the statement 'calculations are rather long but one can show' and are not backed by the symmetry argument that is already present in Section 4.2. Since these identities are the d-dimensional extension of the paper's main result, the authors should present the derivation (which the symmetry argument in Section 4.2 makes straightforward and dimension-independent) and verify the corrected index structure. As written, Eq. (154) inherits the sign/index error of Eq. (65).","section":"§6.2, Eq. (154)"}],"minor_comments":[{"comment":"The sentence 'After some algebra with commutators (21) and Bianchi identities (27)' is superseded by the symmetry derivation in Section 4.2; please add a forward reference so the reader can find the proof.","section":"§4.1, before Eq. (65)"},{"comment":"Because F^{νμ} is antisymmetric, the index placement in 4α3∇̂_νF^{νμ} = j^μ is essential; please add one sentence explaining how this form follows from B_μ=0 after lowering indices, to prevent the type of sign ambiguity that appears in Eq. (65).","section":"§4.1, Eq. (72)"},{"comment":"The affiliation line contains a typo ('Physic s'); please correct it.","section":"Affiliation line"},{"comment":"The claim B^{(G)}_μ ≡ 0 is stated as 'easy to check'; since it is used as a consistency check, please show the one-line cancellation using Eqs. (56)-(59).","section":"§5.1, Eq. (121)"}],"recommendation":"major_revision","confidential_remarks":"The paper relies substantially on the authors' previous framework (refs. [10,19,22,29]), but the equations of motion and conservation computations are new and not circular. The index/sign problem in Eq. (65) looks like a typo that can be fixed using the derivation in Section 4.2; I do not see a reason to doubt the on-shell results. The main reason for major revision is to correct the off-shell identity and make the d-dimensional proof explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this paper computes the manifestly Weyl-gauge-covariant equations of motion and conservation laws for the most general quadratic action in Weyl conformal geometry, in four and then arbitrary dimensions, using the authors' gauge-covariant (non-affine) formalism. That is a real computation, and the working is mostly careful and reproducible.\n\nWhat is new: the covariant tensors W^(i)_μν and B^(i)_μ in (52)-(59) and the conservation identities (65) and (68), plus the d-dimensional generalizations. The paper earns credit for the clean Noether argument in Section 4.2: it shows that (65) follows from invariance under gauged covariant diffeomorphisms and (68) from dilatation invariance, which is why the conservation laws hold with respect to both the Weyl-covariant and Riemannian derivatives. The spot-checks in Section 5 pass: the Gauss-Bonnet combination vanishes and conformal gravity reproduces known equations.\n\nNow the soft spots, in proportion. The stress-test note worries that (65)-(68) are asserted rather than derived. That is not quite fair: Section 4.2 gives a symmetry derivation of the total conservation law, and since each term in the action is separately invariant, the split per term follows. What is missing is the explicit algebraic demonstration that the long tensor expressions actually satisfy (65)-(68) when you expand the commutators and Bianchi identities. The text says \"after some algebra\" and leaves it at that. For a paper whose headline is precisely these identities, that gap is worth closing. A referee should ask for an appendix (or a supplementary file) with the full derivation, especially for the d-dimensional case where (154) is also asserted. There is also a minor unstated assumption: the regulator R^{(d-4)/2} in the d-dimensional action requires R ≠ 0, which is not mentioned.\n\nNeither issue looks load-bearing: the symmetry argument is sound, the explicit checks pass, and the sign conventions are consistent. But the paper would be much more useful if the algebra were shown.\n\nWho it's for: anyone working on Weyl quadratic gravity, conformal geometry as a gauge theory, or scale-invariant gravity. It deserves a serious referee; I would send it out with a request for the detailed derivation of (65)-(68) and a note on the R ≠ 0 assumption. Given the stakes, I'd want the referee to verify one of the long identities independently.","headline":"Genuinely new covariant equations of motion and conservation laws for the most general Weyl quadratic gravity, with the conservation laws anchored in the Noether symmetries; the main weakness is that the explicit algebra proving the key identities is not shown.","tokens_in":36611,"tokens_out":3313,"would_cite":true,"duration_ms":28338,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The most general quadratic Weyl-geometry action has fully covariant equations of motion and dual conservation laws.","keywords":["Weyl conformal geometry","Weyl quadratic gravity","gauge theory of gravity","dilatation gauge symmetry","conservation laws","energy-momentum tensor","Weyl gauge current","dimensional regularisation"],"falsifier":"Check the claimed off-shell identities (65) and (68) on a generic smooth metric and Weyl field, for each curvature invariant $i$; because the paper derives these as algebraic identities, one explicit configuration where $\\hat{\\nabla}_\\mu W^{(i)\\mu\\nu} - \\frac{1}{2} F^{\\mu\\nu} B^{(i)}_\\mu \\neq 0$ or $\\hat{\\nabla}_\\mu B^{(i)\\mu} - 2\\,\\mathrm{tr}\\,W^{(i)} \\neq 0$ falsifies the conservation laws.","tokens_in":35610,"feed_emoji":"🌌","tokens_out":12097,"duration_ms":100616,"temperature":0.7,"pith_summary":"The paper tries to establish that Weyl conformal geometry, read as a gauge theory of the Weyl group (Poincaré transformations together with local dilatations), supports a complete quadratic gravity theory whose equations of motion and conservation laws are manifestly Weyl gauge covariant. For the most general action $S=\\int d^4x\\,\\sqrt{g}\\,(\\alpha_1 R^2+\\alpha_2 C^2+\\alpha_3 F^2+\\alpha_4 G)$, it derives the covariant field equations $W_{\\mu\\nu}=0$ and $B_\\mu=0$ in explicit tensor form, and proves that the energy-momentum tensor $W_{\\mu\\nu}$ and the Weyl gauge current $j_\\mu$ are conserved. The conservation laws hold both with the Weyl gauge covariant derivative $\\hat{\\nabla}$ and with the ordinary Riemannian derivative $\\mathring{\\nabla}$, and they are extended to arbitrary dimension by a gauge-invariant regularisation. If the argument is right, this gives a usable covariant formalism for a realistic gauge theory of gravity that reduces to general relativity with a massive vector and a cosmological constant after spontaneous symmetry breaking.","feed_headline":"Energy-momentum conservation holds in both Weyl and Riemannian gravity","feed_subtitle":"The same laws hold in four dimensions and in arbitrary d, with the Weyl gauge current conserved too.","key_machinery":"The engine is the Weyl gauge covariant derivative $\\hat{\\nabla}_\\mu$, defined by $\\hat{\\nabla}_\\mu X = \\nabla_\\mu X + q_X\\,\\omega_\\mu X$ or equivalently through the space-time charge, which is non-affine (no connection $\\hat{\\Gamma}$ exists for fields of arbitrary charge) yet automatically metric, $\\hat{\\nabla}_\\mu g_{\\alpha\\beta}=0$. Its commutator on a vector is $[\\hat{\\nabla}_\\mu,\\hat{\\nabla}_\\nu]V^\\rho = R^\\rho{}_{\\sigma\\mu\\nu}V^\\sigma + q_V F_{\\mu\\nu}V^\\rho$, with no torsion term, and it obeys integration-by-parts rules and Bianchi identities that make it the exact analogue of $\\mathring{\\nabla}$ in Riemannian geometry. This derivative carries all variations of the curvature tensors, reducing the equations of motion to covariant combinations of $R_{\\mu\\nu}$, $R$, $F_{\\mu\\nu}$ and their $\\hat{\\nabla}$ derivatives. A secondary mechanism is the geometric regulator $R^{(d-4)/2}$ in the $d$-dimensional action, which keeps the action Weyl gauge invariant in arbitrary dimension.","core_discovery":"The central claim is that the general quadratic action of Weyl conformal geometry has well-defined manifestly covariant equations of motion, not only after translating to Riemannian variables, and that its symmetries force two conservation laws at once. Introducing the non-affine Weyl gauge covariant derivative $\\hat{\\nabla}_\\mu$ and using it to vary the action, the paper obtains $W_{\\mu\\nu}=0$ and $B_\\mu=0$, with the explicit tensors given in (52)-(59). It then derives the identities $\\hat{\\nabla}^\\mu W_{\\mu\\nu}^{(i)}=\\frac{1}{2} F_{\\mu\\nu}B^{(i)\\mu}$ and $\\hat{\\nabla}^\\mu B_\\mu^{(i)}=2\\,\\mathrm{tr}\\,W^{(i)}$, which on shell become $\\hat{\\nabla}^\\mu W_{\\mu\\nu}=0$, $\\hat{\\nabla}^\\mu j_\\mu=0$, and the trace identity $\\mathrm{tr}\\,W_{\\mu\\nu}=0$. Because $\\hat{\\nabla}$ and $\\mathring{\\nabla}$ differ by a term proportional to $\\omega_\\mu$ contracted with the trace, the same trace identity makes the Riemannian conservation laws $\\mathring{\\nabla}^\\mu W_{\\mu\\nu}=0$ and $\\mathring{\\nabla}^\\mu j_\\mu=0$ follow as well. The same structure is shown to hold for the regularised action in arbitrary $d$ dimensions, where the Euler term contributes for $d\\neq 4$.","pith_inferences":["A natural extension not pursued here is to couple matter: demanding simultaneous conservation of $W_{\\mu\\nu}+T_{\\mu\\nu}$ with both $\\hat{\\nabla}$ and $\\mathring{\\nabla}$ would impose strong consistency conditions on any matter sector, including the Standard-Model embedding.","The $\\epsilon$-dependent terms in the $d$-dimensional equations suggest that quantum corrections generate Weyl-invariant higher-dimensional operators suppressed by powers of $R$; the authors note this but do not classify the full operator basis.","The geometric interpretation of $\\omega_\\mu$ as part of the connection, combined with its Riemannian conservation as a matter-like current, offers a route to reinterpret the dark-matter candidate of this theory as a geometric effect rather than a new particle species.","One could test the formalism's usefulness by deriving the conserved current for the non-perturbative Weyl-DBI action, whose leading order matches the quadratic action studied here."],"forward_implications":["The explicit covariant equations (60)-(61) can be used directly in conformal geometry, without first rewriting the action in Riemannian variables.","In the spontaneously broken phase, the conservation laws persist in Riemannian form, so the massive vector $\\omega_\\mu$ and the dilaton $\\varphi$ obey standard energy-momentum conservation.","In arbitrary dimension, the regularised action remains Weyl gauge invariant, making the formalism suited to dimensional regularisation and keeping the theory free of the Weyl anomaly.","In the conformal-gravity limit ($\\alpha_1=\\alpha_3=0$), the Weyl current vanishes identically and the conserved tensor $W^{(c)}_{\\mu\\nu}$ is traceless, reproducing conformal gravity from the covariant formulation.","The same conservation structure holds in any dimension because it follows from diffeomorphism and dilatation invariance rather than from $d=4$ identities."],"supporting_citations":[{"why":"The companion gauge-theory construction of the Weyl group that supplies the tangent-space formalism, covariant diffeomorphisms, and the projective relation between connections.","marker":"[10]"},{"why":"The companion paper establishing the metric-with-torsion versus non-metric-torsion-free duality and the charge assignments that define $\\hat{\\nabla}$.","marker":"[19]"},{"why":"The source for the claim that the Weyl gauge covariant formulation is metric and anomaly-free, which motivates the regularisation used in $d$ dimensions.","marker":"[22]"},{"why":"The Stueckelberg breaking of Weyl quadratic gravity to Einstein-Hilbert gravity plus a massive vector, used for the broken-phase conservation laws.","marker":"[17]"},{"why":"The Standard-Model embedding in Weyl geometry whose Riemannian-picture equations of motion are generalised here to covariant form.","marker":"[29]"}],"fun_headline_variants":["Energy-momentum conserved in both Weyl and Riemannian gravity","Same conservation laws from Weyl or Riemannian derivatives","Weyl gauge theory: dual conservation laws in all dimensions","Gravity's conservation laws independent of geometry choice","Energy-momentum and Weyl current: conserved in both geometries"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the charge assignments and torsion-free commutator (21) of the Weyl gauge covariant derivative $\\hat{\\nabla}$ are correct, since every equation of motion and conservation law is written through that derivative.","fun_headline_variants_meta":{"raw":{"variants":["Energy-momentum conserved in both Weyl and Riemannian gravity","Same conservation laws from Weyl or Riemannian derivatives","Weyl gauge theory: dual conservation laws in all dimensions","Gravity's conservation laws independent of geometry choice","Energy-momentum and Weyl current: conserved in both geometries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000792,"raw_usage":{"total_tokens":3558,"prompt_tokens":1082,"completion_tokens":2476,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":698,"completion_tokens_details":{"reasoning_tokens":2393}},"tokens_in":698,"tokens_out":2476,"duration_ms":16602,"temperature":1.0,"reasoning_tokens":2393,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:28:51.872100+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the claimed off-shell identities (65) and (68) on a generic smooth metric and Weyl field, for each curvature invariant $i$; because the paper derives these as algebraic identities, one explicit configuration where $\\hat{\\nabla}_\\mu W^{(i)\\mu\\nu} - \\frac{1}{2} F^{\\mu\\nu} B^{(i)}_\\mu \\neq 0$ or $\\hat{\\nabla}_\\mu B^{(i)\\mu} - 2\\,\\mathrm{tr}\\,W^{(i)} \\neq 0$ falsifies the conservation laws.","supporting_citations":[{"cited_title":"Weyl quadrat ic gravity as a gauge theory and non-metricity vs torsion duality,","cited_arxiv_id":null,"evidence_quote":"The companion paper establishing the metric-with-torsion versus non-metric-torsion-free duality and the charge assignments that define $\\hat{\\nabla}$."}],"review_version":1}