arXiv subjects

Alexander Kirillov Jr

Publications and source records attributed to Alexander Kirillov Jr.

At least 19 recordsLinked to original sources

arXiv2021

Factorization Homology and 4D TQFT

In [BK], it is shown that the Turaev-Viro invariants defined for a spherical fusion category $\mathcal{A}$ extends to invariants of 3-manifolds with corners. In [Kir], an equivalent formulation for the 2-1 part of the theory (2-manifolds with boundary) is described using the space of "stringnets with boundary conditions" as the vector spaces associated to 2-manifolds with boundary. Here we construct a similar theory for the 3-2 part of the 4-3-2 theory in [CY1993].

math.QA↗

arXiv2012

Quantum McKay Correspondence and Equivariant Sheaves on the Quantum Projective Line

In this paper, using the quantum McKay correspondence, we construct the "derived category" of G-equivariant sheaves on the quantum projective line at a root of unity. More precisely, we use the representation theory of U_{q}sl(2) at root of unity to construct an analogue of the symmetric algebra and the structure sheaf. The analogue of the structure sheaf is, in fact, a complex, and moreover it is a dg-algebra. Our derived category arises via a triangulated category of G-equivariant dg-modules for this dg-algebra. We then relate this to representations of the quiver (Γ, \Om), where Γis the A,D,E graph associated to G via the quantum McKay correspondence, and \Om is an orientation of Γ. As a corollary, our category categorifies the corresponding root lattice, and the indecomposable sheaves give the corresponding root system.

math.RT↗

arXiv2012

Kitaev's Lattice Model and Turaev-Viro TQFTs

In this paper, we examine Kitaev's lattice model for an arbitrary complex, semisimple Hopf algebra. We prove that this model gives the same topological invariants as Turaev-Viro theory. Using the description of Turaev-Viro theory as an extended TQFT, we prove that the excited states of the Kitaev model correspond to Turaev-Viro theory on a surface with boundary.

math.QA↗

arXiv2012

Categorical construction of A,D,E root systems

Let Γbe a Dynkin diagram of type A,D,E and let R denote the corresponding root system. In this paper we give a categorical construction of R from Γ. Instead of choosing an orientation of Γand studying representations of the associated quiver, we study representations of a canonical quiver \Gammahat associated to Γ. This construction is very closely related to the preprojective algebra of Γ. In particular, the construction gives a certain periodicity result about the preprojective algebra.

math.RT↗

arXiv2011

On piecewise linear cell decompositions

In this note, we introduce a class of cell decompositions of PL manifolds and polyhedra which are more general than triangulations yet not as general as CW complexes; we propose calling them PLCW complexes. The main result is an analog of Alexander's theorem: any two PLCW decompositions of the same polyhedron can be obtained from each other by a sequence of certain "elementary" moves. This definition is motivated by the needs of Topological Quantum Field Theory, especially extended theories as defined by Lurie.

math.GT↗

arXiv2011

String-net model of Turaev-Viro invariants

In this paper, we describe the relation between the Turaev--Viro TQFT and the string-net space introduced in the papers of Levin and Wen. In particular, the case of surfaces with boundary is considered in detail.

math.AT↗

arXiv2008

On $G$--modular functor

In this paper, we extend the notion of modular functor and fusion category to what we called $G$ equivariant modular functor and $G$ equivariant fusion category, where $G$ is a finite group, and establish a correspondence between between these notions.

math.QA↗

arXiv2006

McKay correspondence and equivariant sheaves on $P^1$

Let $G$ be a finite subgroup in SU(2), and $Q$ the corresponding affine Dynkin diagram. In this paper, we review the relation between the categories of $G$-equivariant sheaves on $P^1$ and $Rep Q_h$, where $h$ is an orientation of $Q$, constructing an explicit equivalence of corresponding derived categories.

math.AG↗

arXiv2005

Compact groups and their representations

This is an overview article on compact Lie groups and their representations, written for the Encyclopedia of Mathematical Physics to be published by Elsevier.

math.RT↗

arXiv2004

On $G$--equivariant modular categories

In this paper, we study $G$-equivariant tensor categories for a finite group $G$. These categories were introduced by Turaev under the name of $G$-crossed categories; the motivating example of such a category is the category of twisted modules over a vertex operator algebra $V$ with a finite group of automorphisms $G$. We discuss the notion of "orbifold quotient" of such a category (in the example above, this quotient is the category of modules over the subalgebra of invariants $V^G$). We introduce an extended Verlinde algebra for a $G$-equivariant tensor category and give a simple description of the Verlinde algebra of the orbifold category in terms of the extended Verlinde algebra of the original category. We define an analog of $s,t$ matrices for the extended Verlinde algebra and show that if $s$ is invertible, then these matrices define an action of $SL_2(Z)$ on the extended Verlinde algebra. We also show that the $s$-matrix interchanges tensor product with a much simpler product ("convolution product"), which can be used to compute the tensor product multiplicities.

math.QA↗

arXiv2003

On the modular functor associated with a finite group

In this note, we give a description of the modular functor associated to the Chern-Simons theory with a finite group from the complex-analytic point of view, i.e. as a vector bundle with a flat connection on the moduli space of punctured curves. We show that it can be obtained from the trivial local system on the moduli space of "admissible G-covers" as a direct image under the forgetful map from moduli space of G-covers to the usual moduli space.

math.QA↗

arXiv2001

On q-analog of McKay correspondence and ADE classification of sl^(2) conformal field theories

The goal of this paper is to classify ``finite subgroups in U_q sl(2)'' where $q=e^{\piı/l}$ is a root of unity. We propose a definition of such a subgroup in terms of the category of representations of U_q sl(2); we show that this definition is a natural generalization of the notion of a subgroup in a reductive group, and that it is also related with extensions of the chiral (vertex operator) algebra corresponding to sl^(2) at level k=l-2. We show that ``finite subgroups in U_q sl(2)'' are classified by Dynkin diagrams of types A_n, D_{2n}, E_6, E_8 with Coxeter number equal to $l$, give a description of this correspondence similar to the classical McKay correspondence, and discuss relation with modular invariants in (sl(2))_k conformal field theory.

math.QA↗

arXiv2001

Modular categories and orbifold models II

This is a continuation of the paper "Modular tensor categories and orbifold theories", arXiv:math.QA/0104242. It discusses orbifold models of conformal filed theory, or, in mathematical language, question of constructing the category of representations of the fixed point algebra $V^G$ for a given vertex operator algebra $V$ with an action of a finite group $G$. The previous paper gave a proof of well-known conjecture of Dijkgraaf-Vafa-Verlinde-Verlinde giving a complete answer to this question in the holomorphic case (when $V$ has a unique simple module, $V$ itself) under the assumption that categories of rrepresentations of $V$, $V^G$ are modular tensor categories. In the current paper, we give a partial answer in non-holomorphic case. In particular, we show that the category of representations of $V^G$ is completely determined by the category of twisted $V$-modules together with the action of $G$ on this category. Our approach is based on describing representations of $V$, $V^G$ and relation between them in terms of tensor categories and avoids using the technique of VOAs as much as possible.

math.QA↗

arXiv2001

Modular categories and orbifold models

In this paper, we try to answer the following question: given a modular tensor category $\A$ with an action of a compact group $G$, is it possible to describe in a suitable sense the ``quotient'' category $\A/G$? We give a full answer in the case when $\A=\vec$ is the category of vector spaces; in this case, $\vec/G$ turns out to be the category of representation of Drinfeld's double $D(G)$. This should be considered as category theory analog of topological identity ${pt}//G=BG$. This implies a conjecture of Dijkgraaf, Vafa, E. Verlinde and H. Verlinde regarding so-called orbifold conformal field theories: if $\V$ is a vertex operator algebra which has a unique irreducible module, $\V$ itself, and $G$ is a compact group of automorphisms of $\V$, and some not too restricitive technical conditions are satisfied, then $G$ is finite, and the category of representations of the algebra of invariants, $\V^G$, is equivalent as a tensor category to the category of representations of Drinfeld's double $D(G)$. We also get some partial results in the non-holomorphic case, i.e. when $\V$ has more than one simple module.

math.QA↗

arXiv1997

On Cherednik-Macdonald-Mehta identities

In this note we give a short proof of Cherednik's generalization of Macdonald-Mehta identities for the root system $A_{n-1}$ using the representation theory of quantum groups. These identities, suggested and proved by Cherednik, give an explicit formula for the integral of a product of Macdonald polynomials with respect to a ``difference analogue of the Gaussian measure''.

q-alg↗

arXiv1997

Kazhdan-Lusztig polynomials and canonical basis

In this paper we show that the Kazhdan-Lusztig polynomials (and, more generally, parabolic KL polynomials) for the group $S_n$ coincide with the coefficients of the canonical basis in $n$th tensor power of the fundamental representation of the quantum group $U_q sl_k$. We also use known results about canonical bases for $U_q sl_2$ to get a new proof of recurrent formulas for KL polynomials for maximal parabolic subgroups (geometrically, this case corresponds to Grassmanians), due to Lascoux-Schutzenberger and Zelevinsky.

q-alg↗

arXiv1996

On inner product in modular tensor categories. II. Inner product on conformal blocks and affine inner product identities

This is the second part of the paper (the first part is published in Jour. of AMS, vol.9, 1135--1170, q-alg/9508017). In the first part, we defined for every modular tensor category (MTC) inner products on the spaces of morphisms and proved that the inner product on the space $\Hom (\bigoplus X_i\otimes X^*_i, U)$ is modular invariant. Also, we have shown that in the case of the MTC arising from the representations of the quantum group $U_q \sln$ at roots of unity and $U$ being a symmetric power of the fundamental representation, this inner product coincides with so-called Macdonald's inner product on symmetric polynomials. In this paper, we apply the same construction to the MTC coming from the integrable representations of affine Lie algebras. In this case our construction immediately gives a hermitian form on the spaces of conformal blocks, and this form is modular invariant (Warning: we cannot prove that it is positive definite). We show that this form can be rewritten in terms of asymptotics of KZ equations, and calculate it for $sl_2$, in which case the formula is a natural affine analogue of Macdonald's inner product identities. We also formulate as a conjecture similar formula for $sl_n$.

q-alg↗

arXiv1994

Spherical functions on affine Lie groups

We describe vector valued conjugacy equivariant functions on a group K in two cases -- K is a compact simple Lie group, and K is an affine Lie group. We construct such functions as weighted traces of certain intertwining operators between representations of K. For a compact group $K$, Peter-Weyl theorem implies that all equivariant functions can be written as linear combinations of such traces. Next, we compute the radial parts of the Laplace operators of $K$ acting on conjugacy equivariant functions and obtain a comple- tely integrable quantum system with matrix coefficients, which in a special case coincides with the trigonometric Calogero-Sutherland-Moser multi-particle system. In the affine Lie group case, we prove that the space of equivariant functions having a fixed homogeneity degree with respect to the action of the center of the group is finite-dimensional and spanned by weighted traces of intertwining operators. This space coincides with the space of Wess-Zumino-Witten conformal blocks on an elliptic curve. We compute the radial part of the second order Laplace operator on the affine Lie group acting on equivariant functions, and find that it is a certain parabolic partial differential operator, which degenerates to the elliptic Calogero-Sutherland-Moser hamiltonian as the central charge tends to minus the dual Coxeter number (the critical level). Quantum integrals of this hamiltonian are obtained as radial part of the higher Sugawara operators which are central at the critical level.

hep-th↗