Searcharxiv⌕ Search

arXiv subjects

Thomas Creutzig

Publications and source records attributed to Thomas Creutzig.

At least 37 records · Page 2Linked to original sources
arXiv2024

On the structure of W-algebras in type A

We formulate and prove examples of a conjecture which describes the W-algebras in type A as successive quantum Hamiltonian reductions of affine vertex algebras associated with several hook-type nilpotent orbits. This implies that the affine coset subalgebras of hook-type W-algebras are building blocks of the W-algebras in type A. In the rational case, it turns out that the building blocks for the simple quotients are provided by the minimal series of the regular W-algebras. In contrast, they are provided by singlet-type extensions of W-algebras at collapsing levels which are irrational. In the latter case, several new sporadic isomorphisms between different W-algebras are established.

math.RT↗
arXiv2024

Ordinary modules for vertex algebras of $\mathfrak{osp}_{1|2n}$

We show that the affine vertex superalgebra $V^k(\mathfrak{osp}_{1|2n})$ at generic level $k$ embeds in the equivariant $\mathcal W$-algebra of $\mathfrak{sp}_{2n}$ times $4n$ free fermions. This has two corollaries: (1) it provides a new proof that for generic $k$, the coset $\text{Com}(V^k(\mathfrak{sp}_{2n}), V^k(\mathfrak{osp}_{1|2n}))$ is isomorphic to $\mathcal W^\ell(\mathfrak{sp}_{2n})$ for $\ell = -(n+1) + \frac{k+n+1}{2k+2n+1}$, and (2) we obtain the decomposition of ordinary $V^k(\mathfrak{osp}_{1|2n})$-modules into $V^k(\mathfrak{sp}_{2n}) \otimes \mathcal W^\ell(\mathfrak{sp}_{2n})$-modules. Next, if $k$ is an admissible level and $\ell$ is a non-degenerate admissible level for $\mathfrak{sp}_{2n}$, we show that the simple algebra $L_k(\mathfrak{osp}_{1|2n})$ is an extension of the simple subalgebra $L_k(\mathfrak{sp}_{2n}) \otimes {\mathcal W}_{\ell}(\mathfrak{sp}_{2n})$. Using the theory of vertex superalgebra extensions, we prove that the category of ordinary $L_k(\mathfrak{osp}_{1|2n})$-modules is a semisimple, rigid vertex tensor supercategory with only finitely many inequivalent simple objects. It is equivalent to a certain subcategory of $\mathcal W_\ell(\mathfrak{sp}_{2n})$-modules. A similar result also holds for the category of Ramond twisted modules. Due to a recent theorem of Robert McRae, we get as a corollary that categories of ordinary $L_k(\mathfrak{sp}_{2n})$-modules are rigid.

math.RT↗
arXiv2024

Ribbon categories of weight modules for affine $\mathfrak{sl}_2$ at admissible levels

We show that the braided tensor category of finitely-generated weight modules for the simple affine vertex operator algebra $L_k(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ at any admissible level $k$ is rigid and hence a braided ribbon category. The proof uses a recent result of the first two authors with Shimizu and Yadav on embedding a braided Grothendieck-Verdier category $\mathcal{C}$ into the Drinfeld center of the category of modules for a suitable commutative algebra $A$ in $\mathcal{C}$, in situations where the braided tensor category of local $A$-modules is rigid. Here, the commutative algebra $A$ is Adamović's inverse quantum Hamiltonian reduction of $L_k(\mathfrak{sl}_2)$, which is the simple rational Virasoro vertex operator algebra at central charge $1-\frac{6(k+1)^2}{k+2}$ tensored with a half-lattice conformal vertex algebra. As a corollary, we also show that the category of finitely-generated weight modules for the $N = 2$ super Virasoro vertex operator superalgebra at central charge $-6\ell-3$ is rigid for $\ell$ such that $(\ell+1)(k+2) = 1$.

math.QA↗
arXiv2024

Classical freeness of orthosymplectic affine vertex superalgebras

The question of when a vertex algebra is a quantization of the arc space of its associated scheme has recently received a lot of attention in both the mathematics and physics literature. This property was first studied by Tomoyuki Arakawa and Anne Moreau [Lectures on $\mathcal{W}$-algebras, Australian Representation Theory Workshop 2016, University of Melbourne], and was given the name "classical freeness" by Jethro van Ekeren and Reimundo Heluani in their work on chiral homology [Comm. Math. Phys. 386 (2021), no. 1, 495-550]. Later, it was extended to vertex superalgebras by Hao Li [Eur. J. Math. 7 (2021), 1689-1728]. In this note, we prove the classical freeness of the simple affine vertex superalgebra $L_n(\mathfrak{osp}_{m|2r})$ for all positive integers $m,n,r$ satisfying $-\frac{m}{2} + r +n+1 > 0$. In particular, it holds for the rational vertex superalgebras $L_n(\mathfrak{osp}_{1|2r})$ for all positive integers $r,n$.

math.QA↗
arXiv2024

On lisse non-admissible minimal and principal W-algebras

We discuss a possible generalization of a result by the third-named author on the rationality of non-admissible minimal W-algebras. We then apply this generalization to finding rational non-admissible principal W-algebras.

math.RT↗
arXiv2023

Whittaker vectors for $\mathcal{W}$-algebras from topological recursion

We identify Whittaker vectors for $\mathcal{W}_k(\mathfrak{g})$-modules with partition functions of higher Airy structures. This implies that Gaiotto vectors, describing the fundamental class in the equivariant cohomology of a suitable compactification of the moduli space of $G$-bundles over $\mathbb{P}^2$ for $G$ a complex simple Lie group, can be computed by a non-commutative version of the Chekhov-Eynard-Orantin topological recursion. We formulate the connection to higher Airy structures for Gaiotto vectors of type A, B, C, and D, and explicitly construct the topological recursion for type A (at arbitrary level) and type B (at self-dual level). On the physics side, it means that the Nekrasov partition function for pure $\mathcal{N} = 2$ four-dimensional supersymmetric gauge theories can be accessed by topological recursion methods.

math-ph↗
arXiv2023

Tensor categories of weight modules of $\widehat{\mathfrak{sl}}_2$ at admissible level

The category of weight modules $L_k(\mathfrak{sl}_2)\text{-wtmod}$ of the simple affine vertex algebra of $\mathfrak{sl}_2$ at an admissible level $k$ is neither finite nor semisimple and modules are usually not lower-bounded and have infinite dimensional conformal weight subspaces. However this vertex algebra enjoys a duality with $W_\ell(\mathfrak{sl}_{2|1})$, the simple prinicipal $W$-algebra of $\mathfrak{sl}_{2|1}$ at level $\ell$ (the $N=2$ super conformal algebra) where the levels are related via $(k+2)(\ell+1)=1$. Every weight module of $W_\ell(\mathfrak{sl}_{2|1})$ is lower-bounded and has finite-dimensional conformal weight spaces. The main technical result is that every weight module of $W_\ell(\mathfrak{sl}_{2|1})$ is $C_1$-cofinite. The existence of a vertex tensor category follows and the theory of vertex superalgebra extensions implies the existence of vertex tensor category structure on $L_k(\mathfrak{sl}_2)\text{-wtmod}$ for any admissible level $k$. As applications, the fusion rules of ordinary modules with any weight module are computed and it is shown that $L_k(\mathfrak{sl}_2)\text{-wtmod}$ is a ribbon category if and only if $L_{k+1}(\mathfrak{sl}_2)\text{-wtmod}$ is, in particular it follows that for admissible levels $k = - 2 + \frac{u}{v}$ and $v \in \{2, 3\}$ and $u = -1 \mod v$ the category $L_k(\mathfrak{sl}_2)\text{-wtmod}$ is a ribbon category.

math.RT↗
arXiv2023

Weight representations of affine Kac-Moody algebras and small quantum groups

We study the weight modules over affine Kac-Moody algebras from the view point of vertex algebras, and determine the abelian category of weight modules for the simple affine vertex algebra $L_k(\mathfrak{sl}_2)$ at any non-integral admissible level $k$. In particular, we show that the principal block of the category of weight modules over admissible $L_k(\mathfrak{sl}_2)$ is equivalent to that of the corresponding (unrolled) small quantum group.

math.RT↗
arXiv2023

Quasi-lisse extension of affine $\mathfrak{sl}_2$ à la Feigin--Tipunin

We study the affine analogue $\mathrm{FT}_p(\mathfrak{sl}_2)$ of the triplet algebra. We show that $\mathrm{FT}_p(\mathfrak{sl}_2)$ is quasi-lisse and the associated variety is the nilpotent cone of $\mathfrak{sl}_2$. We realize $\mathrm{FT}_p(\mathfrak{sl}_2)$ as the global sections of a sheaf of vertex algebras in the spirit of Feigin--Tipunin and thereby construct infinitely many simple modules and, in particular solve a conjecture by Semikhatov and Tipunin. We introduce the Kazama--Suzuki dual superalgebra $s\mathcal{W}_p(\mathfrak{sl}_{2|1})$ of $\mathrm{FT}_p(\mathfrak{sl}_2)$ and their singlet type subalgebras $s\mathcal{M}_p(\mathfrak{sl}_{2|1})$ and $\mathcal{M}_p(\mathfrak{sl}_2)$ and show their correspondence of categories. For $p=1$, we show the logarithmic Kazhdan--Lusztig correspondence for these (super)algebras and, in particular, show that the quantum group corresponding to $s\mathcal{M}_1(\mathfrak{sl}_{2|1})$ is the unrolled restricted quantum supergroup $u^H_{-1}(\mathfrak{sl}_{2|1})$ as suggested by Semikhatov and Tipunin.

math.RT↗
arXiv2023

An algebraic theory for logarithmic Kazhdan-Lusztig correspondences

Let $\mathcal{U}$ be a braided tensor category, typically unknown, complicated and in particular non-semisimple. We characterize $\mathcal{U}$ under the assumption that there exists a commutative algebra $A$ in $\mathcal{U}$ with certain properties: Let $\mathcal{C}$ be the category of local $A$-modules in $\mathcal{U}$ and $\mathcal{B}$ the category of $A$-modules in $\mathcal{U}$, which are in our set-up usually much simpler categories than $\mathcal{U}$. Then we can characterize $\mathcal{U}$ as a relative Drinfeld center $\mathcal{Z}_\mathcal{C}(\mathcal{B})$ and $\mathcal{B}$ as representations of a certain Hopf algebra inside $\mathcal{C}$. In particular this allows us to reduce braided tensor equivalences to the knowledge of abelian equivalences, e.g. if we already know that $\mathcal{U}$ is abelian equivalent to the category of modules of some quantum group $U_q$ or some generalization thereof, and if $\mathcal{C}$ is braided equivalent to a category of graded vector spaces, and if $A$ has a certain form, then we already obtain a braided tensor equivalence between $\mathcal{U}$ and $\mathrm{Rep}(U_q)$. A main application of our theory is to prove logarithmic Kazhdan-Lusztig correspondences, that is, equivalences of braided tensor categories of representations of vertex algebras and of quantum groups. Here, the algebra $A$ and the corresponding category $\mathcal{C}$ are a-priori given by a free-field realization of the vertex algebra and by a Nichols algebra. We illustrate this in those examples where the representation theory of the vertex algebra is well enough understood. In particular we prove the conjectured correspondences between the singlet vertex algebra $\mathcal{M}(p)$ and the unrolled small quantum groups of $\mathfrak{sl}_2$ at $2p$-th root of unity. Another new example is the Kazhdan-Lusztig correspondence for $\mathfrak{gl}_{1|1}$.

math.QA↗
arXiv2023

3d mirror symmetry of braided tensor categories

We study the braided tensor structure of line operators in the topological A and B twists of abelian 3d $\mathcal{N}=4$ gauge theories, as accessed via boundary vertex operator algebras (VOA's). We focus exclusively on abelian theories. We first find a non-perturbative completion of boundary VOA's in the B twist, which start out as certain affine Lie superalebras; and we construct free-field realizations of both A and B-twist VOA's, finding an interesting interplay with the symmetry fractionalization group of bulk theories. We use the free-field realizations to establish an isomorphism between A and B VOA's related by 3d mirror symmetry. Turning to line operators, we extend previous physical classifications of line operators to include new monodromy defects and bound states. We also outline a mechanism by which continuous global symmetries in a physical theory are promoted to higher symmetries in a topological twist -- in our case, these are infinite one-form symmetries, related to boundary spectral flow, which structure the categories of lines and control abelian gauging. Finally, we establish the existence of braided tensor structure on categories of line operators, viewed as non-semisimple categories of modules for boundary VOA's. In the A twist, we obtain the categories by extending modules of symplectic boson VOA's, corresponding to gauging free hypermultiplets; in the B twist, we instead extend Kazhdan-Lusztig categories for affine Lie superalgebras. We prove braided tensor equivalences among the categories of 3d-mirror theories. All results on VOA's and their module categories are mathematically rigorous; they rely strongly on recently developed techniques to access non-semisimple extensions.

hep-th↗
arXiv2022

Ribbon tensor structure on the full representation categories of the singlet vertex algebras

We show that the category of finite-length generalized modules for the singlet vertex algebra $\mathcal{M}(p)$, $p\in\mathbb{Z}_{>1}$, is equal to the category $\mathcal{O}_{\mathcal{M}(p)}$ of $C_1$-cofinite $\mathcal{M}(p)$-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since $\mathcal{O}_{\mathcal{M}(p)}$ includes the uncountably many typical $\mathcal{M}(p)$-modules, which are simple $\mathcal{M}(p)$-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of atypical $\mathcal{M}(p)$-modules. We also introduce a tensor subcategory $\mathcal{O}_{\mathcal{M}(p)}^T$, graded by an algebraic torus $T$, which has enough projectives and is conjecturally tensor equivalent to the category of finite-dimensional weight modules for the unrolled restricted quantum group of $\mathfrak{sl}_2$ at a $2p$th root of unity. We compute all tensor products involving simple and projective $\mathcal{M}(p)$-modules, and we prove that both tensor categories $\mathcal{O}_{\mathcal{M}(p)}$ and $\mathcal{O}_{\mathcal{M}(p)}^T$ are rigid and thus also ribbon. As an application, we use vertex operator algebra extension theory to show that the representation categories of all finite cyclic orbifolds of the triplet vertex algebras $\mathcal{W}(p)$ are non-semisimple modular tensor categories, and we confirm a conjecture of Adamović-Lin-Milas on the classification of simple modules for these finite cyclic orbifolds.

math.QA↗
arXiv2022

Tensor category $KL_k(\mathfrak{sl}_{2n})$ via minimal affine $W$-algebras at the non-admissible level $k =-\frac{2n+1}{2}$

We prove that $KL_k(\mathfrak{sl}_m)$ is a semi-simple, rigid braided tensor category for all even $m\ge 4$, and $k= -\frac{m+1}{2}$ which generalizes result from arXiv:2103.02985 obtained for $m=4$. Moreover, all modules in $KL_k(\mathfrak{sl}_m)$ are simple-currents and they appear in the decomposition of conformal embeddings $\mathfrak{gl}_m \hookrightarrow \mathfrak{sl}_{m+1} $ at level $ k= - \frac{m+1}{2}$ from arXiv:1509.06512. For this we inductively identify minimal affine $W$-algebra $ W_{k-1} (\mathfrak{sl}_{m+2}, θ)$ as simple current extension of $L_{k}(\mathfrak{sl}_m) \otimes \mathcal H \otimes \mathcal M$, where $\mathcal H$ is the rank one Heisenberg vertex algebra, and $\mathcal M$ the singlet vertex algebra for $c=-2$. The proof uses previously obtained results for the tensor categories of singlet algebra from arXiv:2202.05496. We also classify all irreducible ordinary modules for $ W_{k-1} (\mathfrak{sl}_{m+2}, θ)$. The semi-simple part of the category of $ W_{k-1} (\mathfrak{sl}_{m+2}, θ)$-modules comes from $KL_{k-1}(\mathfrak{sl}_{m+2})$, using quantum Hamiltonian reduction, but this $W$-algebra also contains indecomposable ordinary modules.

math.QA↗
arXiv2022

Rigid tensor structure on big module categories for some $W$-(super)algebras in type $A$

We establish rigid tensor category structure on finitely-generated weight modules for the subregular $W$-algebras of $\mathfrak{sl}_n$ at levels $ - n + \frac{n}{n+1}$ (the $\mathcal{B}_{n+1}$-algebras of Creutzig-Ridout-Wood) and at levels $- n + \frac{n+1}{n}$ (the finite cyclic orbifolds of the $βγ$-vertex algebra), as well as for their Feigin-Semikhatov dual principal $W$-superalgebras of $\mathfrak{sl}_{n|1}$. These categories are neither finite nor semisimple, and in the $W$-algebra case they contain modules with infinite-dimensional conformal weight spaces and no lower bound on conformal weights. We give complete lists of indecomposable projective modules in these tensor categories and fusion rules for simple modules. All these vertex operator (super)algebras are simple current extensions of singlet algebras tensored with a rank-one Heisenberg algebra, so we more generally study simple current extensions in direct limit completions of vertex algebraic tensor categories. Then our results for $W$-(super)algebras follow from the known ribbon category structure on modules for the singlet algebras. Our results include and generalize those of Allen-Wood on the $βγ$-vertex algebra, as well as our own on the affine vertex superalgebra of $\mathfrak{gl}_{1|1}$. Our results also include the first examples of ribbon category structure on all finitely-generated weight modules for an affine vertex algebra at a non-integral admissible level, namely for affine $\mathfrak{sl}_2$ at levels $-\frac{4}{3}$ and $-\frac{1}{2}$.

math.QA↗
arXiv2022

Trialities of orthosymplectic $\mathcal{W}$-algebras

Trialities of $\mathcal{W}$-algebras are isomorphisms between the affine cosets of three different $\mathcal{W}$-(super)algebras, and were first conjectured in the physics literature by Gaiotto and Rapčák. In this paper we prove trialities among eight families of $\mathcal{W}$-(super)algebras of types $B$, $C$, and $D$. The key idea is to identify the affine cosets of these algebras with one-parameter quotients of the universal two-parameter even spin $\mathcal{W}_{\infty}$-algebra which was recently constructed by Kanade and the second author. Our result is a vast generalization of both Feigin-Frenkel duality in types $B$, $C$, and $D$, and the coset realization of principal $\mathcal{W}$-algebras of type $D$ due to Arakawa and us. It also provides a new coset realization of principal $\mathcal{W}$-algebras of types $B$ and $C$. As an application, we prove the rationality of the affine vertex superalgebra $L_k(\mathfrak{osp}_{1|2n})$, the minimal $\mathcal{W}$-algebra $\mathcal{W}_{k-1/2}(\mathfrak{sp}_{2n+2}, f_{\text{min}})$, and the coset $\text{Com}(L_k(\mathfrak{sp}_{2m}), L_k(\mathfrak{sp}_{2n}))$, for all integers $k,n,m \geq 1$ with $m<n$. We also prove the rationality of some families of principal $\mathcal{W}$-superalgebras of $\mathfrak{osp}_{1|2n}$ and $\mathfrak{osp}_{2|2n}$, and subregular $\mathcal{W}$-algebras of $\mathfrak{so}_{2n+1}$

math.RT↗
arXiv2022

Airy ideals, transvections and $\mathcal{W}(\mathfrak{sp}_{2N})$-algebras

In the first part of the paper we propose a different viewpoint on the theory of higher Airy structures (or Airy ideals) which may shed light on its origin. We define Airy ideals in the $\hbar$-adic completion of the Rees Weyl algebra, and show that Airy ideals are defined exactly such that they are always related to the canonical left ideal generated by derivatives by automorphisms of the Rees Weyl algebra of a simple type, which we call transvections. The standard existence and uniqueness result in the theory of Airy structures then follows immediately. In the second part of the paper we construct Airy ideals generated by the non-negative modes of the strong generators of the principal $\mathcal W$-algebra of $\mathfrak{sp}_{2N}$ at level $N-1/2$, following the approach developed in arXiv:1812.08738. This provides an example of an Airy ideal in the Heisenberg algebra that requires realizing the zero modes as derivatives instead of variables, which leads to an interesting interpretation for the resulting partition function.

math-ph↗
arXiv2022

Hilbert schemes of nonreduced divisors in Calabi-Yau threefolds and W-algebras

A W-algebra action is constructed on the equivariant Borel-Moore homology of the Hilbert scheme of points on a nonreduced plane in three dimensional affine space, identifying it to the vacuum W-module. This is based on a generalization of the ADHM construction as well as the W-action on the equivariant Borel-Moore homology of the moduli space of instantons constructed by Schiffmann and Vasserot.

math.AG↗
arXiv2022

Affine Laumon spaces and iterated W-algebras

A family of vertex algebras whose universal Verma modules coincide with the cohomology of affine Laumon spaces is found. This result is based on an explicit expression for the generating function of Poincare polynomials of these spaces. There is a variant of quantum Hamiltonian reduction that realizes vertex algebras which we call iterated W-algebras and our main conjecture is that the vertex algebras associated to the affine Laumon spaces are subalgebras of iterated W-algebras.

math.QA↗