Searcharxiv⌕ Search

arXiv subjects

AM Semikhatov

Publications and source records attributed to AM Semikhatov.

17 recordsLinked to original sources
arXiv2010

Heisenberg double H(B^*) as a braided commutative Yetter-Drinfeld module algebra over the Drinfeld double

We study the Yetter--Drinfeld D(B)-module algebra structure on the Heisenberg double H(B^*) endowed with a "heterotic" action of the Drinfeld double D(B). This action can be interpreted in the spirit of Lu's description of H(B^*) as a twist of D(B). In terms of the braiding of Yetter--Drinfeld modules, H(B^*) is braided commutative. By the Brzezinski--Militaru theorem, H(B^*)#D(B) is then a Hopf algebroid over H(B^*). For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_q(sl(2)). In particular, it follows that Mat_p(C) is a braided commutative Yetter--Drinfeld U_q(sl(2))-module algebra and Mat_p(U_q(sl(2))) is a Hopf algebroid over Mat_p(C).

math.QA↗
arXiv2009

A Heisenberg double addition to the logarithmic Kazhdan--Lusztig duality

For a Hopf algebra B, we endow the Heisenberg double H(B^*) with the structure of a module algebra over the Drinfeld double D(B). Based on this property, we propose that H(B^*) is to be the counterpart of the algebra of fields on the quantum-group side of the Kazhdan--Lusztig duality between logarithmic conformal field theories and quantum groups. As an example, we work out the case where B is the Taft Hopf algebra related to the U_qsl(2) quantum group that is Kazhdan--Lusztig-dual to (p,1) logarithmic conformal models. The corresponding pair (D(B),H(B^*)) is "truncated" to (U_qsl(2),H_qsl(2)), where H_qsl(2) is a U_qsl(2) module algebra that turns out to have the form H_qsl(2)=\oC_q[z,d]\tensor C[λ]/(λ^{2p}-1), where C_q[z,d] is the U_qsl(2)-module algebra with the relations z^p=0, d^p=0, and d z = q-q^{-1} + q^{-2} zd.

math.QA↗
arXiv2009

Quantum-sl(2) action on a divided-power quantum plane at even roots of unity

We describe a nonstandard version of the quantum plane, the one in the basis of divided powers at an even root of unity $q=e^{iπ/p}$. It can be regarded as an extension of the "nearly commutative" algebra $C[X,Y]$ with $X Y =(-1)^p Y X$ by nilpotents. For this quantum plane, we construct a Wess--Zumino-type de Rham complex and find its decomposition into representations of the $2p^3$-dimensional quantum group $U_q sl(2)$ and its Lusztig extension; the quantum group action is also defined on the algebra of quantum differential operators on the quantum plane.

math.QA↗
arXiv2009

A differential U-module algebra for U=U_q sl(2) at an even root of unity

We show that the full matrix algebra Mat_p(C) is a U-module algebra for U = U_q sl(2), a 2p^3-dimensional quantum sl(2) group at the 2p-th root of unity. Mat_p(C) decomposes into a direct sum of projective U-modules P^+_n with all odd n, 1<=n<=p. In terms of generators and relations, this U-module algebra is described as the algebra of q-differential operators "in one variable" with the relations D z = q - q^{-1} + q^{-2} z D and z^p = D^p = 0. These relations define a "parafermionic" statistics that generalizes the fermionic commutation relations. By the Kazhdan--Lusztig duality, it is to be realized in a manifestly quantum-group-symmetric description of (p,1) logarithmic conformal field models. We extend the Kazhdan--Lusztig duality between U and the (p,1) logarithmic models by constructing a quantum de Rham complex of the new U-module algebra.

hep-th↗
arXiv2007

A note on the logarithmic (p,p') fusion

The procedure in [Fuchs et al.] to obtain a fusion algebra from the modular transformation of characters in logarithmic conformal field models is extended to the (p,p') logarithmic models. The resulting fusion algebra coincides with the Grothendieck ring of the quantum group of the (p,p') model.

hep-th↗
arXiv2007

Higher string functions, higher-level Appell functions, and the logarithmic ^sl(2)_k/u(1) CFT model

We generalize the string functions C_{n,r}(tau) associated with the coset ^sl(2)_k/u(1) to higher string functions A_{n,r}(tau) and B_{n,r}(tau) associated with the coset W(k)/u(1) of the W-algebra of the logarithmically extended ^sl(2)_k conformal field model with positive integer k. The higher string functions occur in decomposing W(k) characters with respect to level-k theta and Appell functions and their derivatives (the characters are neither quasiperiodic nor holomorphic, and therefore cannot decompose with respect to only theta-functions). The decomposition coefficients, to be considered ``logarithmic parafermionic characters,'' are given by A_{n,r}(tau), B_{n,r}(tau), C_{n,r}(tau), and by the triplet \mathscr{W}(p)-algebra characters of the (p=k+2,1) logarithmic model. We study the properties of A_{n,r} and B_{n,r}, which nontrivially generalize those of the classic string functions C_{n,r}, and evaluate the modular group representation generated from A_{n,r}(tau) and B_{n,r}(tau); its structure inherits some features of modular transformations of the higher-level Appell functions and the associated transcendental function Phi.

math.QA↗
arXiv2007

Factorizable ribbon quantum groups in logarithmic conformal field theories

We review the properties of quantum groups occurring as Kazhdan--Lusztig dual to logarithmic conformal field theory models. These quantum groups at even roots of unity are not quasitriangular but are factorizable and have a ribbon structure; the modular group representation on their center coincides with the representation on generalized characters of the chiral algebra in logarithmic conformal field models.

hep-th↗
arXiv2007

Toward logarithmic extensions of ^sl(2)_k conformal field models

For positive integer p=k+2, we construct a logarithmic extension of the ^sl(2)_k conformal field theory of integrable representations by taking the kernel of two fermionic screening operators in a three-boson realization of ^sl(2)_k. The currents W^-(z) and W^+(z) of a W-algebra acting in the kernel are determined by a highest-weight state of dimension 4p-2 and charge 2p-1, and a (theta=1)-twisted highest-weight state of the same dimension 4p-2 and charge -2p+1. We construct 2p W-algebra representations, evaluate their characters, and show that together with the p-1 integrable representation characters they generate a modular group representation whose structure is described as a deformation of the (9p-3)-dimensional representation $R_{p-1} \oplus C^2 \tensor R_{p-1} \oplus R_{p-1} \oplus C^2 \tensor R_{p-1} \oplus C^3 \tensor R_{p-1}$, where R_{p-1} is the SL(2,Z)-representation on integrable representation characters and R_{p-1} is a (p+1)-dimensional SL(2,Z)-representation known from the logarithmic (p,1) model. The dimension 9p-3 is conjecturally the dimension of the space of torus amplitudes, and the C^n with n=2 and 3 suggest the Jordan cell sizes in indecomposable W-algebra modules. Under Hamiltonian reduction, the W-algebra currents map into the currents of the triplet W-algebra of the logarithmic (p,1) model.

hep-th↗
arXiv2007

Kazhdan--Lusztig-dual quantum group for logarithmic extensions of Virasoro minimal models

We derive and study a quantum group g(p,q) that is Kazhdan--Lusztig-dual to the W-algebra W(p,q) of the logarithmic (p,q) conformal field theory model. The algebra W(p,q) is generated by two currents $W^+(z)$ and $W^-(z)$ of dimension (2p-1)(2q-1), and the energy--momentum tensor T(z). The two currents generate a vertex-operator ideal $R$ with the property that the quotient W(p,q)/R is the vertex-operator algebra of the (p,q) Virasoro minimal model. The number (2 p q) of irreducible g(p,q)-representations is the same as the number of irreducible W(p,q)-representations on which $R$ acts nontrivially. We find the center of g(p,q) and show that the modular group representation on it is equivalent to the modular group representation on the W(p,q) characters and ``pseudocharacters.'' The factorization of the g(p,q) ribbon element leads to a factorization of the modular group representation on the center. We also find the g(p,q) Grothendieck ring, which is presumably the ``logarithmic'' fusion of the (p,q) model.

math.QA↗
arXiv2006

Logarithmic extensions of minimal models: characters and modular transformations

We study logarithmic conformal field models that extend the (p,q) Virasoro minimal models. For coprime positive integers $p$ and $q$, the model is defined as the kernel of the two minimal-model screening operators. We identify the field content, construct the W-algebra W(p,q) that is the model symmetry (the maximal local algebra in the kernel), describe its irreducible modules, and find their characters. We then derive the SL(2,Z) representation on the space of torus amplitudes and study its properties. From the action of the screenings, we also identify the quantum group that is Kazhdan--Lusztig-dual to the logarithmic model.

hep-th↗
arXiv2006

Modular group representations and fusion in logarithmic conformal field theories and in the quantum group center

The SL(2,Z) representation $π$ on the center of the restricted quantum group U_{q}sl(2) at the primitive 2p-th root of unity is shown to be equivalent to the SL(2,Z) representation on the extended characters of the logarithmic (1,p) conformal field theory model. The multiplicative Jordan decomposition of the U_{q}sl(2) ribbon element determines the decomposition of $π$ into a ``pointwise'' product of two commuting SL(2,Z) representations, one of which restricts to the Grothendieck ring; this restriction is equivalent to the SL(2,Z) representation on the (1,p)-characters, related to the fusion algebra via a nonsemisimple Verlinde formula. The Grothendieck ring of U_{q}sl(2) at the primitive 2p-th root of unity is shown to coincide with the fusion algebra of the (1,p) logarithmic conformal field theory model. As a by-product, we derive q-binomial identities implied by the fusion algebra realized in the center of~U_{q}sl(2).

hep-th↗
arXiv2006

Kazhdan--Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic CFT

To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{iπ}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by projective modules and three series of representations that are essentially described by indecomposable representations of the Kronecker quiver. The equivalence of the W(p)- and $U_q SL2$-representation categories is conjectured for all $p\ge 2$ and proved for p=2, the implications including the identifications of the quantum-group center with the logarithmic conformal field theory center and of the universal R-matrix with the braiding matrix.

math.QA↗
arXiv2004

Higher-Level Appell Functions, Modular Transformations, and Characters

We study modular transformation properties of a class of indefinite theta series involved in characters of infinite-dimensional Lie superalgebras. The \textit{level-$\ell$ Appell functions} $K_\ell$ satisfy open quasiperiodicity relations with additive theta-function terms emerging in translating by the ``period.'' Generalizing the well-known interpretation of theta functions as sections of line bundles, the $K_\ell$ function enters the construction of a section of a rank-$(\ell+1)$ bundle $V(\ell,τ)$. We evaluate modular transformations of the $K_\ell$ functions and construct the action of an SL(2,Z) subgroup that leaves the section of $V(\ell,τ)$ constructed from $K_\ell$ invariant. Modular transformation properties of $K_\ell$ are applied to the affine Lie superalgebra ^sl(2|1) at rational level k>-1 and to the N=2 super-Virasoro algebra, to derive modular transformations of ``admissible'' characters, which are not periodic under the spectral flow and cannot therefore be rationally expressed through theta functions. This gives an example where constructing a modular group action involves extensions among representations in a nonrational conformal model.

math.QA↗
arXiv2004

$W^{(2)}_n$ algebras

We construct W-algebra generalizations of the ^sl(2) algebra -- W-algebras W^{(2)}_n generated by two currents E and F with the highest pole of order n in their OPE. The n=3 term in this series is the Bershadsky--Polyakov algebra. We define these algebras as a centralizer (commutant) of the $U_{q}sl(n|1)$ super quantum group and explicitly find the generators in a factored, ``Miura-like'' form. Another construction of W^{(2)}_n is in terms of the coset ^sl(n|1)/^sl(n). The relation between the two constructions involves the ``duality'' (k+n-1)(k'+n-1)=1 between levels k and k' of two ^sl(n) algebras.

math.QA↗
arXiv2003

Twists and singular vectors in ^sl(2|1) representations

We propose new formulas for singular vectors in Verma modules over the affine Lie superalgebra $\hat{sl}(2|1)$. We analyze the coexistence of singular vectors of different types and identify the twisted modules $N_{h,k;θ}$ arising as submodules and quotient modules of $\hat{sl}(2|1)$ Verma modules. We show that with the twists (spectral flow transformations) properly taken into account, a resolution of irreducible representations can be constructed consisting of only the $N_{h,k;θ}$ modules.

hep-th↗
arXiv2001

A Semi-Infinite Construction of Unitary N=2 Modules

We show that each unitary representation of the N=2 superVirasoro algebra can be realized in terms of ``collective excitations'' over a filled Dirac sea of fermionic operators satisfying a generalized exclusion principle. These are semi-infinite forms in the modes of one of the fermionic currents. The constraints imposed on the fermionic operators have a counterpart in the form of a model one-dimensional lattice system, studying which allows us to prove the existence of a remarkable monomial basis in the semi-infinite space. This leads to a Rogers--Ramanujan-like character formula. We construct the N=2 action on the semi-infinite space using a filtration by finite-dimensional subspaces (the structure of which is related to the supernomial coefficients); the main technical tool is provided by the dual functional realization. As an application, we identify the coinvariants with the dual to a space of meromorphic functions on products of punctured Riemann surfaces with a prescribed behaviour on multiple diagonals. For products of punctured $CP^1$, such spaces are related to the unitary N=2 fusion algebra, for which we also give an independent derivation.

hep-th↗