Affine vertex algebras and an affine analog of Barbasch-Vogan's construction

Peng Shan; Qixian Zhao; WenBin Yan

REVIEW 3 major objections 4 minor 1 cited by

Affine vertex algebras and an affine analog of Barbasch-Vogan's construction

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read The paper conjectures that for every integer level in simply-laced type, the associated variety and simple modules of $L_k(\mathfrak g)$ are governed by a single nilpotent orbit and a single left cell.

desk verdict Honest expository map of a conjectural program; the new Conjecture 5.2.1 and the affine diagram are worth having, but the load-bearing cell-orbit theorem is quoted from prior work and still lacks an independent check in exceptional types. read the letter →

arxiv 2608.00428 v1 pith:KBWR7CKE submitted 2026-08-01 math.RT

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

classification math.RT MSC 17B6917B6720C08

keywords affinevertexalgebrasassociatedvarietiesKazhdan-LusztigcellsnilpotentorbitsBarbasch-Vogandualitycyclotomiclevelmapquasi-lissesimplemodules

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This expository paper proposes a uniform description of simple affine vertex algebras $L_k(\mathfrak g)$ for a simple simply-laced Lie algebra $\mathfrak g$ and integer level $k$ above the critical level. Writing $k+\check h=m\ge 1$, the authors conjecture that the associated variety of $L_k(\mathfrak g)$ equals $\operatorname{Ad}G\cdot(d_L O_{\check L}\times \mathfrak z(\mathfrak l)\times \mathfrak u)$, where $\check O(m)$ is the unique nilpotent orbit attached to $m$ by their cyclotomic level map, and that when $\check O(m)$ is distinguished the Grothendieck group of the block $O_{\xi_m-\hat\rho}(L_k(\mathfrak g))$ is isomorphic to the affine Kazhdan-Lusztig left cell module $H^{\mathrm{aff}}_{c_L(w_m)}$ at $q=1$. This is meant as an affine analog of the classical Barbasch-Vogan picture for primitive ideals, with $L_k(\mathfrak g)$ playing the role of the quotient $U(\mathfrak g)/J_{\lambda,\max}$. If correct, the two conjectures give one framework governing both the Poisson geometry and the simple module category for all integer levels in simply-laced types, and they pin down exactly when $L_k(\mathfrak g)$ is quasi-lisse.

What carries the argument

The carrying object is the cyclotomic level map $\mathrm{cl}_n:\mathcal N\to\mathbb Z_{\ge 1}$, sending a nilpotent element $e$ to $\min\{m\in\mathbb Z_{\ge1}\mid(\operatorname{ad}e)^{2m}=0\}$. It selects, for each $m$, a unique nilpotent orbit $O(m)$ whose closure is $\mathrm{cl}_n^{-1}([1,m])$. The companion object is the affine Weyl group element $w_m$, defined as the longest element of the stabilizer of the dominant translate $\xi_m$ of $m\Lambda_0+\rho$ under the affine action. Theorem 4.2.2 is the bridge: under Lusztig's bijection between nilpotent orbits of the dual group and two-sided cells of the affine Weyl group, the orbit $\check O(m)$ corresponds exactly to the two-sided cell $\mathbf c(w_m)$. The conjectures then attach to $L_k(\mathfrak g)$ the orbit data $d_L O_{\check L}$, $\mathfrak z(\mathfrak l)$, $\mathfrak u$, and the left cell $c_L(w_m)$.

What would settle it

Compute $X_{L_k(\mathfrak g)}$ for a simply-laced type not in the paper's tables, for example type $E_6$ at $m=3$ ($k=-9$), and compare with $\operatorname{Ad}G\cdot(d_L O_{\check L}\times\mathfrak z(\mathfrak l)\times\mathfrak u)$; any discrepancy falsifies Conjecture 5.1.1. Independently, list $\mathrm{cl}_n$ on all nilpotent orbits of $E_8$ and check the equality $\check O(m)=\mathbf c(w_m)$ through Lusztig's cell bijection; one mismatch would invalidate Theorem 4.2.2 and with it both conjectures.

Watch

Extended reading notes

Core claim

The central claim is that the simple affine vertex algebra $L_k(\mathfrak g)$ at an integer level $k$ with $m=k+\check h\ge 1$ should be understood as the affine counterpart of the maximal primitive ideal quotient $U(\mathfrak g)/J_{\lambda,\max}$. Conjecture 5.1.1 asserts an exact formula for the associated variety: $X_{L_k(\mathfrak g)}=\operatorname{Ad}G\cdot(d_L O_{\check L}\times \mathfrak z(\mathfrak l)\times \mathfrak u)$, where $\check O(m)=\operatorname{Sat}_{\check G}^{\check L} O_{\check L}$ is the unique orbit with cyclotomic level $m$, $d_L$ is Barbasch-Vogan duality for the Levi, $\mathfrak z(\mathfrak l)$ is the center of the Bala-Carter Levi, and $\mathfrak u$ is the nilpotent radical of a matching parabolic. Conjecture 5.2.1 asserts that when $\check O(m)$ is distinguished, the block of category $\mathcal O$ for $L_k(\mathfrak g)$ has Grothendieck group $H^{\mathrm{aff}}_{c_L(w_m)}|_{q=1}$, with the irreducible objects bijecting with the left cell $c_L(w_m)$ of the affine Weyl group element $w_m$. The paper also states that a future work will add the matching affine Springer fiber side of the picture.

Load-bearing premise

The argument stands on a case-by-case match between the nilpotent orbit assigned to the level $m$ and the affine Weyl group cell assigned to the same $m$, plus the belief that the non-nilpotent part of the associated variety is exactly the center of the smallest Levi subalgebra containing the orbit; if either identification fails, the two conjectures fall.

Editorial extensions

If this is right

If Conjecture 5.1.1 holds, $L_k(\mathfrak g)$ is quasi-lisse exactly when $\check O(m)$ is distinguished, because the semisimple factor $\mathfrak z(\mathfrak l)$ vanishes precisely in that case.
The nilpotent part of the predicted associated variety is Lusztig-Spaltenstein induction $\mathrm{Ind}_L^G d_L O_{\check L}=d\check O(m)$, so the entire geometry is controlled by the single orbit $O(m)$ and its Levi.
Conjecture 5.2.1 gives an explicit finite list of simple modules in the block: one for each element of the left cell $c_L(w_m)$, with the Grothendieck group identified with the affine dual left cell module at $q=1$.
The conjectures complete the affine analog of the classical diagram (2.5.1), adding an affine Springer fiber whose top cohomology should carry the right cell module (5.3.1).
All checked cases in types $A_5$ and $D_4$ agree with the conjectures, including previously known results for the vacuum and quasi-lisse levels.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The cyclotomic level map is defined uniformly by a nilpotency index, so one could test Conjecture 5.1.1 by direct computation in types $E_6,E_7,E_8$, where the paper's tables do not go; a mismatch would show the z(l)-term or the orbit assignment is not the right invariant.
Because the left cell $c_L(w_m)$ is explicitly described in simply-laced affine Weyl groups, Conjecture 5.2.1 predicts exact character formulas for the new simple modules, which could be checked by computing Zhu algebra modules in a type not yet examined.
If the $\mathfrak z(\mathfrak l)\times\mathfrak u$ term is correct, the semisimple part of the associated variety depends only on the orbit $O(m)$, implying that $X_{L_k(\mathfrak g)}$ is constant across levels sharing the same $O(m)$; this constancy is an implicit testable consequence.
The framework suggests a broader Langlands-style dictionary between nilpotent orbits in the dual group and representations of affine vertex algebras at rational levels, with the integer-level conjectures forming the first uniform case.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Dear X, quick take on 2608.00428. It's an honest expository paper about a pair of conjectures, not a new proof. The piece is worth reading for the synthesis: the classical Barbasch-Vogan picture in §2 is very clearly assembled, and the affine diagram (5.3.1) is a useful way to see the program. The genuinely new item is Conjecture 5.2.1 (simple modules via affine left cells), with details deferred to a future paper. It fits naturally with the known example due to Perše.

What the paper does well: it states the load-bearing objects cleanly — cyclotomic level map, orbits O(m), cell bridge — and is candid throughout about what is proved versus conjectured. Conjecture 5.1.1 on associated varieties is concrete, and the examples in A5 and D4 match the cited literature. I also appreciate that no free parameters or fitted data appear; circularity risk is low.

The soft spots are real but proportionate. The entire package rests on Theorem 4.2.2, quoted from [SYZ25], whose proof is case-by-case and not reproduced. Both conjectures inherit that bridge. If the cell-orbit correspondence fails in some simply-laced type, both conjectures fail. So I would like to see an independent check in an exceptional type, or at least a detailed account of the verification. A second heuristic is the z(l) x u term in 5.1.1, coming from [AFK24]; it only affects non-distinguished levels, while 5.2.1 deals with distinguished ones, so the two conjectures have different exposure. The presentation itself is careful and I found no internal inconsistency.

Who this is for: specialists in affine vertex algebras, W-algebras, and Kazhdan-Lusztig theory who want a map of this program. It is not a self-contained proof source.

Recommendation: I would send it to peer review. A serious referee is warranted; the comments should push for more evidence for Theorem 4.2.2 in exceptional types and a clearer statement of what exactly is proved in [SYZ25]. The paper deserves to be published as an expository/conjecture paper, ideally with those gaps flagged.

Referee Report

3 major / 4 minor

Summary. This expository paper proposes an affine analog of the Barbasch--Vogan construction for simple affine vertex algebras. For a simply-laced simple Lie algebra g and an integer level k with m = k + h^vee >= 1, the authors define a cyclotomic level map cl_n and orbits O(m), state a cell-orbit bridge (Theorem 4.2.2) from their companion work [SYZ25], and then formulate two conjectures: Conjecture 5.1.1 describes the associated variety X_{L_k(g)} as a saturation of data attached to a Bala-Carter Levi of O(m), and Conjecture 5.2.1, in the distinguished case, identifies the Grothendieck group of the relevant category O with an affine left-cell module at q=1. The paper also reviews the finite-dimensional primitive-ideal picture, the Kazhdan-Lusztig cell formalism, and the 4D mirror-symmetry motivation, and it gives supporting examples in types A5 and D4. The main theorems are not proved here but are quoted from the authors' preprint [SYZ25], with the proof of Theorem 4.2.2 described as case-by-case.

Significance. If the two conjectures hold, they give a uniform, parameter-free description of both the associated variety and the simple-module category of L_k(g) for all integer levels in simply-laced types, directly generalizing the classical relationship between primitive ideals, nilpotent orbits, and Kazhdan-Lusztig cells. The conjectures also connect to quasi-lisse vertex algebras, affine Springer fibers, and 4D mirror symmetry, so they are likely to be influential if confirmed. The paper is honest and careful: it explicitly marks what is conjectural, checks the conjectures against independent published results (AM18a, AFK24, JS25, Per13, GK07), and provides concrete tables. There is no sign of fitted constants or circular derivations; the main caveat is the heavy reliance on a case-by-case theorem from a companion preprint.

major comments (3)

[Section 4.1, Theorem 4.1.2] The statement "cl_n^{-1}([1,m]) = O(m)" cannot be literally correct, since the left-hand side is a set of nilpotent orbits while O(m) is defined to be a single orbit. The following sentence, comparing with fibers of the duality map d, indicates that the intended statement is that O(m) is the unique maximal element of this preimage. Because O(m) is the key input to Conjectures 5.1.1 and 5.2.1, the theorem should be restated precisely and either proved or explicitly located with a page/equation reference in [SYZ25].
[Section 4.2, Theorem 4.2.2] Both main conjectures inherit the identification of the orbit O(m) with the two-sided cell c(w_m) from Theorem 4.2.2, yet the proof is described only as a case-by-case verification in the preprint [SYZ25]. For this paper to be self-contained enough for the conjectures to be credible, the authors should either reproduce the proof or give a detailed summary of the verification, including the computed dominant weights xi_m and at least one independent check in an exceptional type. Alternatively, the conjectures should be explicitly stated as conditional on the validity of Theorem 4.2.2 in all simply-laced types.
[Section 5.1, Conjecture 5.1.1] The formula X_{L_k(g)} = AdG . (d_L O_L x z(l) x u) is the central associated-variety conjecture, but the notation is ambiguous: the three factors are subsets of l, z(l), and u, and the intended operation should be the sum of subsets inside p = l + u, not a Cartesian product. This is not merely cosmetic, because the later computation of the nilpotent part uses the identification of the product with a subset of g; please clarify the notation in the statement of the conjecture.

minor comments (4)

[Example 5.1.4] Rows m=4 and m=5 both list O(m) = (53). Since Theorem 4.2.2 attaches a two-sided cell c(w_m) to O(m), the table may appear to contradict the injectivity of that correspondence; please add a sentence explaining that cl_n is not injective and that w_4 and w_5 are distinct elements of the same two-sided cell.
[Figure 5.3.1] The label "Conjeture" should be "Conjecture". Also, the dotted arrows from c(w_m) are not explained in the caption; a one-sentence description of the diagram conventions would help the reader.
[Section 5.2] The sentence "The details of this subsection and the next will appear in a future paper" makes it unclear which aspects of Conjecture 5.2.1 are expected and which are already established; please mark the conjecture as explicitly conditional on Theorem 4.2.2 and on the promised future work.
[Section 4.2] The authors note that the dominant weights xi_m for all 1 <= m <= h "seem to be of independent interest" but do not list them; including a table of these weights, even in an appendix, would strengthen the expository value of the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the conjectures are genuinely predictive and rely on externally defined objects and prior theorems, not on fitted or self-imported conclusions.

full rationale

The paper is explicitly expository and presents two conjectures, Conjecture 5.1.1 and Conjecture 5.2.1, rather than deriving them from fitted inputs. The cyclotomic level map cl_n, the orbits O(m), and the affine Weyl group elements w_m are all defined from independent mathematical constructions: cl_n uses Bala-Carter Levis and the minimal m with (ad e)^{2m}=0, O(m) is characterized by the level-set theorem quoted from [SYZ25] with proof via [Geo04], and w_m is the longest element of the stabilizer of a dominant translate of m Lambda_0 + rho. The bridge Theorem 4.2.2, identifying the orbit O(m) with the two-sided cell c(w_m) under Lusztig's bijection, is load-bearing for both conjectures, but it is quoted as a proven theorem from the authors' earlier work [SYZ25] with a case-by-case verification; relying on a prior theorem is dependence, not circularity. The conjectures are checked against independent external results (AM18a, AFK24, JS25, Per13, GK07), and the semisimple factor z(l) x u in Conjecture 5.1.1 is explicitly labeled as a belief motivated by [AFK24], not derived from the conjecture itself. No parameter is fitted to a subset of data and then renamed as a prediction, and no definition implicitly assumes the target equality. The main risk is the unproved-in-this-text case-by-case bridge, which is a correctness or completeness concern, not a circularity one.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The central claim rests on standard cell and Springer theory plus two author-specific inputs: the cell-orbit correspondence from [SYZ25], which is not proved in this paper, and the heuristic z(l) x u term in Conjecture 5.1.1. No numbers are fitted to data, and no free parameters appear.

assumptions (5)

standard math Lusztig's bijection between nilpotent orbits of the dual Lie algebra and two-sided cells in the affine Weyl group (4.2.1).
Used to define the correspondence O(m) to c(wm) in Theorem 4.2.2.
ad hoc to paper The cell-orbit correspondence of Theorem 4.2.2 is valid for all simply-laced types.
The theorem is quoted from [SYZ25] and its proof is described as case-by-case; the conjectures inherit it without a reproduced proof.
ad hoc to paper The semisimple part of X_{L_k(g)} equals AdG . (z(l) x u), with the center of the Bala-Carter Levi controlling the non-nilpotent directions.
Stated in Section 5 as a belief, motivated by [AFK24], with no derivation.
standard math Standard vertex algebra facts: Zhu's C2 algebra gives the associated variety, and quasi-lisse is equivalent to the associated variety being contained in the nilpotent cone.
Background from [AK18] and [Zhu90] used throughout and especially in Corollary 5.1.2.
domain assumption g is a simple, simply-laced Lie algebra and k is an integer with k + h_dual = m >= 1.
The conjectures are formulated only in this range, as stated in Section 5.

invented entities (1)

Cyclotomic level map cl_n and the orbits O(m) independent evidence
purpose: Index the level m = k + h_dual by a canonical nilpotent orbit O(m) in the Langlands dual Lie algebra; this orbit anchors the conjectured associated variety and cell descriptions.
Defined in Section 4.1 with two equivalent definitions; Theorem 4.1.2 proves cl_n^{-1}([1,m]) equals O(m), and Theorem 4.3.2 relates cl_W to eigenvalues of Weyl group elements, so the object has independent mathematical content beyond the conjectures.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Affine vertex algebras and an affine analog of Barbasch-Vogan's construction." pith.science (2026). https://pith.science/paper/KBWR7CKE

@misc{pith2026260800428,
  author       = {Pith},
  title        = {Pith review of: Affine vertex algebras and an affine analog of Barbasch-Vogan's construction},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KBWR7CKE}},
  note         = {Machine review of arXiv:2608.00428}
}

abstract

This is an expository paper based on the authors' joint works. The goal is to explain the statements and the ideas behind two conjectures on associated varieties and simple modules of simple affine vertex algebras $L_k(\mathfrak{g})$ for a simple and simply-laced Lie algebra $\mathfrak{g}$ and a integer level $k$ above the critical level.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

Subregular affine cells and the level $-1$ vertex algebra of type $D$
math.QA 2026-08 conditional novelty 7.0 of 10

For every l >= 5, the vacuum block of the level -1 simple affine vertex algebra of type D_l has exactly l+1 irreducible modules, indexed by a subregular Kazhdan-Lusztig left cell.

Reference graph

Works this paper leans on

17 extracted references · 8 canonical work pages · cited by 1 Pith paper

[1]

Twisting functors onO

[AS03] H. H. Andersen and C. Stroppel. “Twisting functors onO”. In:Represent. Theory7 (2003), pp. 681–699.doi:10.1090/S1088-4165-03-00189-4. [Ara17] T. Arakawa.Introduction to W-algebras and their representation theory. 2017.doi:10 . 48550 / arxiv.1605.00138. arXiv:1605.00138 [math.RT]. [ADFLM25] T.Arakawa,X.Dai,J.Fasquel,B.Li,andA.Moreau.“OnSomeSimpleOrb...

arXiv doi:10.48550/arxiv.1605.00138 2003
[3]

Mirror symmetry for circle compactified 4dN=2SCFTs

[SXY23] P. Shan, D. Xie, and W. Yan. “Mirror symmetry for circle compactified 4dN=2SCFTs”. In: (June 2023).doi:10.48550/ARXIV.2306.15214. arXiv:2306.15214 [hep-th]. [SXY24] P. Shan, D. Xie, and W. Yan.Modularity forW-algebras and affine Springer fibres. 2024.doi: 10.48550/arxiv.2404.00760. arXiv:2404.00760 [math.RT]. [SYZ25] P. Shan, W. Yan, and Q. Zhao.C...

arXiv doi:10.48550/arxiv.2306.15214 2023
[4]

From conjugacy classes in the Weyl group to unipotent classes, II

Mikio Sato: a great Japanese mathemati- cian of the twentieth century. 1998, pp. 779–832.doi:10.4310/AJM.1998.v2.n4.a8. [KL88] D.KazhdanandG.Lusztig.“Fixedpointvarietiesonaffineflagmanifolds”.In:IsraelJ.Math. 62.2 (1988), pp. 129–168.doi:10.1007/BF02787119. [KL79] D. Kazhdan and G. Lusztig. “Representations of Coxeter groups and Hecke algebras”. In: Inven...

work page Pith review arXiv doi:10.48550/arxiv.1104.0196 1988
[6]

Cells in affine Weyl groups. IV

Adv. Stud. Pure Math. North-Holland, Amsterdam, 1985, pp. 255–287.doi: 10.2969/aspm/00610255. [Lus89] G. Lusztig. “Cells in affine Weyl groups. IV”. In:J. Fac. Sci. Univ. Tokyo Sect. IA Math.36.2 (1989), pp. 297–328. [Lus96] G. Lusztig. “Affine weyl groups and conjugacy classes in Weyl groups”. In:Transformation Groups1.1 (Mar. 1, 1996), pp. 83–97.doi:10....

work page arXiv 1989
[8]

Associated varieties of simple affine VOAsL k(sl3)andW-algebras Wk(sl3,f)

2023.doi: 10.48550/arxiv.2301.10967. arXiv:2301.10967 [math.AG]. [JS25] C. Jiang and J. Song. “Associated varieties of simple affine VOAsL k(sl3)andW-algebras Wk(sl3,f)”.In:Comm.Math.Phys.406.5(2025),PaperNo.104,34.doi:10.1007/s00220-025- 05291-9. [Jos79] A. Joseph. “W-module structure in the primitive spectrum of the enveloping algebra of a semisimple Li...

arXiv doi:10.48550/arxiv.2301.10967 2025
[24]

Differentialoperatorsonhomogeneousspaces.I.Irreducibility of the associated variety for annihilators of induced modules

Algebra and Applications. Springer, Cham, 2017, pp. xxv+348.doi:10.1007/978-3-319-70736-5. [BB82] W.BorhoandJ.-L.Brylinski.“Differentialoperatorsonhomogeneousspaces.I.Irreducibility of the associated variety for annihilators of induced modules”. In:Invent. Math.69.3 (1982), pp. 437–476.doi:10.1007/BF01389364. [BLPW10] T. Braden, A. Licata, N. Proudfoot, a...

arXiv doi:10.48550/arxiv.2403.07080 1982
[30]

Quasi-lisse vertex algebras and modular linear differential equations

[AFK24] T. Arakawa, V. Futorny, and L. Krizka.Generalized Grothendieck’s simultaneous resolution and associated varieties of simple affine vertex algebras. Apr. 2024.doi:10.48550/arXiv.2404.02365. arXiv:2404.02365 [math.RT]. [AK18] T. Arakawa and K. Kawasetsu. “Quasi-lisse vertex algebras and modular linear differential equations”.In:Liegroups,geometry,an...

arXiv doi:10.48550/arxiv.2404.02365 2017
[87]

Modular Invariance of Characters of Vertex Operator Algebras

[Zhu96] Y. Zhu. “Modular Invariance of Characters of Vertex Operator Algebras”. In:Journal of the American Mathematical Society9.1 (1996), pp. 237–302

work page 1996

Show all 17 references

[88]

Vertex operator algebras associated to representations of affine and Virasoro algebras

Mathematical SurveysandMonographs.AmericanMathematicalSociety,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 and Virasoro algebras”. In:Duke Mathematical Journal66.1 (1992)...

1992 doi
[92]

Kazhdan-Lusztig conjecture for symmetrizable Kac-Moody Lie algebras. III. Positive rational case

Progr. Math. Birkhäuser Boston, Boston, MA, 1990, pp. 159–195. [KT98] M. Kashiwara and T. Tanisaki. “Kazhdan-Lusztig conjecture for symmetrizable Kac-Moody Lie algebras. III. Positive rational case”. In: vol

1990
[94]

American Mathematical Society, Providence, RI, 2008, pp

Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008, pp. xvi+289.doi:10.1090/gsm/094. [JY23] K. Jakob and Z. Yun.A Deligne-Simpson problem for irregularG-connections overP

2008 doi
[107]

Cells in affine Weyl groups

Annals of Mathemat- ics Studies. Princeton University Press, Princeton, NJ, 1984, pp. xxi+384.doi:10 . 1515 / 9781400881772. [Lus85] G. Lusztig. “Cells in affine Weyl groups”. In:Algebraic groups and related topics (Kyoto/Nagoya, 1983). Vol

1984
[114]

Localisationdeg-modules

[BB81] A.Be ˘ılinsonandJ.Bernstein.“Localisationdeg-modules”.In:C.R.Acad.Sci.ParisSér.IMath. 292.1 (1981), pp. 15–18. [BBMY25] R.Bezrukavnikov,P.BoixedaAlvarez,M.McBreen,andZ.Yun.“Non-abelianHodgemoduli spaces and homogeneous affine Springer fibers”. In:Pure Appl. Math. Q.21.1...

1981 doi
[236]

Translated from the 1995 Japanese edition by Takeuchi

Progress in Mathematics. Translated from the 1995 Japanese edition by Takeuchi. Birkhäuser Boston, Inc., Boston, MA, 2008, pp. xii+407.doi:10.1007/978-0-8176-4523-6. [Hum08] J. E. Humphreys.Representations of semisimple Lie algebras in the BGG categoryO. Vol

1995 doi
[728]

On the associated variety of a primitive ideal

Lecture Notes in Math. Springer, Berlin, 1979, pp. 116–135. [Jos85] A. Joseph. “On the associated variety of a primitive ideal”. In:J. Algebra93.2 (1985), pp. 509– 523.doi:10.1016/0021-8693(85)90172-3. [Kac97] V.Kac.Vertexalgebrasforbeginners.Vol.10.UniversityLectureSeries.Ame...

1985 doi
[2025]

[SYZ26] P

arXiv:2507.09254 [math.RT]. [SYZ26] P. Shan, W. Yan, and Q. Zhao.Associated varieties of simple affine vertex algebras at rational levels

arXiv
[2026]

AconstructionofrepresentationsofWeylgroups

arXiv:2606.08990 [math.RT]. [Spr78] T.A.Springer.“AconstructionofrepresentationsofWeylgroups”.In:Inventionesmathematicae 44.3 (1978), pp. 279–293. [Vog80] D. A. Vogan Jr. “Ordering of the primitive spectrum of a semisimple Lie algebra”. In:Math. Ann.248.3 (1980), pp. 195–203.d...

1978 arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

Twisting functors onO

[AS03] H. H. Andersen and C. Stroppel. “Twisting functors onO”. In:Represent. Theory7 (2003), pp. 681–699.doi:10.1090/S1088-4165-03-00189-4. [Ara17] T. Arakawa.Introduction to W-algebras and their representation theory. 2017.doi:10 . 48550 / arxiv.1605.00138. arXiv:1605.00138 [math.RT]. [ADFLM25] T.Arakawa,X.Dai,J.Fasquel,B.Li,andA.Moreau.“OnSomeSimpleOrb...

arXiv doi:10.48550/arxiv.1605.00138 2003

[2] [3]

Mirror symmetry for circle compactified 4dN=2SCFTs

[SXY23] P. Shan, D. Xie, and W. Yan. “Mirror symmetry for circle compactified 4dN=2SCFTs”. In: (June 2023).doi:10.48550/ARXIV.2306.15214. arXiv:2306.15214 [hep-th]. [SXY24] P. Shan, D. Xie, and W. Yan.Modularity forW-algebras and affine Springer fibres. 2024.doi: 10.48550/arxiv.2404.00760. arXiv:2404.00760 [math.RT]. [SYZ25] P. Shan, W. Yan, and Q. Zhao.C...

arXiv doi:10.48550/arxiv.2306.15214 2023

[3] [4]

From conjugacy classes in the Weyl group to unipotent classes, II

Mikio Sato: a great Japanese mathemati- cian of the twentieth century. 1998, pp. 779–832.doi:10.4310/AJM.1998.v2.n4.a8. [KL88] D.KazhdanandG.Lusztig.“Fixedpointvarietiesonaffineflagmanifolds”.In:IsraelJ.Math. 62.2 (1988), pp. 129–168.doi:10.1007/BF02787119. [KL79] D. Kazhdan and G. Lusztig. “Representations of Coxeter groups and Hecke algebras”. In: Inven...

work page Pith review arXiv doi:10.48550/arxiv.1104.0196 1988

[4] [6]

Cells in affine Weyl groups. IV

Adv. Stud. Pure Math. North-Holland, Amsterdam, 1985, pp. 255–287.doi: 10.2969/aspm/00610255. [Lus89] G. Lusztig. “Cells in affine Weyl groups. IV”. In:J. Fac. Sci. Univ. Tokyo Sect. IA Math.36.2 (1989), pp. 297–328. [Lus96] G. Lusztig. “Affine weyl groups and conjugacy classes in Weyl groups”. In:Transformation Groups1.1 (Mar. 1, 1996), pp. 83–97.doi:10....

work page arXiv 1989

[5] [8]

Associated varieties of simple affine VOAsL k(sl3)andW-algebras Wk(sl3,f)

2023.doi: 10.48550/arxiv.2301.10967. arXiv:2301.10967 [math.AG]. [JS25] C. Jiang and J. Song. “Associated varieties of simple affine VOAsL k(sl3)andW-algebras Wk(sl3,f)”.In:Comm.Math.Phys.406.5(2025),PaperNo.104,34.doi:10.1007/s00220-025- 05291-9. [Jos79] A. Joseph. “W-module structure in the primitive spectrum of the enveloping algebra of a semisimple Li...

arXiv doi:10.48550/arxiv.2301.10967 2025

[6] [24]

Differentialoperatorsonhomogeneousspaces.I.Irreducibility of the associated variety for annihilators of induced modules

Algebra and Applications. Springer, Cham, 2017, pp. xxv+348.doi:10.1007/978-3-319-70736-5. [BB82] W.BorhoandJ.-L.Brylinski.“Differentialoperatorsonhomogeneousspaces.I.Irreducibility of the associated variety for annihilators of induced modules”. In:Invent. Math.69.3 (1982), pp. 437–476.doi:10.1007/BF01389364. [BLPW10] T. Braden, A. Licata, N. Proudfoot, a...

arXiv doi:10.48550/arxiv.2403.07080 1982

[7] [30]

Quasi-lisse vertex algebras and modular linear differential equations

[AFK24] T. Arakawa, V. Futorny, and L. Krizka.Generalized Grothendieck’s simultaneous resolution and associated varieties of simple affine vertex algebras. Apr. 2024.doi:10.48550/arXiv.2404.02365. arXiv:2404.02365 [math.RT]. [AK18] T. Arakawa and K. Kawasetsu. “Quasi-lisse vertex algebras and modular linear differential equations”.In:Liegroups,geometry,an...

arXiv doi:10.48550/arxiv.2404.02365 2017

[8] [87]

Modular Invariance of Characters of Vertex Operator Algebras

[Zhu96] Y. Zhu. “Modular Invariance of Characters of Vertex Operator Algebras”. In:Journal of the American Mathematical Society9.1 (1996), pp. 237–302

work page 1996