Pith. sign in

REVIEW 3 major objections 4 minor 32 references

The paper proves that every candidate quotient in the Arakawa–Moreau conjecture is the corresponding simple affine vertex algebra, settling all remaining cases.

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-01 02:57 UTC pith:ST7RWIMG

load-bearing objection A well-organized completion of the Arakawa–Moreau conjecture with the expected residual risk in hand-checked Ramond–Zhu computations; worth a careful referee. the 3 major comments →

arxiv 2607.25249 v1 pith:ST7RWIMG submitted 2026-07-28 math.QA math.RT

Completing the Arakawa--Moreau Conjecture on Maximal Ideals of Affine Vertex Algebras

Sihai Jin This is my paper
classification math.QA math.RT MSC 17B6917B6717B6881R10
keywords affine vertex algebramaximal idealsingular vectorminimal W-algebraDrinfeld–Sokolov reductionRamond–Zhu algebraspectral flowArakawa–Moreau conjecture
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.

This paper resolves the last open cases of the Arakawa–Moreau conjecture, which predicted explicit generators for the maximal graded ideals of universal affine vertex algebras at certain negative levels in types D and E. The remaining cases are level −1 for D_l (l≥5) and the n>0 negative-level cases for D4, E6, E7, E8. The author proves that in every one of these cases the quotient by the prescribed singular vectors is isomorphic to the corresponding simple affine vertex algebra, so the conjecture holds in full. The proof is uniform: exact minimal Drinfeld–Sokolov reduction of the singular vectors, a Ramond–Zhu/Casimir-gap argument with Li spectral flow to prove simplicity of the reduced quotients, and a nonvanishing theorem to lift simplicity back to the affine quotient.

Core claim

The central claim, Theorem 1.1, is that Conjecture 1 of Arakawa and Moreau holds at every negative level in its stated range: the maximal graded ideals of V^k(g) are generated by the prescribed singular vectors. For D_l (l≥5) this gives ker(V^{-2}(D_l)→L^{-2}(D_l)) = ⟨σ(w_A)^{l-3}, σ(w_D)⟩ and ker(V^{-1}(D_l)→L^{-1}(D_l)) = ⟨σ(w_A)^{l-2}, σ(w_D)^2⟩; for the exceptional types the ideals are ⟨σ(w_i)^{n+1}⟩ or, in D4, the three triality-related generators at n=1. Consequently every candidate quotient in the conjecture is the corresponding simple affine vertex algebra.

What carries the argument

The load-bearing device is the exact image of each affine singular vector under minimal Drinfeld–Sokolov reduction (the standard transformation of affine vertex algebras to W-algebras). The paper shows that the prescribed power σ(w)^{n+1} maps to a nonzero scalar multiple of the normally ordered current power :J_{e_ϑ}^{n+1}: in the universal minimal W-algebra, where ϑ is the highest root of the reductive centralizer g^♮. This identifies the reduced quotient explicitly. Simplicity of that quotient is then proved by a Ramond–Zhu trace identity: a weighted Casimir average (e.g., in (55) for D_l, A(Ω_A)+(m+2)/(2m) A(Ω_D) = (2m+1)h+(m-1)/4) together with a Casimir gap and Li's spectral flow, whic

Load-bearing premise

The argument rests on the Ramond–Zhu quadratic relation (11)–(12) imported from earlier work, including the type-dependent polynomial p_g(k); if that relation is not valid at the non-admissible negative levels used here, the trace identities and the Casimir-gap argument would fail.

What would settle it

A direct computation of the kernel of V^{-1}(D_5)→L^{-1}(D_5): if it contains any singular vector not in the ideal ⟨σ(w_A)^3, σ(w_D)^2⟩, the main theorem is false. This is a finite computation in low degrees and would settle the claim.

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

If this is right

  • Each candidate quotient in the Arakawa–Moreau construction is the corresponding simple affine vertex algebra, so the singular-vector presentations of the conjecture hold verbatim for the simple quotients.
  • The simple affine vertex algebras at these levels have associated variety equal to the closure of the minimal nilpotent orbit, as predicted by the original construction.
  • The reduced W-algebras at the relevant levels are lisse; the argument also fixes the exact kernel of W^k(g,f_θ)→W^k(g,f_θ).
  • The explicit generators of the maximal ideals give a concrete presentation of V^k(g) for the negative levels listed in Theorem 1.1.

Where Pith is reading between the lines

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

  • The same 'reduce, prove reduced simplicity, lift' template may apply to other non-admissible negative levels where the reduced W-algebra is not lisse; the Ramond–Zhu trace identity may still provide the needed Casimir gap.
  • The rank-reduction proof for the collapsing family V^{2-2r}(D_{2r}) suggests that minimal reduction can itself act as an inductive tool: proving simplicity of the reductions of successive members proves maximality in the family.
  • A direct numerical check of the trace identity on a small finite-dimensional Ramond–Zhu module at level −1 in D_5 would independently confirm the paper's key numerical inequality in a concrete case.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper proves the remaining cases of the Arakawa–Moreau Conjecture 1 on maximal graded ideals of negative-level universal affine vertex algebras of types D and E. The new results are the level -1 case for D_l (l ≥ 5) and the n > 0 negative-level cases for D_4, E_6, E_7, and E_8; together with prior results, this completes the conjecture. The strategy is uniform: compute exact images of the prescribed singular vectors under minimal Drinfeld–Sokolov reduction, prove simplicity of the reduced quotient via a Ramond–Zhu algebra/Casimir-gap argument combined with Li spectral flow, and lift simplicity back to the affine quotient using exactness and a nonvanishing theorem. The paper also formulates general maximality principles and gives an alternative reduction-theoretic proof of the known level -2 result for D_l and a rank-reduction proof for the collapsing family V^{2-2r}(D_{2r}).

Significance. If Theorem 1.1 is correct, it settles a conjecture of Arakawa–Moreau in full, identifying every candidate quotient with the corresponding simple affine vertex algebra and thereby giving explicit generators of the maximal graded ideals. The proof framework is well organized: the formal reduction, Ramond–Zhu, spectral-flow, and lifting steps are cleanly separated from the type-dependent computations, and the paper is transparent about which ingredients are imported. The exact-reduction computations go beyond principal symbols, and the alternative proofs in Sections 3.7 and 8 demonstrate that the framework has independent uses. The main residual risk is that the argument is load-bearing on imported and unverified computational input, as detailed in the major comments.

major comments (3)
  1. [§2.3, Eqs. (11)–(12)] The Ramond–Zhu quadratic relation is the engine of the whole proof: every Casimir trace identity (Propositions 3.12, 4.8, 5.14, 6.10, 7.14) is obtained by tracing it, and the subsequent Casimir-gap argument depends on the exact coefficients and the type-dependent polynomial p_g(k). The paper cites [25, Remark 5.8] for the identification with Premet’s finite W-algebra and [27] for p_g(k), but it does not prove that the formula remains valid at the non-admissible negative levels used here, nor does it reproduce the derivation of p_g(k). This is load-bearing: a failure or even a wrong constant in (11)–(12) would invalidate the simplicity proofs and hence Theorem 1.1. I ask for a precise statement, or a proof, that (11)–(12) holds for the universal minimal W-algebra at all levels considered, together with the polynomial values.
  2. [Appendices A–E, Lemmas 3.11, 5.13, 6.9, 7.13] The contraction coefficients γ_j — 2/m for D_l, 3/5 for E_6, 1/2 for E_7, 57/133 for E_8 — are obtained from long type-dependent calculations. The trace identity has the form (1+γ)τ/N = 2(k+h∨)h + p_g(k)/2, and the strict Casimir gap A(h_0+1)>C_max is numerically tight in several cases. A single wrong scalar in any γ_j shifts A(h) and can destroy the gap, so the simplicity conclusion would fail. The paper gives representative derivations and tables, but not a complete machine-checkable verification. Given that these tables are load-bearing, I request that the remaining derivations be supplied or that the full calculation be made available as a verifiable computer-algebra file.
  3. [§6.5.2 and Corollary 6.16] The exclusion of the non-extremal high-Casimir D_6-types in the E_7 case is stated in a compact table rather than proved in detail. The gap argument relies on exactly these exclusions: for n=1,2,3, the second inequality A(h_0)>C_rest forces the extremal constituent, and the exclusions of ω_5, ω_5+ω_6, 2ω_5, 3ω_5, etc., depend on the low-degree weight restrictions in Lemma 6.15. The assertions are plausible and the appendix supplies the Casimir data, but the reasoning connecting the weight-set restrictions to the exclusion table should be expanded, since it is an essential step in Theorem 6.18.
minor comments (4)
  1. [§3.1, Eq. (17)] The symbol K is used both for the affine central element and for the integer m−1. This is confusing in a paper where the affine central element appears throughout; consider renaming one of them (e.g., use k_0 or M for the integer).
  2. [Theorem 1.1] The table in part (2) is typeset awkwardly: the column header 'g n generators' is unclear, and the rows would be easier to read with explicit level and generator lists for each type. This is a presentation issue only.
  3. [§3.7.3, Lemma 3.29] The proof that J^{a}=0 for all a∈d says the kernel is a d-submodule and contains the highest-root current, so it contains the whole current space. It may be worth one sentence explaining that this uses irreducibility of the adjoint representation of d.
  4. [§2.4, Eq. (16)] The phrase 'for a suitable common denominator N' is vague; in all applications N=2 suffices. Please state this explicitly, since the spectral lattice results in later sections depend on the integrality of the shifted energies.

Circularity Check

0 steps flagged

No significant circularity: the maximal-ideal proof derives simplicity of candidate quotients from external reduction and Casimir theorems; no input is renamed as a prediction.

full rationale

The paper's derivation chain is self-contained relative to its stated external inputs. The candidate quotients Q = V^k(g)/N are defined from Arakawa–Moreau singular vectors taken from [9]; the paper never assumes these ideals are maximal. It proves maximality by (i) computing exact minimal Drinfeld–Sokolov reductions of the generators, (ii) showing the reduced quotient W = W^k(g,f_theta)/<...> is simple via the Ramond Zhu relation (11)–(12) imported from [25,27], a Casimir trace identity, a Casimir-gap estimate, and Li spectral flow, and (iii) lifting reduced simplicity to the affine quotient through exactness and the nonvanishing criterion (3), using Proposition 2.10. The numerical inputs—levels, exponents, Casimir bounds, and contraction coefficients—are fixed by the external root-system data and stated conventions; none is fitted to the target equality N = Rad V^k(g). The main result is thus derived, not assumed. The paper does rely on substantial external theorems, most notably the Ramond–Zhu quadratic relation and the nonvanishing/cyclicity theorems for minimal reduction; that reliance is ordinary use of prior published mathematics, not circularity. No self-citation chain substitutes for proof, and no fitted parameter is renamed as a prediction. The proof may carry residual risk if an imported contraction table or polynomial p_g(k) contained an error, but that is a correctness risk, not circularity. Accordingly the circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No free parameters are fitted: levels are fixed integers, singular vectors come from [9], and the nonzero scalars c_n in exact reductions are shown nonzero without being evaluated. The axioms are the standard background theorems and one domain identification (the Ramond–Zhu relation) on which the proof rests.

axioms (5)
  • standard math Minimal Drinfeld–Sokolov reduction is exact on the relevant affine category O_k and has the nonvanishing criterion: if \hatλ(α_0^∨)<0 then H^0_{DS,fθ}(L(\hatλ))≠0.
    Imported from [7, Theorems 6.7.1 and 6.7.4]; used in Lemma 2.9 and every affine-lifting step in Sections 2.2, 2.5, and the case sections.
  • standard math The Ramond–Zhu algebra of a lisse vertex algebra is finite-dimensional, with a filtered surjection from the C2-quotient.
    Imported from twisted Zhu theory [23] and the finite-W-algebra relationship [24]; used to convert lisse-ness of reduced quotients into finite-dimensional modules over which traces and Casimir arguments work.
  • domain assumption The Ramond–Zhu quadratic relation (eq. (11)–(12)) with type-dependent polynomial p_g(k), and the identification of the Ramond Zhu algebra with Premet's finite W-algebra, are valid at the levels considered.
    This is the core identity from which every Ramond–Casimir trace identity in the paper is derived ([25, Equation (5.1)], [27], Remark 5.8). It is cited, not proved here.
  • standard math The Arakawa–Moreau vectors are affine singular vectors at the stated levels, and their quotients have associated variety equal to the minimal nilpotent orbit closure.
    Taken from [9, Theorem 4.2, Proposition 5.2, Theorem 6.1(3)]. This is the input construction, not the maximality conclusion.
  • standard math The filtered BRST spectral sequence converges strictly, so a nonzero restriction of the leading PBW symbol to the Slodowy slice implies a nonzero BRST class.
    Used in Lemma 2.2 and all exact-reduction computations; cited from [29, Theorems 4.3.3, 4.4.6, 4.5.2].

pith-pipeline@v1.3.0-alltime-deepseek · 73719 in / 12382 out tokens · 128183 ms · 2026-08-01T02:57:54.389345+00:00 · methodology

0 comments
read the original abstract

Arakawa and Moreau constructed explicit singular vectors in a family of negative-level universal affine vertex algebras of types $D$ and $E$ and conjectured that the ideals generated by these vectors are maximal. Previous work established the $n=0$ cases for $D_4$, $E_6$, $E_7$, and $E_8$, as well as the level $-2$ case for $D_\ell$ with $\ell\geq 5$. We prove all the remaining cases: the level $-1$ case for $D_\ell$ with $\ell\geq 5$, and the negative-level cases with $n>0$ for $D_4$, $E_6$, $E_7$, and $E_8$. Together with the previously known results, this completes Arakawa--Moreau Conjecture 1. The proof determines the images of the prescribed singular vectors under minimal Drinfeld--Sokolov reduction and establishes simplicity of the reduced quotients by combining a Ramond--Zhu algebra argument, a Casimir-gap argument, and Li's spectral flow. Exactness and a nonvanishing theorem for the reduction functor then lift simplicity to the corresponding affine quotients. We also formulate a general maximality principle based on minimal reduction, give an alternative reduction-theoretic proof of the known level $-2$ result for $D_\ell$, and obtain a rank-reduction proof of the maximal-ideal theorem for the collapsing family $V^{2-2r}(D_{2r})$. Consequently, every candidate quotient appearing in Arakawa--Moreau Conjecture 1 is the corresponding simple affine vertex algebra.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 20 canonical work pages

  1. [1]

    G.Vertex Algebras for Beginners

    Kac, V. G.Vertex Algebras for Beginners. 2nd ed. Vol. 10. University Lecture Series. Providence, RI: American Mathematical Society, 1998.doi:10.1090/ulect/010

    doi:10.1090/ulect/010 1998

  2. [2]

    and Ben-Zvi, D.Vertex Algebras and Algebraic Curves

    Frenkel, E. and Ben-Zvi, D.Vertex Algebras and Algebraic Curves. 2nd ed. Vol. 88. Mathematical Surveys and Monographs. Providence, RI: American Mathematical Society, 2004.doi:10.1090/surv/088

    doi:10.1090/surv/088 2004

  3. [3]

    Frenkel, I. B. and Zhu, Y. Vertex Operator Algebras Associated to Representations of Affine and Virasoro Algebras.Duke Mathematical Journal66.1 (1992), 123–168.doi: 10.1215/S0012-7094-92-06604-X

    work page doi:10.1215/s0012-7094-92-06604-x 1992

  4. [4]

    G., Roan, S.-S., and Wakimoto, M

    Kac, V. G., Roan, S.-S., and Wakimoto, M. Quantum Reduction for Affine Superalgebras. Communications in Mathematical Physics241.2–3 (2003), 307–342.doi: 10.1007/s00220-003-0926-1

    doi:10.1007/s00220-003-0926-1 2003

  5. [5]

    Kac, V. G. and Wakimoto, M. Quantum Reduction and Representation Theory of Superconformal Algebras.Advances in Mathematics185.2 (2004), 400–458.doi: 10.1016/j.aim.2003.12.005

    work page doi:10.1016/j.aim.2003.12.005 2004

  6. [6]

    Vanishing of Cohomology Associated to Quantized Drinfeld–Sokolov Reduction.International Mathematics Research Notices2004.15 (2004), 729–767.doi: 10.1155/S1073792804132479

    Arakawa, T. Vanishing of Cohomology Associated to Quantized Drinfeld–Sokolov Reduction.International Mathematics Research Notices2004.15 (2004), 729–767.doi: 10.1155/S1073792804132479

    work page doi:10.1155/s1073792804132479 2004

  7. [7]

    Representation Theory of Superconformal Algebras and the Kac–Roan–Wakimoto Conjecture.Duke Mathematical Journal130.3 (2005), 435–478

    Arakawa, T. Representation Theory of Superconformal Algebras and the Kac–Roan–Wakimoto Conjecture.Duke Mathematical Journal130.3 (2005), 435–478. doi:10.1215/S0012-7094-05-13032-0

    work page doi:10.1215/s0012-7094-05-13032-0 2005

  8. [8]

    Representation Theory ofW-Algebras.Inventiones Mathematicae169.2 (2007), 219–320.doi:10.1007/s00222-007-0046-1

    Arakawa, T. Representation Theory ofW-Algebras.Inventiones Mathematicae169.2 (2007), 219–320.doi:10.1007/s00222-007-0046-1

    work page doi:10.1007/s00222-007-0046-1 2007

  9. [9]

    and Moreau, A

    Arakawa, T. and Moreau, A. Joseph Ideals and Lisse MinimalW-Algebras.Journal of the Institute of Mathematics of Jussieu17.2 (2018), 397–417.doi: 10.1017/S1474748016000025

    work page doi:10.1017/s1474748016000025 2018

  10. [10]

    Special Transverse Slices and Their Enveloping Algebras.Advances in Mathematics170.1 (2002), 1–55.doi:10.1006/aima.2001.2063

    Premet, A. Special Transverse Slices and Their Enveloping Algebras.Advances in Mathematics170.1 (2002), 1–55.doi:10.1006/aima.2001.2063

    arXiv 2002

  11. [11]

    Gan, W. L. and Ginzburg, V. Quantization of Slodowy Slices.International Mathematics Research Notices2002.5 (2002), 243–255.doi:10.1155/S107379280210609X

    doi:10.1155/s107379280210609x 2002

  12. [12]

    A Note on Representations of Some Affine Vertex Algebras of TypeD.Glasnik Matematički48.1 (2013), 81–90.doi:10.3336/gm.48.1.07

    Perše, O. A Note on Representations of Some Affine Vertex Algebras of TypeD.Glasnik Matematički48.1 (2013), 81–90.doi:10.3336/gm.48.1.07

    work page doi:10.3336/gm.48.1.07 2013

  13. [13]

    G., Möseneder Frajria, P., Papi, P., and Perše, O

    Adamović, D., Kac, V. G., Möseneder Frajria, P., Papi, P., and Perše, O. An Application of Collapsing Levels to the Representation Theory of Affine Vertex Algebras.International Mathematics Research Notices2020.13 (2020), 4103–4143.doi:10.1093/imrn/rny237

    work page doi:10.1093/imrn/rny237 2020

  14. [14]

    Adamović, D., Perše, O., and Vukorepa, I. A Method for Describing the Maximal Ideal in Universal Affine Vertex Algebras at Non-Admissible Levels.Journal of Algebra and Its Applications(2026), 2543001.doi:10.1142/S0219498825430017. 94 REFERENCES

    work page doi:10.1142/s0219498825430017 2026

  15. [15]

    and Song, J

    Jiang, C. and Song, J. Associated Varieties of Simple Affine VOAsLk(sl3)and W-AlgebrasW k(sl3, f).Communications in Mathematical Physics406.5 (2025), 104.doi: 10.1007/s00220-025-05291-9

    work page doi:10.1007/s00220-025-05291-9 2025

  16. [16]

    and Song, J.On Singular Vectors of Simply-Laced Universal Affine Vertex Operator Algebras

    Jiang, C. and Song, J.On Singular Vectors of Simply-Laced Universal Affine Vertex Operator Algebras. Preprint. 2025. arXiv:2510.04445 [math.QA]

    arXiv 2025

  17. [17]

    Kawasetsu, K.W-Algebras with Non-Admissible Levels and the Deligne Exceptional Series.International Mathematics Research Notices2018.3 (2018), 641–676.doi: 10.1093/imrn/rnw240

    work page doi:10.1093/imrn/rnw240 2018

  18. [18]

    and Ekeren, J

    Arakawa, T. and Ekeren, J. van. Rationality and Fusion Rules of Exceptional W-Algebras.Journal of the European Mathematical Society25.7 (2023), 2763–2813.doi: 10.4171/JEMS/1250

    work page doi:10.4171/jems/1250 2023

  19. [19]

    On Lisse Non-Admissible Minimal and PrincipalW-Algebras

    Arakawa, T., Creutzig, T., and Kawasetsu, K. On Lisse Non-Admissible Minimal and PrincipalW-Algebras. In:Modern Algebra. Volume 1: Representation Theory. Vol. 829. Contemporary Mathematics. American Mathematical Society, 2025, pp. 1–13.doi: 10.1090/conm/829/16541

    doi:10.1090/conm/829/16541 2025

  20. [20]

    R., and Nakatsuka, S.Minimal W-Algebras ofso N at Level Minus One

    Creutzig, T., Fasquel, J., Kovalchuk, V., Linshaw, A. R., and Nakatsuka, S.Minimal W-Algebras ofso N at Level Minus One. Preprint. 2025. arXiv:2506.15605 [math.RT]

    Pith/arXiv arXiv 2025

  21. [21]

    Shan, P., Yan, W., and Zhao, Q.Cyclotomic Level Maps and Associated Varieties of Simple Affine Vertex Algebras. 2025. arXiv:2507.09254 [math.RT]

    Pith/arXiv arXiv 2025

  22. [22]

    Shan, P., Yan, W., and Zhao, Q.Associated Varieties of Simple Affine Vertex Algebras at Rational Levels. 2026. arXiv:2606.08990 [math.RT]

    Pith/arXiv arXiv 2026

  23. [23]

    Twisted Representations of Vertex Operator Algebras

    Dong, C., Li, H., and Mason, G. Twisted Representations of Vertex Operator Algebras. Mathematische Annalen310.3 (1998), 571–600.doi:10.1007/s002080050161

    work page doi:10.1007/s002080050161 1998

  24. [24]

    and Kac, V

    De Sole, A. and Kac, V. G. Finite vs. AffineW-Algebras.Japanese Journal of Mathematics1.1 (2006), 137–261.doi:10.1007/s11537-006-0505-2

    work page doi:10.1007/s11537-006-0505-2 2006

  25. [25]

    G., Möseneder Frajria, P., and Papi, P

    Kac, V. G., Möseneder Frajria, P., and Papi, P. Unitarity of MinimalW-Algebras and Their Representations II: Ramond Sector.Japanese Journal of Mathematics20.2 (2025), 169–281.doi:10.1007/s11537-025-2427-x

    work page doi:10.1007/s11537-025-2427-x 2025

  26. [26]

    Twisted Modules and Pseudo-Endomorphisms.Algebra Colloquium19.2 (2012), 219–236.doi:10.1142/S1005386712000156

    Li, H. Twisted Modules and Pseudo-Endomorphisms.Algebra Colloquium19.2 (2012), 219–236.doi:10.1142/S1005386712000156

    work page doi:10.1142/s1005386712000156 2012

  27. [27]

    G., Möseneder Frajria, P., Papi, P., and Perše, O

    Adamović, D., Kac, V. G., Möseneder Frajria, P., Papi, P., and Perše, O. Conformal Embeddings of Affine Vertex Algebras in MinimalW-Algebras I: Structural Results. Journal of Algebra500 (2018), 117–152.doi:10.1016/j.jalgebra.2016.12.005

    work page doi:10.1016/j.jalgebra.2016.12.005 2018

  28. [28]

    Quantum Reduction and Representation Theory of Superconformal Algebras

    Kac, V. G. and Wakimoto, M. Corrigendum to “Quantum Reduction and Representation Theory of Superconformal Algebras”.Advances in Mathematics193.2 (2005), 453–455. doi:10.1016/j.aim.2005.01.001

    work page doi:10.1016/j.aim.2005.01.001 2005

  29. [29]

    Arakawa, T. Associated Varieties of Modules over Kac–Moody Algebras and C2-Cofiniteness ofW-Algebras.International Mathematics Research Notices2015.22 (2015), 11605–11666.doi:10.1093/imrn/rnu277

    work page doi:10.1093/imrn/rnu277 2015

  30. [30]

    Elements of Mathematics

    Bourbaki, N.Lie Groups and Lie Algebras, Chapters 4–6. Elements of Mathematics. Berlin: Springer-Verlag, 2002.doi:10.1007/978-3-540-89394-3

    doi:10.1007/978-3-540-89394-3 2002

  31. [31]

    A New Construction of the Joseph Ideal

    Garfinkle, D. “A New Construction of the Joseph Ideal”. PhD thesis. Massachusetts Institute of Technology, 1982

    1982

  32. [32]

    Arakawa, T., Creutzig, T., Kawasetsu, K., and Linshaw, A. R. Orbifolds and Cosets of MinimalW-Algebras.Communications in Mathematical Physics355.1 (2017), 339–372. doi:10.1007/s00220-017-2901-2. Department of Mathematics, Sichuan University Email address:jinsihai@stu.scu.edu.cn

    work page doi:10.1007/s00220-017-2901-2 2017