An abstract approach to algebras of braids and ties
Generalizing work of Marin [12], we construct in a unified way all the "braids and ties'' algebras available in literature and new ones.
arXiv subjects
Publications and source records attributed to Paolo Papi.
Generalizing work of Marin [12], we construct in a unified way all the "braids and ties'' algebras available in literature and new ones.
We provide a criterion for a vertex operator superalgebra homomorphism from an affine vertex algebra to another vertex superalgebra to be conformal, and an additional criterion that guarantees that this homomorphism is surjective. This situation is applied to W-algebras and W-superalgebras and we list all cases where our criterion applies. This gives many new examples of W-algebras that collapse to affine vertex algebras or are conformal extensions. In particular, we provide many examples of simple W-algebras at non-admissible levels that collapse to admissible level affine vertex algebras.
Using spectral flow, we provide a proof of [11, Theorem 9.17] on unitarity of Ramond twisted non-extremal representations of unitary minimal $W$-algebras that does not rely on the still conjectural exactness of the twisted quantum reduction functor (see Conjecture 9.11 of [11]). When $\mathfrak g = spo(2|2n)$, $F (4$), $D(2, 1; \frac{m}{n})$, it is also proven that the unitarity of extremal (=massless) representations of the unitary minimal $W$-algebra $W^k_{\min}(\mathfrak g)$ in the Ramond sector is equivalent to the unitarity of extremal representations in the Neveu-Schwarz sector.
In this paper we give a detailed proof of the classification of extremal (=massless) unitary highest weight representations in the Neveu Schwarz and Ramond sectors of the big $N=4$ superconformal algebra which can be found in [5]. Our results agree with the general conjectures about classification of unitary highest weight representation of minimal $W$-algebras attached to basic Lie superalgebras formulated in [10], [11], and complete their proof for the big $N=4$ superconformal algebra.
This paper is a continuation of a previous study on the so-called measure once finite quantum automata model introduced by Moore and Crutchfield in 2000. We investigate conditions assuring that, given a language recognized by such a device and a language generated by a context-free grammar of finite index or by a matrix context-free grammar, it is recursively decidable whether or not they have a nonempty intersection.
In this paper we study unitary Ramond twisted representations of minimal $W$-algebras. We classify all such irreducible highest weight representations with a non-Ramond extremal highest weight (unitarity in the Ramond extremal case, as well as in the untwisted extremal case, remains open). We compute the characters of these representations and deduce from them the denominator identities for all superconformal algebras in the Neveu-Schwarz and Ramond sector. Some of the results rely on conjectures about the properties of the quantum Hamiltonian reduction functor in the Ramond sector.
Starting from the geometric construction of the framed braid group, we define and study the framization of several Brauer-type monoids and also the set partition monoid, all of which appear in knot theory. We introduce the concept of deframization, which is a procedure to obtain a tied monoid from a given framed monoid. Furthermore, we show in detail how this procedure works on the monoids mentioned above. We also discuss the framization and deframization of some algebras, which are deformations, respectively, of the framized and deframized monoids discussed here.
We prove that any unitary highest weight module over a universal minimal quantum affine $W$-algebra at non-critical level descends to its simple quotient. We find the defining relations of the unitary simple minimal quantum affine $W$-algebras and the list of all their irreducible positive energy modules. We also classify all irreducible highest weight modules for the simple affine vertex algebras in the cases when the associated simple minimal $W$-algebra is unitary.
We begin a systematic study of unitary representations of minimal $W$-algebras. In particular, we classify unitary minimal $W$-algebras and make substantial progress in classification of their unitary irreducible highest weight modules. We also compute the characters of these modules.
In this paper we prove a general result saying that under certain hypothesis an embedding of an affine vertex algebra into an affine $W$--algebra is conformal if and only if their central charges coincide. This result extends our previous result obtained in the case of minimal affine $W$-algebras. We also find a sufficient condition showing that certain conformal levels are collapsing. This new condition enables us to find some levels $k$ where $W_k(sl(N), x, f )$ collapses to its affine part when $f$ is of hook or rectangular type. Our methods can be applied to non-admissible levels. In particular, we prove Creutzig's conjecture on the conformal embedding in the hook type $W$-algebra $W_k(sl(n+m), x, f_{m,n})$ of its affine vertex subalgebra. Quite surprisingly, the problem of showing that certain conformal levels are not collapsing turns out to be very difficult. In the cases when $k$ is admissible and conformal, we prove that $W_k(sl(n+m), x, f_{m,n})$ is not collapsing. Then, by generalizing the results on semi-simplicity of conformal embeddings from our previous papers, we find many cases in which $W_k(sl(n+m), x, f_{m,n})$ is semi-simple as a module for its affine subalgebra at conformal level and we provide explicit decompositions.
We study the semisimplicity of the category $KL_k$ for affine Lie superalgebras and provide a super analog of certain results from arXiv:1801.09880. Let $KL_k^{fin}$ be the subcategory of $KL_k$ consisting of ordinary modules on which the Cartan subalgebra acts semisimply. We prove that $KL_k^{fin}$ is semisimple when 1) $k$ is a collapsing level, 2) $W_k(\mathfrak{g}, \theta)$ is rational, 3) $W_k(\mathfrak{g}, \theta)$ is semisimple in a certain category. The analysis of the semisimplicity of $KL_k$ is subtler than in the Lie algebra case, since in super case $KL_k$ can contain indecomposable modules. We are able to prove that in many cases when $KL_k^{fin}$ is semisimple we indeed have $KL_k^{fin}=KL_k$, which therefore excludes indecomposable and logarithmic modules in $KL_k$. In these cases we are able to prove that there is a conformal embedding $W \hookrightarrow V_k(\mathfrak{g})$ with $W$ semisimple (see Section 10). In particular, we prove the semisimplicity of $KL_k$ for $\mathfrak{g}=sl(2\vert 1)$ and $k = -\frac{m+1}{m+2}$, $m \in {\mathbb Z}_{\ge 0}$. For $\mathfrak{g} =sl(m \vert 1)$, we prove that $KL_k$ is semisimple for $k=-1$, but for $k=1$ we show that it is not semisimple by constructing indecomposable highest weight modules in $KL_k^{fin}$.
We obtain a complete classification of minimal simple unitary $W$-algebras.
We study invariant Hermitian forms on a conformal vertex algebra and on their (twisted) modules. We establish existence of a non-zero invariant Hermitian form on an arbitrary $W$-algebra. We show that for a minimal simple $W$-algebra $W_k(\mathfrak g,\theta/2)$ this form can be unitary only when its $\tfrac{1}{2}\mathbb Z$-grading is compatible with parity, unless $W_k(\mathfrak g,\theta/2)$ "collapses" to its affine subalgebra.
We prove that the singularities of the $R$-matrix $R(k)$ of the minimal quantization of the adjoint representation of the Yangian $Y(\mathfrak g)$ of a finite dimensional simple Lie algebra $\mathfrak g$ are the opposite of the roots of the monic polynomial $p(k)$ entering in the OPE expansions of quantum fields of conformal weight $3/2$ of the universal minimal affine $W$-algebra at level $k$ attached to $\mathfrak g$.
Let G be an almost simple group over an algebraically closed field k of characteristic zero, let g be its Lie algebra and let B be a Borel subgroup of G. Then B acts with finitely many orbits on the variety N_2 of the nilpotent elements in g whose height is at most 2. We provide a parametrization of the B-orbits in N_2 in terms of subsets of pairwise orthogonal roots, and we provide a complete description of the inclusion order among the B-orbit closures in terms of the Bruhat order on certain involutions in the affine Weyl group of g.
This paper is a natural continuation of our previous work on conformal embeddings of vertex algebras [6], [7], [8]. Here we consider conformal embeddings in simple affine vertex superalgebra $V_k(\mathfrak g)$ where $\mathfrak g=\mathfrak g_{\bar 0}\oplus \mathfrak g_{\bar 1}$ is a basic classical simple Lie superalgebras. Let $\mathcal V_k (\mathfrak g_{\bar 0})$ be the subalgebra of $V_k(\mathfrak g)$ generated by $\mathfrak g_{\bar 0}$. We first classify all levels $k$ for which the embedding $\mathcal V_k (\mathfrak g_{\bar 0})$ in $V_k(\mathfrak g)$ is conformal. Next we prove that, for a large family of such conformal levels, $V_k(\mathfrak g)$ is a completely reducible $\mathcal V_k (\mathfrak g_{\bar 0})$--module and obtain decomposition rules. Proofs are based on fusion rules arguments and on the representation theory of certain affine vertex algebras. The most interesting case is the decomposition of $V_{-2} (osp(2n +8 \vert 2n))$ as a finite, non simple current extension of $V_{-2} (D_{n+4}) \otimes V_1 (C_n)$. This decomposition uses our previous work [10] on the representation theory of $V_{-2} (D_{n+4})$.
Let G be a quasi simple algebraic group over an algebraically closed field k whose characteristic is not very bad for G, and let B be a Borel subgroup of G with Lie algebra b. Given a B-stable abelian subalgebra a of the nilradical of b, we parametrize the B-orbits in a and we describe their closure relations.
We deal with some aspects of the theory of conformal embeddings of affine vertex algebras, providing a new proof of the Symmetric Space Theorem and a criterion for conformal embeddings of equal rank subalgebras. We finally study some examples of embeddings at the critical level. We prove a criterion for embeddings at the critical level which enables us to prove equality of certain central elements.