Associated varieties of simple affine vertex algebras at rational levels

Peng Shan; Qixian Zhao; WenBin Yan

REVIEW 2 major objections 5 minor 1 cited by

For simply-laced Lie algebras, the associated variety of a simple affine vertex algebra at any rational level above critical is conjectured to be the closure of a generalized sheet, with dense nilpotent orbit given by the covering dual of a

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 11:59 UTC pith:IAVMNC36

load-bearing objection A well-posed rational-level conjecture, but the advertised nilpotent-orbit prediction leans on an unproved external compatibility; worth refereeing, with the reliance made explicit. the 2 major comments →

arxiv 2606.08990 v2 pith:IAVMNC36 submitted 2026-06-08 math.RT

Associated varieties of simple affine vertex algebras at rational levels

Peng Shan , Wenbin Yan , Qixian Zhao This is my paper

classification math.RT MSC 17B6917B0817B67

keywords associated varietyaffine vertex algebrarational levelcovering dualitynilpotent orbitgeneralized sheetquasi-lissesimply-laced

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proposes a complete geometric description of the associated variety of a simple affine vertex algebra at any rational level above the critical level, for simply-laced Lie algebras. It claims that this variety is always the closure of a generalized sheet built from an orbit in the metaplectic dual Lie algebra via the covering duality map. If true, the dense nilpotent orbit becomes explicitly computable, and quasi-lisse-ness depends only on the numerator of the shifted level. The paper supports the conjecture by matching known cases and by checking dimensions and singularities through collapsing W-algebra levels across types A, D, and E.

Core claim

The central claim, Conjecture 3.1.1, states that for g simply-laced and k with k + h∨ = m/u in lowest terms, the associated variety X_{L_k(g)} equals the closure of the generalized sheet S(l, d_L^{(u)} O_{L^{(u)}}), where d^{(u)} is the covering duality map from nilpotent orbits of the metaplectic dual g^{(u)} to those of g, and O(m)^{(u)} is the orbit attached to m. The asserted corollary is that the intersection X_{L_k} ∩ N is exactly d^{(u)} O(m)^{(u)}; consequently L_k is quasi-lisse if and only if that orbit is distinguished, a condition that depends only on m and not on the denominator u. The paper verifies this against known results for admissible levels, sl_3, sl_4 at k = -5/2, so_8

What carries the argument

The covering duality map d^{(u)} sends nilpotent orbits of the metaplectic dual Lie algebra g^{(u)} (isomorphic to g for simply-laced types) to nilpotent orbits of g, recovering classical Barbasch–Vogan duality when u = 1. The conjecture combines this map with a generalized sheet: the closure of the union of G-orbits through elements of the form z(l) + O_L + n, where (l, O_L) is the Bala–Carter pair of the dual orbit. This sheet closure is the proposed geometric object realizing X_{L_k}.

Load-bearing premise

The corollary identifying the dense nilpotent orbit relies on a theorem, cited from an unreviewed preprint, that covering duality commutes with the induction used to build the orbit; the paper itself flags this as delicate in type D for even denominators.

What would settle it

Choose a type D rational level with even denominator u (the case flagged as delicate), compute X_{L_k} ∩ N via a known W-algebra slice or C2-algebra computation, and compare it with d^{(u)} O(m)^{(u)}. A mismatch would refute the conjecture; a match would support it. A direct check of the cited compatibility theorem d^{(u)}(Sat ... ) = Ind ... in that setting would also settle the corollary.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

For every simply-laced g and rational k, X_{L_k} would be the closure of a generalized sheet, giving a closed dimension formula in terms of the center of the relevant Levi and the induced orbit.
The dense nilpotent orbit in X_{L_k} would be exactly d^{(u)} O(m)^{(u)}, making the nilpotent part of the associated variety explicitly computable from the pair (m,u).
L_k would be quasi-lisse if and only if O(m)^{(u)} is distinguished; this condition would depend only on the numerator m, not on the denominator u.
At admissible levels (m ≥ h∨), the conjecture would recover the known formula X_{L_k} = O(u).
W-algebra reductions at collapsing levels would yield matching dimensions and singularities, as confirmed in many types A, D, E cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The conjecture reduces classification of these associated varieties to an algorithm: compute the cyclotomic orbit O(m) in the metaplectic dual, take its Bala–Carter Levi, apply covering duality, and form the sheet; this is mechanical enough to automate for all simply-laced types.
The same covering duality appears in conjectures about geometric wavefront sets of genuine p-adic representations, so a proof on the vertex-algebra side would mirror and strengthen the local-side picture.
The m-only dependence of quasi-lisse-ness is a sharp prediction for physics: families of 4D SCFTs with fixed m but different denominators should share lisse-ness, which could be checked through modularity or Higgs-branch computations.
If the compatibility between covering duality and induction fails in type D with even u, the main sheet identity could still hold while the nilpotent-intersection corollary breaks; determining which of the two statements fails would expose the missing ingredient.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

A well-posed rational-level conjecture, but the advertised nilpotent-orbit prediction leans on an unproved external compatibility; worth refereeing, with the reliance made explicit.

read the letter

Here's my read. The new thing is a precise conjecture for X_{L_k(g)} at rational levels above critical in simply-laced types, using the metaplectic dual and the covering duality map d^(u). That is a real step beyond the authors' integer-level conjecture and Arakawa's admissible-level theorem. The statement is well-posed and parameter-free, and the small cases it recovers (A2, A3, D4, E6) are nontrivial. Proposition 3.2.2, proving d^(u)(O_reg) = O(u), is a solid piece of work and worth having on its own.

The paper is honest about its status: the main claim is labeled a conjecture, and Section 3.4 is explicit that most of the W-algebra checks are conditional on it. So the reader's 'conditional' verdict is right.

Two soft spots, in order of importance. First, Corollary 3.1.2(1) — the falsifiable prediction that X_{L_k} ∩ N equals d^(u)(O(m)^(u)) — depends on the compatibility d^(u) Sat = Ind d_L^(u) cited from [GLLS26, Theorem 1.1(ii)]. That is an unreviewed preprint, and Remark 2.3.3 admits a type-D Spin/SO discrepancy for even u. If that compatibility fails anywhere, the corollary fails even if the sheet formula stands. The authors should prove it or check it directly in the cases they use. Second, the Section 3.4 evidence is largely consistency: Claims 3.4.4–3.4.9 assume the conjecture to get the very dimensions and singularity types that are then cited as support. That doesn't make the evidence worthless, but the paper should not present it as independent confirmation. The Kac–Wakimoto dependence is also worth flagging in a remark.

None of this is fatal to the main conjecture — it is a conjecture, and the supporting data match what little is known. But the corollary is advertised as a concrete prediction, and its load-bearing input should not be an unproved citation.

This paper deserves a serious referee. The conjecture is likely to shape work on quasi-lisse VOAs and 4d/VOA correspondences. I'd send it to review with a request that the authors either prove or directly verify the [GLLS26] compatibility in the needed cases, and that they mark Section 3.4 as consistency checks rather than independent evidence.

Referee Report

2 major / 5 minor

Summary. The paper proposes a conjecture (Conjecture 3.1.1) for the associated variety X_{L_k(\mathfrak{g})} of the simple affine vertex algebra at rational level k for simply-laced \mathfrak{g}: writing k+h^\vee = m/u in lowest terms, it predicts X_{L_k(\mathfrak{g})} = \overline{S(\mathfrak{l}, d_L^{(u)} O_{\mathfrak{L}^{(u)}})}, where d^{(u)} is the covering duality map of Gao–Liu–Lo–Shahidi and S denotes the closure of a generalized sheet. The main advertised corollary is the nilpotent-cone intersection X_{L_k(\mathfrak{g})}\cap N = d^{(u)}\overline{O(m)^{(u)}}, with quasi-lisse-ness depending only on m. The paper proves that d^{(u)} sends the regular orbit to the cyclotomic-level orbit O(u), verifies several low-rank and admissible-level cases from the literature, and uses collapsing W-algebras to assemble a large body of consistency checks in types A, D, and E.

Significance. If correct, the conjecture is a substantial step: it gives a uniform geometric description of associated varieties for rational non-admissible levels, generalizes the integral-level conjecture of [SYZ25], and connects to the metaplectic dual picture from p-adic representation theory. The concrete orbit-level prediction X_{L_k}\cap N = d^{(u)}\overline{O(m)^{(u)}} is explicit and falsifiable, and the paper correctly identifies the resulting quasi-lisse criterion. The proof of Proposition 3.2.2 is a useful and seemingly correct computation. The evidence, however, is partly conditional: several displayed claims in Section 3.4 explicitly assume the conjecture, so they serve as internal-consistency checks rather than independent confirmations, and the main corollary rests on an unproved compatibility theorem from an unreviewed preprint.

major comments (2)

[§3.1, Corollary 3.1.2(1) and its proof] The equality X_{L_k}\cap N = d^{(u)}\overline{O(m)^{(u)}} is not derived solely from the sheet formula; the proof uses [GLLS26, Theorem 1.1(ii)] in the form d^{(u)}\mathrm{Sat}_{\mathfrak{L}^{(u)}} = \mathrm{Ind}_{\mathfrak{l}}^{\mathfrak{g}} d_{\mathfrak{l}}^{(u)}. [GLLS26] is an unreviewed preprint, and Remark 2.3.3 explicitly warns that its type-D formulas are written for SO rather than Spin, with d^{(u/2)} replacing d^{(u)} in even-u cases. Thus the compatibility is not established in the setting of this paper (simply-connected G, arbitrary u). If that compatibility fails, the nilpotent intersection would be \mathrm{Ind}_{\mathfrak{l}}^{\mathfrak{g}} d_{\mathfrak{l}}^{(u)} O_{\mathfrak{l}^{(u)}} even when the sheet formula in Conjecture 3.1.1 holds. Please either prove the needed compatibility, state Corollary 3.1.2(1) explicitly as conditional on [GLLS26, Theorem 1.1(ii)], and verif
[§3.4, Claims 3.4.4, 3.4.5, 3.4.8, 3.4.9 and Tables 1–3] The section is presented as evidence, but the claims listed above all begin with 'Assume Conjecture 3.1.1 holds.' Moreover, in Tables 1–3 the right-hand side for X_{L_k}\cap N and the dimensions (d,r) are computed from the conjectural orbit in column 4, so the equalities d-\dim O_f = d_6 and r=r_6 compare the conjecture against itself rather than against independent knowledge. These checks are meaningful internal-consistency tests, but they are not independent confirmations. The paper should state this distinction explicitly and should not let the phrase 'This is true in all cases listed' in §3.4.10 be read as external support. Please reframe the section accordingly.

minor comments (5)

[§1] The text contains the typo 'Kazhdan-Luszig' in the introduction; it should be 'Kazhdan-Lusztig'.
[§2.4] In the paragraph following Definition 2.4.1, the closure sign is missing: the displayed formula should read \overline{S(\mathfrak{l},O_{\mathfrak{l}})} = \overline{JG(\mathfrak{l},O_{\mathfrak{l}})} = \overline{\mathrm{Ad}G\cdot(z(\mathfrak{l})+O_{\mathfrak{l}}+\mathfrak{u})}. As written, the equality could be confused with the open sheet itself.
[§3.2.5] In the D_4 case, the text says 'If u\geq 5 is odd'; since gcd(4,u)=1, u is automatically odd, so this should be phrased as 'If u\geq 5 is odd (equivalently, u is an odd integer greater than 3)'.
[§3.4.6] The parity tables are hard to read. In particular, the first table for q odd lacks a caption explaining that the columns list the partitions of the dense orbits; please add labels and a sentence explaining the convention for partitions with trailing 1's in type D.
[References] [GLLS26] is cited as a 2026 preprint. Once its final status is known, update the reference and, if appropriate, the type-D caveat in Remark 2.3.3.

Circularity Check

1 steps flagged

Core conjecture is not definitionally circular, but the §3.4 evidence assumes the conjecture to compute the left-hand sides, then presents the matching equalities as support.

specific steps

other [§3.4.2, Claims 3.4.4–3.4.9 and Tables 1–3]
"We then verify the equalities on the dimensions of associated varieties resulting from (3.3.3a-3.3.3b) assuming our conjecture on X_{L_k(g)}."

The left-hand quantities X_{L_k(g)}∩N and X_{L_k(g)}∩S_f are not independently known in these checks; they are computed by substituting Conjecture 3.1.1 into Lemma 2.4.4 and the [GLLS26] compatibility d^(u)∘Sat = Ind∘d_L^(u). The equality with the collapsing-W-algebra right-hand side therefore holds only under the very conjecture being tested. These checks verify internal consistency, but they cannot confirm the conjecture, because the conjectural orbit is an input to the left-hand side rather than an independently predicted output.

full rationale

The main claim is explicitly a conjecture, not a derivation, so it cannot be said to reduce to its inputs by definition. The orbit O(m)^(u), the sheet S(l,d_L^(u)O_L^(u)), and the associated variety X_{L_k(g)} are distinct objects, and the conjecture is not a restatement of known results. The self-citation to [SYZ25] supplies auxiliary ingredients (the cyclotomic level map, the orbit O(m), and the integral-level conjecture), but these are data used to state the conjecture rather than a chain forcing the new rational-level formula. The load-bearing compatibility from [GLLS26, Theorem 1.1(ii)] is external, not a self-citation, and Remark 2.3.3's warning about type-D even u is a correctness risk rather than circularity. However, the paper's own evidence section is circular in a narrower sense: Claims 3.4.4, 3.4.5, 3.4.8, and 3.4.9 explicitly assume Conjecture 3.1.1, and the tables compute the conjectural dense orbit 'based on our conjecture.' The subsequent agreement with W-algebra collapsing levels and singularity computations is therefore a consistency check conditional on the conjecture, not independent confirmation. This inflates the apparent support but does not make the central conjecture itself definitionally circular. Score 4 reflects this partial circularity in the evidence chain while recognizing that the central conjecture retains independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No fitted constants; the conjecture is parameter-free. It depends on prior structural results (cyclotomic map, covering duality compatibility) and on the unproved Kac-Wakimoto conjecture for the W-algebra evidence, as listed above. No new entities such as particles or forces are introduced.

axioms (5)

domain assumption Cyclotomic level map cl_n satisfies cl^{-1}([1,m]) = O(m) for a unique orbit O(m).
Relied on in Section 2.2 and in the definition of O(m); taken from [SYZ25, Theorem 2.1.6], the authors' own prior preprint.
domain assumption Covering duality map d^{(u)} satisfies compatibility with saturation: d^{(u)} Sat_{G^(u)}^{L^(u)} = Ind_G^L d_L^{(u)}.
Used in Section 3.1 in the proof of Corollary 3.1.2(1); cited from [GLLS26, Theorem 1.1(ii)], an unreviewed preprint.
domain assumption Kac-Wakimoto conjecture: H^0_f(L_k(g)) = W_k(g,f) when O_f is contained in X_{L_k(g)}.
Assumed in Sections 3.3.1 and 3.4 to derive the dimension equalities (3.3.3a)-(3.3.3b); unproved.
standard math Springer correspondence and Joseph's theorem on associated varieties of primitive ideals.
Used in Proposition 3.2.2 to identify O(u) and d^{(u)} O_reg with the same Springer representation; standard background.
standard math Barbasch-Vogan-Lusztig-Spaltenstein duality maps and their properties.
Used throughout for the u=1 base case; standard in primitive ideal theory.

pith-pipeline@v1.3.0-alltime-deepseek · 20368 in / 17735 out tokens · 167540 ms · 2026-08-02T11:59:53.247078+00:00 · methodology

0 comments

read the original abstract

We present a conjecture for associated varieties of simple affine vertex algebras $L_k(\mathfrak{g})$ attached to a simple Lie algebra $\mathfrak{g}$ of simply-laced type and any rational level $k$ greater than the critical level. The key new ingredient compared to the integral case is the covering duality map introduced by Gao-Liu-Lo-Shahidi. We provide evidence for the conjecture.

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Completing the Arakawa--Moreau Conjecture on Maximal Ideals of Affine Vertex Algebras
math.QA 2026-07 accept novelty 7.0

All open cases of the Arakawa–Moreau maximal-ideal conjecture are proved: the prescribed singular vectors generate the maximal ideals at level -1 for D_l and at negative levels n>0 for D4, E6, E7, E8.

Reference graph

Works this paper leans on

10 extracted references · 5 linked inside Pith · cited by 1 Pith paper

[4]

On the notion of metaplectic Barbasch-Vogan duality

arXiv:2509.24346 [math.RT]. [BMSZ23] D. Barbasch, J.-J. Ma, B. Sun, and C.-B. Zhu. “On the notion of metaplectic Barbasch-Vogan duality”. In:Int. Math. Res. Not. IMRN20 (2023), pp. 17822–17852.doi:10 . 1093 / imrn / rnad097. [BV85] D.BarbaschandD.A.VoganJr.“Unipotentrepresentationsofcomplexsemisimplegroups”. In:Ann. of Math. (2)121.1 (1985), pp. 41–110.do...

arXiv 2023
[7]

VarietiesofnilpotentelementsforsimpleLiealgebras. I. Good primes

arXiv:2511.14750 [math.RT]. [Geo04] U.ofGeorgiaVIGREAlgebraGroup.“VarietiesofnilpotentelementsforsimpleLiealgebras. I. Good primes”. In:J. Algebra280.2 (2004). The University of Georgia VIGRE Algebra Group: David J. Benson, Phil Bergonio, Brian D. Boe, Leonard Chastkofsky, Bobbe Cooper, G. Michael Guy, Jo Jang Hyun, Jerome Jungster, Graham Matthews, Nadia...

arXiv 2004
[10]

Epipelagic representations and rigid local systems

arXiv:2507.09254 [math.RT]. [TY05] P. Tauvel and R. W. T. Yu.Lie algebras and algebraic groups. Springer Monographs in Mathe- matics. Springer-Verlag, Berlin, 2005, pp. xvi+653. [Yun16] Z. Yun. “Epipelagic representations and rigid local systems”. In:Sel. Math. New Ser.22 (3 2016), pp. 1195–1243.doi:10.1007/s00029-015-0204-z. [Zhu90] Y. Zhu.Vertex operato...

Pith/arXiv arXiv 2005
[30]

Sheets and associated varieties of affine vertex algebras

[AFK24] T. Arakawa, V. Futorny, and L. Krizka.Generalized Grothendieck’s simultaneous resolution and associatedvarietiesofsimpleaffinevertexalgebras.Apr.2024.doi:10.48550/arXiv.2404.02365. arXiv:2404.02365 [math.RT]. [AM17] T. Arakawa and A. Moreau. “Sheets and associated varieties of affine vertex algebras”. In: Adv. Math.320 (2017), pp. 157–209.doi:10.1...

Pith/arXiv arXiv doi:10.48550/arxiv.2404.02365 2024
[88]

Vertex operator algebras associated to representations of affine andVirasoroalgebras

Mathe- matical Surveys and Monographs. American Mathematical Society, Providence, RI, 2004, pp. xiv+400.doi:10.1090/surv/088. [FZ92] I. B. Frenkel and Y. Zhu. “Vertex operator algebras associated to representations of affine andVirasoroalgebras”.In:DukeMathematicalJournal66.1(1992),pp.123–168.doi:10.1215/ S0012-7094-92-06604-X. 14 REFERENCES [FJLS17] B.Fu...

doi:10.1090/surv/088 2004
[107]

Cells in affine Weyl groups. IV

Annals of Mathemat- ics Studies. Princeton University Press, Princeton, NJ, 1984, pp. xxi+384.doi:10 . 1515 / 9781400881772. [Lus89] G. Lusztig. “Cells in affine Weyl groups. IV”. In:J. Fac. Sci. Univ. Tokyo Sect. IA Math.36.2 (1989), pp. 297–328. [SYZ25] P.Shan,W.Yan,andQ.Zhao.Cyclotomiclevelmapsandassociatedvarietiesofsimpleaffinevertex algebras

1984
[2022]

Quantization of the Drinfeld-Sokolov reduction

[FF90] B. Feigin and E. Frenkel. “Quantization of the Drinfeld-Sokolov reduction”. In:Phys. Lett. B 246 (1990), pp. 75–81.doi:10.1016/0370-2693(90)91310-8. [FL10] M. Finkelberg and S. Lysenko. “Twisted geometric Satake equivalence”. In:J. Inst. Math. Jussieu9.4 (2010), pp. 719–739.doi:10.1017/S1474748010000034. [FB04] E. Frenkel and D. Ben-Zvi.Vertex alge...

doi:10.1016/0370-2693(90)91310-8 1990
[2024]

MinimalsingularitiesinGL n

arXiv:2411.02073 [math.RT]. [KP81] H.KraftandC.Procesi.“MinimalsingularitiesinGL n”.In:Invent.Math.62.3(1981),pp.503– 515.doi:10.1007/BF01394257. [KP82] H. Kraft and C. Procesi. “On the geometry of conjugacy classes in classical groups”. In: Comment. Math. Helv.57.4 (1982), pp. 539–602.doi:10.1007/BF02565876. [Li05] H. Li. “Abelianizing vertex algebras”. ...

Pith/arXiv arXiv 1981
[2025]

[AV26] D

arXiv:2508.18889 [math.QA]. [AV26] D. Adamović and I. Vukorepa.A new quasi-lisse affine vertex algebra of typeD

Pith/arXiv arXiv
[2026]

AssociatedvarietiesofmodulesoverKac-MoodyalgebrasandC 2-cofiniteness ofW-algebras

arXiv: 2504.13783 [math.QA]. REFERENCES 13 [Ara15] T.Arakawa.“AssociatedvarietiesofmodulesoverKac-MoodyalgebrasandC 2-cofiniteness ofW-algebras”. In:Int. Math. Res. Not. IMRN22 (2015), pp. 11605–11666.doi:10 . 1093 / imrn/rnu277. [Ara17] T. Arakawa.Introduction to W-algebras and their representation theory. 2017.doi:10.48550/ arxiv.1605.00138. arXiv:1605....

Pith/arXiv arXiv 2015

[1] [4]

On the notion of metaplectic Barbasch-Vogan duality

arXiv:2509.24346 [math.RT]. [BMSZ23] D. Barbasch, J.-J. Ma, B. Sun, and C.-B. Zhu. “On the notion of metaplectic Barbasch-Vogan duality”. In:Int. Math. Res. Not. IMRN20 (2023), pp. 17822–17852.doi:10 . 1093 / imrn / rnad097. [BV85] D.BarbaschandD.A.VoganJr.“Unipotentrepresentationsofcomplexsemisimplegroups”. In:Ann. of Math. (2)121.1 (1985), pp. 41–110.do...

arXiv 2023

[2] [7]

VarietiesofnilpotentelementsforsimpleLiealgebras. I. Good primes

arXiv:2511.14750 [math.RT]. [Geo04] U.ofGeorgiaVIGREAlgebraGroup.“VarietiesofnilpotentelementsforsimpleLiealgebras. I. Good primes”. In:J. Algebra280.2 (2004). The University of Georgia VIGRE Algebra Group: David J. Benson, Phil Bergonio, Brian D. Boe, Leonard Chastkofsky, Bobbe Cooper, G. Michael Guy, Jo Jang Hyun, Jerome Jungster, Graham Matthews, Nadia...

arXiv 2004

[3] [10]

Epipelagic representations and rigid local systems

arXiv:2507.09254 [math.RT]. [TY05] P. Tauvel and R. W. T. Yu.Lie algebras and algebraic groups. Springer Monographs in Mathe- matics. Springer-Verlag, Berlin, 2005, pp. xvi+653. [Yun16] Z. Yun. “Epipelagic representations and rigid local systems”. In:Sel. Math. New Ser.22 (3 2016), pp. 1195–1243.doi:10.1007/s00029-015-0204-z. [Zhu90] Y. Zhu.Vertex operato...

Pith/arXiv arXiv 2005

[4] [30]

Sheets and associated varieties of affine vertex algebras

[AFK24] T. Arakawa, V. Futorny, and L. Krizka.Generalized Grothendieck’s simultaneous resolution and associatedvarietiesofsimpleaffinevertexalgebras.Apr.2024.doi:10.48550/arXiv.2404.02365. arXiv:2404.02365 [math.RT]. [AM17] T. Arakawa and A. Moreau. “Sheets and associated varieties of affine vertex algebras”. In: Adv. Math.320 (2017), pp. 157–209.doi:10.1...

Pith/arXiv arXiv doi:10.48550/arxiv.2404.02365 2024

[5] [88]

Vertex operator algebras associated to representations of affine andVirasoroalgebras

Mathe- matical Surveys and Monographs. American Mathematical Society, Providence, RI, 2004, pp. xiv+400.doi:10.1090/surv/088. [FZ92] I. B. Frenkel and Y. Zhu. “Vertex operator algebras associated to representations of affine andVirasoroalgebras”.In:DukeMathematicalJournal66.1(1992),pp.123–168.doi:10.1215/ S0012-7094-92-06604-X. 14 REFERENCES [FJLS17] B.Fu...

doi:10.1090/surv/088 2004

[6] [107]

Cells in affine Weyl groups. IV

Annals of Mathemat- ics Studies. Princeton University Press, Princeton, NJ, 1984, pp. xxi+384.doi:10 . 1515 / 9781400881772. [Lus89] G. Lusztig. “Cells in affine Weyl groups. IV”. In:J. Fac. Sci. Univ. Tokyo Sect. IA Math.36.2 (1989), pp. 297–328. [SYZ25] P.Shan,W.Yan,andQ.Zhao.Cyclotomiclevelmapsandassociatedvarietiesofsimpleaffinevertex algebras

1984

[7] [2022]

Quantization of the Drinfeld-Sokolov reduction

[FF90] B. Feigin and E. Frenkel. “Quantization of the Drinfeld-Sokolov reduction”. In:Phys. Lett. B 246 (1990), pp. 75–81.doi:10.1016/0370-2693(90)91310-8. [FL10] M. Finkelberg and S. Lysenko. “Twisted geometric Satake equivalence”. In:J. Inst. Math. Jussieu9.4 (2010), pp. 719–739.doi:10.1017/S1474748010000034. [FB04] E. Frenkel and D. Ben-Zvi.Vertex alge...

doi:10.1016/0370-2693(90)91310-8 1990

[8] [2024]

MinimalsingularitiesinGL n

arXiv:2411.02073 [math.RT]. [KP81] H.KraftandC.Procesi.“MinimalsingularitiesinGL n”.In:Invent.Math.62.3(1981),pp.503– 515.doi:10.1007/BF01394257. [KP82] H. Kraft and C. Procesi. “On the geometry of conjugacy classes in classical groups”. In: Comment. Math. Helv.57.4 (1982), pp. 539–602.doi:10.1007/BF02565876. [Li05] H. Li. “Abelianizing vertex algebras”. ...

Pith/arXiv arXiv 1981

[9] [2025]

[AV26] D

arXiv:2508.18889 [math.QA]. [AV26] D. Adamović and I. Vukorepa.A new quasi-lisse affine vertex algebra of typeD

Pith/arXiv arXiv

[10] [2026]

AssociatedvarietiesofmodulesoverKac-MoodyalgebrasandC 2-cofiniteness ofW-algebras

arXiv: 2504.13783 [math.QA]. REFERENCES 13 [Ara15] T.Arakawa.“AssociatedvarietiesofmodulesoverKac-MoodyalgebrasandC 2-cofiniteness ofW-algebras”. In:Int. Math. Res. Not. IMRN22 (2015), pp. 11605–11666.doi:10 . 1093 / imrn/rnu277. [Ara17] T. Arakawa.Introduction to W-algebras and their representation theory. 2017.doi:10.48550/ arxiv.1605.00138. arXiv:1605....

Pith/arXiv arXiv 2015