Pith. sign in

REVIEW 3 major objections 3 minor 3 cited by

Reduction by stages for affine W-algebras

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

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

Pith's one-line read The paper proves that, under compatibility conditions on two nilpotent orbits, the affine W-algebra of the larger orbit is the quantum Hamiltonian reduction (BRST cohomology) of the affine W-algebra of the smaller one, extending reduction…

desk verdict Plausible and genuinely new reduction-by-stages theorem for affine W-algebras, but Proposition 5.5.1 contains a load-bearing freeness assertion that is asserted, not proved. read the letter →

arxiv 2501.04501 v1 pith:MKP3LLXJ submitted 2025-01-08 math.RT math-phmath.AGmath.MPmath.QAmath.SG

Naoki Genra , Thibault Juillard This is my paper · ORCID
classification math.RTmath-phmath.AGmath.MPmath.QAmath.SG MSC 17B6917B0817B67
keywords affineW-algebrasBRSTcohomologyquantumHamiltonianreductionbystagesSlodowyslicesarcspacesLifiltrationnilpotentorbits
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

Affine W-algebras are vertex algebras W_k(g,f) built from a simple Lie algebra g, a nilpotent element f, and a level k by taking BRST cohomology of the universal affine vertex algebra. This paper proves that whenever two nilpotent elements f1, f2 with nested orbit closures and chosen good gradings satisfy the compatibility conditions (⋆), the second W-algebra is itself the degree-zero BRST cohomology of the first: W_k(g,f2) ≅ $H^{0}$_{f0}(W_k(g,f1)) with f0 = f2 − f1. The result upgrades the known reduction-by-stages statement for Slodowy slices to the vertex algebras themselves. That is worth caring about because it gives a direct construction of one W-algebra from another, connecting their representation theories and producing new examples in classical and exceptional Lie types.

What carries the argument

The carrying mechanism is BRST cohomology with Clifford fermions: to any nilpotent Lie algebra n and chiral comoment map V(n) → V one associates a cochain complex C^• = V ⊗ F^•(n ⊕ n^*) with differential the 0-th mode of the BRST charge. The Li filtration on such complexes is compared, through arc spaces of Poisson varieties, to the coordinate ring of the Slodowy slice; Theorem 3.7.1 is the load-bearing bridge, saying that under assumptions of finite-dimensional graded pieces, a free standard action, and vanishing of the associated-graded cohomology, the BRST cohomology vanishes outside degree 0 and gr^F $H^{0}$(C^•, d) ≅ $H^{0}$($gr^{{Li}}$ C^•, $gr^{{Li}}$ d). For the pair (f1, f2) satisfying (⋆), Proposition 5.1.1 produces nilpotent subalgebras n1 ⊂ n2 with n2 = n1 ⊕ n0 and an embedding V(n0) → W_k(g,f1), giving C^•_{f0}; the new complex ~C^•_2 is built from ~n2 = $g^{{(1)}}$_{≥1} ⊕ n0, and Corollary 5.4.7 supplies the arc-space vanishing that lets Theorem 3.7.1 apply. The final map Θ is shown to be an isomorphism by identifying gr Θ with the coordinate-ring isomorphism of the two Slodowy slices.

What would settle it

For a concrete pair satisfying (⋆), for instance g = sl4 with f1 of partition (2,$1^{2}$) and f2 of partition (2,2), compute the cohomology H^•(~n2[t], C[J∞~$π2^{{-1}}$(~O2^-)]) using the m-jet colimit; if any higher cohomology appears, Corollary 5.4.7 is false and Theorem 5.3.3 lacks its geometric input.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.3.3: under (⋆), there is a BRST cochain complex C^•_{f0}(W_k(g,f1)) whose cohomology is concentrated in degree 0 and isomorphic as a vertex algebra to W_k(g,f2), i.e. H^•(C^•_{f0}(W_k(g,f1))) ≅ δ_{•=0} W_k(g,f2). The proof introduces a new BRST complex ~C^•_{f2}(V_k(g)) built from the nilpotent Lie algebra ~n2 = $g^{{(1)}}$_{≥1} ⊕ n0, which is not necessarily the good-grading subalgebra attached to f2, and shows in Theorem 5.5.7 that its cohomology is still W_k(g,f2). An embedding of the reduction complex into ~C^•_{f2} gives a vertex algebra map Θ, and the paper proves Θ is an isomorphism by passing to the associated graded with respect to the Li filtration: there the map coincides with the known Poisson isomorphism of arc spaces of the Slodowy slices, obtained by reduction by stages in the earlier work [GJ24]. The general vanishing theorem (Theorem 3.7.1) supplies the convergence step that makes the associated-graded isomorphism lift back to the vertex algebras.

Load-bearing premise

The proof needs the cohomology of a certain arc-space complex to vanish except in degree zero and the standard action on the W-algebra to be free; if either fails, the main theorem collapses.

Editorial extensions

If this is right

  • If Theorem 5.3.3 holds, W_k(g,f2) is realized as the degree-zero BRST cohomology of W_k(g,f1), so the BRST functor H^0_{f0} sends W_k(g,f1)-modules to W_k(g,f2)-modules and gives a natural relation between their module categories.
  • The result covers the new examples in Table 1, including an infinite family in type A, a type C_r family (partition (2^2,1^{2r−4}) to regular), and a type G_2 case, in addition to the known hook-type and sl_4 examples.
  • Theorem 2 (Theorem 5.5.7) establishes a new equivalent BRST construction of W_k(g,f2) whose associated graded is the second Slodowy slice, and Theorem 4.4.5 shows all such constructions are isomorphic as vertex algebras.
  • Theorem 3.7.1 is a general vanishing-and-isomorphism theorem for vertex-algebra BRST complexes, so any future complex satisfying its hypotheses automatically gets vanishing outside degree 0 and a Li-filtration comparison.
  • The intermediary-complex argument (Theorems 4.4.3 and 5.5.7) shows that the choice of isotropic subspace and even of the nilpotent subalgebra in the BRST construction can be changed freely, which is what allows the two W-algebras to be connected.

Reading between the lines

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

  • This suggests the conditions (⋆) are a sufficient but not necessary framework: the authors' Conjecture 4 concerns type-A pairs not satisfying (⋆), so a more flexible choice of intermediate complexes may cover a larger class of reductions.
  • The construction of ~C2 with ~n2 not coming from a good grading indicates a general recipe for partial reductions: any subalgebra n0 ⊂ g^{♮,1} with an embedding V(n0) → W_k(g,f1) and a matching arc-space vanishing could yield a reduction theorem, potentially unifying inverse-reduction and free-field approaches.
  • If the promised module-category version in the Kazhdan–Lusztig category holds, reduction by stages would give a systematic method to reconstruct any type-A W-algebra from hook-type reductions, as in Conjecture A of [CFLN24].
  • The m-jet colimit computation in Corollary 5.4.7 is concrete enough to be tested independently on small examples; such a check would either confirm the geometric input or expose a gap before investing in the full filtration argument.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper proves reduction by stages for affine W-algebras under explicit compatibility conditions (⋆) on a pair of nilpotent orbits and good gradings. The main result (Theorem 5.3.3) constructs a BRST complex C^•_{f0}(W_k(g,f_1)) whose cohomology is the affine W-algebra W_k(g,f_2). The strategy is to compare the associated graded objects via the Li filtration: the associated graded of the new BRST cohomology is shown to be the arc space of the corresponding Slodowy-slice reduction, which was established in the authors' previous work. The paper also proves a general vanishing theorem for BRST cohomology of vertex algebras (Theorem 3.7.1), a new construction of W_k(g,f_2) via an auxiliary BRST complex ~C_2 (Theorem 5.5.7), and the equivalence of several BRST definitions of W-algebras (Theorem 4.4.5). Examples are given in types A, B, C, and G_2.

Significance. If the proof is completed, this is a substantial structural result: affine W-algebras are shown to form a hierarchy under quantum Hamiltonian reduction, extending the finite-dimensional Slodowy-slice reduction of [GJ24] and the type-A hook-type cases of [MR97]. The paper's overall architecture is sound and not circular: the target isomorphism is not assumed, and the reduction to the associated-graded/arc-space statement is explicit. The general vanishing theorem and the equivalence of BRST constructions are useful independent contributions. However, a central technical point—freeness of certain enveloping-algebra actions—is asserted rather than proved in the two key applications of Theorem 3.6.2, and this gap is load-bearing for the main theorem.

major comments (3)
  1. [§5.5, Prop. 5.5.1] The proof asserts that the action of U(~n2[t^{-1}]t^{-1}) on V_k(g) ⊗ A(g^{(1)}_1) induced by the standard comoment map ~Υ_{2,st} is free, with the justification that this tensor product 'is freely generated by any basis of g and any basis of g^{(1)}'. This is a non sequitur. Freeness as a vertex algebra does not imply freeness as a module over the enveloping algebra of the image of ~Υ_{2,st}. For x ∈ n0, the formula for ~Υ_{2,st}(x) includes the quadratic term (1/2)Σ_i :ψ_i ψ_[v_i,x]:, so the zero modes are not the simple creation operators of the PBW basis. Condition (3) of Theorem 3.6.2 is therefore not verified. Since Theorem 3.6.2 supplies condition (4) of Theorem 3.7.1 used in the same proof, and since Proposition 5.5.1 is used in the proof of Theorem 5.3.3 to identify gr^F H^0(~C_2) with the arc-space cohomology, this gap is load-bearing. A proof of freeness (for example, by showing that the images of n0 can be completed to a strong generating set in a triangular way) is required.
  2. [§5.6, Prop. 5.6.1] The same freeness issue arises for the action of U(n0[t^{-1}]t^{-1}) on W_k(g,f_1). The proof states that the action is free 'because the affine W-algebra is freely generated'. This is not sufficient: the standard comoment map x ↦ J^{x} is a vertex algebra embedding, but freeness of the module over the enveloping algebra of its image is an additional condition. Without it, the Hochschild–Serre spectral sequence in Lemma 3.6.3 can have nonzero higher homology, and the isomorphism H^•(C_0,d_0) ≅ H^•(C_{0,+},d_{0,+}) used as condition (4) of Theorem 3.7.1 would fail. The assertion is more plausible here than in Proposition 5.5.1 because the maps are honest embeddings, but it still needs a proof.
  3. [§5.5, proof of Prop. 5.5.1] The replacement of assumption (5) of Theorem 3.7.1 by Corollary 5.4.7 is asserted without explanation. Corollary 5.4.7 computes the Lie algebra cohomology H^•(~n2[t], C[J∞~π2^{-1}(~O_2^-)]) and shows it is δ_{•,0} C[J∞S_2]. This does give the vanishing of H^n(gr_Li C, gr_Li d) for n ≠ 0 that is needed in the proof of Theorem 3.7.1, but the manuscript should state the precise way in which this vanishing replaces the moment-map/action-map hypothesis, since the proof of Theorem 3.7.1 as written uses condition (5) through Theorem 3.4.1.
minor comments (3)
  1. [§5.7, Prop. 5.7.6(3)] The statement says 'the Lie algebra g is of type G2 (r ≥ 3)'; the parameter r is meaningless for G2 and should be removed.
  2. [§5.5, proof of Prop. 5.5.1] The indexing of the basis {v_i} in the proof is hard to follow: the line 'Span_C {v_i}_{i=2s-s0}^{s+1} = lc' appears to have an index error. Please reindex the ranges consistently.
  3. [References] The paper relies heavily on [AM24], which is cited as a preliminary version. If a final published version exists, the reference should be updated.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the affine reduction-by-stages claim is derived from the independently proved slice-level theorem plus new BRST constructions, with no fitted parameters or definitional loop.

full rationale

The paper's main theorem, Theorem 5.3.3, asserts that under the conditions (⋆) the BRST cohomology of C^•_{f0}(W_k(g,f1)) is isomorphic to W_k(g,f2). The proof reduces this to the associated graded level via the general vanishing theorem 3.7.1, and then uses the isomorphism of arc-space Hamiltonian reductions coming from the authors' previous slice-level reduction-by-stages theorem, cited as [GJ24, Main Theorems 1 and 2] and reformulated here as Theorem 5.2.1 and Corollary 5.2.3. This reliance on [GJ24] is load-bearing but is not circular: [GJ24] is a separate published theorem about Slodowy slices and finite W-algebras, not a restatement of the affine statement being proved. The affine result requires genuinely new ingredients, including the new BRST complex ~C^•_2, the intermediary complex of Theorem 5.5.7, and the Li-filtration convergence of Theorem 3.7.1, none of which is derived from the desired isomorphism. No parameter is fitted to W_k(g,f2) and then renamed as a prediction, and no key object is defined in terms of the target cohomology. The paper explicitly and honestly declares its dependence on the prior slice theorem. Under the stated review rules, independent published support from the same authors does not raise the circularity score. The notable caveat is Proposition 5.5.1, where freeness of the U(~n2[t^{-1}]t^{-1})-action is asserted in a single sentence; as the skeptical reading notes, freeness as a vertex algebra does not automatically imply freeness as a module over the enveloping algebra of the image of ~Υ_{2,st}. This is a potential correctness gap in verifying condition (3) of Theorem 3.6.2, but it is not circularity, because that freeness is an input hypothesis of the general theorem, not the conclusion being proved. Overall, the derivation is self-contained apart from the independent geometric input from [GJ24], so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters or fitted constants appear; the level k is a variable and the main theorem holds for all complex levels. No new objects are postulated. The axiomatic load is standard vertex-algebra and arc-space machinery, plus the externally proved though same-author slice reduction by stages and the unpublished [AM24] framework.

assumptions (6)
  • standard math For every nilpotent element f in a simple Lie algebra there exists an sl2-triple (e,h,f) with h in a Cartan subalgebra and an associated good grading with f in g_{-2} and ad(f) injective for δ≥1 and surjective for δ≤1.
    Invoked in Sections 4.1 and 5.1 to define the bigrading and the isotropic subspaces l1 and l2 used in the proof of Proposition 5.1.1.
  • standard math The Li filtration on a vertex algebra has the standard properties (2.1), and the associated graded of W_k(g,f) is C[J∞ S_f]; arc spaces of Poisson varieties carry vertex Poisson algebra structures.
    This is the bridge between affine W-algebras and Slodowy slices, used in Theorems 3.7.1, 4.3.2, 5.6.1 and Proposition 5.6.2.
  • standard math Gan-Ginzburg slice isomorphisms N_l × S_f ≅ π_l^{-1}(O_l^-) and the unipotent Lie algebra cohomology H^•(n[t], C[J∞N]) vanish in nonzero degrees.
    Geometric input in Sections 3.7, 4.2, and 5.2; used to prove vanishing of BRST cohomology and to identify associated graded objects.
  • standard math Reduction by stages for Slodowy slices and finite W-algebras, proved in [GJ24] and recalled as Theorem 5.2.1 and Corollary 5.2.3.
    Used as the top horizontal comparison in the proof of Theorem 5.3.3: the associated graded of Θ is identified with the slice-level isomorphism. This is prior published work by the same authors, not an input to the main theorem.
  • domain assumption Technical hypotheses of Theorem 3.7.1 hold for the complexes C0 and ~C2, including finite-dimensional homogeneous components, freeness of the U(m[t^{-1}]t^{-1})-action, and the arc-space vanishing of Corollary 5.4.7.
    This is the load-bearing technical premise checked in Propositions 5.5.1 and 5.6.1. If it fails, the isomorphism gr Θ is not established.
  • domain assumption The unpublished preliminary [AM24, Theorem 9.7] and its surrounding arc-space/BRST framework are correct as used.
    The paper states Theorem 3.7.1 as a generalization of [AM24, Theorem 9.7] and later cites [AM24] for vanishing and filtered-cohomology results. No stable public version is supplied.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Reduction by stages for affine W-algebras." pith.science (2026). https://pith.science/paper/MKP3LLXJ

@misc{pith2026250104501,
  author       = {Pith},
  title        = {Pith review of: Reduction by stages for affine W-algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MKP3LLXJ}},
  note         = {Machine review of arXiv:2501.04501}
}
read the original abstract

Given a pair of nilpotent orbits in a simple Lie algebra, one can associate a pair of vertex algebras called affine W-algebras. Under some compatibility conditions on these orbits, we prove that one of these W-algebras can be obtained as the quantum Hamiltonian reduction of the other. This property is called reduction by stages. We provide several examples in classical and exceptional types. To prove reduction by stages for affine W-algebras, we use our previous work on reduction by stages for the Slodowy slices associated with these nilpotent orbits, these slices being the associated varieties of the W-algebras. We also prove and use the fact that each W-algebra can be defined using several equivalent BRST cohomology constructions: choosing the right BRST complexes allows us to connect the two W-algebras in a natural way.

Figures

Figures reproduced from arXiv: 2501.04501 by the authors.

Figure 1
Figure 1. Examples of pyramids P1 1234 5678 910 11 12 13 P2 1234 5678 91011 12 13 Proof. From the left to the right, and from the bottom to the top, denote by j1, . . . , ja, ja+1, . . . , ja+b the labels in the hook-type part (in Example 5.7.2, these labels are 9, 10, 11, 12, 13). Take 1 6 j, k 6 n. Let x (i) j , respectively x (i) k , be the abscissa of the center of the box labeled with j, respectively with k. Then [Hi , E… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

  1. Characters and fusion rules of boundary W-algebras

    math.QA 2025-09 conditional novelty 8.0 of 10

    Boundary W-algebras W(sl_n[um,s], n/u) and principal W-algebras W(sl_s[s], s/u) have matching q-characters and modular data, hence identical fusion rules.

  2. W-algebras as conformal extensions of affine VOAs

    math.QA 2025-08 conditional novelty 7.0 of 10

    A sufficient condition is proven for W-algebras to be conformal extensions of affine vertex algebras, yielding many new collapsing levels and explicit isomorphisms.

  3. On Virasoro-type reductions and inverse Hamiltonian reductions for $W$-algebras and $W_\infty$-algebras

    math.QA 2024-11 conditional novelty 7.0 of 10

    Virasoro-type reduction and inverse Hamiltonian reduction are established for height-two W-algebras in classical Lie types and for the universal W∞-algebra W^{sp}_∞.

Reference graph

Works this paper leans on

54 extracted references · 49 canonical work pages · cited by 3 Pith papers

  1. [1]

    Relaxed and logarithmic modules of sl _3

    Dra z en Adamovi \'c , Thomas Creutzig, and Naoki Genra. Relaxed and logarithmic modules of sl _3 . Mathematische Annalen , 389(1):281--324, 2024

    work page 2024

  2. [2]

    Realizations of simple affine vertex algebras and their modules: The cases sl (2) and osp (2)

    Dra z en Adamovi \'c . Realizations of simple affine vertex algebras and their modules: The cases sl (2) and osp (2) . Communications in Mathematical Physics , 366(3):1025--1067, 2019

    work page 2019

  3. [3]

    Localization of affine W -algebras

    Tomoyuki Arakawa, Toshiro Kuwabara, and Fyodor Malikov. Localization of affine W -algebras. Communications in Mathematical Physics , 335(1):143--182, 2015

    work page 2015

  4. [4]

    A realisation of the B ershadsky-- P olyakov algebras and their relaxed modules

    Dra z en Adamovi \'c , Kazuya Kawasetsu, and David Ridout. A realisation of the B ershadsky-- P olyakov algebras and their relaxed modules. Letters in mathematical physics , 111(2):38, 2021

    work page 2021

  5. [5]

    Arc spaces and vertex algebras

    Tomoyuki Arakawa and Anne Moreau. Arc spaces and vertex algebras . 2024. Premilinary version, https://www.imo.universite-paris-saclay.fr/ anne.moreau

    work page 2024

  6. [6]

    Representation theory of W -algebras

    Tomoyuki Arakawa. Representation theory of W -algebras. Invent. Math. , 169(2):219--320, 2007

    work page 2007

  7. [7]

    A remark on the C_2 -cofiniteness condition on vertex algebras

    Tomoyuki Arakawa. A remark on the C_2 -cofiniteness condition on vertex algebras. Math. Z. , 270(1-2):559--575, 2012

    work page 2012

  8. [8]

    Associated varieties of modules over K ac- M oody algebras and C_2 -cofiniteness of W -algebras

    Tomoyuki Arakawa. Associated varieties of modules over K ac- M oody algebras and C_2 -cofiniteness of W -algebras. Int. Math. Res. Not. IMRN , (22):11605--11666, 2015

    work page 2015

Show all 54 references
  1. [9]

    Singularities of nilpotent S lodowy slices and collapsing levels of W -algebras

    Tomoyuki Arakawa, Jethro van Ekeren, and Anne Moreau. Singularities of nilpotent S lodowy slices and collapsing levels of W -algebras. In Forum of Mathematics, Sigma , volume 12, page e95. Cambridge University Press, 2024

    2024

  2. [10]

    Jonathan Brundan and Simon M. Goodwin. Good grading polytopes. Proceedings of the London Mathematical Society , 94(1):155--180, 2007

    2007

  3. [11]

    Highest weight theory for finite W -algebras

    Jonathan Brundan, Simon M Goodwin, and Alexander Kleshchev. Highest weight theory for finite W -algebras. International Mathematics Research Notices , 2008(9):rnn051--rnn051, 2008

    2008

  4. [12]

    Shifted Y angians and finite W -algebras

    Jonathan Brundan and Alexander Kleshchev. Shifted Y angians and finite W -algebras. Advances in Mathematics , 200(1):136--195, 2006

    2006

  5. [13]

    Borcherds

    Richard E. Borcherds. Vertex algebras, K ac- M oody algebras, and the M onster. Proceedings of the National Academy of Sciences - PNAS , 83(10):3068--3071, 1986

    1986

  6. [14]

    Vertex algebras from divisors on C alabi- Y au threefolds

    Dylan Butson. Vertex algebras from divisors on C alabi- Y au threefolds. 2023. Preprint, arXiv:2312.03648

    2023 arXiv

  7. [15]

    Lectures on symplectic geometry , volume 3575

    Ana Cannas da Silva. Lectures on symplectic geometry , volume 3575. Springer, 2001

    2001

  8. [16]

    On the structure of W -algebras in type A

    Thomas Creutzig, Justine Fasquel, Andrew R Linshaw, and Shigenori Nakatsuka. On the structure of W -algebras in type A . 2024. Preprint, arXiv:2403.08212

    2024 arXiv

  9. [17]

    Collingwood and William M

    David H. Collingwood and William M. McGovern. Nilpotent orbits in semisimple L ie algebras . Van Nostrand Reinhold Co. New York, 1993

    1993

  10. [18]

    The relation between quantum W algebras and L ie algebras

    Jan de Boer and Tjark Tjin. The relation between quantum W algebras and L ie algebras. Comm. Math. Phys. , 160(2):317--332, 1994

    1994

  11. [19]

    Alessandro D'Andrea, Corrado De Concini, Alberto De Sole, Reimundo Heluani, and Victor G. Kac. Three equivalent definitions of finite W -algebras, 2006. A ppendix to de-sole2006finite

    2006

  12. [20]

    Alberto De Sole and Victor G. Kac. Finite vs affine W -algebras. Japanese Journal of Mathematics , 1(1):137--261, 2006

    2006

  13. [21]

    Kac, and Daniele Valeri

    Alberto De Sole, Victor G. Kac, and Daniele Valeri. Classical W -algebras and generalized D rinfeld- S okolov bi- H amiltonian systems within the theory of P oisson vertex algebras. Comm. Math. Phys. , 323(2):663--711, 2013

    2013

  14. [22]

    A. G. Elashvili and V. G. Kac. Classification of good gradings of simple L ie algebras. Translations of the American Mathematical Society-Series 2 , 213:85--104, 2005

    2005

  15. [23]

    Vertex algebras and algebraic curves , volume 88 of Mathematical Surveys and Monographs

    Edward Frenkel and David Ben-Zvi. Vertex algebras and algebraic curves , volume 88 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2 edition, 2004

    2004

  16. [24]

    Subregular W -algebras of type A

    Zachary Fehily. Subregular W -algebras of type A . Communications in Contemporary Mathematics , 25(09):2250049, 2023

    2023

  17. [25]

    Inverse reduction for hook-type W -algebras

    Zachary Fehily. Inverse reduction for hook-type W -algebras. Communications in Mathematical Physics , 405(9):214, 2024

    2024

  18. [26]

    Quantization of the D rinfeld- S okolov reduction

    Boris Feigin and Edward Frenkel. Quantization of the D rinfeld- S okolov reduction. Physics Letters B , 246(1-2):75--81, 1990

    1990

  19. [27]

    Connecting affine W -algebras: a case study on sl _4

    Justine Fasquel, Zachary Fehily, Ethan Fursman, and Shigenori Nakatsuka. Connecting affine W -algebras: a case study on sl _4 . 2024. Preprint, arXiv:2408.13785

    2024

  20. [28]

    On V irasoro-type reductions and inverse H amiltonian reductions for W -algebras

    Justine Fasquel, Vladimir Kovalchuk, and Shigenori Nakatsuka. On V irasoro-type reductions and inverse H amiltonian reductions for W -algebras. 2024. Preprint, arXiv:2411.10694

    2024 arXiv

  21. [29]

    Orthosymplectic F eigin- S emikhatov duality

    Justine Fasquel and Shigenori Nakatsuka. Orthosymplectic F eigin- S emikhatov duality. 2023. Preprint, arXiv:2307.14574

    2023

  22. [30]

    G elfand- T setlin representations of finite W -algebras

    Vyacheslav Futorny, Luis Enrique Ramirez, and Jian Zhang. G elfand- T setlin representations of finite W -algebras. Journal of Pure and Applied Algebra , 224(5):106226, 2020

    2020

  23. [31]

    Screening operators and parabolic inductions for affine W -algebras

    Naoki Genra. Screening operators and parabolic inductions for affine W -algebras. Advances in Mathematics , 369:107179, 2020

    2020

  24. [32]

    Quantization of S lodowy slices

    Wee Liang Gan and Victor Ginzburg. Quantization of S lodowy slices. International Mathematics Research Notices , 2002(5):243--255, 2002

    2002

  25. [33]

    Reduction by stages for finite W -algebras

    Naoki Genra and Thibault Juillard. Reduction by stages for finite W -algebras. Mathematische Zeitschrift , 308(1):15, 2024

    2024

  26. [34]

    Vertex algebras for beginners , volume 10 of University Lecture Series

    Victor Kac. Vertex algebras for beginners , volume 10 of University Lecture Series . American Mathematical Society, Providence, RI, 2 edition, 1998

    1998

  27. [35]

    On W hittaker vectors and representation theory

    Bertram Kostant. On W hittaker vectors and representation theory. Inventiones mathematicae , 48(2):101--184, 1978

    1978

  28. [36]

    Hamiltonian reduction for affine G rassmannian slices and truncated shifted Y angians

    Joel Kamnitzer, Khoa Pham, and Alex Weekes. Hamiltonian reduction for affine G rassmannian slices and truncated shifted Y angians. Advances in Mathematics , 399:108281, 2022

    2022

  29. [37]

    Quantum reduction for affine superalgebras

    Victor Kac, Shi-Shyr Roan, and Minoru Wakimoto. Quantum reduction for affine superalgebras. Communications in Mathematical Physics , 241(2-3):307--342, sep 2003

    2003

  30. [38]

    Symplectic reduction, BRS cohomology, and infinite-dimensional C lifford algebras

    Bertram Kostant and Shlomo Sternberg. Symplectic reduction, BRS cohomology, and infinite-dimensional C lifford algebras. Annals of Physics , 176(1):49--113, 1987

    1987

  31. [39]

    Quantum reduction and representation theory of superconformal algebras

    Victor Kac and Minoru Wakimoto. Quantum reduction and representation theory of superconformal algebras. Advances in Mathematics , 185(2):400--458, 2004

    2004

  32. [40]

    Poisson structures , volume 347

    Camille Laurent-Gengoux, Anne Pichereau, and Pol Vanhaecke. Poisson structures , volume 347. Springer Science & Business Media, 2012

    2012

  33. [41]

    Abelianizing vertex algebras

    Haisheng Li. Abelianizing vertex algebras. Comm. Math. Phys. , 259(2):391--411, 2005

    2005

  34. [42]

    Quantized symplectic actions and W -algebras

    Ivan Losev. Quantized symplectic actions and W -algebras. Journal of the American Mathematical Society , 23(1):35--59, 2010

    2010

  35. [43]

    Generalized W hittaker vectors and representation theory

    Thomas Emile Lynch. Generalized W hittaker vectors and representation theory . ProQuest LLC, Ann Arbor, MI, 1979. Thesis (Ph.D.)--Massachusetts Institute of Technology

    1979

  36. [44]

    James S. Milne. Algebraic groups: the theory of group schemes of finite type over a field . Cambridge studies in advanced mathematics 170. Cambridge University Press, 2017

    2017

  37. [45]

    Hamiltonian reduction by stages

    Jerrold E Marsden, Gerard Misiolek, Juan-Pablo Ortega, Matthew Perlmutter, and Tudor S Ratiu. Hamiltonian reduction by stages . Springer, 2007

    2007

  38. [46]

    Quantum H amiltonian reduction of W -algebras and category O , 2015

    Stephen Morgan. Quantum H amiltonian reduction of W -algebras and category O , 2015. PhD thesis, arXiv:1502.07025

    2015 arXiv

  39. [47]

    Quantum H amiltonian reduction of W -algebras and category O , 2015

    Stephen Morgan. Quantum H amiltonian reduction of W -algebras and category O , 2015. Preprint, arXiv:1510.07352

    2015 arXiv

  40. [48]

    Secondary quantum H amiltonian reductions

    Jens Ole Madsen and Eric Ragoucy. Secondary quantum H amiltonian reductions. Communications in mathematical physics , 185(3):509--541, 1997

    1997

  41. [49]

    Special transverse slices and their enveloping algebras

    Alexander Premet. Special transverse slices and their enveloping algebras. Advances in Mathematics , 170(1):1--55, 2002

    2002

  42. [50]

    Enveloping algebras of S lodowy slices and the J oseph ideal

    Alexander Premet. Enveloping algebras of S lodowy slices and the J oseph ideal. Journal of the European Mathematical Society , 9(3):487--543, 2007

    2007

  43. [51]

    Ragoucy and P

    E. Ragoucy and P. Sorba. Yangian realisations from finite W -algebras. Comm. Math. Phys. , 203(3):551--572, 1999

    1999

  44. [52]

    Alexander A. Voronov. Semi-infinite homological algebra. Invent. Math. , 113(1):103--146, 1993

    1993

  45. [53]

    Charles A. Weibel. An introduction to homological algebra . Cambridge studies in advanced mathematics 38. Cambridge University Press, Cambridge [etc], repr. edition, 1997

    1997

  46. [54]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence '...

Pith tools

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