{"id":"071b8794-44f6-4268-8709-e84f491d18d6","arxiv_id":"2608.10861","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Every Kähler metric with a centrally extended Abelian isometry algebra is locally a quotient of a canonical model, and the anomalous isometries can be gauged using twisted chiral superfields.","lead":"This paper derives a local normal form for Kähler manifolds whose Abelian isometry algebra carries a central extension, and then shows these 'anomalous' symmetries can be gauged in generalized Kähler geometry. The result provides a general construction tool for gauged sigma models, Kähler quotients, and T-dualities in two-dimensional supersymmetric theories.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 4.4 asserts without proof that the block-wise gauged potential of N survives the R^m quotient; this is the key unproven step linking the local classification to the advertised general gauging.","rationale":"The reader's weakest assumption correctly identifies the unproven superposition/commutation in Section 4.4. My independent reading confirms this is the most load-bearing gap: it is the only bridge from the local classification (Proposition 6) to the paper's headline claim that anomalous symmetries can be gauged in the general case. The single-block gauging formulas (4.14), (4.19) are explicit and could be correct; the local classification has a plausible proof given Proposition 4 and Appendix A; but the general recipe explicitly depends on a quotient-by-gauge-field commutation that is never demonstrated. The proposed test is concrete and decisive for the basic Case 1-to-Case 2 reduction, which the paper itself uses as its paradigm. A successful test would substantially strengthen the paper; a failure would require either a modified gauging prescription or a restriction of the claimed generality. Since the concern is addressable rather than fatal, the CONDITIONAL verdict is appropriate, and I do not propose changing it.","tokens_in":18824,"tokens_out":22701,"duration_ms":222144,"concrete_test":"Work out the simplest nontrivial case: take M = C (Case 2), realized as the Kähler quotient of N = C^2 (Case 1) by the vector field U' of Appendix A (see (A.2)). Starting from the gauged Case 1 potential (4.14), add the U' gauge multiplet and FI term, gauge-fix and integrate out the U' fields following the same steps as in Appendix A, and compare the resulting gauge-invariant potential with the direct gauging of Case 2 in (4.19). If the two potentials agree, the commutation holds for this example; if they differ, or if the quotient eliminates some g gauge degrees of freedom, the Section 4.4 recipe requires a separate derivation and the general gauging claim is unproven.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim has two pillars: Proposition 6 (local classification via Kähler quotient of N) and the gauging recipe of Section 4 culminating in the general case. For an arbitrary M with central extension C_{k,n}, the recipe is: realize M = N /// R^m (Prop. 6), gauge each Heisenberg block in N using (4.14), and then take the R^m quotient. The last step is asserted rather than derived: Section 4.4 states 'the full gauged potential is obtained by superimposing these pieces', and the Case 2 discussion says 'The end result, of course, remains the same', but no computation shows that the quotient by the U'_ℓ ∈ Ker C commutes with the gauging of g. This is not a formality: the g gauge fields enter K0 (see (4.14)), the U' moment-map equations also involve K0, and integrating out the U' gauge multiplets can generically modify the effective potential for the g gauge fields. Without a proof that the quotient and the gauging commute, the paper does not establish the advertised general gauging, even if Proposition 6 and the single-block constructions are correct. The same gap affects Proposition 7: the invariant potential K2 is constructed on N, but its compatibility with the quotient metric on M is not checked.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Kähler manifolds equipped with an Abelian algebra of holomorphic Killing fields whose moment maps form a centrally extended Lie algebra, termed 'anomalous symmetries'. The main results are: (1) for Abelian g, a vanishing central extension is equivalent to the possibility of making the Kähler potential invariant (Corollary 1); (2) a local normal form theorem (Proposition 6): every such geometry is locally a Kähler quotient of a canonical model N, with potential (3.30) and central extension C_{k,n+m}, by an R^m subgroup generated by fields in Ker C; (3) a generalized Kähler construction (Proposition 7) that renders the potential invariant by introducing k twisted chiral superfields, followed by a gauging recipe in generalized Kähler geometry using the (V,X) multiplet. Section 4 works out the two Heisenberg cases explicitly and gives quotient and T-duality formulas, and Section 4.4 sketches the general case by 'superimposing' block-wise gauged pieces.","tokens_in":19052,"tokens_out":25272,"duration_ms":229041,"significance":"The local classification is well executed and is the paper's strongest asset: the normal form (3.30) and the quotient statement in Proposition 6 are explicitly formulated and mostly proved in the text, and Corollary 1 cleanly captures when the usual Kähler gauge-invariance obstruction is absent. If the gauging construction is valid, the paper opens the way to quotient and T-duality computations for a class of geometries that were previously thought to resist off-shell gauging. The paper does not ship code or machine-checked proofs, but the local-geometry part is checkable by direct computation. The main caveat is the gauging part: the general recipe depends on an unproven commutation of block-wise gauging with the R^m quotient, and the (V,X) multiplet technology is imported from a companion preprint. These points are load-bearing for the advertised claim that the symmetries 'may be gauged' in generalized Kähler geometry.","major_comments":[{"comment":"The step 'the full gauged potential is obtained by superimposing these pieces' is asserted without proof. Proposition 6 realizes a general M as a Kähler quotient N /// R^m with U'_ℓ ∈ Ker C, and the canonical potential (3.30) has K0 depending on the U'_ℓ coordinates as well as on the g gauge-invariant combinations. When the U'_ℓ gauge fields are integrated out after gauging g, the moment-map condition for U'_ℓ can in principle depend on the g gauge fields, and the paper does not show that the staged reduction commutes with the gauging. A Legendre-transform argument or an explicit check for a nontrivial K0 is needed; without it the advertised general gauging is not demonstrated.","section":"Section 4.4"},{"comment":"The construction of the gauged potential uses the fact that the solutions of the covariant chirality constraints (4.13) are parametrized by standard (twisted) chiral fields plus the gauge superfields V^z, V^w and semi-chiral X, and that the superconnections are expressed through those fields. This is the central mechanism of the gauging, but it is delegated to the companion preprint [BKK25] and not reproduced. Since the present paper claims to show that the symmetries 'may be gauged', the reader should be able to verify this step, or the paper should state explicitly which results are imported.","section":"Section 4.2, Eq. (4.14)"}],"minor_comments":[{"comment":"The displayed formula for K in case (2) is missing a division or parentheses; it should presumably read K = -(ic/2)(z-\\bar z)^2/(\\lambda-\\bar\\lambda)+K0, as confirmed by Eq. (A.9).","section":"Eq. (3.6)"},{"comment":"The word 'sypersymmetry' should be 'supersymmetry'.","section":"Abstract"},{"comment":"The verification that K2 in (4.9) is invariant under the full symmetry algebra is only sketched; the action of the real vector fields on the twisted chiral fields S_A and the commutation of the exponentiated operators with the K1-invariance are not spelled out. Adding the two-line computation would improve readability and self-containedness.","section":"Proposition 7 proof"},{"comment":"The cohomological reformulation (2.7)-(2.9) is terse; a one-sentence explanation of why f is a 1-cochain with values in holomorphic functions and why the constancy of C places the cocycle in H^2(g,R) would help readers not familiar with Chevalley-Eilenberg cohomology.","section":"Section 2.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is within scope for hep-th and the local classification is a solid contribution. The main caveat for publication is self-containedness: several central gauging steps are in a companion preprint by the same authors. If the editors require standalone papers, this should be addressed; even if preprint dependency is acceptable, the Section 4.4 commutation argument is still needed. I would also encourage the authors to check whether the quotient and gauging operations can be ordered by a standard symplectic-reduction argument, which would turn the asserted 'superimposing' step into a theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: Proposition 6 is a real result and worth having; the general gauging in Section 4.4 is asserted rather than proved, and that gap is the difference between a paper that establishes its advertised claim and one that sketches it.\n\nThe local classification of Kähler metrics with an Abelian centrally extended isometry algebra is the paper's core contribution. Proposition 3 (vanishing central extension implies trivial cocycle for Abelian g) is clean, the cohomological framing in Section 2.1 is useful, and the flat-space examples make the obstruction concrete. Proposition 6, which realizes any such M as a Kähler quotient of the canonical geometry N by an R^m of Killing fields in Ker C, is a genuinely new local normal form; the proof by adding m extra u-directions and then quotienting follows the pattern of Section 3.2 and looks correct. Proposition 7, constructing an invariant potential with k twisted chiral fields via a generalized Kähler transformation, also goes beyond the special cases in [BKK25] and is the right tool for the gauging.\n\nThe soft spot is exactly where your stress-test put it: Section 4.4. The paper claims that the full gauged potential for arbitrary M is obtained by superimposing the per-block gauged potentials on N and then taking the R^m quotient, but that compatibility is never shown. The U' moment-map equations involve the same K0 that appears in the gauged potential (4.14), and integrating out the U' gauge multiplets could in principle modify the effective potential for the g gauge fields. Proposition 7 similarly constructs K2 on N; its behavior under the quotient is not checked. This is not a fatal flaw in the local classification, but it is a real gap in the advertised general gauging recipe. A referee should ask for either a proof of the commutation of the quotient and the gauging, or a clear statement that the general gauging is a conjecture/sketch with the single-block cases fully worked out.\n\nAlso worth noting: the superspace machinery is taken from the authors' own [BKK25], and the parametrization of solutions to the covariant chirality constraints is delegated there. For a paper that aims to be self-contained, that is a downside, though not a damning one given the companion paper exists. Some of the computations in Case 2 are terse enough that I could not verify them line by line; the reader mentions a possible factor-of-two issue, which I did not confirm, but it reinforces that the Case-2 section deserves a close read.\n\nOverall: the local geometry half is solid and new; the gauging half is plausible but under-proved. I would send this to a referee with a request to focus on Section 4.4 and the Case 2 computations. The paper deserves serious referee time, and the authors should be able to fill the gap.\n\nRecommendation: engage, but condition acceptance on a complete derivation of the general gauging.","headline":"Solid new local classification of centrally extended Abelian Kähler isometries; the advertised general gauging is asserted rather than proved, so the paper needs a targeted revision before I'd trust the headline claim.","tokens_in":19615,"tokens_out":4961,"would_cite":true,"duration_ms":39630,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","53D20","81T60"],"pacs":["02.40.Ky","11.30.Pb"],"model":"deepseek-v4-flash","headline":"The paper proves that Kähler manifolds with centrally extended Abelian isometries are locally Kähler quotients of a universal model, and that these anomalous symmetries can be gauged in generalized Kähler geometry by introducing twisted…","keywords":["central extensions","Kähler geometry","generalized Kähler geometry","moment maps","Heisenberg algebra","twisted chiral superfields","gauged sigma models","T-duality"],"falsifier":"Take the canonical model $N$ with $k=2$ Heisenberg blocks, write the Section 4.4 gauged potential by superimposing the two block gauged potentials, and compute the equations of motion for the two gauge fields; cross-block terms or a failure of the Kähler quotient by the kernel Killing fields to commute with the gauged potential would falsify the general claim.","tokens_in":18588,"feed_emoji":"🌀","tokens_out":14494,"duration_ms":127736,"temperature":0.7,"pith_summary":"Kähler manifolds with Abelian isometries can have a classical analogue of an anomaly: the moment-map algebra closes only up to constants, i.e. is centrally extended. The paper proves that, locally, any such geometry is a Kähler quotient of a single canonical model built from independent Heisenberg blocks, and that the Kähler potential of this model can be made invariant by a generalized Kähler transformation with twisted chiral superfields. It then exhibits the gauging of the full centrally extended symmetry using a combined real-plus-semi-chiral multiplet, thereby bypassing a long-standing obstruction to gauging in ordinary Kähler superspace. The result turns anomalous symmetries into explicit recipes for generalized Kähler quotients and T-duals.","feed_headline":"Centrally extended Kähler isometries get a gauging recipe","feed_subtitle":"Every such geometry is a Kähler quotient of one universal model; twisted chiral fields make it gaugeable.","key_machinery":"The central object is the central-extension cocycle $C(W,V)=i(\\nabla_V f_W-\\nabla_W f_V+f_{[W,V]})$ measuring the failure of moment-map Poisson brackets to close; for Abelian algebras the paper block-diagonalizes it to $C_{k,n}$, a sum of copies of the Heisenberg algebra. The canonical Kähler potential (3.30) is the explicit local model carrying that extension. The second mechanism is the generalized Kähler transformation: non-invariant holomorphic shifts are absorbed into total-derivative terms built from twisted chiral superfields, producing an invariant potential. Gauging then uses the $(V,X)$ multiplet, with $V$ a real gauge superfield and $X$ a semi-chiral superfield.","core_discovery":"Proposition 6 is the geometric core: any Kähler manifold with an isometric holomorphic action of an Abelian algebra $\\mathfrak{g}$ whose central extension is $C_{k,n}$ is, locally, a Kähler quotient of the canonical geometry $N$ by $\\mathbb{R}^m$ of Killing fields in $\\mathrm{Ker}\\,C$. The model $N$ has the explicit Kähler potential (3.30), in which the anomalous part is a sum of $k$ Heisenberg terms and the remaining freedom is an invariant function $K_0$. Proposition 7 then states that this potential can be made invariant under the full symmetry by a generalized Kähler transformation that introduces $k$ twisted chiral superfields, one per Heisenberg block; once invariant, the symmetry is gauged in generalized Kähler geometry using the $(V,X)$ multiplet, a real gauge superfield paired with a semi-chiral superfield. The paper works out the gauged potentials, quotients, and T-duals explicitly for the two Heisenberg cases, and reduces the general case to these blocks.","pith_inferences":["The local classification suggests a fuller global statement: if the Kähler quotient in Proposition 6 can be performed with complete metrics, the canonical model (3.30) would generate complete anomalous geometries; completeness of the quotient is not addressed in the paper.","The block-superposition step in Section 4.4 is the natural place to test the general gauging claim, since whether gauge fields from different Heisenberg blocks interact through $K_0$ is left implicit.","The same twisted-chiral mechanism may extend to non-Abelian solvable symmetry algebras whose central extensions decompose into Heisenberg factors, although the paper only proves the Abelian case.","A concrete check of the classification would be to apply the quotient formula (4.22) to the $\\mathrm{SL}(2,\\mathbb{R})\\ltimes\\mathbb{C}$ example of Section 3.1.1 and compare with the known geometry of the universal elliptic curve."],"forward_implications":["Every local anomalous Abelian geometry is built from the universal model (3.30) by an ordinary Kähler quotient, so the obstruction to gauging is a property of the model and not of the individual geometry.","Adding exactly $k$ twisted chiral superfields turns the non-invariant Kähler potential into a generalized-Kähler-invariant one, one field per Heisenberg block.","The $(V,X)$ multiplet gauges the full centrally extended symmetry, so quotients and T-duals of these models are well-defined in generalized Kähler geometry.","Both Heisenberg cases (independent and dependent holomorphic parts) have explicit gauged potentials, and the general case is obtained by superimposing the block potentials."],"supporting_citations":[{"why":"Establishes the no-go result that centrally extended Kähler isometries cannot be gauged in ordinary Kähler superspace, which Proposition 7 is designed to bypass.","marker":"[Hul`86]"},{"why":"Introduces the twisted-chiral compensator trick and the $(V,X)$ multiplet that the paper generalizes from examples to arbitrary $C_{k,n}$.","marker":"[BKK25]"},{"why":"Supplies the Kähler quotient and Legendre-transform machinery used in Proposition 5 and Appendix A to realize the local models.","marker":"[Hit`87]"},{"why":"Source for the Poisson-bracket formula for moment maps with the cocycle $C(W,V)$ stated as Proposition 1.","marker":"[Sou97]"},{"why":"Defines twisted chiral superfields and bi-Hermitian geometry, the superspace ingredients for the generalized Kähler gauging.","marker":"[GHR84]"},{"why":"Gives the modern formulation of generalized Kähler geometry that is the target of the gauging construction.","marker":"[Gua11]"},{"why":"Connects superfield multiplets (chiral, twisted chiral, semi-chiral) to the complex structures of generalized Kähler geometry, justifying the multiplet content.","marker":"[Lin`07b]"}],"fun_headline_variants":["Gauging anomalous Kähler symmetries via twisted fields","Anomalous Kähler isometries become gaugeable","Twisted chiral fields unlock anomalous Kähler gauging","Universal model for gauging anomalous Kähler symmetries","Kähler quotients make anomalous symmetries gaugeable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The general gauging claim rests on the assertion, made in Section 4.4 without proof, that the gauged potentials for the separate Heisenberg blocks can be superimposed block by block and that this superposition is compatible with the Kähler quotient by the kernel Killing fields.","fun_headline_variants_meta":{"raw":{"variants":["Gauging anomalous Kähler symmetries via twisted fields","Anomalous Kähler isometries become gaugeable","Twisted chiral fields unlock anomalous Kähler gauging","Universal model for gauging anomalous Kähler symmetries","Kähler quotients make anomalous symmetries gaugeable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000159,"raw_usage":{"total_tokens":1188,"prompt_tokens":867,"completion_tokens":321,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":483,"completion_tokens_details":{"reasoning_tokens":238}},"tokens_in":483,"tokens_out":321,"duration_ms":2945,"temperature":1.0,"reasoning_tokens":238,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:35:42.134229+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the canonical model $N$ with $k=2$ Heisenberg blocks, write the Section 4.4 gauged potential by superimposing the two block gauged potentials, and compute the equations of motion for the two gauge fields; cross-block terms or a failure of the Kähler quotient by the kernel Killing fields to commute with the gauged potential would falsify the general claim.","supporting_citations":[],"review_version":1}