{"id":"28ba0771-39ac-4252-b006-5dfb27d77626","arxiv_id":"2507.09254","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new map predicts the associated variety of every simple affine vertex algebra at integer levels above criticality as a single sheet, with compatibility theorems connecting it to reduction types and affine cells.","lead":"The paper defines two cyclotomic level maps, one on nilpotent orbits and one on Weyl group conjugacy classes, and proves they align with Lusztig's minimal reduction type map. It uses these maps to propose a uniform sheet formula for the associated varieties of simple affine vertex algebras at integer levels, and checks that formula against all known computations.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Exceptional-type verification of Lemma 2.1.3 is delegated to atlas output that is neither reproduced nor machine-checked; a single wrong cln value would shift O(m) and invalidate the sheet predictions.","rationale":"","tokens_in":47223,"tokens_out":7510,"duration_ms":97208,"concrete_test":"Independently recompute, for every distinguished nilpotent orbit in E6, E7, E8, F4, and G2, the two quantities max_{β∈R(g,h)}⟨β,h⟩ and max_{α∈R(l,h)}⟨α,h⟩, using either a fresh atlas computation or a second nilpotent-orbit database, and compare the resulting cln values and O(m) with Figures 1-5. If any orbit violates Lemma 2.1.3, the construction collapses; if all exceptional values match, the computational gap in Lemma 2.1.3 is closed and the paper's foundation is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The cyclotomic level apparatus rests on Lemma 2.1.3: for an sl2-triple with e distinguished in a Bala-Carter Levi l, the highest h-weight on g is at most one more than the highest h-weight on l. This is what identifies cln(e) with min{m | (ad e)^{2m}=0} in Lemma 2.1.4, and it enters Proposition 3.3.7, Theorem 3.3.5, and the construction of O(m) as the unique maximal orbit in cln^{-1}([1,m]) via Theorem 2.1.6. The classical-type proof in §5.1 is explicit, but in E6, E7, E8, F4, and G2 the proof of the second inequality in Lemma 5.1.1 is only 'verified using the atlas software.' The manuscript gives no atlas transcripts, no parameter values, and no independent certificate; Figures 1-5 list the resulting cln values without derivations. If the asserted inequality failed for even one exceptional distinguished orbit, cln would cease to be the Jordan-block height, the set O(m) could change, and Conjecture 2.4.1 would attach the sheet formula to the wrong orbit. This is a verifiability gap in the foundation of the paper's main construction, not merely a missing convenience.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a cyclotomic level map cln on nilpotent orbits and a companion map clW on Weyl group conjugacy classes, proves that they are compatible with Yun's minimal reduction type map, and proves a relation between Lusztig's bijection for two-sided cells and the orbits O(m) attached to the levels. On this basis the authors formulate Conjecture 2.4.1, proposing that for simply-laced g and integer levels k=m-h^vee the associated variety X_{L_k(g)} is the sheet S(l, dO_{L}) determined by the Bala-Carter Levi data of O(m). The classical-type proofs are detailed, and the conjecture is checked against all available computations of associated varieties, including the recent results of Arakawa-Futorny-Krizka.","tokens_in":1555,"tokens_out":1463,"duration_ms":59276,"significance":"If the main conjecture is correct, it would give the first uniform description of associated varieties of simple affine vertex algebras at all non-admissible integer levels above criticality, together with a quasi-lisseness criterion. The paper's unconditional results are also valuable: Theorem 3.3.5 gives a clean compatibility statement between the two new level maps and the minimal reduction type map, and Theorem 4.2.1 connects the combinatorial construction of O(m) with Lusztig's two-sided cells. The classical-type computations in Sections 5.1 and 5.2 are explicit and self-contained. The main weakness is that the exceptional-type cases rest on atlas software output that is neither reproduced nor machine-checked in the manuscript; this is a verifiability gap in a load-bearing part of the construction, not merely a cosmetic omission.","major_comments":[{"comment":"The second inequality in Lemma 2.1.3 is verified only via the atlas software in the exceptional types E6, E7, E8, F4, and G2, but no scripts, transcripts, parameter values, or independent certificates are supplied. This lemma is load-bearing: it yields Lemma 2.1.4 (cln(e) as the minimal m with (ad e)^{2m}=0), enters Proposition 3.3.7 and Theorem 3.3.5, and determines the orbit O(m) used in Conjecture 2.4.1. A single wrong value in Figures 1-5 would shift some O(m) and change the predicted sheet. I ask the authors to ship the atlas input/output or an independent root-system certificate for every exceptional distinguished orbit.","section":"Section 5.1, Lemma 5.1.1 (Lemma 2.1.3)"},{"comment":"The type E verification of Theorem 4.2.1 is again delegated to the atlas software ('the calculations in type E are done by utilizing the atlas software'), and Tables 6-8 list the Kac diagrams and parabolic types W_m without derivation. Unlike the detailed type A and D arguments in Section 5.2, the exceptional cases cannot be checked from the paper. Since Theorem 4.2.1 is one of the two main theorems and is used as conceptual evidence for Conjecture 2.4.1, this gap should be closed by providing the relevant atlas scripts or tabulated intermediate data.","section":"Section 4.2, proof of Theorem 4.2.1"},{"comment":"Theorem 2.1.6(4) is quoted from [Geo04] and the partition formulas for O(m) in classical types are quoted without proof; this is acceptable as citation to published work. However, the exceptional-type lists of cln and O(m) in Figures 1-5 are outputs of the same atlas computation that underlies Lemma 2.1.3. The paper should state explicitly which entries are consequences of the written classical-type proof and which entries depend on the unverified software computation, so that the reader can assess the confidence level of the conjecture in exceptional types.","section":"Section 2.1, Theorem 2.1.6 and Figures 1-5"}],"minor_comments":[{"comment":"The codomain of cln is written with a corrupted notation that appears as 'Z1...h'; this should be corrected to a standard notation such as the positive integers or the interval from 1 to h.","section":"Section 3.3, Theorem 3.3.5"},{"comment":"Figures 1-5 are essential data for the exceptional-type values of cln and O(m), but the figure images are not reproduced in the manuscript text. Please ensure the final submission contains all five figures with legible labels.","section":"Section 2.1.13 and List of Figures"},{"comment":"The heading 'Corollary of Conjecture, 1.0.3' should be renumbered as a formal corollary (for example, 'Corollary 1.0.3') rather than left as a run-in phrase.","section":"Section 1, Corollary 1.0.3"},{"comment":"In the final verification cases for type D_n, the commutative diagram involving KL is cited before all symbols in the diagram are introduced; consider moving the definitions of the parahoric and Levi subgroups immediately before the displayed diagram.","section":"Section 5.2.15"},{"comment":"The entries [SYZa] and [SYZb] are listed as 'in preparation'; this is acceptable, but the bibliography should mark them consistently as unpublished work to avoid confusion with the cited arXiv preprints.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest in presenting Conjecture 2.4.1 as a conjecture, and the known-case evidence is genuine, so I do not regard the conjectural status as a defect. The blocking issue is reproducibility: the atlas-based verification of Lemma 2.1.3 and of the type E cases of Theorem 4.2.1 is a load-bearing computational step with no shipped artifacts. This is fixable within the manuscript's scope by adding supplemental code, output tables, or independent certificates, and therefore warrants major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real news here is the compatibility theorem (3.3.5) and the two-sided cell statement (4.2.1). The cyclotomic level map cl_n on nilpotent orbits is not new — the paper says so, citing KL88 and Ree+12 — but proving that cl_W on Weyl classes matches cl_n through the minimal reduction type map is a solid, original result. The classical-type proofs are explicit and checkable, and the Kac diagram tables for xi_m are useful on their own. The conjecture on associated varieties is clearly labeled as a conjecture, checked against all known cases, and not oversold. Citation pattern looks honest.\n\nThe soft spot is exactly where the reader's stress-test lands: Lemma 2.1.3, which clamps the highest h-weight on g to be at most one more than on the Bala-Carter Levi, is load-bearing. It gives the alternative description of cl_n as the Jordan block height, which then defines the orbits O(m) that feed Conjecture 2.4.1. In E6, E7, E8, F4, and G2 the proof is only \"verified using the atlas software,\" with no transcripts, parameter values, or independent certificates. If one exceptional value were wrong, O(m) would shift and the predicted sheets would move. I don't think the lemma is false — atlas is generally trustworthy — but from the manuscript alone I cannot verify it. That is a genuine reproducibility gap in the foundation, not a convenience issue. The same reliance on atlas appears in the proof of Theorem 4.2.1 for type E.\n\nProportionately: the proven structural results in classical types seem sound, and the conjecture is plausible and well-motivated. The main weakness is verifiability of exceptional-type data. For a paper whose central conjecture depends on those values, I would want the atlas output shipped or replaced by a human-readable check before publication.\n\nThis deserves a serious referee. A representative from vertex algebras can assess the conjecture's traction, and a Lie theorist with atlas access can close the gap. I would bring it to reading group and would cite the compatibility theorem. Verdict: engage, but require supplemental data for the exceptional case.","headline":"The paper proves a clean compatibility theorem and a cell bijection, then attaches a promising but unproven sheet conjecture to a foundation that is only atlas-checked in exceptional types.","tokens_in":48061,"tokens_out":1967,"would_cite":true,"duration_ms":26785,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B69","17B08","17B67"],"pacs":[],"model":"deepseek-v4-flash","headline":"A cyclotomic level map on nilpotent orbits, compatible with a map on Weyl group classes, conjecturally describes the associated variety of every simple affine vertex algebra at integer levels above criticality.","keywords":["affine vertex algebras","associated varieties","nilpotent orbits","cyclotomic level maps","Weyl group conjugacy classes","two-sided cells","quasi-lisse vertex algebras","sheets"],"falsifier":"For g=E6 at k=-5 (so m=7), compute the associated variety of L_k(E6) directly from Zhu's C2-algebra and compare it with the sheet S(l,dO_L) that Conjecture 2.4.1 attaches to O(7)=E6(a3). This level is not among the previously computed cases in Table 2, so any mismatch would be a decisive counterexample.","tokens_in":47010,"feed_emoji":"📐","tokens_out":10326,"duration_ms":114897,"temperature":0.7,"pith_summary":"This paper introduces a single integer attached to each nilpotent orbit—the cyclotomic level cl_n—and a matching integer cl_W attached to each conjugacy class in the Weyl group, and proves that the two agree under the minimal reduction type map (equivalently, Lusztig's map). Using these numbers, the paper conjectures that for every simply-laced Lie algebra and every integer level k=m-h^vee above criticality, the associated variety of the simple affine vertex algebra L_k(g) is an explicitly constructed sheet S(l,dO_L) determined by the orbit O(m) whose cyclotomic level is at most m. If the conjecture is right, an invariant that was previously understood only in scattered cases becomes uniform and algorithmic, and quasi-lisseness of L_k is read off from whether O(m) is distinguished. All associated varieties that had been computed before are reproduced by the conjecture.","feed_headline":"Cyclotomic level map predicts vertex algebra varieties","feed_subtitle":"For simply-laced types, every integer level above criticality gets an explicit sheet, unifying all known cases.","key_machinery":"The load-bearing object is the cyclotomic level map cl_n on nilpotent orbits, together with its Weyl-group analogue cl_W. For an orbit, cl_n(e)=a+1 with 2a the largest h-weight on the Bala-Carter Levi; equivalently cl_n(e) is the least m with (ad e)^{2m}=0. For a conjugacy class, cl_W([w]) is the largest m whose cyclotomic polynomial divides the characteristic polynomial of w on the reflection representation. The map cl_n attaches to each positive integer m the unique maximal orbit O(m) in {cl_n≤m}; the paper's formula for O(m) is the identity O(m)=∪_{cl_n(O)≤m} O. The compatibility theorem is proved by relating both maps to minimal reduction types through root valuation strata, and the conjecture packages the output as a sheet S(l,dO_L)=closure of the image of G×^P(dO_L×z(l)×u), where P=LU is a parabolic containing the Bala-Carter Levi L.","core_discovery":"The paper's central claim is that two a priori unrelated combinatorial invariants coincide and together organize the associated varieties of simple affine vertex algebras. On nilpotent orbits, cl_n(e) is defined as a+1 where 2a is the largest h-weight of an sl2-triple in the Bala-Carter Levi, equivalently cl_n(e)=min{m | (ad e)^{2m}=0}; on Weyl group classes, cl_W([w]) is the largest order of an eigenvalue of w on the reflection representation, equivalently the largest m with Φ_m dividing the characteristic polynomial. Theorem 3.3.5 proves cl_n(RTmin([w]))=cl_W([w]) for the minimal reduction type map, and Theorem 4.2.1 proves that Lusztig's bijection sends the two-sided cell c(w_m), attached to the dominant affine translate of mΛ0+ρ, to the orbit O(m). Conjecture 2.4.1 then claims that for simply-laced g and k=m-h^vee with m≥1, the associated variety of L_k(g) equals S(l,dO_L), the sheet attached to the Barbasch-Vogan dual of the distinguished factor of O(m).","pith_inferences":["If the conjecture holds, the same integer m governs three a priori separate objects: the sheet X_{L_k}, the minimal reduction type of the class [w], and the two-sided cell c(w_m); that three-way correspondence is a natural place to look for a Langlands-style formulation.","The partition descriptions of O(m) in classical types suggest that the associated variety of L_k in types A through D can be written purely combinatorially, which would make the conjecture checkable by partition algorithms without orbit tables.","The Kac diagrams tabulated for ξ_m in the exceptional types are the same kind of data used in periodic gradings and epipelagic representations; exploiting that connection could give a uniform proof of the key h-weight lemma in exceptional types rather than a computer check."],"forward_implications":["Every integer level k=m-h^vee above criticality for simply-laced g gets a predicted associated variety, replacing the previous case-by-case computations.","The quasi-lisse property of L_k(g) becomes a combinatorial condition: it holds exactly when O(m) is distinguished.","The associated varieties of the quantized Drinfeld-Sokolov reductions H^0_f(L_k(g)) are determined by intersecting the predicted sheet with Slodowy slices.","The two-sided cell c(w_m) in the affine Weyl group corresponds under Lusztig's bijection to O(m), so the same integer m organizes cells, orbits, and vertex algebra varieties.","Lusztig's bijection restricted to orbits O(m) can be computed by the explicit recipe O(m) -> ξ_m -> c(w_m), mirroring the classical Barbasch-Vogan construction."],"supporting_citations":[{"why":"Proves Theorem 2.1.6: the union over orbits with cl_n≤m is the closure of a unique maximal orbit O(m).","marker":"[Geo04]"},{"why":"Origin of the cyclotomic level via highest h-weights and the Kazhdan-Lusztig map; supplies the distinguished-orbit case of the compatibility.","marker":"[KL88]"},{"why":"Identifies the minimal reduction type map with Lusztig's map and gives the commutative diagram used to prove Theorem 3.3.5.","marker":"[Yun25]"},{"why":"Constructs the maps Φ and Ψ between Weyl group classes and nilpotent orbits that underlie the compatibility and Section 4.","marker":"[Lus11a]"},{"why":"Establishes the associated-variety framework for affine vertex algebras and computes admissible-level cases that the conjecture extends.","marker":"[Ara15]"},{"why":"Computes families of associated varieties used as the main new evidence in Table 3.","marker":"[AFK24]"},{"why":"Proves the subregular-level equality X_{L_k}=O_min in types D and E, verifying the conjecture for those levels.","marker":"[AM18a]"},{"why":"Shows the vacuum module is irreducible at k=1-h^vee, verifying the m=1 case of the conjecture.","marker":"[GK07]"}],"fun_headline_variants":["Cyclotomic maps match orbits and Weyl classes","New invariants tie nilpotent orbits to vertex algebras","Vertex algebra varieties predicted by cyclotomic level","Two maps, one prediction for affine vertex algebras","Cyclotomic level conjecture for simple vertex algebras"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction depends on the type-by-type lemma that the largest h-eigenvalue on the whole Lie algebra exceeds that on a Bala-Carter Levi by at most one; in the exceptional types that lemma is verified by computer, not by a written proof.","fun_headline_variants_meta":{"raw":{"variants":["Cyclotomic maps match orbits and Weyl classes","New invariants tie nilpotent orbits to vertex algebras","Vertex algebra varieties predicted by cyclotomic level","Two maps, one prediction for affine vertex algebras","Cyclotomic level conjecture for simple vertex algebras"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000195,"raw_usage":{"total_tokens":1347,"prompt_tokens":924,"completion_tokens":423,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":540,"completion_tokens_details":{"reasoning_tokens":357}},"tokens_in":540,"tokens_out":423,"duration_ms":4842,"temperature":1.0,"reasoning_tokens":357,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:00:05.796330+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For g=E6 at k=-5 (so m=7), compute the associated variety of L_k(E6) directly from Zhu's C2-algebra and compare it with the sheet S(l,dO_L) that Conjecture 2.4.1 attaches to O(7)=E6(a3). This level is not among the previously computed cases in Table 2, so any mismatch would be a decisive counterexample.","supporting_citations":[],"review_version":1}