
We show that sheet closures appear as associated varieties of affine vertex
algebras. Further, we give new examples of nonadmissible affine vertex
algebras whose associated variety is contained in the nilpotent cone. We also
prove some conjectures from our previous paper and give new examples of lisse
affine Walgebras.

We prove the longstanding conjecture on the coset construction of the
minimal series principal $W$algebras of ADE types in full generality. We do
this by first establishing Feigin's conjecture on the coset realization of the
universal principal $W$algebras, which are not necessarily simple. As
consequences, the unitarity of the "discrete series" of principal $W$algebras
is established, a second coset realization of rational and unitary Walgebras
of type $A$ and $D$ are given and the rationality of KazamaSuzuki coset vertex
superalgebras is derived.

Attached to a vertex algebra $\mathcal{V}$ are two geometric objects. The
{\it associated scheme} of $\mathcal{V}$ is the spectrum of Zhu's Poisson
algebra $R_{\mathcal{V}}$. The {\it singular support} of $\mathcal{V}$ is the
spectrum of the associated graded algebra $\text{gr}(\mathcal{V})$ with respect
to Li's canonical decreasing filtration. There is a closed embedding from the
singular support to the arc space of the associated scheme, which is an
isomorphism in many interesting cases. In this note we give an example of a
nonquasilisse vertex algebra for which the isomorphism is not true as schemes
but true as varieties.

We introduce the notion of chiral symplectic cores in a vertex Poisson
variety, which can be viewed as analogs of symplectic leaves in Poisson
varieties. As an application we show that any quasilisse vertex algebra is a
quantization of the arc space of its associated variety, in the sense that its
reduced singular support coincides with the arc space of its associated
variety. We also show that the coordinate ring of the arc space of Slodowy
slices is free over its vertex Poisson center, and the latter coincides with
the vertex Poisson center of the coordinate ring of the arc space of the dual
of the corresponding simple Lie algebra.

We introduce a notion of quasilisse vertex algebras, which generalizes
admissible affine vertex algebras. We show that the normalized character of an
ordinary module over a quasilisse vertex operator algebra has a modular
invariance property, in the sense that it satisfies a modular linear
differential equation. As an application we obtain the explicit character
formulas of simple affine vertex algebras associated with the Deligne
exceptional series at level $h^{\vee}/61$, which express the homogeneous
Schur indices of 4d SCFTs studied by Beem, Lemos, Liendo, Peelaers, Rastelli
and van Rees, as quasimodular forms.

The BershadskyPolyakov algebra is the $\mathcal{W}$algebra associated to
$\mathfrak{s}\mathfrak{l}_3$ with its minimal nilpotent element $f_{\theta}$.
For notational convenience we define $\mathcal{W}^{\ell} = \mathcal{W}^{\ell 
3/2} (\mathfrak{s}\mathfrak{l}_3, f_{\theta})$. The simple quotient of
$\mathcal{W}^{\ell}$ is denoted by $\mathcal{W}_{\ell}$, and for $\ell$ a
positive integer, $\mathcal{W}_{\ell}$ is known to be $C_2$cofinite and
rational. We prove that for all positive integers $\ell$, $\mathcal{W}_{\ell}$
contains a rank one lattice vertex algebra $V_L$, and that the coset
$\mathcal{C}_{\ell} = \text{Com}(V_L, \mathcal{W}_{\ell})$ is isomorphic to the
principal, rational $\mathcal{W}(\mathfrak{s}\mathfrak{l}_{2\ell})$algebra at
level $(2\ell +3)/(2\ell +1) 2\ell$. This was conjectured in the physics
literature over 20 years ago. As a byproduct, we construct a new family of
rational, $C_2$cofinite vertex superalgebras from $\mathcal{W}_{\ell}$

Let $\mathfrak{g}$ be a simple, finitedimensional Lie (super)algebra
equipped with an embedding of $\mathfrak{s} \mathfrak{l}_2$ inducing the
minimal gradation on $\mathfrak{g}$. The corresponding minimal
$\mathcal{W}$algebra $\mathcal{W}^k(\mathfrak{g}, e_{\theta})$ introduced by
Kac and Wakimoto has strong generators in weights $1,2,3/2$, and all operator
product expansions are known explicitly. The weight one subspace generates an
affine vertex (super)algebra $V^{k'}(\mathfrak{g}^{\natural})$ where
$\mathfrak{g}^{\natural} \subset \mathfrak{g}$ denotes the centralizer of
$\mathfrak{s} \mathfrak{l}_2$. Therefore $\mathcal{W}^k(\mathfrak{g},
e_{\theta})$ has an action of a connected Lie group $G^{\natural}_0$ with Lie
algebra $\mathfrak{g}^{\natural}_0$, where $\mathfrak{g}^{\natural}_0$ denotes
the even part of $\mathfrak{g}^{\natural}$. We show that for any reductive
subgroup $G \subset G^{\natural}_0$, and for any reductive Lie algebra
$\mathfrak{g}' \subset \mathfrak{g}^{\natural}$, the orbifold $\mathcal{O}^k =
\mathcal{W}^k(\mathfrak{g}, e_{\theta})^{G}$ and the coset $\mathcal{C}^k =
\text{Com}(V(\mathfrak{g}'),\mathcal{W}^k(\mathfrak{g}, e_{\theta}))$ are
strongly finitely generated for generic values of $k$. Here $V(\mathfrak{g}')$
denotes the affine vertex algebra associated to $\mathfrak{g}'$. We find
explicit minimal strong generating sets for $\mathcal{C}^k$ when $\mathfrak{g}'
= \mathfrak{g}^{\natural}$ and $\mathfrak{g}$ is either $\mathfrak{s}
\mathfrak{l}_n$, $\mathfrak{s}\mathfrak{p}_{2n}$,
$\mathfrak{s}\mathfrak{l}(2n)$ for $n\neq 2$,
$\mathfrak{p}\mathfrak{s}\mathfrak{l}(22)$, or
$\mathfrak{o}\mathfrak{s}\mathfrak{p}(14)$. Finally, we conjecture some
surprising coincidences among families of cosets $\mathcal{C}_k$ which are the
simple quotients of $\mathcal{C}^k$, and we prove several cases of our
conjecture.

We use affine Walgebras to quantize MishchenkoFomenko subalgebras for
centralizers of nilpotent elements in simple Lie algebras under certain
assumptions that are satisfied for all cases in type A and all minimal
nilpotent cases outside type $E_8$.

For an admissible affine vertex algebra $V_k(\mathfrak{g})$ of type $A$, we
describe a new family of relaxed highest weight representations of
$V_k(\mathfrak{g})$. They are simple quotients of representations of the affine
KacMoody algebra $\widehat{\mathfrak{g}}$ induced from the following
$\mathfrak{g}$modules: 1) generic GelfandTsetlin modules in the principal
nilpotent orbit, in particular all such modules induced from $\mathfrak{sl}_2$;
2) all GelfandTsetlin modules in the principal nilpotent orbit which are
induced from $\mathfrak{sl}_3$; 3) all simple GelfandTsetlin modules over
$\mathfrak{sl}_3$. This in particular gives the classification of all simple
positive energy weight representations of $V_k(\mathfrak{g})$ with finite
dimensional weight spaces for $\mathfrak{g}=\mathfrak{sl}_3$.

These are lecture notes from author's minicourse during Session 1: "Vertex
algebras, Walgebras, and application" of INdAM Intensive research period
"Perspectives in Lie Theory", at the Centro di Ricerca Matematica Ennio De
Giorgi, Pisa, Italy. December 9, 2014  February 28, 2015.

We give an explicit description for the weight three generator of the coset
vertex operator algebra $C_{L_{\widehat{\sl_{n}}}(l,0)\otimes
L_{\widehat{\sl_{n}}}(1,0)}(L_{\widehat{\sl_{n}}}(l+1,0))$, for $n\geq 2, l\geq
1$. Furthermore, we prove that the commutant
$C_{L_{\widehat{\sl_{3}}}(l,0)\otimes
L_{\widehat{\sl_{3}}}(1,0)}(L_{\widehat{\sl_{3}}}(l+1,0))$ is isomorphic to the
$\W$algebra $\W_{3+\frac{l+3}{l+4}}(\sl_3)$, which confirms the conjecture
for the $\sl_3$ case that $C_{L_{\widehat{\frak g}}(l,0)\otimes
L_{\widehat{\frak g}}(1,0)}(L_{\widehat{\frak g}}(l+1,0))$ is isomorphic to
$\W_{h+\frac{l+h}{l+h+1}}(\frak g)$ for simplylaced Lie algebras ${\frak g}$
with its Coxeter number $h$ for a positive integer $l$.

We prove the conjectual isomorphism between the level $k$
$\widehat{sl}_2$parafermion vertex operator algebra and the $(k+1,k+2)$
minimal series $W_k$algebra for all integers $k \ge 2$. As a consequence, we
obtain the conjectural isomorphism between the $(k+1,k+2)$ minimal series
$W_k$algebra and the coset vertex operator algebra $SU(k)_1 \otimes
SU(k)_1/SU(k)_2$.

We study modularity of the characters of a vertex (super)algebra equipped
with a family of conformal structures. Along the way we introduce the notions
of rationality and cofiniteness relative to such a family. We apply the results
to determine modular transformations of trace functions on admissible modules
over affine KacMoody algebras and, via BRST reduction, trace functions on
minimal series representations of principal affine Walgebras.

We produce in an explicit form free generators of the affine Walgebra of
type A associated with a nilpotent matrix whose Jordan blocks are of the same
size. This includes the principal nilpotent case and we thus recover the
quantum Miura transformation of Fateev and Lukyanov.

We investigate the irreducibility of the nilpotent Slodowy slices that appear
as the associated variety of Walgebras. Furthermore, we provide new examples
of vertex algebras whose associated variety has finitely many symplectic
leaves.

We consider a lifting of Joseph ideals for the minimal nilpotent orbit
closure to the setting of affine KacMoody algebras and find new examples of
affine vertex algebras whose associated varieties are minimal nilpotent orbit
closures. As an application we obtain a new family of lisse ($C_2$cofinite)
Walgebras that are not coming from admissible representations of affine
KacMoody algebras.

We develop some basic properties such as $p$centers of affine vertex
algebras and free field vertex algebras in prime characteristic. We show that
the WakimotoFeiginFrenkel homomorphism preserves the $p$centers by providing
explicit formulas. This allows us to formulate the notion of baby Wakimoto
modules, which in particular provides an interpretation in the context of
modular vertex algebras for Mathieu's irreducible character formula of modular
affine Lie algebras at the critical level.

We prove the rationality of all the minimal series principal Walgebras
discovered by Frenkel, Kac and Wakimoto in 1992, thereby giving a new family of
rational and C_2cofinite vertex operator algebras. A key ingredient in our
proof is the study of Zhu's algebra of simple Walgebras via the quantized
DrinfeldSokolov reduction. We show that the functor of taking Zhu's algebra
commutes with the reduction functor. Using this general fact we determine the
maximal spectrums of the associated graded of Zhu's algebra of all the
admissible affine vertex algebras as well.

First, we establish the relation between the associated varieties of modules
over KacMoody algebras \hat{g} and those over affine Walgebras. Second, we
prove the FeiginFrenkel conjecture on the singular supports of Gintegrable
admissible representations. In fact we show that the associated variates of
Gintegrable admissible representations are irreducible Ginvariant
subvarieties of the nullcone of g, by determining them explicitly. Third, we
prove the C_2cofiniteness of a large number of simple Walgebras, including
all minimal series principal Walgebras and the exceptional Walgebras recently
discovered by KacWakimoto.

We study the vertex algebras associated with modular invariant
representations of affine KacMoody algebras at fractional levels, whose simple
highest weight modules are classified by Joseph's characteristic varieties. We
show that an irreducible highest weight representation of a nontwisted affine
KacMoody algebra at an admissible level k is a module over the associated
simple affine vertex algebra if and only if it is an admissible representation
whose integral root system is isomorphic to that of the vertex algebra itself.
This in particular proves the conjecture of Adamovic and Milas on the
rationality of admissible affine vertex algebras in the category O.

We prove the conjecture of Frenkel, Kac and Wakimoto on the existence of
twosided BGG resolutions of Gintegrable admissible representations of affine
KacMoody algebras at fractional levels. As an application we establish the
semiinfintie analogue of the generalized BorelWeil theorem for mimimal
parabolic subalgebras which enables an inductive study of admissible
representations.

We prove the conjecture of KacWakimoto on the rationality of exceptional
Walgebras for the first nontrivial series, namely, for the
BershadskyPolyakov vertex algebras $W_3^{(2)}$ at level $k=p/23$ with
$p=3,5,7,...$. This gives new examples of rational conformal field theories.

We determine Zhu's algebra and C_2algebra of parafermion vertex operator
algebras for sl_2. Moreover, we prove the C_2cofiniteness of parafermion
vertex operator algebras for any finite dimensional simple Lie algebras.

Let g be a complex simple Lie algebra, f a nilpotent element of g. We show
that (1) the center of the Walgebra $W^{cri}(g,f)$ associated with (g,f) at
the critical level coincides with the FeiginFrenkel center of the affine Lie
algebra associated with g, (2) the centerless quotient $W_{\chi}(g,f)$ of
$W^{cri}(g,f)$ corresponding to an oper $\chi$ on the disc is simple, (3) the
simple quotient $W_{\chi}(g,f)$ is a quantization of the jet scheme of the
intersection of the Slodowy slice at f with the nilpotent cone of g.

We study the restricted category O for an affine KacMoody algebra at the
critical level. In particular, we prove the first part of the FeiginFrenkel
conjecture: the linkage principle for restricted Verma modules. Moreover, we
prove a version of the BGGHreciprocity principle and we determine the block
decomposition of the restricted category O. For the proofs we need a deformed
version of the classical structures, so we mostly work in a relative setting.