-
Modularity of admissible-level $\mathfrak{sl}_{3}$ minimal models with denominator $2$
Authors:
Justine Fasquel,
Christopher Raymond,
David Ridout
Abstract:
We use the newly developed technique of inverse quantum hamiltonian reduction to investigate the representation theory of the simple affine vertex algebra $\mathsf{A}_{2}(\mathsf{u},2)$ associated to $\mathfrak{sl}_{3}$ at level $\mathsf{k} = -3+\frac{\mathsf{u}}{2}$, for $\mathsf{u}\ge3$ odd. Starting from the irreducible modules of the corresponding simple Bershadsky-Polyakov vertex operator alg…
▽ More
We use the newly developed technique of inverse quantum hamiltonian reduction to investigate the representation theory of the simple affine vertex algebra $\mathsf{A}_{2}(\mathsf{u},2)$ associated to $\mathfrak{sl}_{3}$ at level $\mathsf{k} = -3+\frac{\mathsf{u}}{2}$, for $\mathsf{u}\ge3$ odd. Starting from the irreducible modules of the corresponding simple Bershadsky-Polyakov vertex operator algebras, we show that inverse reduction constructs all irreducible lower-bounded weight $\mathsf{A}_{2}(\mathsf{u},2)$-modules. This proceeds by first constructing a complete set of coherent families of fully relaxed highest-weight $\mathsf{A}_{2}(\mathsf{u},2)$-modules and then noting that the reducible members of these families degenerate to give all remaining irreducibles. Using this fully relaxed construction and the degenerations, we deduce modular S-transforms for certain natural generalised characters of these irreducibles and their spectral flows. With this modular data in hand, we verify that the (conjectural) standard Verlinde formula predicts Grothendieck fusion rules with nonnegative-integer multiplicities.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
Weight module classifications for Bershadsky--Polyakov algebras
Authors:
Drazen Adamovic,
Kazuya Kawasetsu,
David Ridout
Abstract:
The Bershadsky--Polyakov algebras are the subregular quantum hamiltonian reductions of the affine vertex operator algebras associated with $\mathfrak{sl}_3$. In arXiv:2007.00396 [math.QA], we realised these algebras in terms of the regular reduction, Zamolodchikov's W$_3$-algebra, and an isotropic lattice vertex operator algebra. We also proved that a natural construction of relaxed highest-weight…
▽ More
The Bershadsky--Polyakov algebras are the subregular quantum hamiltonian reductions of the affine vertex operator algebras associated with $\mathfrak{sl}_3$. In arXiv:2007.00396 [math.QA], we realised these algebras in terms of the regular reduction, Zamolodchikov's W$_3$-algebra, and an isotropic lattice vertex operator algebra. We also proved that a natural construction of relaxed highest-weight Bershadsky--Polyakov modules gives modules that are generically irreducible. Here, we prove that this construction, when combined with spectral flow twists, gives a complete set of irreducible weight modules whose weight spaces are finite-dimensional. This gives a simple independent proof of the main classification theorem of arXiv:2007.03917 [math.RT] for nondegenerate admissible levels and extends this classification to a category of weight modules. We also deduce the classification for the nonadmissible level $\mathsf{k}=-\frac{7}{3}$, which is new.
△ Less
Submitted 29 November, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Modularity of Bershadsky-Polyakov minimal models
Authors:
Zachary Fehily,
David Ridout
Abstract:
The Bershadsky-Polyakov algebras are the original examples of nonregular W-algebras, obtained from the affine vertex operator algebras associated with $\mathfrak{sl}_3$ by quantum hamiltonian reduction. In [arXiv:2007.03917], we explored the representation theories of the simple quotients of these algebras when the level $\mathsf{k}$ is nondegenerate-admissible. Here, we combine these explorations…
▽ More
The Bershadsky-Polyakov algebras are the original examples of nonregular W-algebras, obtained from the affine vertex operator algebras associated with $\mathfrak{sl}_3$ by quantum hamiltonian reduction. In [arXiv:2007.03917], we explored the representation theories of the simple quotients of these algebras when the level $\mathsf{k}$ is nondegenerate-admissible. Here, we combine these explorations with Adamović's inverse quantum hamiltonian reduction functors to study the modular properties of Bershadsky-Polyakov characters and deduce the associated Grothendieck fusion rules. The results are not dissimilar to those already known for the affine vertex operator algebras associated with $\mathfrak{sl}_2$, except that the role of the Virasoro minimal models in the latter is here played by the minimal models of Zamolodchikov's $\mathsf{W}_3$ algebras.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Admissible-level $\mathfrak{sl}_3$ minimal models
Authors:
Kazuya Kawasetsu,
David Ridout,
Simon Wood
Abstract:
The first part of this work uses the algorithm recently detailed in arXiv:1906.02935 to classify the irreducible weight modules of the minimal model vertex operator algebra $L_k(\mathfrak{sl}_3)$, when the level $k$ is admissible. These are naturally described in terms of families parametrised by up to two complex numbers. We also determine the action of the relevant group of automorphisms of…
▽ More
The first part of this work uses the algorithm recently detailed in arXiv:1906.02935 to classify the irreducible weight modules of the minimal model vertex operator algebra $L_k(\mathfrak{sl}_3)$, when the level $k$ is admissible. These are naturally described in terms of families parametrised by up to two complex numbers. We also determine the action of the relevant group of automorphisms of $\hat{\mathfrak{sl}}_3$ on their isomorphism classes and compute explicitly the decomposition into irreducibles when a given family's parameters are permitted to take certain limiting values.
Along with certain character formulae, previously established in arXiv:2003.10148, these results form the input data required by the standard module formalism to consistently compute modular transformations and, assuming the validity of a natural conjecture, the Grothendieck fusion coefficients of the admissible-level $\mathfrak{sl}_3$ minimal models. The second part of this work applies the standard module formalism to compute these explicitly when $k=-\frac32$. We expect that the methodology developed here will apply in much greater generality.
△ Less
Submitted 21 August, 2022; v1 submitted 28 July, 2021;
originally announced July 2021.
-
Staggered modules of $N=2$ superconformal minimal models
Authors:
Christopher Raymond,
David Ridout,
Jorgen Rasmussen
Abstract:
We investigate a class of reducible yet indecomposable modules over the $N=2$ superconformal algebras. These so-called staggered modules exhibit a non-diagonalisable action of the Virasoro mode $L_{0}$. Using recent results on the coset construction of $N=2$ minimal models, we explicitly construct such modules for central charges $c = -1$ and $c = -6$. We also describe spectral-flow orbits and sym…
▽ More
We investigate a class of reducible yet indecomposable modules over the $N=2$ superconformal algebras. These so-called staggered modules exhibit a non-diagonalisable action of the Virasoro mode $L_{0}$. Using recent results on the coset construction of $N=2$ minimal models, we explicitly construct such modules for central charges $c = -1$ and $c = -6$. We also describe spectral-flow orbits and symmetries of the families of staggered modules which arise via the coset.
△ Less
Submitted 22 April, 2021; v1 submitted 9 February, 2021;
originally announced February 2021.
-
Representations of the Nappi--Witten vertex operator algebra
Authors:
Andrei Babichenko,
Kazuya Kawasetsu,
David Ridout,
William Stewart
Abstract:
The Nappi-Witten model is a Wess-Zumino-Witten model in which the target space is the nonreductive Heisenberg group $H_4$. We consider the representation theory underlying this conformal field theory. Specifically, we study the category of weight modules, with finite-dimensional weight spaces, over the associated affine vertex operator algebra $\mathsf{H}_4$. In particular, we classify the irreduc…
▽ More
The Nappi-Witten model is a Wess-Zumino-Witten model in which the target space is the nonreductive Heisenberg group $H_4$. We consider the representation theory underlying this conformal field theory. Specifically, we study the category of weight modules, with finite-dimensional weight spaces, over the associated affine vertex operator algebra $\mathsf{H}_4$. In particular, we classify the irreducible $\mathsf{H}_4$-modules in this category and compute their characters. We moreover observe that this category is nonsemisimple, suggesting that the Nappi-Witten model is a logarithmic conformal field theory.
△ Less
Submitted 1 October, 2021; v1 submitted 29 November, 2020;
originally announced November 2020.
-
Classifying relaxed highest-weight modules for admissible-level Bershadsky-Polyakov algebras
Authors:
Zachary Fehily,
Kazuya Kawasetsu,
David Ridout
Abstract:
The Bershadsky-Polyakov algebras are the minimal quantum hamiltonian reductions of the affine vertex algebras associated to $\mathfrak{sl}_3$ and their simple quotients have a long history of applications in conformal field theory and string theory. Their representation theories are therefore quite interesting. Here, we classify the simple relaxed highest-weight modules, with finite-dimensional we…
▽ More
The Bershadsky-Polyakov algebras are the minimal quantum hamiltonian reductions of the affine vertex algebras associated to $\mathfrak{sl}_3$ and their simple quotients have a long history of applications in conformal field theory and string theory. Their representation theories are therefore quite interesting. Here, we classify the simple relaxed highest-weight modules, with finite-dimensional weight spaces, for all admissible but nonintegral levels, significantly generalising the known highest-weight classifications [arxiv:1005.0185, arxiv:1910.13781]. In particular, we prove that the simple Bershadsky-Polyakov algebras with admissible nonintegral $\mathsf{k}$ are always rational in category $\mathscr{O}$, whilst they always admit nonsemisimple relaxed highest-weight modules unless $\mathsf{k}+\frac{3}{2} \in \mathbb{Z}_{\ge0}$.
△ Less
Submitted 31 January, 2021; v1 submitted 8 July, 2020;
originally announced July 2020.
-
A realisation of the Bershadsky--Polyakov algebras and their relaxed modules
Authors:
Drazen Adamovic,
Kazuya Kawasetsu,
David Ridout
Abstract:
We present a realisation of the universal/simple Bershadsky--Polyakov vertex algebras as subalgebras of the tensor product of the universal/simple Zamolodchikov vertex algebras and an isotropic lattice vertex algebra. This generalises the realisation of the universal/simple affine vertex algebras associated to $\mathfrak{sl}_2$ and $\mathfrak{osp}(1|2)$ given in arXiv:1711.11342. Relaxed highest-w…
▽ More
We present a realisation of the universal/simple Bershadsky--Polyakov vertex algebras as subalgebras of the tensor product of the universal/simple Zamolodchikov vertex algebras and an isotropic lattice vertex algebra. This generalises the realisation of the universal/simple affine vertex algebras associated to $\mathfrak{sl}_2$ and $\mathfrak{osp}(1|2)$ given in arXiv:1711.11342. Relaxed highest-weight modules are likewise constructed, conditions for their irreducibility are established, and their characters are explicitly computed, generalising the character formulae of arXiv:1803.01989.
△ Less
Submitted 17 February, 2021; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Relaxed highest-weight modules II: classifications for affine vertex algebras
Authors:
Kazuya Kawasetsu,
David Ridout
Abstract:
This is the second of a series of articles devoted to the study of relaxed highest-weight modules over affine vertex algebras and W-algebras. The first studied the simple "rank-$1$" affine vertex superalgebras $L_k(\mathfrak{sl}_2)$ and $L_k(\mathfrak{osp}(1\vert2))$, with the main results including the first complete proofs of certain conjectured character formulae (as well as some entirely new o…
▽ More
This is the second of a series of articles devoted to the study of relaxed highest-weight modules over affine vertex algebras and W-algebras. The first studied the simple "rank-$1$" affine vertex superalgebras $L_k(\mathfrak{sl}_2)$ and $L_k(\mathfrak{osp}(1\vert2))$, with the main results including the first complete proofs of certain conjectured character formulae (as well as some entirely new ones). Here, we turn to the question of classifying relaxed highest-weight modules for simple affine vertex algebras of arbitrary rank. The key point is that this can be reduced to the classification of highest-weight modules by generalising Olivier Mathieu's theory of coherent families. We formulate this algorithmically and illustrate its practical implementation with several detailed examples. We also show how to use coherent family technology to establish the non-semisimplicity of category $\mathscr{O}$ in one of these examples.
△ Less
Submitted 14 February, 2021; v1 submitted 7 June, 2019;
originally announced June 2019.
-
Unitary and non-unitary $N=2$ minimal models
Authors:
Thomas Creutzig,
Tianshu Liu,
David Ridout,
Simon Wood
Abstract:
The unitary $N = 2$ superconformal minimal models have a long history in string theory and mathematical physics, while their non-unitary (and logarithmic) cousins have recently attracted interest from mathematicians. Here, we give an efficient and uniform analysis of all these models as an application of a type of Schur-Weyl duality, as it pertains to the well-known Kazama-Suzuki coset constructio…
▽ More
The unitary $N = 2$ superconformal minimal models have a long history in string theory and mathematical physics, while their non-unitary (and logarithmic) cousins have recently attracted interest from mathematicians. Here, we give an efficient and uniform analysis of all these models as an application of a type of Schur-Weyl duality, as it pertains to the well-known Kazama-Suzuki coset construction. The results include straightforward classifications of the irreducible modules, branching rules, (super)characters and (Grothendieck) fusion rules.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
NGK and HLZ: fusion for physicists and mathematicians
Authors:
Shashank Kanade,
David Ridout
Abstract:
In this expository note, we compare the fusion product of conformal field theory, as defined by Gaberdiel and used in the Nahm-Gaberdiel-Kausch (NGK) algorithm, with the $P(w)$-tensor product of vertex operator algebra modules, as defined by Huang, Lepowsky and Zhang (HLZ). We explain how the equality of the two "coproducts" derived by NGK is essentially dual to the $P(w)$-compatibility condition…
▽ More
In this expository note, we compare the fusion product of conformal field theory, as defined by Gaberdiel and used in the Nahm-Gaberdiel-Kausch (NGK) algorithm, with the $P(w)$-tensor product of vertex operator algebra modules, as defined by Huang, Lepowsky and Zhang (HLZ). We explain how the equality of the two "coproducts" derived by NGK is essentially dual to the $P(w)$-compatibility condition of HLZ and how the algorithm of NGK for computing fusion products may be adapted to the setting of HLZ. We provide explicit calculations and instructive examples to illustrate both approaches. This document does not provide precise descriptions of all statements, it is intended more as a gentle starting point for the appreciation of the depth of the theory on both sides.
△ Less
Submitted 21 March, 2019; v1 submitted 27 December, 2018;
originally announced December 2018.
-
Cosets, characters and fusion for admissible-level $\mathfrak{osp}(1 \vert 2)$ minimal models
Authors:
Thomas Creutzig,
Shashank Kanade,
Tianshu Liu,
David Ridout
Abstract:
We study the minimal models associated to $\mathfrak{osp}(1 \vert 2)$, otherwise known as the fractional-level Wess-Zumino-Witten models of $\mathfrak{osp}(1 \vert 2)$. Since these minimal models are extensions of the tensor product of certain Virasoro and $\mathfrak{sl}_2$ minimal models, we can induce the known structures of the representations of the latter models to get a rather complete under…
▽ More
We study the minimal models associated to $\mathfrak{osp}(1 \vert 2)$, otherwise known as the fractional-level Wess-Zumino-Witten models of $\mathfrak{osp}(1 \vert 2)$. Since these minimal models are extensions of the tensor product of certain Virasoro and $\mathfrak{sl}_2$ minimal models, we can induce the known structures of the representations of the latter models to get a rather complete understanding of the minimal models of $\mathfrak{osp}(1 \vert 2)$. In particular, we classify the irreducible relaxed highest-weight modules, determine their characters and compute their Grothendieck fusion rules. We also discuss conjectures for their (genuine) fusion products and the projective covers of the irreducibles.
△ Less
Submitted 12 November, 2018; v1 submitted 24 June, 2018;
originally announced June 2018.
-
Relaxed highest-weight modules I: rank $1$ cases
Authors:
Kazuya Kawasetsu,
David Ridout
Abstract:
Relaxed highest-weight modules play a central role in the study of many important vertex operator (super)algebras and their associated (logarithmic) conformal field theories, including the admissible-level affine models. Indeed, their structure and their (super)characters together form the crucial input data for the standard module formalism that describes the modular transformations and Grothendi…
▽ More
Relaxed highest-weight modules play a central role in the study of many important vertex operator (super)algebras and their associated (logarithmic) conformal field theories, including the admissible-level affine models. Indeed, their structure and their (super)characters together form the crucial input data for the standard module formalism that describes the modular transformations and Grothendieck fusion rules of such theories. In this article, character formulae are proved for relaxed highest-weight modules over the simple admissible-level affine vertex operator superalgebras associated to $\mathfrak{sl}_2$ and $\mathfrak{osp}(1|2)$. Moreover, the structures of these modules are specified completely. This proves several conjectural statements in the literature for $\mathfrak{sl}_2$, at arbitrary admissible levels, and for $\mathfrak{osp}(1|2)$ at level $-\frac{5}{4}$. For other admissible levels, the $\mathfrak{osp}(1|2)$ results are believed to be new.
△ Less
Submitted 23 October, 2018; v1 submitted 5 March, 2018;
originally announced March 2018.
-
Singular vectors for the $W_N$ algebras
Authors:
David Ridout,
Steve Siu,
Simon Wood
Abstract:
In this paper, we use free field realisations of the A-type principal, or Casimir, $W_N$ algebras to derive explicit formulae for singular vectors in Fock modules. These singular vectors are constructed by applying screening operators to Fock module highest weight vectors. The action of the screening operators is then explicitly evaluated in terms of Jack symmetric functions and their skew analogu…
▽ More
In this paper, we use free field realisations of the A-type principal, or Casimir, $W_N$ algebras to derive explicit formulae for singular vectors in Fock modules. These singular vectors are constructed by applying screening operators to Fock module highest weight vectors. The action of the screening operators is then explicitly evaluated in terms of Jack symmetric functions and their skew analogues. The resulting formulae depend on sequences of pairs of integers that completely determine the Fock module as well as the Jack symmetric functions.
△ Less
Submitted 25 February, 2018; v1 submitted 29 November, 2017;
originally announced November 2017.
-
An admissible level $\widehat{\mathfrak{osp}} \left( 1 \middle\vert 2 \right)$-model: modular transformations and the Verlinde formula
Authors:
David Ridout,
John Snadden,
Simon Wood
Abstract:
The modular properties of the simple vertex operator superalgebra associated to the affine Kac-Moody superalgebra $\widehat{\mathfrak{osp}} \left( 1 \middle\vert 2 \right)$ at level $-\frac{5}{4}$ are investigated. After classifying the relaxed highest-weight modules over this vertex operator superalgebra, the characters and supercharacters of the simple weight modules are computed and their modul…
▽ More
The modular properties of the simple vertex operator superalgebra associated to the affine Kac-Moody superalgebra $\widehat{\mathfrak{osp}} \left( 1 \middle\vert 2 \right)$ at level $-\frac{5}{4}$ are investigated. After classifying the relaxed highest-weight modules over this vertex operator superalgebra, the characters and supercharacters of the simple weight modules are computed and their modular transforms are determined. This leads to a complete list of the Grothendieck fusion rules by way of a continuous superalgebraic analogue of the Verlinde formula. All Grothendieck fusion coefficients are observed to be non-negative integers. These results indicate that the extension to general admissible levels will follow using the same methodology once the classification of relaxed highest-weight modules is completed.
△ Less
Submitted 24 February, 2018; v1 submitted 11 May, 2017;
originally announced May 2017.
-
Modularity of logarithmic parafermion vertex algebras
Authors:
Jean Auger,
Thomas Creutzig,
David Ridout
Abstract:
The parafermionic cosets $C_k = \mathrm{Com} (H, L_k(\mathfrak{sl}_2) )$ are studied for negative admissible levels $k$, as are certain infinite-order simple current extensions $B_k$ of $C_k$. Under the assumption that the tensor theory considerations of Huang, Lepowsky and Zhang apply to $C_k$, all irreducible $C_k$- and $B_k$-modules are obtained from those of $L_k(\mathfrak{sl}_2)$, as are the…
▽ More
The parafermionic cosets $C_k = \mathrm{Com} (H, L_k(\mathfrak{sl}_2) )$ are studied for negative admissible levels $k$, as are certain infinite-order simple current extensions $B_k$ of $C_k$. Under the assumption that the tensor theory considerations of Huang, Lepowsky and Zhang apply to $C_k$, all irreducible $C_k$- and $B_k$-modules are obtained from those of $L_k(\mathfrak{sl}_2)$, as are the Grothendieck fusion rules of these irreducible modules. Notably, there are only finitely many irreducible $B_k$-modules. The irreducible $C_k$- and $B_k$-characters are computed and the latter are shown, when supplemented by pseudotraces, to carry a finite-dimensional representation of the modular group. The natural conjecture then is that the $B_k$ are $C_2$-cofinite vertex operator algebras.
△ Less
Submitted 9 February, 2018; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Superconformal minimal models and admissible Jack polynomials
Authors:
Olivier Blondeau-Fournier,
Pierre Mathieu,
David Ridout,
Simon Wood
Abstract:
We give new proofs of the rationality of the N=1 superconformal minimal model vertex operator superalgebras and of the classification of their modules in both the Neveu-Schwarz and Ramond sectors. For this, we combine the standard free field realisation with the theory of Jack symmetric functions. A key role is played by Jack symmetric polynomials with a certain negative parameter that are labelle…
▽ More
We give new proofs of the rationality of the N=1 superconformal minimal model vertex operator superalgebras and of the classification of their modules in both the Neveu-Schwarz and Ramond sectors. For this, we combine the standard free field realisation with the theory of Jack symmetric functions. A key role is played by Jack symmetric polynomials with a certain negative parameter that are labelled by admissible partitions. These polynomials are shown to describe free fermion correlators, suitably dressed by a symmetrising factor. The classification proofs concentrate on explicitly identifying Zhu's algebra and its twisted analogue. Interestingly, these identifications do not use an explicit expression for the non-trivial vacuum singular vector. While the latter is known to be expressible in terms of an Uglov symmetric polynomial or a linear combination of Jack superpolynomials, it turns out that standard Jack polynomials (and functions) suffice to prove the classification.
△ Less
Submitted 9 May, 2017; v1 submitted 13 June, 2016;
originally announced June 2016.
-
The super-Virasoro singular vectors and Jack superpolynomials relationship revisited
Authors:
O. Blondeau-Fournier,
P. Mathieu,
D. Ridout,
S. Wood
Abstract:
A recent novel derivation of the representation of Virasoro singular vectors in terms of Jack polynomials is extended to the supersymmetric case. The resulting expression of a generic super-Virasoro singular vector is given in terms of a simple differential operator (whose form is characteristic of the sector, Neveu-Schwarz or Ramond) acting on a Jack superpolynomial. The latter is indexed by a su…
▽ More
A recent novel derivation of the representation of Virasoro singular vectors in terms of Jack polynomials is extended to the supersymmetric case. The resulting expression of a generic super-Virasoro singular vector is given in terms of a simple differential operator (whose form is characteristic of the sector, Neveu-Schwarz or Ramond) acting on a Jack superpolynomial. The latter is indexed by a superpartition depending upon the two integers r,s that specify the reducible module under consideration. The corresponding singular vector (at grade rs/2), when expanded as a linear combination of Jack superpolynomials, results in an expression that (in addition to being proved) turns out to be more compact than those that have been previously conjectured. As an aside, in relation with the differential operator alluded to above, a remarkable property of the Jack superpolynomials at alpha=-3 is pointed out.
△ Less
Submitted 27 May, 2016;
originally announced May 2016.
-
Restriction and induction of indecomposable modules over the Temperley-Lieb algebras
Authors:
Jonathan Belletête,
David Ridout,
Yvan Saint-Aubin
Abstract:
Both the original Temperley-Lieb algebras $\mathsf{TL}_{n}$ and their dilute counterparts $\mathsf{dTL}_{n}$ form families of filtered algebras: $\mathsf{TL}_{n}\subset \mathsf{TL}_{n+1}$ and $\mathsf{dTL}_{n}\subset\mathsf{dTL}_{n+1}$, for all $n\geq 0$. For each such inclusion, the restriction and induction of every finite-dimensional indecomposable module over $\mathsf{TL}_{n}$ (or…
▽ More
Both the original Temperley-Lieb algebras $\mathsf{TL}_{n}$ and their dilute counterparts $\mathsf{dTL}_{n}$ form families of filtered algebras: $\mathsf{TL}_{n}\subset \mathsf{TL}_{n+1}$ and $\mathsf{dTL}_{n}\subset\mathsf{dTL}_{n+1}$, for all $n\geq 0$. For each such inclusion, the restriction and induction of every finite-dimensional indecomposable module over $\mathsf{TL}_{n}$ (or $\mathsf{dTL}_{n}$) is computed. To accomplish this, a thorough description of each indecomposable is given, including its projective cover and injective hull, some short exact sequences in which it appears, its socle and head, and its extension groups with irreducible modules. These data are also used to prove the completeness of the list of indecomposable modules, up to isomorphism. In fact, two completeness proofs are given, the first is based on elementary homological methods and the second uses Auslander-Reiten theory. The latter proof offers a detailed example of this algebraic tool that may be of independent interest.
△ Less
Submitted 16 November, 2017; v1 submitted 17 May, 2016;
originally announced May 2016.
-
Fusion rules for the logarithmic $N=1$ superconformal minimal models I: the Neveu-Schwarz sector
Authors:
Michael Canagasabey,
Jorgen Rasmussen,
David Ridout
Abstract:
It is now well known that non-local observables in critical statistical lattice models, polymers and percolation for example, may be modelled in the continuum scaling limit by logarithmic conformal field theories. Fusion rules for such theories, sometimes referred to as logarithmic minimal models, have been intensively studied over the last ten years in order to explore the representation-theoreti…
▽ More
It is now well known that non-local observables in critical statistical lattice models, polymers and percolation for example, may be modelled in the continuum scaling limit by logarithmic conformal field theories. Fusion rules for such theories, sometimes referred to as logarithmic minimal models, have been intensively studied over the last ten years in order to explore the representation-theoretic structures relevant to non-local observables. Motivated by recent lattice conjectures, this work studies the fusion rules of the $N=1$ supersymmetric analogues of these logarithmic minimal models in the Neveu-Schwarz sector. Fusion rules involving Ramond representations will be addressed in a sequel.
△ Less
Submitted 30 August, 2015; v1 submitted 13 April, 2015;
originally announced April 2015.
-
Boundary algebras and Kac modules for logarithmic minimal models
Authors:
Alexi Morin-Duchesne,
Jorgen Rasmussen,
David Ridout
Abstract:
Virasoro Kac modules were initially introduced indirectly as representations whose characters arise in the continuum scaling limits of certain transfer matrices in logarithmic minimal models, described using Temperley-Lieb algebras. The lattice transfer operators include seams on the boundary that use Wenzl-Jones projectors. If the projectors are singular, the original prescription is to select a…
▽ More
Virasoro Kac modules were initially introduced indirectly as representations whose characters arise in the continuum scaling limits of certain transfer matrices in logarithmic minimal models, described using Temperley-Lieb algebras. The lattice transfer operators include seams on the boundary that use Wenzl-Jones projectors. If the projectors are singular, the original prescription is to select a subspace of the Temperley-Lieb modules on which the action of the transfer operators is non-singular. However, this prescription does not, in general, yield representations of the Temperley-Lieb algebras and the Virasoro Kac modules have remained largely unidentified. Here, we introduce the appropriate algebraic framework for the lattice analysis as a quotient of the one-boundary Temperley-Lieb algebra. The corresponding standard modules are introduced and examined using invariant bilinear forms and their Gram determinants. The structures of the Virasoro Kac modules are inferred from these results and are found to be given by finitely generated submodules of Feigin-Fuchs modules. Additional evidence for this identification is obtained by comparing the formalism of lattice fusion with the fusion rules of the Virasoro Kac modules. These are obtained, at the character level, in complete generality by applying a Verlinde-like formula and, at the module level, in many explicit examples by applying the Nahm-Gaberdiel-Kausch fusion algorithm.
△ Less
Submitted 16 September, 2015; v1 submitted 25 March, 2015;
originally announced March 2015.
-
Relaxed singular vectors, Jack symmetric functions and fractional level $\widehat{\mathfrak{sl}}(2)$ models
Authors:
David Ridout,
Simon Wood
Abstract:
The fractional level models are (logarithmic) conformal field theories associated with affine Kac-Moody (super)algebras at certain levels $k \in \mathbb{Q}$. They are particularly noteworthy because of several longstanding difficulties that have only recently been resolved. Here, Wakimoto's free field realisation is combined with the theory of Jack symmetric functions to analyse the fractional lev…
▽ More
The fractional level models are (logarithmic) conformal field theories associated with affine Kac-Moody (super)algebras at certain levels $k \in \mathbb{Q}$. They are particularly noteworthy because of several longstanding difficulties that have only recently been resolved. Here, Wakimoto's free field realisation is combined with the theory of Jack symmetric functions to analyse the fractional level $\widehat{\mathfrak{sl}}(2)$ models. The first main results are explicit formulae for the singular vectors of minimal grade in relaxed Wakimoto modules. These are closely related to the minimal grade singular vectors in relaxed (parabolic) Verma modules. Further results include an explicit presentation of Zhu's algebra and an elegant new proof of the classification of simple relaxed highest weight modules over the corresponding vertex operator algebra. These results suggest that generalisations to higher rank fractional level models are now within reach.
△ Less
Submitted 18 March, 2015; v1 submitted 28 January, 2015;
originally announced January 2015.
-
The Verlinde formula in logarithmic CFT
Authors:
David Ridout,
Simon Wood
Abstract:
In rational conformal field theory, the Verlinde formula computes the fusion coefficients from the modular S-transformations of the characters of the chiral algebra's representations. Generalising this formula to logarithmic models has proven rather difficult for a variety of reasons. Here, a recently proposed formalism (arXiv:1303.0847 [hep-th]) for the modular properties of certain classes of lo…
▽ More
In rational conformal field theory, the Verlinde formula computes the fusion coefficients from the modular S-transformations of the characters of the chiral algebra's representations. Generalising this formula to logarithmic models has proven rather difficult for a variety of reasons. Here, a recently proposed formalism (arXiv:1303.0847 [hep-th]) for the modular properties of certain classes of logarithmic theories is reviewed, and refined, using simple examples. A formalism addressing fusion rules in simple current extensions is also reviewed as a means to tackle logarithmic theories to which the proposed modular formalism does not directly apply.
△ Less
Submitted 13 January, 2015; v1 submitted 2 September, 2014;
originally announced September 2014.
-
Bosonic Ghosts at $c=2$ as a Logarithmic CFT
Authors:
David Ridout,
Simon Wood
Abstract:
Motivated by Wakimoto free field realisations, the bosonic ghost system of central charge $c=2$ is studied using a recently proposed formalism for logarithmic conformal field theories. This formalism addresses the modular properties of the theory with the aim being to determine the (Grothendieck) fusion coefficients from a variant of the Verlinde formula. The key insight, in the case of bosonic gh…
▽ More
Motivated by Wakimoto free field realisations, the bosonic ghost system of central charge $c=2$ is studied using a recently proposed formalism for logarithmic conformal field theories. This formalism addresses the modular properties of the theory with the aim being to determine the (Grothendieck) fusion coefficients from a variant of the Verlinde formula. The key insight, in the case of bosonic ghosts, is to introduce a family of parabolic Verma modules which dominate the spectrum of the theory. The results include S-transformation formulae for characters, non-negative integer Verlinde coefficients, and a family of modular invariant partition functions. The logarithmic nature of the corresponding ghost theories is explicitly verified using the Nahm-Gaberdiel-Kausch fusion algorithm.
△ Less
Submitted 20 November, 2014; v1 submitted 18 August, 2014;
originally announced August 2014.
-
Modular Data and Verlinde Formulae for Fractional Level WZW Models II
Authors:
Thomas Creutzig,
David Ridout
Abstract:
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 culminati…
▽ More
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.
△ Less
Submitted 22 July, 2013; v1 submitted 18 June, 2013;
originally announced June 2013.
-
Coset Constructions of Logarithmic (1,p)-Models
Authors:
Thomas Creutzig,
David Ridout,
Simon Wood
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 6 January, 2014; v1 submitted 12 May, 2013;
originally announced May 2013.
-
Takiff superalgebras and Conformal Field Theory
Authors:
A. Babichenko,
D. Ridout
Abstract:
A class of non-semisimple extensions of Lie superalgebras is studied. They are obtained by adjoining to the superalgebra its adjoint representation as an abelian ideal. When the superalgebra is of affine Kac-Moody type, a generalisation of Sugawara's construction is shown to give rise to a copy of the Virasoro algebra and so, presumably, to a conformal field theory. Evidence for this is detailed f…
▽ More
A class of non-semisimple extensions of Lie superalgebras is studied. They are obtained by adjoining to the superalgebra its adjoint representation as an abelian ideal. When the superalgebra is of affine Kac-Moody type, a generalisation of Sugawara's construction is shown to give rise to a copy of the Virasoro algebra and so, presumably, to a conformal field theory. Evidence for this is detailed for the extension of the affinisation of the superalgebra gl(1|1): Its highest weight irreducible modules are classified using spectral flow, the irreducible supercharacters are computed and a continuum version of the Verlinde formula is verified to give non-negative integer structure coefficients. Interpreting these coefficients as those of the Grothendieck ring of fusion, partial results on the true fusion ring and its indecomposable structures are deduced.
△ Less
Submitted 12 February, 2013; v1 submitted 26 October, 2012;
originally announced October 2012.
-
Modular Data and Verlinde Formulae for Fractional Level WZW Models I
Authors:
Thomas Creutzig,
David Ridout
Abstract:
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 representat…
▽ More
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.
△ Less
Submitted 26 July, 2012; v1 submitted 29 May, 2012;
originally announced May 2012.
-
Standard Modules, Induction and the Temperley-Lieb Algebra
Authors:
David Ridout,
Yvan Saint-Aubin
Abstract:
The basic properties of the Temperley-Lieb algebra $TL_n$ with parameter $β= q + q^{-1}$, for $q$ any non-zero complex number, are reviewed in a pedagogical way. The link and standard (cell) modules that appear in numerous physical applications are defined and a natural bilinear form on the standard modules is used to characterize their maximal submodules. When this bilinear form has a non-trivial…
▽ More
The basic properties of the Temperley-Lieb algebra $TL_n$ with parameter $β= q + q^{-1}$, for $q$ any non-zero complex number, are reviewed in a pedagogical way. The link and standard (cell) modules that appear in numerous physical applications are defined and a natural bilinear form on the standard modules is used to characterize their maximal submodules. When this bilinear form has a non-trivial radical, some of the standard modules are reducible and $TL_n$ is non-semisimple. This happens only when $q$ is a root of unity. Use of restriction and induction allows for a finer description of the structure of the standard modules. Finally, a particular central element $F_n$ of $TL_n$ is studied; its action is shown to be non-diagonalisable on certain indecomposable modules and this leads to a proof that the radicals of the standard modules are irreducible. Moreover, the space of homomorphisms between standard modules is completely determined. The principal indecomposable modules are then computed concretely in terms of standard modules and their inductions. Examples are provided throughout and the delicate case $β= 0$, that plays an important role in physical models, is studied systematically.
△ Less
Submitted 8 July, 2014; v1 submitted 19 April, 2012;
originally announced April 2012.
-
Non-Chiral Logarithmic Couplings for the Virasoro Algebra
Authors:
David Ridout
Abstract:
This Letter initiates the study of what we call non-chiral staggered Virasoro modules, indecomposable modules on which two copies of the Virasoro algebra act with the two zero-modes acting non-semisimply. This is motivated by the "puzzle" recently reported in arXiv:1110.1327 [math-ph] involving a non-standard measured value, meaning that the value is not familiar from chiral studies, for the "b-pa…
▽ More
This Letter initiates the study of what we call non-chiral staggered Virasoro modules, indecomposable modules on which two copies of the Virasoro algebra act with the two zero-modes acting non-semisimply. This is motivated by the "puzzle" recently reported in arXiv:1110.1327 [math-ph] involving a non-standard measured value, meaning that the value is not familiar from chiral studies, for the "b-parameter" (logarithmic coupling) of a c=0 bulk conformal field theory. Here, an explanation is proposed by introducing a natural family of bulk modules and showing that the only consistent, non-standard logarithmic coupling that is distinguished through structure is that which was measured. This observation is shown to persist for general central charges and a conjecture is made for the values of certain non-chiral logarithmic couplings.
△ Less
Submitted 21 May, 2012; v1 submitted 14 March, 2012;
originally announced March 2012.
-
W-Algebras Extending Affine gl(1|1)
Authors:
Thomas Creutzig,
David Ridout
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 November, 2011;
originally announced November 2011.
-
Relating the Archetypes of Logarithmic Conformal Field Theory
Authors:
Thomas Creutzig,
David Ridout
Abstract:
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, an…
▽ More
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.
△ Less
Submitted 5 April, 2013; v1 submitted 11 July, 2011;
originally announced July 2011.
-
Fusion in Fractional Level sl^(2)-Theories with k=-1/2
Authors:
David Ridout
Abstract:
The fusion rules of conformal field theories admitting an sl^(2)-symmetry at level k=-1/2 are studied. It is shown that the fusion closes on the set of irreducible highest weight modules and their images under spectral flow, but not when "highest weight" is replaced with "relaxed highest weight". The fusion of the relaxed modules, necessary for a well-defined u^(1)-coset, gives two families of ind…
▽ More
The fusion rules of conformal field theories admitting an sl^(2)-symmetry at level k=-1/2 are studied. It is shown that the fusion closes on the set of irreducible highest weight modules and their images under spectral flow, but not when "highest weight" is replaced with "relaxed highest weight". The fusion of the relaxed modules, necessary for a well-defined u^(1)-coset, gives two families of indecomposable modules on which the Virasoro zero-mode acts non-diagonalisably. This confirms the logarithmic nature of the associated theories. The structures of the indecomposable modules are completely determined as staggered modules and it is shown that there are no logarithmic couplings (beta-invariants). The relation to the fusion ring of the c=-2 triplet model and the implications for the beta gamma ghost system are briefly discussed.
△ Less
Submitted 28 February, 2011; v1 submitted 13 December, 2010;
originally announced December 2010.
-
sl(2)_{-1/2} and the Triplet Model
Authors:
David Ridout
Abstract:
Conformal field theories with sl(2)_{-1/2} symmetry are studied with a view to investigating logarithmic structures. Applying the parafermionic coset construction to the non-logarithmic theory, a part of the structure of the triplet model is uncovered. In particular, the coset theory is shown to admit the triplet W-algebra as a chiral algebra. This motivates the introduction of an augmented sl(2…
▽ More
Conformal field theories with sl(2)_{-1/2} symmetry are studied with a view to investigating logarithmic structures. Applying the parafermionic coset construction to the non-logarithmic theory, a part of the structure of the triplet model is uncovered. In particular, the coset theory is shown to admit the triplet W-algebra as a chiral algebra. This motivates the introduction of an augmented sl(2)_{-1/2}-theory for which the corresponding coset theory is precisely the triplet model. This augmentation is envisaged to lead to a precise characterisation of the "logarithmic lift" of the non-logarithmic sl(2)_{-1/2}-theory that has been proposed by Lesage et al.
△ Less
Submitted 29 March, 2010; v1 submitted 22 January, 2010;
originally announced January 2010.
-
On Staggered Indecomposable Virasoro Modules
Authors:
Kalle Kytölä,
David Ridout
Abstract:
In this article, certain indecomposable Virasoro modules are studied. Specifically, the Virasoro mode L_0 is assumed to be non-diagonalisable, possessing Jordan blocks of rank two. Moreover, the module is further assumed to have a highest weight submodule, the "left module", and that the quotient by this submodule yields another highest weight module, the "right module". Such modules, which have…
▽ More
In this article, certain indecomposable Virasoro modules are studied. Specifically, the Virasoro mode L_0 is assumed to be non-diagonalisable, possessing Jordan blocks of rank two. Moreover, the module is further assumed to have a highest weight submodule, the "left module", and that the quotient by this submodule yields another highest weight module, the "right module". Such modules, which have been called staggered, have appeared repeatedly in the logarithmic conformal field theory literature, but their theory has not been explored in full generality. Here, such a theory is developed for the Virasoro algebra using rather elementary techniques. The focus centres on two different but related questions typically encountered in practical studies: How can one identify a given staggered module, and how can one demonstrate the existence of a proposed staggered module. The text is liberally peppered throughout with examples illustrating the general concepts. These have been carefully chosen for their physical relevance or for the novel features they exhibit.
△ Less
Submitted 6 January, 2010; v1 submitted 1 May, 2009;
originally announced May 2009.
-
From Percolation to Logarithmic Conformal Field Theory
Authors:
Pierre Mathieu,
David Ridout
Abstract:
The smallest deformation of the minimal model M(2,3) that can accommodate Cardy's derivation of the percolation crossing probability is presented. It is shown that this leads to a consistent logarithmic conformal field theory at c=0. A simple recipe for computing the associated fusion rules is given. The differences between this theory and the other recently proposed c=0 logarithmic conformal fi…
▽ More
The smallest deformation of the minimal model M(2,3) that can accommodate Cardy's derivation of the percolation crossing probability is presented. It is shown that this leads to a consistent logarithmic conformal field theory at c=0. A simple recipe for computing the associated fusion rules is given. The differences between this theory and the other recently proposed c=0 logarithmic conformal field theories are underlined. The discussion also emphasises the existence of invariant logarithmic couplings that generalise Gurarie's anomaly number.
△ Less
Submitted 19 October, 2007; v1 submitted 6 August, 2007;
originally announced August 2007.
-
The Extended Algebra of the SU(2) Wess-Zumino-Witten Models
Authors:
Pierre Mathieu,
David Ridout
Abstract:
The Wess-Zumino-Witten model defined on the group SU(2) has a unique (non-trivial) simple current of conformal dimension k/4 for each level k. The extended algebra defined by this simple current is carefully constructed in terms of generalised commutation relations, and the corresponding representation theory is investigated. This extended algebra approach is proven to realise a faithful ("free-…
▽ More
The Wess-Zumino-Witten model defined on the group SU(2) has a unique (non-trivial) simple current of conformal dimension k/4 for each level k. The extended algebra defined by this simple current is carefully constructed in terms of generalised commutation relations, and the corresponding representation theory is investigated. This extended algebra approach is proven to realise a faithful ("free-field-type") representation of the SU(2) model. Subtleties in the formulation of the extended theory are illustrated throughout by the k=1, 2 and 4 models. For the first two cases, bases for the modules of the extended theory are given and rigorously justified.
△ Less
Submitted 15 November, 2006; v1 submitted 29 September, 2006;
originally announced September 2006.
