{"id":"80b35649-eada-42e1-80e0-36d594853b9d","arxiv_id":"2506.20028","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Supersymmetric localization reproduces the WZW partition function as a sum over abelian classical solutions, verified for SU(2) and extended to SL(2,R) and H_3^+.","lead":"This paper computes the partition function of strings on group manifolds (WZW models) using supersymmetric localization, expressing it as a sum over abelian classical solutions. The result is verified against the standard Weyl-Kac answer for SU(2) and extended to SL(2,R) and hyperbolic three-space, with applications to the BTZ black hole.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central SU(2) verification is conditional on the contested one-loop level shift k' = k-2; without independent confirmation, the Weyl-Kac comparison is to shifted-level characters, not the standard level-k answer.","rationale":"The reader's weakest-assumption is precisely the load-bearing point: the entire SU(2) verification hinges on the one-loop level shift k' = k-2, introduced by a particular determinant regularization in Section 3.3. I agree with that assessment. The algebraic core of the paper is clear and the Poisson-summation identity is a genuine check of internal consistency, but it does not independently confirm that the localization result is the standard WZW partition function. The paper itself flags that conventional regulators give k' = k, so the external benchmark is only external if the nonstandard factorization is accepted. The self-flagged issues with the general formula (4.2) and the missing sign further support a CONDITIONAL verdict, but they are secondary: the SU(2) check is the central claim, and its validity is tied to the level shift. The proposed test—recomputing the determinant anomaly without the factorization, or comparing with level-k characters—would settle whether the shift is a legitimate renormalization or a substitution of a different theory. Since the reader already reached CONDITIONAL and my analysis does not move that verdict, I leave it unchanged. Credit is due for the explicit U(1) control case, the modular/gauge-invariance checks of the localized sum, and the honest discussion of the regularization ambiguity; none of these, however, replaces an independent determination of the physical level.","tokens_in":49716,"tokens_out":17159,"duration_ms":193315,"concrete_test":"Independently derive the one-loop effective level of the action (3.9) without the factorization M = M1 M2: compute the anomaly coefficient of det(M) for the single elliptic operator M in (3.31) by zeta-function or Pauli-Villars regularization, as described in Section 3.3. If the anomaly coefficient is zero, so that k' = k, rerun the Poisson comparison (3.80)-(3.83) with the standard level-k Weyl-Kac characters, i.e. replace ϑ_{k,ℓ} by ϑ_{k+2,ℓ} in (3.73). If the localized sum (3.57) no longer matches, the claimed verification is an artifact of the factorized determinant and the central claim fails for the standard WZW model. Equivalently, check k=2: eq. (3.76) predicts a one-dimensional Hilbert space, whereas SU(2)_2 has three integrable representations.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the identification of the localized lattice sum (3.57) with the Hamiltonian character sum (3.79) built from Weyl-Kac characters χ^{k-2}_ℓ in (3.73). The Poisson-resummation identity (3.80)-(3.83) proves only that the lattice sum equals that level-(k-2) character sum. Whether this is the partition function of the WZW model whose action is (3.3) with coefficient k is exactly the issue. Section 3.3 concedes that standard zeta-function or Pauli-Villars regularizations give k' = k; the k' = k-2 result comes from defining det(M) through the factorization M = M1 M2 (eqs. 3.30-3.36). The two regularizations are claimed to differ by a renormalization of the only parameter k, but since k is an integer and the shift is an integer, this equivalence is not demonstrated. The standard Weyl-Kac formula for an action-level-k SU(2) WZW model has theta index k+2, not k; the paper's eq. (3.76) has only k-1 states rather than the usual k+1. At k=1 the shifted level is negative and (3.73) has no characters, while SU(2)_1 is a well-defined free-boson theory; at k=2, (3.76) gives one state instead of three. Thus the comparison to the 'same partition function' from the character formula is conditional on the very regularization choice at issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a method, based on the Choi-Takhtajan supersymmetric-localization idea, for computing torus partition functions of bosonic WZW models. The strategy is to add free decoupled fermions, localize the supersymmetric model with an insertion of fermion zero-modes, and then divide by the free-fermion partition function to obtain the bosonic answer. The method is first illustrated for U(1), where it reproduces the standard free-boson result, and then applied in detail to SU(2), yielding a localized sum over abelian classical solutions labeled by winding numbers (m,w) and by Weyl-group elements. The claim is verified for SU(2) by a Poisson-resummation comparison with a Hamiltonian sum built from Weyl-Kac characters. The last sections extend the procedure to general compact groups and to analytic continuations such as SL(2,R) and H_3^+/Z, with the H_3^+/Z result compared to Maldacena-Ooguri-Son.","tokens_in":49943,"tokens_out":17825,"duration_ms":190023,"significance":"If the result held as stated, it would provide an exact classical-orbit sum formula for WZW partition functions, a non-trivial extension of the Choi-Takhtajan heat-kernel formula, and a new perspective on SL(2,R)/H_3^+ partition functions, including the BTZ black hole. The manuscript contains several concrete, checkable computations: the U(1) localization matches known results, the Poisson-summation identity (3.80)-(3.83) is explicit, and Appendix B gives a correct free-field identity for su(2)_1. These are genuine strengths. However, the central SU(2) verification is undermined by a load-bearing level-shift issue: the comparison is to characters at level k-2 rather than level k, and the paper's own Appendix B contradicts the level assignment used in Section 3.5. Because of this, the paper does not currently establish its main claim.","major_comments":[{"comment":"The one-loop level shift k' = k - h is treated as an equally valid regularization choice, but the paper concedes that standard zeta-function and Pauli-Villars regularizations give k' = k. Since k is an integer, the statement that the two definitions differ only by a renormalization of k is not meaningful: there is no continuous renormalization connecting integer levels. This is load-bearing because the entire Weyl-Kac comparison uses characters at level k-2, not level k. A concrete test is k=1: the standard SU(2)_1 WZW model is a free boson with two characters, whereas the level-shifted formula (3.76) predicts k-1=0 characters. The manuscript's own Appendix B uses theta index 3 for su(2)_1, corresponding to the standard level k, not level k-2.","section":"Section 3.3, Eqs. (3.30)-(3.36)"},{"comment":"There is an internal contradiction in the level assignment. Equation (3.73) writes SU(2) characters at level k-2 using theta functions of index k, so for k=1 there are k-1=0 characters. Appendix B, however, correctly computes the su(2)_1 characters with theta index 3 and two characters, labeled by ell=1,2. Therefore the Poisson-resummation verification (3.80)-(3.83) proves only that the localized lattice sum equals a sum over level-(k-2) characters; it does not show equality with the partition function of the WZW model whose action is (3.3) with coefficient k. The advertised verification for G=SU(2) fails at k=1 and is conditional at all k.","section":"Section 3.5, Eqs. (3.73)-(3.79), and Appendix B"},{"comment":"The general compact-group formula is presented as an expectation rather than a proven result, and the sign factor (-1)^zeta is said to have been determined by private communications and forthcoming papers [20,21], after being omitted in the original version. Since the abstract announces a computation for a general compact Lie group G, the unproven status of Eq. (4.2) and its sign factor is a substantive gap in the advertised generality, not a mere presentation issue.","section":"Section 4, Eq. (4.2)"}],"minor_comments":[{"comment":"The text refers to the affine extension u(2)_{k-2}; the intended object is su(2) at level k-2, and the notation should be corrected.","section":"Eq. (3.73)"},{"comment":"The derivation of (3.78) from (3.76) via cancellation of theta functions assumes k >= 2; for k=1 the sum in (3.76) is empty while (3.78) is nonempty. The paper should state this limitation explicitly and address the k=1 case separately.","section":"Eqs. (3.76) and (3.78)"},{"comment":"The comparison with Maldacena-Ooguri-Son contains an undetermined factor sqrt(|k-2|/k), attributed to a possible quantum correction to the zero-mode volume. In an exact localization computation, an undetermined normalization weakens the check; this factor should either be computed or explicitly identified as an assumption.","section":"Section 5.3, Eq. (5.42)"},{"comment":"Several load-bearing statements, including the general-group formula and the sign factor, are supported by references listed as 'to appear' or as private communications. The manuscript should either include the necessary arguments or clearly state that the results depend on unpublished work.","section":"References [19]-[21]"}],"recommendation":"reject","confidential_remarks":"The central SU(2) claim is not established because the level-shift issue is load-bearing and appears internally inconsistent with Appendix B. The paper has interesting ideas and several correct explicit computations, but the main comparison is to a level-shifted character sum rather than to the standard WZW partition function at level k. If the authors can prove that the localization-regulated determinant is the physically correct definition and that the level k-2 is correct (for example, by matching the free-field realization at k=1), the paper might be revisable; in its present form I cannot recommend publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this paper adapts Choi-Takhtajan supersymmetric localization to the 2D WZW model. The result is an exact formula for the torus partition function as a sum over abelian classical solutions, labeled by winding numbers and Weyl group elements. That is new, and for SU(2) it is verified explicitly: the localized sum (3.57) is matched via Poisson summation to the Weyl-Kac character sum (3.79). The check is real and reproducible.\n\nWhat is good: the method is a genuine adaptation, not an incremental tweak. The level renormalization analysis in Section 3.3 is honest, and the authors flag that standard regularizations give k' = k while localization gives k' = k - h. They also flag that the general compact G formula (4.2) is expected rather than proved, and note that the sign factor (-1)^zeta was added after Zhao and Lu pointed out its omission. That level of self-reporting is rare and welcome.\n\nWhere it is soft: the load-bearing step is exactly the level shift. The equality of the localized sum (3.57) to the Weyl-Kac answer (3.79) only works at shifted level k-2. The claim that standard regularizations are equivalent up to a renormalization of k is not demonstrated, and since k is an integer, the shift by an integer is not obviously a renormalization. For k = 1, the shifted level is negative and the characters (3.73) do not exist, while SU(2)_1 is a perfectly well-defined free boson. So the SU(2) verification is conditional on a regularization choice that has not been independently confirmed. The H_3^+/Z comparison with Maldacena-Ooguri-Son also has an undetermined factor sqrt(|k-2|/k). These are not fatal to the method, but they do bound its advertised generality. The general compact group formula (4.2) lacks a proof, and the sign error history suggests the formula is subtle.\n\nWho this is for: anyone working on WZW partition functions, AdS3/CFT2, or exact localization in sigma-models. A serious referee will find the SU(2) check worth verifying line by line, and even if the level-shift issue resolves against the authors, the method is valuable and the paper is honest about its own gaps.\n\nRecommendation: send it out. It deserves referee time.","headline":"New localization formula for WZW partition functions with a real SU(2) check, held up by the contested level shift k -> k-2 and some deferred proofs.","tokens_in":50599,"tokens_out":2049,"would_cite":true,"duration_ms":21175,"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":"This paper proves that the WZW torus partition function can be computed exactly by supersymmetric localization as a sum over abelian winding modes, and verifies the result for SU(2) against the Weyl-Kac character formula.","keywords":["WZW model","supersymmetric localization","torus partition function","Weyl-Kac character formula","group manifolds","BTZ black hole","SL(2,R) WZW model","winding numbers"],"falsifier":"Evaluate the localized formula (3.57) for SU(3) and compare with the Weyl-Kac character sum at level k−3; a mismatch would show that the level shift k−h is not the universal prescription. Alternatively, compute the same one-loop determinant with a lattice regulator and check whether it equals the factorization-based determinant.","tokens_in":49293,"feed_emoji":"🧵","tokens_out":10195,"duration_ms":99900,"temperature":0.7,"pith_summary":"The paper sets out to compute the torus partition function of the Wess-Zumino-Witten (WZW) model, the two-dimensional conformal field theory of maps from a torus into a compact Lie group such as SU(2). It does so by adding free fermions to make the model supersymmetric; because those fermions are completely decoupled from the bosons, the supersymmetric partition function is just the bosonic one times a known fermionic factor. Supersymmetric localization then converts the path integral into an exact sum over abelian classical solutions labeled by momentum and winding numbers, and dividing out the free-fermion factor gives the purely bosonic partition function. The paper verifies for G=SU(2) that this localized sum agrees with the Weyl-Kac character formula, provided the level is taken to be k-2 rather than k. This matters because it gives an exact sum-over-classical-orbits representation of a strongly interacting conformal field theory, and because the same mechanism extends to SL(2,R), hyperbolic three-space, and the BTZ black hole.","feed_headline":"Localization computes WZW torus partition function exactly","feed_subtitle":"Adding free fermions turns the path integral into a winding-number sum that matches the SU(2) character formula.","key_machinery":"The machinery is supersymmetric localization of the type designed for theories in which the fermions are free and decoupled: one inserts the fermion zero-modes $ψ^{3}$_0 and \\$tildeψ^{3}$_0 into the path integral so that the otherwise-vanishing supersymmetric index becomes nonzero, and deforms the action by a δ-exact term V = ∫ tr D_z \\tildeψ (D_z \\tilde J_z)^†. The bosonic part of δV is non-negative and vanishes only on classical solutions, which for the WZW model are abelian (maximal-torus-valued) maps labeled by winding numbers (m,w) together with a Weyl-group element ω. The one-loop determinant is evaluated by factorizing the fluctuation operator M = M1 M2, which produces the shift of the level from k to k-h; for SU(2), h=2. The Weyl-Kac character formula, the standard expression for affine-Lie-algebra characters as ratios of $\\theta$ functions, is the comparison standard that the localized sum must match.","core_discovery":"The central claim of the paper is that the torus partition function of the supersymmetric WZW model can be computed exactly by supersymmetric localization, and that this determines the bosonic WZW partition function by division by the free-fermion partition function. Concretely, the localized supersymmetric partition function is a sum over Weyl-group elements ω and integer winding pairs (m,w): each term is exp(-$S^{{(ω)}}$_{m,w}) times a sign sgn(ω), where the classical action $S^{{(ω)}}$_{m,w} is that of an abelian solution embedded in the group via a maximal torus. The bosonic answer is obtained by dividing by Z_fer, the partition function of the decoupled adjoint fermions. The crucial check is that for G=SU(2) the localized formula (3.57), evaluated with the level shifted to k-2, is equal to the Weyl-Kac character sum (3.79) after a Poisson resummation. Thus the paper establishes that the WZW torus partition function is simultaneously a sum over quantum states (characters) and an exact sum over classical winding solutions.","pith_inferences":["A testable extension of the paper's logic: because fermion decoupling is local, the same zero-mode insertion should produce exact localization formulas for WZW correlation functions on higher-genus surfaces, not just the torus partition function.","The paper's level shift k→k−h reads as a diagnostic: comparing the localization one-loop determinant with a lattice or Pauli-Villars regulator for G=SU(3) would show whether the shift k−h is the universal prescription or an artifact of the factorization M=M1M2.","The near-agreement with the BTZ partition function, up to a factor sqrt((k−2)/k), suggests that localization might supply a first-principles derivation of the Euclidean black-hole partition function with a specific quantum correction to the thermal-circle volume; checking that factor microscopically would be a sharp test.","One could reinterpret the Weyl-group sum and the sign sgn(ω) as a sum over conjugacy classes of the loop group, connecting the formula to standard index-theoretic results on group manifolds."],"forward_implications":["For SU(2), and by extension any compact simple simply-connected G, the WZW torus partition function has an exact representation as a sum over abelian winding sectors, complementing the usual sum over affine characters.","The bosonic partition function is determined by the supersymmetric one through division by an explicit free-fermion factor, so the entire content of the bosonic model is encoded in the lattice sum.","The localization method extends to noncompact and analytically continued models: SL(2,R) on a Lorentzian torus, where the result makes sense as a distribution, and the H3+/Z (BTZ black hole) model, whose partition function the paper computes and compares to earlier critical-point results.","A Weyl-group sum with signs, plus a Wess-Zumino sign factor (−1)^ζ for general groups, keeps the localized formula modular invariant and gauge invariant in the diagonal and anti-diagonal twist sectors."],"supporting_citations":[{"why":"Introduces the localization method for theories with free decoupled fermions and zero-mode insertions; this paper adapts it from quantum mechanics to the two-dimensional WZW model.","marker":"[1]"},{"why":"Constructs the N=1 supersymmetric WZW action and shows the adjoint fermions decouple from the bosonic sector.","marker":"[2]"},{"why":"Supplies the standard free-boson torus partition function used to check the U(1) localization result.","marker":"[10]"},{"why":"Defines the WZW action with the Wess-Zumino term, the theory whose partition function is being computed.","marker":"[11]"},{"why":"Establish the supersymmetry of the gauged WZW action for anomaly-free embeddings, used in the localization calculation.","marker":"[16, 17]"},{"why":"Gives the spectrum of the SL(2,R) WZW model, the target of the analytic-continuation extension.","marker":"[22]"},{"why":"Provides the earlier critical-point computation of the H3+/Z (BTZ) partition function that the paper's localization formula reproduces up to a volume factor.","marker":"[26]"},{"why":"Supplies the missing Wess-Zumino sign factor (−1)^ζ for the general compact-group formula and a proof of it.","marker":"[20]"}],"fun_headline_variants":["Localization turns WZW into abelian sum","Exact WZW partition: a winding-number sum","WZW partition function: exact via localization","Supersymmetric localization computes WZW partition"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole agreement with the known answer depends on a particular way of handling the quantum fluctuation determinant, namely splitting it into two factors, which shifts the effective level from k to k−2 for SU(2); if that split is not the correct regularization, the localized sum will not reproduce the known partition function.","fun_headline_variants_meta":{"raw":{"variants":["Localization turns WZW into abelian sum","Exact WZW partition: a winding-number sum","WZW partition function: exact via localization","Supersymmetric localization computes WZW partition"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001688,"raw_usage":{"total_tokens":6693,"prompt_tokens":955,"completion_tokens":5738,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":571,"completion_tokens_details":{"reasoning_tokens":5680}},"tokens_in":571,"tokens_out":5738,"duration_ms":37289,"temperature":1.0,"reasoning_tokens":5680,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:22:33.269456+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the localized formula (3.57) for SU(3) and compare with the Weyl-Kac character sum at level k−3; a mismatch would show that the level shift k−h is not the universal prescription. Alternatively, compute the same one-loop determinant with a lattice regulator and check whether it equals the factorization-based determinant.","supporting_citations":[{"cited_title":"Di Vecchia, V","cited_arxiv_id":null,"evidence_quote":"Constructs the N=1 supersymmetric WZW action and shows the adjoint fermions decouple from the bosonic sector."},{"cited_title":"Zhao,WZW Partition Functions from Supersymmetric Localization,2507.11673","cited_arxiv_id":null,"evidence_quote":"Supplies the missing Wess-Zumino sign factor (−1)^ζ for the general compact-group formula and a proof of it."}],"review_version":2}