{"id":"f706ebc5-790e-496c-95d0-32a215c979ef","arxiv_id":"2505.23755","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Plane wave spacetimes in three and four dimensions realize anisotropic conformal Carroll algebras as their (asymptotic) symmetry algebras, providing candidate holographic duals for z-anisotropic Carrollian CFTs.","lead":"This paper proposes that certain curved spacetimes, called plane waves, are the gravitational duals of a family of 'Carrollian' quantum field theories with anisotropic scale invariance. It constructs the field theory correlation functions and shows that the symmetries of the spacetimes match the symmetries of the field theories, a first step toward a new holographic correspondence.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proposed phase space (4.21)-(4.22) does not satisfy the determinant gauge (4.19) for any non-vacuum metric, so the derivation of the infinite-dimensional asymptotic symmetry algebra in §4.2 rests on an empty family.","rationale":"The field theory half of the paper (Sections 2-3) is internally consistent and contains useful results: the stress tensor transformation laws and correlation functions for z=0 conformal Carroll CFTs, including the distinction between the W and C vacua, are derived carefully. The bulk Killing vector computations for the vacuum metric (4.5) are verifiable and correct, and the identification of the seven-generator type-D algebra as exact isometries is sound. However, the step from the vacuum to a non-trivial phase space of asymptotically-plane-wave metrics is broken by the gauge condition inconsistency. The determinant gauge (4.19) is supposed to define the phase space; the ansatz (4.22) does not satisfy it except at the vacuum. Since the infinite-dimensional algebra is claimed to arise as residual diffeomorphisms of this phase space, the argument collapses unless the phase space is corrected. The paper itself does not flag this issue, and Section 4.5's discussion of the causal boundary does not repair it. The computation is likely fixable by relaxing the gauge condition to hold only asymptotically or by adding u-dependent fall-offs to h_ab, but as written the central claim lacks a valid non-trivial phase space. This confirms the reader's CONDITIONAL verdict: the paper has a serious technical gap but not a necessarily fatal conceptual error, and the field-theoretic parts retain value.","tokens_in":28526,"tokens_out":29146,"duration_ms":217134,"concrete_test":"Perform a symbolic computation (e.g., in Mathematica or by hand) that substitutes the ansatz (4.22) into ∂_u det(e^{-u}h_ab)=0 and solves for h, h_zz, h_̄z̄z, imposing the reality condition h_̄z̄z=overline(h_zz). Verify whether the unique solution is h_zz=h_̄z̄z=h=0. If it is, re-derive the phase space with a modified gauge condition, e.g., ∂_u det(e^{-u}h_ab)=O(e^{-u}) as u→∞, and check whether the residual diffeomorphism algebra (4.35) survives; if it does not, the central claim of Section 4.2 is not supported as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (4.19) imposes ∂_u det(e^{-u} h_ab)=0. Inserting the ansatz (4.22), with h_zz,h_̄z̄z independent of u and h_z̄z=e^u/2+h(z,̄z), gives ∂_u det(e^{-u}h_ab)= -2 e^{-2u}(h_zz h_̄z̄z - h²) + e^{-u} h. Since e^{-2u} and e^{-u} are linearly independent, the condition forces h=0 and h_zz h_̄z̄z=0. For a real metric, h_̄z̄z is the complex conjugate of h_zz, so h_zz=h_̄z̄z=0 as well. Thus the phase space (4.21)-(4.22) subject to (4.19) contains only the vacuum metric (4.5). The subsequent computation of residual diffeomorphisms (4.32)-(4.37) and the claim that the modes (4.37) span the infinite-dimensional z=0 conformal Carroll algebra therefore have no non-trivial background family on which to act. The same obstruction applies to the z≠0 phase space (4.42) for k≠1. This is an internal inconsistency, not merely a clash with prior literature, and it directly undermines the central holographic claim of Section 4.2.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops both field-theoretic and gravitational aspects of anisotropic conformal Carroll symmetries with scaling exponent z. On the field theory side, it constructs the Carrollian stress tensor for d=2 and d=3, derives transformation laws, and solves Ward identities for two-point functions under two different vacuum choices, obtaining power-law and ultra-local branches. On the gravity side, it identifies four-dimensional plane wave metrics whose isometry algebra is the seven-generator type-D z=0 conformal Carroll algebra, and defines phase spaces of asymptotically plane wave metrics whose residual diffeomorphisms are claimed to realize the infinite-dimensional d=3 conformal Carroll algebra for general z, with a d=2 analogue. The paper also discusses the conformal boundary of these plane waves and their relation to warped CFTs and BMS symmetries.","tokens_in":28731,"tokens_out":34833,"duration_ms":319224,"significance":"If the bulk phase space construction worked, the paper would provide a concrete bottom-up framework for anisotropic Carrollian holography, complementing existing warped-flat and near-horizon constructions. The global isometry match between the plane wave metrics (4.5)/(4.6) and the seven-generator type-D algebra is a useful, explicit result, and the field-theory correlator analysis appears internally consistent and parameter-free: the Ward identities are solved directly, and the delta-function branch correctly yields the scaling-dimension constraints (e.g., Δ1+Δ2=2 in d=3). The paper is also candid about overlap with prior work [47,57,83]. However, the bulk phase space as defined has an internal inconsistency that affects the central asymptotic-symmetry claim, so the gravitational half of the paper needs substantive revision.","major_comments":[{"comment":"The determinant gauge condition is incompatible with the intended family of phase-space metrics. Substituting the ansatz (4.22) into ∂_u det(e^{-u} h_ab)=0 gives ∂_u det(e^{-u}h_ab) = -2e^{-2u}(h_zz h_zbarzbar - h^2) + e^{-u}h. Since e^{-2u} and e^{-u} are linearly independent, the condition for all u forces h=0 and h_zz h_zbarzbar=0, hence h_zz=h_zbarzbar=0 for a real metric. The phase space is therefore not the advertised family with fluctuating transverse metric: only A_a and B_a remain arbitrary, while the transverse metric is fixed to that of the vacuum (4.5). The statement that (4.21)–(4.22) defines a phase space of asymptotically plane wave spacetimes with non-trivial transverse fluctuations is thus not correct as written.","section":"§4.2, Eqs. (4.19)–(4.22)"},{"comment":"The derivation of the residual diffeomorphism algebra breaks down once the determinant gauge is enforced. With h_zz=h_zbarzbar=0, preservation of g_zz=0 for all metrics in the phase space requires, in addition to ∂_z ξ^zbar=0, that ∂_z ξ^u=0 for generic A_a,B_a; the antiholomorphic component similarly gives ∂_zbar ξ^z=0 and ∂_zbar ξ^u=0. These conditions force ξ^z=az+b and ξ^zbar=czbar+d, with ξ^u constant. Consequently the modes L_n in (4.37) with |n|>1 do not preserve the phase space, and the algebra generated by (4.35)–(4.37) is not the residual symmetry algebra of (4.21)–(4.22). The step (4.34), which uses the variation of the diagonal spatial metric components to conclude ξ^z=f^z(z) with arbitrary f^z, assumes those components are free functions; that assumption is invalid once (4.19) forces them to vanish. The same obstruction applies to the z≠0 phase space (4.42) under the gauge (4.41) for k≠1.","section":"§4.2, Eqs. (4.32)–(4.37)"},{"comment":"The mode expansion (2.8) and the claimed commutator (2.9) are inconsistent. For z=0 (k→∞), (2.8) gives L_n=-z^{n+1}∂_z and M_{r,s}=z^r zbar^s∂_t, hence [L_n,M_{r,s}]=-r M_{n+r,s}; (2.9) instead gives (1/2-r) M_{n+r,s}. For generic z, a direct computation from (2.8) yields [L_n,M_{r,s}]=-(r+z(n+1))M_{n+r,s}, not the expression in (2.9). Since the field-theory transformation laws in §3.1 and Table 2 rely on these brackets, this discrepancy should be resolved; if a different convention for M_{r,s} is intended, it should be stated explicitly.","section":"§2, Eqs. (2.8)–(2.9)"}],"minor_comments":[{"comment":"The isometry generators in (4.18) use a sign convention for L_0 that differs from the asymptotic modes in (4.37); for example L_0 in (4.18) is -∂_u+z∂_z, whereas the n=0 mode in (4.37) is ∂_u-z∂_z. The isomorphism between the two is only up to an overall sign on L_0, and this should be stated explicitly to avoid confusion.","section":"§4.2, around Eq. (4.18)"},{"comment":"There are several typographical issues: 'T able' and 'T ransformation' in Section 3.1, 'realised' for 'realized' in places, and the matrix in (4.50) uses '×' without defining the symmetric entries. These should be fixed in a final version.","section":"§3.1 and throughout"},{"comment":"The delta functions in the two-point functions are written with inconsistent notation, e.g., δ_{Q1+Q2} versus δ(Q1+Q2) or δ_{Q1+Q2,0}. Please standardize this notation.","section":"§3.2, Eqs. (3.34) and (3.51)"},{"comment":"The conformal-boundary analysis for the family (4.6) is interesting, but the text should state explicitly which notion of boundary (causal, conformal, or Penrose) is being used when comparing the hypersurfaces u→+∞ and u=0; this would clarify the discussion around Eqs. (4.63)–(4.69).","section":"§4.5"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the field-theoretic core of the paper is sound and the global isometry match for the plane wave metrics is a useful result. The main concern is internal to the bulk phase-space definition: the determinant gauge condition (4.19) forces the transverse diagonal metric components to vanish, and this invalidates the derivation of the infinite-dimensional residual symmetry algebra. The issue is repairable within the manuscript's scope, for example by relaxing or modifying the gauge condition, or by allowing u-dependent diagonal transverse components that satisfy the determinant condition. I do not see a novelty or attribution problem; prior overlaps are disclosed. The paper would be suitable for a journal accepting constructive holographic proposals once the phase-space definition is corrected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a serious contribution to Carrollian holography. The field-theory half—stress tensor, transformation laws, two-vacuum correlators—is careful and extends known results cleanly. The bulk identification of the z=0 plane wave (1.2) with the seven-generator type-D algebra is new, and the Killing computation checks out. The general-z phase spaces are a natural extension. This deserves a real referee.\n\nOn the stress-test: the claim that the phase space is empty does not hold up. The determinant condition (4.19) does force h_zz=h_zbarzbar=h=0, so the transverse metric is exactly the vacuum. But the phase space also contains A_a and B_a, left free by the gauge, which give a non-trivial family of asymptotically plane-wave metrics. The residual diffeos (4.35) preserve that family; the Lie derivatives of the transverse metric vanish on the restricted class, so the determinant condition is preserved. The algebra derivation does not rest on an empty set.\n\nThere is still a real gap. The paper advertises the phase space as containing general transverse metric fluctuations, but the gauge condition forbids them. The residual-diffeomorphism calculation is run on the larger ansatz without explicitly enforcing the determinant condition, so it is unclear whether the algebra is for the intended class. The fix is straightforward: restrict (4.22) to the actual phase space and redo the calculation, or make the gauge condition asymptotic and state falloffs. The same issue affects the z≠0 phase space (4.42) for k≠1. This is a Section 4.2/4.3 revision, not a conceptual collapse.\n\nMinor soft spots: the causal-boundary discussion is honest but leaves z<1 and k=1 in tension with the chosen holographic hypersurface; the authors acknowledge it. The field-theory section could state normal-ordering conventions more explicitly, but the correlators are consistent with the vacua.\n\nThis is for anyone in Carrollian or flat holography, near-horizon symmetries, or anisotropic CFTs. Section 3 stands alone. My recommendation: send to peer review, with a requirement to fix the phase-space characterization under the determinant gauge.","headline":"A real but overstated flaw: the determinant gauge kills the transverse fluctuations, but the A_a,B_a sector still supports the asymptotic algebra, so this is a fixable gap rather than an empty phase space.","tokens_in":29390,"tokens_out":11075,"would_cite":true,"duration_ms":92529,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.20.Ha","11.25.Tq"],"model":"deepseek-v4-flash","headline":"A four-dimensional plane wave realizes the full infinite-dimensional z=0 conformal Carroll algebra as its asymptotic symmetry algebra, giving an explicit holographic dual for anisotropic Carrollian field theories.","keywords":["asymptotic symmetries","Carrollian symmetries","holographic dualities","plane waves","conformal field theory","anisotropic scaling","supertranslations","superrotations"],"falsifier":"Evaluate the gauge condition $\\partial_u\\det(e^{-u}h_{ab})=0$ on the phase-space metric (4.21)-(4.22). Substituting $h_{zz}=h_{zz}(z,\\bar z)$, $h_{\\bar z\\bar z}=h_{\\bar z\\bar z}(z,\\bar z)$, and $h_{z\\bar z}=e^u/2+h(z,\\bar z)$ gives $\\partial_u\\det(e^{-u}h_{ab})=-2e^{-2u}(h_{zz}h_{\\bar z\\bar z}-h^2)+e^{-u}h$, which vanishes for all u only when $h=0$ and $h_{zz}=h_{\\bar z\\bar z}=0$. Checking this determinant directly settles whether the phase space contains any metric other than the vacuum $ds^2=2dudv+e^u(dx^2+dy^2)$.","tokens_in":28256,"feed_emoji":"🌊","tokens_out":22667,"duration_ms":208244,"temperature":0.7,"pith_summary":"The paper argues that anisotropic Carrollian conformal field theories, whose symmetries allow independent scaling of space and time, have concrete gravity duals built from plane-wave spacetimes. On the field theory side, it constructs the Carrollian stress tensor for z=0 in two and three dimensions, derives its transformation laws, and computes two-point functions in two inequivalent vacua: an SL(2,R)xSL(2,R)xU(1)-invariant vacuum gives power-law correlators, while a Carroll-invariant vacuum gives either zero-energy power laws or an ultra-local delta function for nonzero energy. On the gravity side, the paper identifies the four-dimensional metric $ds^2=2dudv+e^u(dx^2+dy^2)$ as a vacuum whose seven isometries form the type-D z=0 conformal Carroll algebra, and claims that a gauge-fixed family of metrics around it has residual diffeomorphisms reproducing the full infinite-dimensional algebra. The construction extends to arbitrary z through the metrics $ds^2=2dudv+u^k(dx^2+dy^2)$ with $k=2/z$, and to d=2 by dropping one spatial direction. If the proposal holds, it supplies a concrete starting point for matching correlation functions across a null boundary in this anisotropic Carrollian setting.","feed_headline":"Plane waves host the full conformal Carroll symmetry algebra","feed_subtitle":"A null-wave spacetime carries the exact symmetries of an anisotropic Carrollian CFT, anchoring a holographic dictionary.","key_machinery":"The central object is the z=0 conformal Carroll algebra with mode generators $L_n$, $\\bar L_n$, $M_{r,s}$, together with the seven-generator type-D subalgebra that contains the Carroll translations, boosts, Hamiltonian, and a spatial dilation. The mechanism that carries the argument is the identification of these generators with vector fields on plane-wave spacetimes: for the vacuum metric the Killing vectors are exactly the type-D algebra, while for the gauge-fixed family the residual diffeomorphisms expand into the full algebra. The gauge conditions $g_{uu}=g_{vv}=0$, $g_{uv}=1$, and $\\partial_u\\det(e^{-u}h_{ab})=0$, together with the fall-off choices in (4.21)-(4.22), are what promote a finite isometry statement into an asymptotic-symmetry statement; for general z, the same structure is repeated with $e^u$ replaced by $u^k$ with $k=2/z$.","core_discovery":"The paper's central claim is an explicit holographic match between anisotropic conformal Carroll algebras and the symmetries of plane-wave spacetimes. The vacuum metric $ds^2=2dudv+e^u(dx^2+dy^2)$ has exactly seven Killing vectors, closing on the type-D z=0 conformal Carroll algebra spanned by $\\{L_0,\\bar L_0,L_{-1},\\bar L_{-1},M_{0,0},M_{1,0},M_{0,1}\\}$; as $u\\to+\\infty$ these vector fields reduce to the generators of the boundary field theory. The paper then defines the phase space (4.19)-(4.22) and shows that the diffeomorphisms preserving it are $\\xi=-(\\partial_z f^z+\\partial_{\\bar z}f^{\\bar z})\\partial_u+\\alpha(z,\\bar z)\\partial_v+f^z\\partial_z+f^{\\bar z}\\partial_{\\bar z}$, whose modes $L_n=(n+1)z^n\\partial_u-z^{n+1}\\partial_z$, $\\bar L_n=(n+1)\\bar z^n\\partial_u-\\bar z^{n+1}\\partial_{\\bar z}$, and $M_{r,s}=z^r\\bar z^s\\partial_v$ satisfy the full infinite-dimensional d=3, z=0 conformal Carroll algebra. On the field theory side, the stress-tensor components $M$, $T_z$, and $T_{\\bar z}$ transform as primaries with weights $(1,1)$, $(2,1)$, and $(1,2)$, and the two-point functions split into a zero-energy power-law branch and a nonzero-energy ultra-local branch depending on the vacuum. The same gauge-fixing and mode-expansion procedure is carried out for $0<z<+\\infty$ with $u^k$ in place of $e^u$, and in d=2 by omitting one transverse spatial coordinate.","pith_inferences":["Computing the central charges of the asymptotic algebras $L_n,\\bar L_n$ for these phase spaces, a step the paper leaves open, would provide quantum-level data to match against the correlation functions derived in Section 3.","The ultra-local branch of the Carrollian correlators suggests that scalar two-point functions in the plane-wave background should contain contact terms in the transverse directions; this is testable once a bulk-to-boundary propagator is defined for the first-order-in-u wave equation.","Because the paper notes that the type-K conformal Carroll algebra arises from the Nappi-Witten metric, a parallel phase-space construction for that background would give a bulk dual for the other seven-generator conformal Carroll vacuum.","The reflection $k\\leftrightarrow 2-k$ identifies isometry algebras at different z values; if the full asymptotic algebras are also isomorphic, this would produce a family of dualities between anisotropic Carrollian CFTs with different scaling exponents."],"forward_implications":["The plane wave $ds^2=2dudv+e^u(dx^2+dy^2)$ provides an explicit vacuum on which the z=0 boundary theory can be defined, with the null hypersurface $u\\to+\\infty$ carrying the Carroll structure.","The asymptotic symmetry group of the proposed gauge-fixed family is the full infinite-dimensional z=0 conformal Carroll algebra, so a gravitational theory admitting this phase space has charges that obey exactly the algebra used to define the boundary CFT.","For every finite z in $0<z<+\\infty$, the metric family $ds^2=2dudv+u^k(dx^2+dy^2)$ with $k=2/z$ yields the corresponding conformal Carroll algebra, giving each such theory a candidate holographic dual.","The flat-space cases k=0 and k=2 recover Minkowski space, and for k=2 the boundary conditions reduce to Bondi-like ones with the z=1 algebra being BMS4, so standard flat-holography boundary conditions appear as a special case.","The causal-boundary analysis confirms $u\\to+\\infty$ as the correct boundary for z=0, while showing that for k<1 and k=1 the hypersurface selected by projecting isometries is not the conformal boundary, so the bulk-boundary dictionary cannot be the ordinary conformal one in those cases."],"supporting_citations":[{"why":"It establishes that plane-wave spacetimes carry Carroll symmetries, which motivates looking for bulk realisations of conformal Carroll algebras in plane waves.","marker":"[47]"},{"why":"It supplies the Nappi-Witten background, of which the paper's z=0 vacuum metric (4.5) is a double analytic continuation.","marker":"[48]"},{"why":"It provides the conformal Carroll isometry equations and their general solution used to define the infinite-dimensional algebras in Section 2.","marker":"[54]"},{"why":"It classifies conformal Carroll algebras and provides the type-D seven-generator subalgebra that the plane-wave isometries are matched against, as well as generic-z two-point functions.","marker":"[57]"},{"why":"It defines Warped CFTs and their global subgroup, against which the Carrollian z=0 CFTs are distinguished by vacuum and normal ordering.","marker":"[72]"},{"why":"It gives the causal boundary of plane waves, which the paper uses to justify the u to +infinity limit as the holographic boundary for the z=0 metric.","marker":"[50]"},{"why":"It supplies the causal-structure analysis of pp-waves that underlies the paper's discussion of plane wave boundaries for general k.","marker":"[51]"}],"fun_headline_variants":["Plane waves host Carroll CFT symmetry algebra","Anisotropic Carroll CFTs: plane-wave holography","Exact Carroll algebra from plane-wave spacetimes","Plane-wave gravity realizes Carroll CFT dual"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claimed infinite symmetry algebra rests on the assumption that the gauge conditions define a whole family of spacetimes around the plane wave, rather than just the plane wave itself, since if every metric in the family is forced back to that same vacuum there is no space of allowed metrics left for the symmetry computation to act on.","fun_headline_variants_meta":{"raw":{"variants":["Plane waves host Carroll CFT symmetry algebra","Anisotropic Carroll CFTs: plane-wave holography","Exact Carroll algebra from plane-wave spacetimes","Plane-wave gravity realizes Carroll CFT dual"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000297,"raw_usage":{"total_tokens":1803,"prompt_tokens":1106,"completion_tokens":697,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":722,"completion_tokens_details":{"reasoning_tokens":615}},"tokens_in":722,"tokens_out":697,"duration_ms":6771,"temperature":1.0,"reasoning_tokens":615,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:40:35.444499+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the gauge condition $\\partial_u\\det(e^{-u}h_{ab})=0$ on the phase-space metric (4.21)-(4.22). Substituting $h_{zz}=h_{zz}(z,\\bar z)$, $h_{\\bar z\\bar z}=h_{\\bar z\\bar z}(z,\\bar z)$, and $h_{z\\bar z}=e^u/2+h(z,\\bar z)$ gives $\\partial_u\\det(e^{-u}h_{ab})=-2e^{-2u}(h_{zz}h_{\\bar z\\bar z}-h^2)+e^{-u}h$, which vanishes for all u only when $h=0$ and $h_{zz}=h_{\\bar z\\bar z}=0$. Checking this determinant directly settles whether the phase space contains any metric other than the vacuum $ds^2=2dudv+e^u(dx^2+dy^2)$.","supporting_citations":[],"review_version":1}