BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Thomas Creutzig

Thomas Creutzig appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
hep-thmath.QAmath.RTmath-phmath.MPmath.NTmath.CTmath.AGmath.GT

Catalog footprint

What is connected

60works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

60 published item(s)

preprint2026arXiv

Kazhdan-Lusztig Correspondence for Vertex Operator Superalgebras from Abelian Gauge Theories

We prove the Kazhdan-Lusztig correspondence for a class of vertex operator superalgebras which, via the work of Costello-Gaiotto, arise as boundary VOAs of topological B twist of 3d $\mathcal{N}=4$ abelian gauge theories. This means that we show equivalences of braided tensor categories of modules of certain affine vertex superalgebras and corresponding quantum supergroups. We build on the work of Creutzig-Lentner-Rupert to this large class of VOAs and extend it since in our case the categories don't have projective objectives and objects can have arbitrary Jordan Hölder length. Our correspondence significantly improves the understanding of the braided tensor category of line defects associated to this class of TQFT, by realizing line defects as modules of a Hopf algebra. In the process, we prove a case of the conjecture of Semikhatov-Tipunin, relating logarithmic CFTs to Nichols algebras of screening operators.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Resolving Verlinde's formula of logarithmic CFT

Verlinde's formula for rational vertex operator algebras computes the fusion rules from the modular transformations of characters. In the non semisimple and non finite case, a logarithmic Verlinde formula has been proposed together with David Ridout. In this formula one replaces simple modules by their resolutions by standard modules. Here and under certain natural assumptions this conjecture is proven in generality. The result is illustrated in the examples of the singlet algebras and of the affine vertex algebra of $\mathfrak{sl}_2$ at any admissible level, i.e. in particular the Verlinde conjectures in these cases are true. In the latter case it is also explained how to compute the actual fusion rules from knowledge of the Grothendieck ring.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

FZZ-triality and large $\mathcal{N}=4$ super Liouville theory

We examine dualities of two dimensional conformal field theories by applying the methods developed in previous works. We first derive the duality between $SL(2|1)_k/(SL(2)_k \otimes U(1))$ coset and Witten's cigar model or sine-Liouville theory. The latter two models are Fateev-Zamolodchikov-Zamolodchikov (FZZ-)dual to each other, hence the relation of the three models is named FZZ-triality. These results are used to study correlator correspondences between large $\mathcal{N}=4$ super Liouville theory and a coset of the form $Y(k_1,k_2)/SL(2)_{k_1 +k_2}$, where $Y(k_1 , k_2)$ consists of two $SL(2|1)_{k_i}$ and free bosons or equivalently two $U(1)$ cosets of $D(2,1;k_i -1)$ at level one. These correspondences are a main result of this paper. The FZZ-triality acts as a seed of the correspondence, which in particular implies a hidden $SL(2)_{k'}$ in $SL(2|1)_k$ or $D(2,1 ; k-1)_1$. The relation of levels is $k' -1 = 1/(k-1)$. We also construct boundary actions in sine-Liouville theory as another use of the FZZ-triality. Furthermore, we generalize the FZZ-triality to the case with $SL(n|1)_k/(SL(n)_k \otimes U(1))$ for arbitrary $n>2$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Gluing vertex algebras

We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for $\mathcal{C}$ a braided tensor category, we give a detailed construction of the canonical algebra in $\mathcal{C}\boxtimes\mathcal{C}^\text{rev}$: if $\mathcal{C}$ is semisimple but not necessarily finite or rigid, then $\bigoplus_{X\in\text{Irr}(\mathcal{C})}X'\boxtimes X$ is a commutative algebra, with $X'$ a representing object for $\text{Hom}_\mathcal{C}(\bullet\otimes_\mathcal{C}X,\mathbf{1}_{\mathcal{C}})$. Conversely, let $A=\bigoplus_{i\in I}U_i\boxtimes V_i$ be a simple commutative algebra in $\mathcal{U}\boxtimes\mathcal{V}$ with $\mathcal{U}$ semisimple and rigid but not necessarily finite, and $\mathcal{V}$ rigid but not necessarily semisimple. If the unit objects of $\mathcal{U}$ and $\mathcal{V}$ form a commuting pair in $A$, we show there is a braid-reversed equivalence between subcategories of $\mathcal{U}$ and $\mathcal{V}$ sending $U_i$ to $V_i^*$. When $\mathcal{U}$ and $\mathcal{V}$ are module categories for simple vertex operator algebras $U$ and $V$, we glue $U$ and $V$ along $\mathcal{U}\boxtimes\mathcal{V}$ via a map $τ:\text{Irr}(\mathcal{U})\rightarrow\text{Obj}(\mathcal{V})$ such that $τ(U)=V$ to create $A=\bigoplus_{X\in\text{Irr}(\mathcal{U})}X'\otimesτ(X)$. Thus under certain conditions, $τ$ extends to a braid-reversed equivalence between $\mathcal{U}$ and $\mathcal{V}$ if and only if $A$ is a simple conformal vertex algebra extending $U\otimes V$. As examples, we glue Kazhdan-Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid-reversed equivalences between certain module categories for affine vertex algebras and $W$-algebras at admissible levels.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Trialities of $\mathcal{W}$-algebras

We prove the conjecture of Gaiotto and Rapčák that the $Y$-algebras $Y_{L,M,N}[ψ]$ with one of the parameters $L,M,N$ zero, are simple one-parameter quotients of the universal two-parameter $\mathcal{W}_{1+\infty}$-algebra, and satisfy a symmetry known as triality. These $Y$-algebras are defined as the cosets of certain non-principal $\mathcal{W}$-algebras and $\mathcal{W}$-superalgebras by their affine vertex subalgebras, and triality is an isomorphism between three such algebras. Special cases of our result provide new and unified proofs of many theorems and open conjectures in the literature on $\mathcal{W}$-algebras of type $A$. This includes (1) Feigin-Frenkel duality, (2) the coset realization of principal $\mathcal{W}$-algebras due to Arakawa and us, (3) Feigin and Semikhatov's conjectured triality between subregular $\mathcal{W}$-algebras, principal $\mathcal{W}$-superalgebras, and affine vertex superalgebras, (4) the rationality of subregular $\mathcal{W}$-algebras due to Arakawa and van Ekeren, (5) the identification of Heisenberg cosets of subregular $\mathcal{W}$-algebras with principal rational $\mathcal{W}$-algebras that was conjectured in the physics literature over 25 years ago. Finally, we prove the conjectures of Procházka and Rapčák on the explicit truncation curves realizing the simple $Y$-algebras as $\mathcal{W}_{1+\infty}$-quotients, and on their minimal strong generating types.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Correspondences of categories for subregular W-algebras and principal W-superalgebras

Based on the Kazama-Suzuki type coset construction and its inverse coset between the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ and the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$, we prove weight-wise linear equivalences of their representation categories. Our main results are then improvements of these correspondences incorporating the monoidal structures. Firstly, in the rational case, we obtain the classification of simple modules and their fusion rules via simple current extensions from their Heisenberg cosets. Secondly, beyond the rational case, we use certain kernel VOAs together with relative semi-infinite cohomology functors to get functors from categories of modules for the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ to categories of modules for the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$ and vice versa. We study these functors and in particular prove isomorphisms between the superspaces of logarithmic intertwining operators. As a corollary, we obtain correspondences of representation categories in the monoidal sense beyond the rational case as well.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Direct limit completions of vertex tensor categories

We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Generalized parafermions of orthogonal type

There is an embedding of affine vertex algebras $V^k(\mathfrak{gl}_n) \hookrightarrow V^k(\mathfrak{sl}_{n+1})$, and the coset $\mathcal{C}^k(n) = \text{Com}(V^k(\mathfrak{gl}_n), V^k(\mathfrak{sl}_{n+1}))$ is a natural generalization of the parafermion algebra of $\mathfrak{sl}_2$. It was called the algebra of generalized parafermions by the third author and was shown to arise as a one-parameter quotient of the universal two-parameter $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,3,\dots)$. In this paper, we consider an analogous structure of orthogonal type, namely $\mathcal{D}^k(n) = \text{Com}(V^k(\mathfrak{so}_{2n}), V^k(\mathfrak{so}_{2n+1}))^{\mathbb{Z}_2}$. We realize this algebra as a one-parameter quotient of the two-parameter even spin $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,4,\dots)$, and we classify all coincidences between its simple quotient $\mathcal{D}_k(n)$ and the algebras $\mathcal{W}_{\ell}(\mathfrak{so}_{2m+1})$ and $\mathcal{W}_{\ell}(\mathfrak{so}_{2m})^{\mathbb{Z}_2}$. As a corollary, we show that for the admissible levels $k = -(2n-2) + \frac{1}{2} (2 n + 2 m -1)$ for $\widehat{\mathfrak{so}}_{2n}$ the simple affine algebra $L_k(\mathfrak{so}_{2n})$ embeds in $L_k(\mathfrak{so}_{2n+1})$, and the coset is strongly rational. As a consequence, the category of ordinary modules of $L_k(\mathfrak{so}_{2n+1})$ at such a level is a braided fusion category.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On ribbon categories for singlet vertex algebras

We construct two non-semisimple braided ribbon tensor categories of modules for each singlet vertex operator algebra $\mathcal{M}(p)$, $p\geq 2$. The first category consists of all finite-length $\mathcal{M}(p)$-modules with atypical composition factors, while the second is the subcategory of modules that induce to local modules for the triplet vertex operator algebra $\mathcal{W}(p)$. We show that every irreducible module has a projective cover in the second of these categories, although not in the first, and we compute all fusion products involving atypical irreducible modules and their projective covers.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Tensor Categories arising from the Virasoro Algebra

We show that there is a braided tensor category structure on the category of $C_1$-cofinite modules for the (universal or simple) Virasoro vertex operator algebras of arbitrary central charge. In the generic case of central charge $c=13-6(t+t^{-1})$, with $t \notin \mathbb{Q}$, we prove semisimplicity, rigidity and non-degeneracy and also compute the fusion rules of this tensor category.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Tensor categories of affine Lie algebras beyond admissible levels

We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length generalized $V$-modules has a braided tensor category structure. By applying the general theorem to the simple affine vertex operator algebra (resp. superalgebra) associated to a finite simple Lie algebra (resp. Lie superalgebra) $\mathfrak{g}$ at level $k$ and the category $KL_k(\mathfrak{g})$ of its finite length generalized modules, we discover several families of $KL_k(\mathfrak{g})$ at non-admissible levels $k$, having braided tensor category structures. In particular, $KL_k(\mathfrak{g})$ has a braided tensor category structure if the category of ordinary modules is semisimple or more generally if the category of ordinary modules is of finite length. We also prove the rigidity and determine the fusion rules of some categories $KL_k(\mathfrak{g})$, including the category $KL_{-1}(\mathfrak{sl}_n)$. Using these results, we construct a rigid tensor category structure on a full subcategory of $KL_1(\mathfrak{sl}(n|m))$ consisting of objects with semisimple Cartan subalgebra actions.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Tensor structure on the Kazhdan-Lusztig category for affine $\mathfrak{gl}(1|1)$

We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$. Then using Knizhnik-Zamolodchikov equations, we prove that $KL_k$ and $\mathcal{O}_k^{fin}$ are rigid. As an application of the tensor supercategory structure on $\mathcal{O}_k^{fin}$, we study certain module categories for the affine Lie superalgebra $\widehat{\mathfrak{sl}(2|1)}$ at levels $1$ and $-\frac{1}{2}$. In particular, we obtain a tensor category of $\widehat{\mathfrak{sl}(2|1)}$-modules at level $-\frac{1}{2}$ that includes relaxed highest-weight modules and their images under spectral flow.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Correspondences among CFTs with different W-algebra symmetry

W-algebras are constructed via quantum Hamiltonian reduction associated with a Lie algebra $\mathfrak{g}$ and an $\mathfrak{sl}(2)$-embedding into $\mathfrak{g}$. We derive correspondences among correlation functions of theories having different W-algebras as symmetry algebras. These W-algebras are associated to the same $\mathfrak{g}$ but distinct $\mathfrak{sl}(2)$-embeddings. For this purpose, we first explore different free field realizations of W-algebras and then generalize previous works on the path integral derivation of correspondences of correlation functions. For $\mathfrak{g}=\mathfrak{sl}(3)$, there is only one non-standard (non-regular) W-algebra known as the Bershadsky-Polyakov algebra. We examine its free field realizations and derive correlator correspondences involving the WZNW theory of $\mathfrak{sl}(3)$, the Bershadsky-Polyakov algebra and the principal $W_3$-algebra. There are three non-regular W-algebras associated to $\mathfrak{g}=\mathfrak{sl}(4)$. We show that the methods developed for $\mathfrak{g}=\mathfrak{sl}(3)$ can be applied straightforwardly. We briefly comment on extensions of our techniques to general $\mathfrak{g}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Uprolling Unrolled Quantum Groups

We construct families of commutative (super) algebra objects in the category of weight modules for the unrolled restricted quantum group $\overline{U}_q^H(\mfg)$ of a simple Lie algebra $\mfg$ at roots of unity, and study their categories of local modules. We determine their simple modules and derive conditions for these categories being finite, non-degenerate, and ribbon. Motivated by numerous examples in the $\mfg=\mathfrak{sl}_2$ case, we expect some of these categories to compare nicely to categories of modules for vertex operator algebras. We focus in particular on examples expected to correspond to the higher rank triplet vertex algebra $W_Q(r)$ of Feigin and Tipunin \cite{FT} and the $B_Q(r)$ algebras of \cite{C1}.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

$N=4$ superconformal algebras and diagonal cosets

Coset constructions of $\mathcal{W}$-algebras have many applications, and were recently given for principal $\mathcal{W}$-algebras of $A$, $D$, and $E$ types by Arakawa together with the first and third authors. In this paper, we give coset constructions of the large and small $N=4$ superconformal algebras, which are the minimal $\mathcal{W}$-algebras of $\mathfrak{d}(2,1;a)$ and $\mathfrak{psl}(2|2)$, respectively. From these realizations, one finds a remarkable connection between the large $N=4$ algebra and the diagonal coset $C^{k_1, k_2} = \text{Com}(V^{k_1+k_2}(\mathfrak{sl}_2), V^{k_1}(\mathfrak{sl}_2) \otimes V^{k_2}(\mathfrak{sl}_2))$, namely, as two-parameter vertex algebras, $C^{k_1, k_2}$ coincides with the coset of the large $N=4$ algebra by its affine subalgebra. We also show that at special points in the parameter space, the simple quotients of these cosets are isomorphic to various $\mathcal{W}$-algebras. As a corollary, we give new examples of strongly rational principal $\mathcal{W}$-algebras of type $C$ at degenerate admissible levels.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Braided Tensor Categories related to $\mathcal{B}_p$ Vertex Algebras

The $\mathcal{B}_p$-algebras are a family of vertex operator algebras parameterized by $p\in \mathbb Z_{\geq 2}$. They are important examples of logarithmic CFTs and appear as chiral algebras of type $(A_1, A_{2p-3})$ Argyres-Douglas theories. The first member of this series, the $\mathcal{B}_2$-algebra, are the well-known symplectic bosons also often called the $βγ$ vertex operator algebra. We study categories related to the $\mathcal{B}_p$ vertex operator algebras using their conjectural relation to unrolled restricted quantum groups of $\mathfrak{sl}_2$. These categories are braided, rigid and non semi-simple tensor categories. We list their simple and projective objects, their tensor products and their Hopf links. The latter are successfully compared to modular data of characters thus confirming a proposed Verlinde formula of David Ridout and the second author.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Rectangular W-algebras of types $so(M)$ and $sp(2M)$ and dual coset CFTs

We examine rectangular W-algebras with $so(M)$ or $sp(2M)$ symmetry, which can be realized as the asymptotic symmetry of higher spin gravities with restricted matrix extensions. We compute the central charges of the algebras and the levels of $so(M)$ or $sp(2M)$ affine subalgebras by applying the Hamiltonian reductions of $so$ or $sp$ type Lie algebras. For simple cases with generators of spin up to two, we obtain their operator product expansions by requiring the associativity. We further claim that the W-algebras can be realized as the symmetry algebras of dual coset CFTs and provide several strong supports. The analysis can be regarded as a check of extended higher spin holographies including full quantum corrections. We also extend the analysis by introducing $\mathcal{N}=1$ supersymmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

W-algebras as coset vertex algebras

We prove the long-standing 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 $W$-algebras of type $A$ and $D$ are given and the rationality of Kazama-Suzuki coset vertex superalgebras is derived.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Cosets of affine vertex algebras inside larger structures

Given a finite-dimensional reductive Lie algebra $\mathfrak{g}$ equipped with a nondegenerate, invariant, symmetric bilinear form $B$, let $V^k(\mathfrak{g},B)$ denote the universal affine vertex algebra associated to $\mathfrak{g}$ and $B$ at level $k$. Let $\mathcal{A}^k$ be a vertex (super)algebra admitting a homomorphism $V^k(\mathfrak{g},B)\rightarrow \mathcal{A}^k$. Under some technical conditions on $\mathcal{A}^k$, we characterize the coset $\text{Com}(V^k(\mathfrak{g},B),\mathcal{A}^k)$ for generic values of $k$. We establish the strong finite generation of this coset in full generality in the following cases: $\mathcal{A}^k = V^k(\mathfrak{g}',B')$, $\mathcal{A}^k = V^{k-l}(\mathfrak{g}',B') \otimes \mathcal{F}$, and $\mathcal{A}^k = V^{k-l}(\mathfrak{g}',B') \otimes V^{l}(\mathfrak{g}",B")$. Here $\mathfrak{g}'$ and $\mathfrak{g}"$ are finite-dimensional Lie (super)algebras containing $\mathfrak{g}$, equipped with nondegenerate, invariant, (super)symmetric bilinear forms $B'$ and $B"$ which extend $B$, $l \in \mathbb{C}$ is fixed, and $\mathcal{F}$ is a free field algebra admitting a homomorphism $V^l(\mathfrak{g},B) \rightarrow \mathcal{F}$. Our approach is essentially constructive and leads to minimal strong finite generating sets for many interesting examples. As an application, we give a new proof of the rationality of the simple $N=2$ superconformal algebra with $c=\frac{3k}{k+2}$ for all positive integers $k$.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

S-duality for the large $N=4$ superconformal algebra

We prove some conjectures about vertex algebras which emerge in gauge theory constructions associated to the geometric Langlands program. In particular, we present the conjectural kernel vertex algebra for the $S T^2 S$ duality transformation in $SU(2)$ gauge theory. We find a surprising coincidence, which gives a powerful hint about the nature of the corresponding duality wall. Concretely, we determine the branching rules for the small $N=4$ superconformal algebra at central charge $-9$ as well as for the generic large $N=4$ superconformal algebra at central charge $-6$. Moreover we obtain the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ superconformal algebra times a free fermion as Quantum Hamiltonian reductions of the large $N=4$ superconformal algebras at $c=-6$.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Cosets of Bershadsky-Polyakov algebras and rational $\mathcal{W}$-algebras of type $A$

The Bershadsky-Polyakov algebra is the $\mathcal{W}$-algebra associated to $\mathfrak{s}\mathfrak{l}_3$ with its minimal nilpotent element $f_θ$. For notational convenience we define $\mathcal{W}^{\ell} = \mathcal{W}^{\ell - 3/2} (\mathfrak{s}\mathfrak{l}_3, f_θ)$. 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}$

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Cosets of the $\mathcal{W}^k(\mathfrak{sl}_4, f_{\text{subreg}})$-algebra

Let $\mathcal {W}^k(\mathfrak{sl}_4, f_{\text {subreg}})$ be the universal $\mathcal{W}$-algebra associated to $\mathfrak{sl}_4$ with its subregular nilpotent element, and let $\mathcal {W}_k(\mathfrak{sl}_4, f_{\text {subreg}})$ be its simple quotient. There is a Heisenberg subalgebra $\mathcal{H}$, and we denote by $\mathcal{C}^k$ the coset $\text{Com}(\mathcal{H}, \mathcal {W}^k(\mathfrak{sl}_4, f_{\text {subreg}}))$, and by $\mathcal{C}_k$ its simple quotient. We show that for $k=-4+(m+4)/3$ where $m$ is an integer greater than $2$ and $m+1$ is coprime to $3$, $\mathcal{C}_k$ is isomorphic to a rational, regular $\mathcal W$-algebra $\mathcal{W}(\mathfrak{sl}_m, f_{\text{reg}})$. In particular, $\mathcal{W}_k(\mathfrak{sl}_4, f_{\text {subreg}})$ is a simple current extension of the tensor product of $\mathcal{W}(\mathfrak{sl}_m, f_{\text{reg}})$ with a rank one lattice vertex operator algebra, and hence is rational.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Orbifolds and cosets of minimal $\mathcal{W}$-algebras

Let $\mathfrak{g}$ be a simple, finite-dimensional 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_{-θ})$ 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_{-θ})$ 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_{-θ})^{G}$ and the coset $\mathcal{C}^k = \text{Com}(V(\mathfrak{g}'),\mathcal{W}^k(\mathfrak{g}, e_{-θ}))$ 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}(2|n)$ for $n\neq 2$, $\mathfrak{p}\mathfrak{s}\mathfrak{l}(2|2)$, or $\mathfrak{o}\mathfrak{s}\mathfrak{p}(1|4)$. 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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Logarithmic Link Invariants of $\overline{U}_q^H(\mathfrak{sl}_2)$ and Asymptotic Dimensions of Singlet Vertex Algebras

We study relationships between the restricted unrolled quantum group $\overline{U}_q^H(\mathfrak{sl}_2)$ at $2r$-th root of unity $q=e^{πi/r}, r \geq 2$, and the singlet vertex operator algebra $\mathcal M(r)$. We use deformable families of modules to efficiently compute $(1, 1)$-tangle invariants colored with projective modules of $\overline{U}_q^H(\mathfrak{sl}_2)$. These relate to the colored Alexander tangle invariants studied in [ADO, M1]. It follows that the regularized asymptotic dimensions of characters of $\mathcal M(r)$ coincide with the corresponding modified traces of open Hopf link invariants. We also discuss various categorical properties of $\mathcal M(r)$-mod in connection to braided tensor categories.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Schur-Weyl Duality for Heisenberg Cosets

Let $V$ be a simple vertex operator algebra containing a rank $n$ Heisenberg vertex algebra $H$ and let $C=\text{Com}\left( {H}, {V}\right)$ be the coset of ${H}$ in ${V}$. Assuming that the representation categories of interest are vertex tensor categories in the sense of Huang, Lepowsky and Zhang, a Schur-Weyl type duality for both simple and indecomposable but reducible modules is proven. Families of vertex algebra extensions of ${C}$ are found and every simple ${C}$-module is shown to be contained in at least one ${V}$-module. A corollary of this is that if ${V}$ is rational and $C_2$-cofinite and CFT-type, and $\text{Com}\left( {C}, {V}\right)$ is a rational lattice vertex operator algebra, then so is ${C}$. These results are illustrated with many examples and the $C_1$-cofiniteness of certain interesting classes of modules is established.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Correspondences between WZNW models and CFTs with W-algebra symmetry

We study theories with W-algebra symmetries and their relation to WZNW models on (super-)groups. Correlation functions of the WZNW models are expressed in terms of correlators of CFTs with W-algebra symmetry. The symmetries of the theories involved in these correspondences are related by the Drinfeld-Sokolov reduction of Lie algebras to W-algebras. The W-algebras considered in this paper are the Bershadsky-Polyakov algebra for sl(3) and the quasi-superconformal algebra for generic sl(N|M). The quantum W-algebras obtained from affine sl(N) are constructed using embeddings of sl(2) into sl(N), and these can in turn be characterized by partitions of N. The above cases correspond to \underline{N+2} = \underline{2} + N \underline{1} and its supergroup extension. Finally, sl(2N) and the correspondence corresponding to \underline{2N} = N \underline{2} is also analyzed.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Harmonic Analysis and Free Field Realization of the Takiff Supergroup of GL(1|1)

Takiff superalgebras are a family of non semi-simple Lie superalgebras that are believed to give rise to a rich structure of indecomposable representations of associated conformal field theories. We consider the Takiff superalgebra of gl(1|1), especially we perform harmonic analysis for the corresponding supergroup. We find that every simple module appears as submodule of an infinite-dimensional indecomposable but reducible module. We lift our results to two free field realizations for the corresponding conformal field theory and construct some modules.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Higgs phenomenon for higher spin fields on AdS_3

In a previous work, a marginal deformation of 2d coset type model with N=3 superconformal symmetry was studied, and it was interpreted as a change of boundary conditions for bulk fields in the dual higher spin theory. The deformation breaks generic higher spin gauge symmetry, and the generated mass of a spin 2 field was computed. The deformation might be related to the introduction of finite string tension in a superstring theory. In this paper, we extend the analysis and compute the masses of generic higher spin fields at the leading order of 1/c (c is the CFT central charge) but at the full order of the deformation parameter. We find that the masses are not generated for so(3)_R singlet higher spin fields at this order and the spectrum is the Regge-like one for so(3)_R triplet higher spin-charged fields.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Higher spin AdS_3 holography and superstring theory

It has been believed for a long time that the tensionless limit of superstring theory can be described by a higher spin gauge theory. Recently, a concrete realization of this idea was proposed via 3d Aharony-Bergman-Jafferis (ABJ) theory with the help of holographic duality. In this note we review our work on finding a similar relation involving 2d coset type models. We start by proposing and examining holographic dualities between 3d higher spin gauge theories with matrix valued fields and the large N limit of 2d coset type models. After that we discuss possible relations to superstring theory with emphasis on the role of the matrix form of the higher spin fields and the extended supersymmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Negative index Jacobi forms and quantum modular forms

In this paper, we consider the Fourier coefficients of a special class of meromorphic Jaocbi forms of negative index. Much recent work has been done on such coefficients in the case of Jacobi forms of positive index, but almost nothing is known for Jacobi forms of negative index. In this paper we show, from two different perspectives, that their Fourier coefficients have a simple decomposition in terms of partial theta functions. The first perspective uses the language of Lie super algebras, and the second applies the theory of elliptic functions. In particular, we find a new infinite family of rank-crank type PDEs generalizing the famous example of Atkin and Garvan. We then describe the modularity properties of these coefficients, showing that they are "mixed partial theta functions", along the way determining a new class of quantum modular partial theta functions which is of independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Orbifolds of symplectic fermion algebras

We present a systematic study of the orbifolds of the rank $n$ symplectic fermion algebra $\mathcal{A}(n)$, which has full automorphism group $Sp(2n)$. First, we show that $\mathcal{A}(n)^{Sp(2n)}$ and $\mathcal{A}(n)^{GL(n)}$ are $\mathcal{W}$-algebras of type $\mathcal{W}(2,4,\dots, 2n)$ and $\mathcal{W}(2,3,\dots, 2n+1)$, respectively. Using these results, we find minimal strong finite generating sets for $\mathcal{A}(mn)^{Sp(2n)}$ and $\mathcal{A}(mn)^{GL(n)}$ for all $m,n\geq 1$. We compute the characters of the irreducible representations of $\mathcal{A}(mn)^{Sp(2n)\times SO(m)}$ and $\mathcal{A}(mn)^{GL(n)\times GL(m)}$ appearing inside $\mathcal{A}(mn)$, and we express these characters using partial theta functions. Finally, we give a complete solution to the Hilbert problem for $\mathcal{A}(n)$; we show that for any reductive group $G$ of automorphisms, $\mathcal{A}(n)^G$ is strongly finitely generated.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Simple current extensions beyond semi-simplicity

Let V be a simple VOA and consider a representation category of V that is a vertex tensor category in the sense of Huang-Lepowsky. In particular, this category is a braided tensor category. Let J be an object in this category that is a simple current of order two of either integer or half-integer conformal dimension. We prove that $V\oplus J$ is either a VOA or a super VOA. If the representation category of V is in addition ribbon, then the categorical dimension of J decides this parity question. Combining with Carnahan's work, we extend this result to simple currents of arbitrary order. Our next result is a simple sufficient criterion for lifting indecomposable objects that only depends on conformal dimensions. Several examples of simple current extensions that are $C_2$-cofinite and non-rational are then given and induced modules listed.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Coset Constructions of Logarithmic (1,p)-Models

One of the best understood families of logarithmic conformal field theories is that consisting of the (1,p) models (p = 2, 3, ...) of central charge c_{1,p} = 1 - 6 (p-1)^2 / p. This family includes the theories corresponding to the singlet algebras M(p) and the triplet algebras W(p), as well as the ubiquitous symplectic fermions theory. In this work, these algebras are realized through a coset construction. The W^(2)_n algebra of level k was introduced by Feigin and Semikhatov as a (conjectured) quantum hamiltonian reduction of affine sl(n)_k, generalising the Bershadsky-Polyakov algebra W^(2)_3. Inspired by work of Adamovic for p=3, vertex algebras B_p are constructed as subalgebras of the kernel of certain screening charges acting on a rank 2 lattice vertex algebra of indefinite signature. It is shown that for p <= 5, the algebra B_p is a homomorphic image of W^(2)_{p-1} at level -(p-1)^2 / p and that the known part of the operator product algebra of the latter algebra is consistent with this holding for p>5 as well. The triplet algebra W(p) is then realised as a coset inside the full kernel of the screening operator, while the singlet algebra M(p) is similarly realised inside B_p. As an application, and to illustrate these results, the coset character decompositions are explicitly worked out for p=2 and 3.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

False Theta Functions and the Verlinde formula

We discover new analytic properties of classical partial and false theta functions and their potential applications to representation theory of W-algebras and vertex algebras in general. More precisely, motivated by clues from conformal field theory, first, we are able to determine modular-like transformation properties of regularized partial and false theta functions. Then, after suitable identification of regularized partial/false theta functions with the characters of atypical modules for the singlet vertex algebra W(2,2p-1), we formulate and prove a Verlinde-type formula for the fusion rules of irreducible W(2,2p-1)-modules.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Higher spin AdS_3 holography with extended supersymmetry

We propose a holographic duality between a higher spin AdS_3 gravity with so(p) extended supersymmetry and a large N limit of a 2-dimensional Grassmannian-like model with a specific critical level k=N and a non-diagonal modular invariant. As evidence, we show the match of one-loop partition functions. Moreover, we construct symmetry generators of the coset model for low spins which are dual to gauge fields in the supergravity. Further, we discuss a possible relation to superstring theory by noticing an N=3 supersymmetry of critical level model at finite k,N. In particular, we examine BPS states and marginal deformations. Inspired by the supergravity side, we also propose and test another large N CFT dual obtained as a Z_2 automorphism truncation of a similar coset model, but at a non-critical level.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Mathieu Moonshine and the Geometry of K3 Surfaces

We compare the moonshine observation of Eguchi, Ooguri and Tachikawa relating the Mathieu group M_24 and the complex elliptic genus of a K3 surface with the symmetries of geometric structures on K3 surfaces. Two main results are that the complex elliptic genus of a K3 surface is a virtual module for the Mathieu group M_24 and also for a certain vertex operator superalgebra V^G where G is the holonomy group.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Unitary W-algebras and three-dimensional higher spin gravities with spin one symmetry

We investigate whether there are unitary families of W-algebras with spin one fields in the natural example of the Feigin-Semikhatov W^(2)_n-algebra. This algebra is conjecturally a quantum Hamiltonian reduction corresponding to a non-principal nilpotent element. We conjecture that this algebra admits a unitary real form for even n. Our main result is that this conjecture is consistent with the known part of the operator product algebra, and especially it is true for n=2 and n=4. Moreover, we find certain ranges of allowed levels where a positive definite inner product is possible. We also find a unitary conformal field theory for every even n at the special level k+n=(n+1)/(n-1). At these points, the W^(2)_n-algebra is nothing but a compactified free boson. This family of W-algebras admits an 't Hooft limit that is similar to the original minimal model 't Hooft limit. Further, in the case of n=4, we reproduce the algebra from the higher spin gravity point of view. In general, gravity computations allow us to reproduce some leading coefficients of the operator product.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Extended higher spin holography and Grassmannian models

We propose holographic dualities between higher spin gravity theories extended with Chan-Paton factor on AdS_3 and a large N limit of two dimensional Grassmannian models with and without supersymmetry. These proposals are natural extensions of the duality without Chan-Paton factor, and the extensions are motivated by a higher dimensional version of the duality, which implies a possible relation to superstring theory via ABJ theory. As evidence for the proposals, we show that the free limit of the Grassmannian models have the higher spin symmetry expected from the dual gravity theory. Furthermore, we construct currents in the 't Hooft limit of the supersymmetric Grassmannian model and compare them with the currents from the bulk theory. One-loop partition function of the supergravity theory is reproduced by the 't Hooft limit of the Grassmannian model after decoupling a gauge sector.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Logarithmic Conformal Field Theory: Beyond an Introduction

This article aims to review a selection of central topics and examples in logarithmic conformal field theory. It begins with a pure Virasoro example, critical percolation, then continues with a detailed exposition of symplectic fermions, the fractional level WZW model on SL(2;R) at level -1/2 and the WZW model on the Lie supergroup GL(1|1). It concludes with a general discussion of the so-called staggered modules that give these theories their logarithmic structure, before outlining a proposed strategy to understand more general logarithmic conformal field theories. Throughout, the emphasis is on continuum methods and their generalisation from the familiar rational case. In particular, the modular properties of the characters of the spectrum play a central role and Verlinde formulae are evaluated with the results compared to the known fusion rules. Moreover, bulk modular invariants are constructed, the structures of the corresponding bulk state spaces are elucidated, and a formalism for computing correlation functions is discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Modular Data and Verlinde Formulae for Fractional Level WZW Models II

This article gives a complete account of the modular properties and Verlinde formula for conformal field theories based on the affine Kac-Moody algebra sl(2) at an arbitrary admissible level k. Starting from spectral flow and the structure theory of relaxed highest weight modules, characters are computed and modular transformations are derived for every irreducible admissible module. The culmination is the application of a continuous version of the Verlinde formula to deduce non-negative integer structure coefficients which are identified with Grothendieck fusion coefficients. The Grothendieck fusion rules are determined explicitly. These rules reproduce the well-known fusion rules of Koh and Sorba, negative coefficients included, upon quotienting the Grothendieck fusion ring by a certain ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

N=1 supersymmetric higher spin holography on AdS_3

We propose a duality between a higher spin N=1 supergravity on AdS_3 and a large N limit of a family of N=(1,1) superconformal field theories. The gravity theory is an N=1 truncation of the N=2 supergravity found by Prokushkin and Vasiliev, and the dual conformal field theory is defined by a supersymmetric coset model. We check this conjecture by comparing one loop partition functions and find agreement. Moreover, we study the symmetry of the dual coset model and in particular compute fields of the coset algebra of dimension 3/2, 2, 2 and 5/2 explicitely.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Relating the Archetypes of Logarithmic Conformal Field Theory

Logarithmic conformal field theory is a rich and vibrant area of modern mathematical physics with well-known applications to both condensed matter theory and string theory. Our limited understanding of these theories is based upon detailed studies of various examples that one may regard as archetypal. These include the c=-2 triplet model, the Wess-Zumino-Witten model on SL(2;R) at level k=-1/2, and its supergroup analogue on GL(1|1). Here, the latter model is studied algebraically through representation theory, fusion and modular invariance, facilitating a subsequent investigation of its cosets and extended algebras. The results show that the archetypes of logarithmic conformal field theory are in fact all very closely related, as are many other examples including, in particular, the SL(2|1) models at levels 1 and -1/2. The conclusion is then that the archetypal examples of logarithmic conformal field theory are practically all the same, so we should not expect that their features are in any way generic. Further archetypal examples must be sought.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A commutant realization of W^(2)_n at critical level

For n\geq 2, there is a free field realization of the affine vertex superalgebra A associated to psl(n|n) at critical level inside the bcβγsystem W of rank n^2. We show that the commutant C=Com(A,W) is purely bosonic and is freely generated by n+1 fields. We identify the Zhu algebra of C with the ring of invariant differential operators on the space of n\times n matrices under SL_n \times SL_n, and we classify the irreducible, admissible C-modules with finite dimensional graded pieces. For n\leq 4, C is isomorphic to the W_n^{(2)}-algebra at critical level, and we conjecture that this holds for all n.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Modular Data and Verlinde Formulae for Fractional Level WZW Models I

The modular properties of fractional level affine sl(2)-theories and, in particular, the application of the Verlinde formula, have a long and checkered history in conformal field theory. Recent advances in logarithmic conformal field theory have led to the realisation that problems with fractional level models stem from trying to build the theory with an insufficiently rich category of representations. In particular, the appearance of negative fusion coefficients for admissible highest weight representations is now completely understood. Here, the modular story for certain fractional level theories is completed. Modular transformations are derived for the complete set of admissible irreducible representations when the level is k=-1/2 or k=-4/3. The S-matrix data and Verlinde formula are then checked against the known fusion rules with complete agreement. Finally, an infinite set of modular invariant partition functions is constructed in each case.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Mock Modular Data of a Family of Superalgebras

The modular properties of characters of representations of a family of W-superalgebras extending the affine Lie superalgebra of gl(1|1) are considered. Modules fall into two classes, the generic type and the non-generic one. Characters of non-generic modules are expressed in terms of higher-level Appell-Lerch sums. We compute the modular transformations of characters and interpret the Mordell integral as an integral over characters of generic representations. The \C-span of a finite number of non-generic characters together with an uncountable set of characters of the generic type combine into a representation of SL(2;\Z). The modular transformations are then used to define a product on the space of characters. The fusion rules of the extended algebras are partially inherited from the known fusion rules for modules of the affine Lie superalgebra of gl(1|1). Moreover, the product obtained from the modular transformations coincides with the product of the Grothendieck ring of characters if and only if the fusion multiplicities are at most one.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Three point functions in higher spin AdS_3 supergravity

In a previous work we have proposed that the Prokushkin-Vasiliev higher spin N=2 supergravity on AdS_3 is dual to a large N limit of the N=(2,2) CP^N Kazama-Suzuki model. There is now strong evidence supporting this proposal based on symmetry and spectrum comparison. In this paper we will give further evidence for the duality by studying correlation functions. We compute boundary three point functions with two fermionic operators and one higher spin bosonic current in terms of the bulk supergravity theory. Then we compare with the results in the dual CFT, where the supersymmetry of the theory turns out to be very helpful. In particular we use it to confirm results conjectured in the bosonic case. Moreover, correlators with a fermionic current can be obtained via supersymmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Fermionic Coset, Critical Level W^(2)_4-Algebra and Higher Spins

The fermionic coset is a limit of the pure spinor formulation of the AdS5xS5 sigma model as well as a limit of a nonlinear topological A-model, introduced by Berkovits. We study the latter, especially its symmetries, and map them to higher spin algebras. We show the following. The linear A-model possesses affine $\AKMSA{pgl}{4}{4}_0$ symmetry at critical level and its $\AKMSA{psl}{4}{4}_0$ current-current perturbation is the nonlinear model. We find that the perturbation preserves $\mathcal{W}^{(2)}_4$-algebra symmetry at critical level. There is a topological algebra associated to $\AKMSA{pgl}{4}{4}_0$ with the properties that the perturbation is BRST-exact. Further, the BRST-cohomology contains world-sheet supersymmetric symplectic fermions and the non-trivial generators of the $\mathcal{W}^{(2)}_4$-algebra. The Zhu functor maps the linear model to a higher spin theory. We analyze its $\SLSA{psl}{4}{4}$ action and find finite dimensional short multiplets.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Higher spin AdS_3 supergravity and its dual CFT

Vasiliev's higher spin supergravity theory on three dimensional anti-de Sitter space is studied and, in particular, the partition function is computed at one loop level. The dual conformal field theory is proposed to be the N=(2,2) CP^N Kazama-Suzuki model in two dimensions. The proposal is based on symmetry considerations and comparison of the bulk partition function with the conformal field theory. Our findings suggest that the theory is strong-weak self-dual.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Supergroup - extended super Liouville correspondence

We derive a relation between correlation functions of supergroup WZNW models and conformal field theories with extended superconformal symmetry. The supergroups considered have a bosonic subgroup of the form SL(2) x A for some Lie group A. The corresponding conformal field theory is a super Liouville field theory coupled with the WZNW model on A. An example is a correspondence between the PSU(1,1|2) WZNW model and small N=4 super Liouville field theory. The OSP(n|2) WZNW model is related to a superconformal field theory with SO(n) extended superconformal symmetry of the Knizhnik-Bershadsky type. In the case n=4 this is simply the large N=(4,4) superconformal symmetry. Besides these two examples we make a general derivation encompassing the WZNW models on supergroups SL(2|n), D(2,1;α), OSP(4|2n), F(4) and G(3) and their relation to models with extended superconformal algebras as symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The FZZ duality with boundary

The Fateev-Zamolodchikov-Zamolodchikov (FZZ) duality relates Witten's cigar model to sine-Liouville theory. This duality was proven in the path integral formulation and extended to the case of higher genus closed Riemann surfaces by Schomerus and one of the authors. In this note we further extend the duality to the case with boundary. Specifically, we relate D1-branes in the cigar model to D2-branes in the sine-Liouville theory. In particular, the boundary action for D2-branes in the sine-Liouville theory is constructed. We also consider the fermionic version of the FZZ duality. This duality was proven as a mirror symmetry by Hori and Kapustin, but we give an alternative proof in the path integral formulation which directly relates correlation functions. Also here the case with boundary is investigated and the results are consistent with those for branes in N=2 super Liouville field theory obtained by Hosomichi.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

W-Algebras Extending Affine gl(1|1)

It was recently shown that gl^(1|1) admits an infinite family of simple current extensions. Here, these findings are reviewed and explicit free field realisations of the extended algebras are constructed. The leading contributions to the operator product algebra are then calculated. Among these extensions, one finds four infinite families that seem to contain, as subalgebras, copies of the W^(2)_N algebras of Feigin and Semikhatov at various levels and central charges +/- 1.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Branes in the OSP(1|2) WZNW model

The boundary OSP(1|2) WZNW model possesses two types of branes, which are localized on supersymmetric Euclidean AdS$_2$ and on two-dimensional superspheres. We compute the coupling of closed strings to these branes with two different methods. The first one uses factorization constraints and the other one a correspondence to boundary N=1 super-Liouville field theory, which we proof with path integral techniques. We check that the results obey the Cardy condition and reproduce the semi-classical computations. For the check we also compute the spectral density of open strings that are attached to the non-compact branes.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Cohomological Reduction of Sigma Models

This article studies some features of quantum field theories with internal supersymmetry, focusing mainly on 2-dimensional non-linear sigma models which take values in a coset superspace. It is discussed how BRST operators from the target space supersymmetry algebra can be used to identify subsectors which are often simpler than the original model and may allow for an explicit computation of correlation functions. After an extensive discussion of the general reduction scheme, we present a number of interesting examples, including symmetric superspaces $G/G^{\mathbb{Z}_2}$ and coset superspaces of the form $G/G^{\mathbb{Z}_4}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

From world-sheet supersymmetry to super target spaces

We investigate the relation between N=(2,2) superconformal Lie group WZNW models and Lie supergroup WZNW models. The B-twist of an exactly marginal perturbation of the world-sheet superconformal sigma model is the supergroup model. Moreover, the superconformal currents are expressed in terms of Lie superalgebra currents in the twisted theory. As applications, we find protected sectors and boundary actions in the supergroup sigma model. A special example is the relation between string theory on AdS_3 x S^3 x T^4 in the RNS formalism and the U(1,1|2) x U(1|1) x U(1|1) supergroup WZNW model.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

N=2 Superconformal Symmetry in Super Coset Models

We extend the Kazama-Suzuki construction of models with N=(2,2) world-sheet supersymmetry to cosets S/K of supergroups. Among the admissible target spaces that allow for an extension to N=2 superconformal algebras are some simple Lie supergroups, including PSL(N|N). Our general analysis is illustrated at the example of the N=1 WZNW model on GL(1|1). After constructing its N=2 superconformal algebra we determine the (anti-)chiral ring of the theory. It exhibits an interesting interplay between world-sheet and target space supersymmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Yangian in the Twistor String

We study symmetries of the quantized open twistor string. In addition to global PSL(4|4) symmetry, we find non-local conserved currents. The associated non-local charges lead to Ward identities which show that these charges annihilate the string gluon tree amplitudes, and have the same form as symmetries of amplitudes in N=4 super conformal Yang Mills theory. We describe how states of the open twistor string form a realization of the PSL(4|4) Yangian superalgebra.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Yangian Superalgebras in Conformal Field Theory

Quantum Yangian symmetry in several sigma models with supergroup or supercoset as target is established. Starting with a two-dimensional conformal field theory that has current symmetry of a Lie superalgebra with vanishing Killing form we construct non-local charges and compute their properties. Yangian axioms are satisfied, except that the Serre relations only hold for a subsector of the space of fields. Yangian symmetry implies that correlation functions of fields in this sector satisfy Ward identities. We then show that this symmetry is preserved by certain perturbations of the conformal field theory. The main example are sigma models of the supergroups PSL(N|N), OSP(2N+2|2N) and D(2,1;α) away from the WZW point. Further there are the OSP(2N+2|2N) Gross-Neveu models and current-current perturbations of ghost systems, both for the disc as world-sheet. The latter we show to be equivalent to CP^{N-1|N} sigma models, while the former are conjecturally dual to supersphere sigma models.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Boundary Correlators in Supergroup WZNW Models

We investigate correlation functions for maximally symmetric boundary conditions in the WZNW model on GL(1|1). Special attention is payed to volume filling branes. Generalizing earlier ideas for the bulk sector, we set up a Kac-Wakimoto-like formalism for the boundary model. This first order formalism is then used to calculate bulk-boundary 2-point functions and the boundary 3-point functions of the model. The note ends with a few comments on correlation functions of atypical fields, point-like branes and generalizations to other supergroups.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Boundary Spectra in Superspace Sigma-Models

In this note we compute exact boundary spectra for D-instantons in sigma-models on the supergroup PSL(2|2). Our results are obtained through an explicit summation of the perturbative expansion for conformal dimensions to all orders in the curvature radius. The analysis exploits several remarkable properties of the perturbation series that arises from rescalings of the metric on PSL(2|2) relative to a fixed Wess-Zumino term. According to Berkovits, Vafa and Witten, the models are relevant in the context of string theory on AdS3 with non-vanishing RR-flux. The note concludes with a number of comments on various possible generalizations to other supergroups and higher dimensional supercoset theories.

0 citations0 reviewsNo code linkedOpen access