{"id":"d091050e-f3cc-45e5-87a4-361b719dc184","arxiv_id":"2505.03462","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A chiral null gauging of Nappi-Witten WZW models yields a closed string with a Gomis-Ooguri-like spectrum, but with different left- and right-moving sectors.","lead":"This paper builds a non-relativistic quantum string theory by starting from a gauged Wess-Zumino-Witten model and computing the states that survive a new kind of lightlike constraint. It offers a fresh construction route for non-relativistic strings and connects them to a family of symmetry algebras that also appear in other string limits.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Free-field realization dependence invalidates the claim that the gauged WZW model, rather than the realization, determines the string spectrum.","rationale":"The reader's CONDITIONAL verdict is well-founded. The single most fragile premise is indeed the free field realization dependence of Proposition 7, and the paper itself provides the counterexample in Proposition 11. I agree with the reader's weakest_assumption (agreement: agree). The concern is not an external disagreement with consensus; it is an internal fragility documented in the manuscript. The authors are explicit that Proposition 7 'only holds for our specific choice of free field realisation' and that different realizations give different null gauging cohomology (Section 5.2). Since Propositions 9 and 10 derive the string spectrum from Proposition 7, the final spectrum inherits this dependence. A healthy response would be to compute the cohomology representation-independently, e.g., via Verma modules, or to prove that the chosen realization is the one selected by the WZW Hilbert space. The split-signature issue is real but secondary; it changes the physical interpretation from galilean to pseudo-galilean, but the construction could still be a well-defined, if exotic, string theory. The realization dependence threatens the very claim that the string is 'from gauged WZW models.' Despite this, I do not recommend changing the verdict: the paper is honest, the computations are detailed, and the issue is potentially addressable. Hence verdict_should_be = UNCHANGED.","tokens_in":34574,"tokens_out":10353,"duration_ms":101816,"concrete_test":"Compute the null-gauging BRST cohomology of the affine Nappi–Witten algebra directly on its Verma modules (using the classification in [41,42]), with no free field realization, and compare the result with Proposition 7. If the cohomology is not isomorphic to a single βγ Fock space, the free-field realization (4.21) is not representative of the WZW model, and the central construction does not determine the string spectrum.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that a chiral null gauging of the Nappi–Witten WZW model yields a non-relativistic string. The load-bearing step is Proposition 7, which identifies the null-gauging BRST cohomology as a single βγ-system. However, Section 4.3 states that Proposition 7 holds only for the free field realization (4.21), and Section 5.2 plus Proposition 11 show that a different, equally valid realization (5.1) of the same Nappi–Witten current algebra gives a strictly smaller null-gauging cohomology: it leaves the kernel of the zero mode of (βγ) rather than the full βγ Fock space, and doubles the vacuum degeneracy. Because Propositions 9 and 10 build the final string spectrum directly on Proposition 7, the resulting 'non-relativistic string' is not an invariant of the gauged WZW model. The construction inherits a hidden choice—the particular free field realization—and the paper does not establish that this choice is physically selected by the WZW path integral or by the representation theory of the affine Nappi–Witten algebra. The split-signature real form (2,2) versus (3,1) is a second acknowledged departure from the stated 'galilean' geometry, but the realization dependence is the more direct threat to the construction: the same gauged model can produce different spectra depending on an auxiliary representation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a closed bosonic string theory by starting from a WZW model on the Nappi–Witten group, implementing a chiral null gauging of the null central subgroup, and passing to the BRST cohomology. After complexifying and choosing the free-field realization (4.21), the null gauging cohomology is shown to be a single βγ system (Proposition 7); supplementing this with a c=24 matter sector and imposing Virasoro BRST invariance yields a spectrum (Propositions 9 and 10) that resembles the Gomis–Ooguri string, with holomorphic 24 free bosons and anti-holomorphic 22 free bosons plus a βγ system. The paper contains detailed appendices with spectral-sequence and Kugo–Ojima derivations, and it explicitly acknowledges that the result depends on the chosen free-field realization and on a split-signature real form.","tokens_in":34812,"tokens_out":9150,"duration_ms":88233,"significance":"If the construction is taken as a proof of concept, the paper is valuable: it gives a worldsheet-level, limit-free construction of a string theory with a non-Lorentzian-like spectrum, and it connects the resulting model to the bgλ=0 algebra and to the Gomis–Ooguri string. The computational core is a genuine strength: the spectral-sequence exposition in Appendix A, the Kugo–Ojima lemma in Appendix B, and the explicit cohomology computations in Appendix C are detailed and appear internally consistent. The paper is also unusually candid about its two main caveats, namely free-field-realization dependence and the use of a split-signature real form. The significance is therefore real but conditional: the object constructed is a string theory associated with a particular free-field realization of the gauged WZW model, not yet an invariant of the WZW model itself, and the target-space symmetry is pseudo-Galilean rather than strictly Galilean.","major_comments":[{"comment":"The central construction is not realization-independent. Proposition 7, which identifies the null-gauging cohomology as a single βγ system, is explicitly restricted to the free-field realization (4.21); Section 5.2 and Proposition 11 show that the alternative realization (5.1), also a realization of the same affine Nappi–Witten algebra, gives a strictly smaller null-gauging cohomology, namely (C|0>_BC ⊕ C C_0|0>_BC) ⊗ C|0,0> ⊗ (V^{βγ}_σ)_0, with doubled vacuum degeneracy. Because Propositions 9 and 10 build the final string spectrum directly on Proposition 7, the resulting 'non-relativistic string' is a property of the chosen free-field realization, not of the gauged WZW model per se. The paper notes this in Section 5.2, but the abstract and title still assert the stronger claim that non-relativistic strings are constructed from gauged WZW models. The authors should either provide a representation-theoretic argument that (4.21) is the physically selected realization of the WZW model, or systematically restate the results as properties of the chosen realization.","section":"§5.2, Prop. 11 vs. Prop. 7"},{"comment":"The use of a split-signature real form is a load-bearing departure from the advertised Galilean geometry. Equation (4.11) is an isomorphism of complex Lie algebras but not of real Lie algebras, and the inner product becomes split-signature (2,2) instead of Lorentzian (3,1). The paper acknowledges in Section 5.1 that the resulting symmetry is pseudo-Galilean rather than strictly Galilean, but the abstract and introduction are not qualified accordingly. A pseudo-Galilean structure with a split cometric is not a Galilean structure in the sense of Definitions 3 and 4, and the null reduction in Appendix D.2 is performed for the split real form. Please either carry out the analogous computation in the Lorentzian real form or make the pseudo-Galilean nature of the target explicit in the abstract and in the statement of the main result.","section":"§4.1–4.2 and §5.1, Eq. (4.11)"},{"comment":"The proof of Proposition 10 is incomplete as written. The computation in Appendix C.2 is presented for the standard Gomis–Ooguri matter content; it does not explicitly include the (eβ,eγ) system or the modified stress tensor T_sug = T_{βγ} + T_{eβeγ}^{mod} with the −(1/2)∂̄β̄ term. The assertion that this non-conformal term does not affect the Virasoro BRST cohomology is plausible but is not demonstrated: one must show that the filtration degrees assigned to the eβ and eγ modes are such that the d1 differential, which now contains modes of T_sug, vanishes on the E_1 page. Please supply the explicit spectral-sequence computation for this sector, or give an argument that the extra term is d0-exact in the relevant complex.","section":"§4.4.2 and Appendix C.2, Eq. (4.40)–(4.41)"}],"minor_comments":[{"comment":"In Eq. (4.31), the last tensor factor is written |σ>_BC; it should presumably be |σ>_{βγ}. In the statement of Proposition 7, the phrase 'a choice of picture labelled by m∈Z' is confusing because no parameter m appears in the displayed result.","section":"Eq. (4.31) and Prop. 7"},{"comment":"The OPEs contain a factor '1(w)' that is not defined; presumably it denotes the identity operator at the point w. Please define this notation explicitly.","section":"Eqs. (4.8)–(4.10)"},{"comment":"The construction compactifies γ and uses the winding mode i w R ln z, but the paper never states explicitly that w is nonzero. If w=0, the differential d0 in Eq. (4.37) vanishes and the spectral-sequence collapse used in the proof of Proposition 9 does not follow. Please state the condition on w and comment on the w=0 sector.","section":"§4.4.1, Eqs. (4.35)–(4.38)"},{"comment":"After deriving the split-signature metric (D.29), the null reduction is not explicitly carried out; the assertion in Section 5.1 that the anti-holomorphic sector contributes Lorentzian signature would be more convincing if the reduced cometric were computed explicitly, as is done for the Lorentzian real form in Appendix D.1.","section":"Appendix D.2"}],"recommendation":"major_revision","confidential_remarks":"The technical work is careful and the paper is honest about its limitations, and I do not see grounds for rejection: the realization-dependent computation is a valid existence proof. However, the title and abstract overstate the extent to which the construction is intrinsic to the gauged WZW model. I would ask the authors to either establish that the chosen free-field realization is physically selected or recalibrate all public statements to the realization-dependent and pseudo-Galilean nature of the result."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the chiral null gauging of a generalized Nappi–Witten WZW model, and the resulting left–right asymmetric, Gomis-Ooguri-like spectrum. The BRST computations are detailed, the appendices are thorough, and the paper is honest about its own limitations. That combination makes it worth a serious referee.\n\nWhat it does well: the gauging procedure is carefully set up, the spectral-sequence and Kugo–Ojima arguments are explicit, and Propositions 9 and 10 give a clear cohomological picture. I also appreciate the frank discussion in Section 5 about the split real form and the free-field realization. The paper doesn't hide the cracks.\n\nThe soft spots are exactly where the reader's report points. Proposition 7 depends on the particular free-field realization (4.21). Proposition 11 shows that a different, equally natural realization yields a smaller null-gauging cohomology, so the final spectrum is not an invariant of the WZW model. That's a real limitation, not a nitpick. The abstract overstates things by saying \"we construct non-relativistic quantum strings\" when the construction actually produces a pseudo-galilean string from a specific realization. The missing modular invariance check is a secondary concern, but it matters for a heterotic-like worldsheet.\n\nStill, the central mechanism—chiral null gauging as a route to non-relativistic strings—is new and appears sound. The caveats are acknowledged, and the mathematical steps are reproducible. I'd like to see the authors either sharpen the claim (e.g., \"a particular realization of the Nappi-Witten model gives...\") or, better, find a realization-independent argument. Until then, this is a solid proof of concept, not the last word.\n\nI'd bring it to a reading group because it's a fresh construction technique and the cohomology exercises are instructive. I'd cite it as a new approach, though I'd hedge on the physical interpretation. A serious editor should send it to peer review; the flaws are addressable and the core idea deserves a published record.","headline":"A careful but conditional construction: the chiral null gauging idea is new and the cohomology is solid, yet the spectrum depends on a chosen free-field realization, so 'non-relativistic' is not yet intrinsic.","tokens_in":97,"tokens_out":1387,"would_cite":true,"duration_ms":23932,"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":"A chiral null gauging of the WZW model on a generalised Nappi-Witten group produces a non-relativistic quantum string whose BRST cohomology is a Gomis-Ooguri-like closed string spectrum.","keywords":["non-relativistic strings","gauged WZW models","Nappi-Witten algebra","BRST cohomology","Gomis-Ooguri string","galilean structures","beta-gamma system","null gauging"],"falsifier":"Compute the full Virasoro BRST cohomology using the alternative free-field realisation (5.1), or compute the null-gauging and Virasoro cohomologies without free fields using Verma modules; if the resulting spectrum differs from Propositions 9 and 10, the claimed string is realisation-dependent rather than an intrinsic property of the gauged WZW model.","tokens_in":34360,"feed_emoji":"🧵","tokens_out":6482,"duration_ms":57013,"temperature":0.7,"pith_summary":"The paper constructs a non-relativistic quantum string not by taking limits of the usual string, but by gauging a null central subgroup in a WZW model on a generalised Nappi-Witten group. After chiral null gauging, the BRST cohomology collapses to a single beta-gamma system; adding matter to reach the critical central charge and gauging the Virasoro symmetry yields a closed string whose spectrum resembles the bosonic Gomis-Ooguri string, with a slight holomorphic/antiholomorphic mismatch. If correct, this gives a purely quantum, worldsheet-level route to non-relativistic strings from WZW data, independent of target-space or worldsheet limits.","feed_headline":"Chiral null gauging turns WZW models into non-relativistic strings","feed_subtitle":"The resulting closed string spectrum is Gomis-Ooguri-like, with a slight holomorphic/antiholomorphic mismatch.","key_machinery":"The load-bearing object is the generalised Nappi-Witten Lie algebra and its free-field realisation (4.21), in which the currents P±, I, J are written as two beta-gamma systems. This turns the null-gauging constraint J=0 into a BRST operator whose cohomology is computed with a spectral sequence; the Kugo-Ojima quartet mechanism collapses that cohomology to a single beta-gamma system. The same collapse, applied to the Virasoro BRST operator, makes the full string cohomology equal to the cohomology of its d0 piece, which directly yields the Gomis-Ooguri-like spectrum.","core_discovery":"The central claim is that the null chiral gauging of the WZW model on a generalised Nappi-Witten group defines a consistent quantum string theory, and that its Virasoro BRST cohomology is isomorphic to the cohomology of the leading differential d0, producing a Gomis-Ooguri-like spectrum: holomorphically, a beta-gamma system plus 24 free bosons; antiholomorphically, a beta-gamma system, an ebeta-egamma system, and 22 free bosons. The paper proves this by computing the null-gauging cohomology (Proposition 7) and the Virasoro BRST cohomology (Propositions 9 and 10), showing that the c=24 matter sector is effectively immaterial for the cohomology. It also demonstrates that this result is tied to a specific free-field realisation: an alternative, equally valid realisation gives a smaller null-gauging cohomology (Proposition 11).","pith_inferences":["The realisation-dependence made explicit in Proposition 11 suggests the construction does not yet single out a unique non-relativistic string from the WZW datum; a cohomology computation without free fields would settle whether the spectrum is intrinsic.","Because the calculation uses the split-signature real form (2,2), the target symmetry is pseudo-galilean rather than strictly galilean; repeating the computation on the lorentzian (3,1) real form could alter or remove the holomorphic/antiholomorphic mismatch.","The appearance of the Vir semidirect product with an affine u(1) as the resulting symmetry algebra hints that non-relativistic, tensionless, and minimal-tension strings could be unified as one family of field theories at different values of a parameter, though the paper itself only notes the circumstantial connection.","A concrete testable extension is to compute the one-loop partition function of the resulting string and compare it with the Gomis-Ooguri string; any mismatch would be a direct signature of the chiral null gauging."],"forward_implications":["A non-relativistic quantum string can be obtained without non-relativistic limits, purely by gauging a null central subgroup in a WZW model.","The resulting closed string resembles the bosonic Gomis-Ooguri string but with a heterosis: the holomorphic and antiholomorphic sectors have different field content even though both are critical.","The BRST spectrum is independent of which c=24 matter CFT is added, so the construction is robust against changing the spectator matter sector.","The method extends to generalised Nappi-Witten groups with a larger null reduction target, offering a family of potential galilean string models.","The final theory can be reinterpreted as a Vir semidirect product with an affine u(1) field theory, linking it to other non-lorentzian and tensionless string settings."],"supporting_citations":[{"why":"Defines the Gomis-Ooguri non-relativistic string whose spectrum is the baseline for comparison throughout the paper.","marker":"[1]"},{"why":"Introduces the WZW model on the original Nappi-Witten non-semisimple group, the starting point of the construction.","marker":"[30]"},{"why":"Establishes the galilean/carrollian/bargmannian Lie-algebra duality that identifies galilean groups as null quotients of bargmannian groups.","marker":"[31]"},{"why":"Provides the gauging criteria and the treatment of non-reductive WZW models that make the chiral null gauging valid.","marker":"[38]"},{"why":"Supplies the free-field realisation of the affine Nappi-Witten algebra on which the null-gauging cohomology computation rests.","marker":"[41]"},{"why":"Gives the BRST cohomology computation for chiral BMS-like field theories, used for the comparison with Vir semidirect product with affine u(1).","marker":"[45]"},{"why":"Provides the path-integral derivation of the Faddeev-Popov determinant used to quantise the gauged WZW action.","marker":"[40]"}],"fun_headline_variants":["Null chiral gauging yields non-relativistic strings from WZW","WZW gauging crafts non-relativistic strings with a twist","Non-relativistic strings via chiral null gauged WZW","Chiral null gauging of WZW gives non-relativistic strings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the chosen free-field realisation (4.21) faithfully represents the physical content of the Nappi-Witten WZW model; the paper itself shows that another equally valid realisation changes the null-gauging cohomology.","fun_headline_variants_meta":{"raw":{"variants":["Null chiral gauging yields non-relativistic strings from WZW","WZW gauging crafts non-relativistic strings with a twist","Non-relativistic strings via chiral null gauged WZW","Chiral null gauging of WZW gives non-relativistic strings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000616,"raw_usage":{"total_tokens":2821,"prompt_tokens":866,"completion_tokens":1955,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":482,"completion_tokens_details":{"reasoning_tokens":1880}},"tokens_in":482,"tokens_out":1955,"duration_ms":11023,"temperature":1.0,"reasoning_tokens":1880,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:51:03.202545+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full Virasoro BRST cohomology using the alternative free-field realisation (5.1), or compute the null-gauging and Virasoro cohomologies without free fields using Verma modules; if the resulting spectrum differs from Propositions 9 and 10, the claimed string is realisation-dependent rather than an intrinsic property of the gauged WZW model.","supporting_citations":[{"cited_title":"Nonreductive WZW models and their CFTs","cited_arxiv_id":"hep-th/9506151","evidence_quote":"Provides the gauging criteria and the treatment of non-reductive WZW models that make the chiral null gauging valid."},{"cited_title":"Representations of affine Nappi-Witten algebras","cited_arxiv_id":"1104.3921","evidence_quote":"Supplies the free-field realisation of the affine Nappi-Witten algebra on which the null-gauging cohomology computation rests."},{"cited_title":"A GKO Construction Based on a Path Integral Formulation of Gauged Wess-Zumino-Witten Actions,","cited_arxiv_id":null,"evidence_quote":"Provides the path-integral derivation of the Faddeev-Popov determinant used to quantise the gauged WZW action."}],"review_version":1}