On inner product in modular tensor categories. I

In this paper we study modular tensor categories (braided rigid balanced tensor categories with additional finiteness and non-degeneracy conditions), in particular, representations of quantum groups at roots of unity. We show that the action of modular group on certain spaces of morphisms in MTC is unitary with respect to the natural inner product on these spaces. In a special case of category based on representations of the quantum group U_q sl_n at roots of unity we show that in some of these spaces of morphisms (for U_q sl_2, in all of them) the action of modular group can be written in terms of values of Macdonald's polynomials of type A at roots of unity. This gives identities for these special values, both known before (symmetry identity) and new ones. The paper contains a detailed exposition of the theory of modular categories as well as construction of modular categories from representation of quantum groups at roots of unity

[1]  I. G. MacDonald,et al.  A new class of symmetric functions. , 1988 .

[2]  A unified representation-theoretic approach to special functions , 1993, hep-th/9312101.

[3]  G. Moore,et al.  Classical and quantum conformal field theory , 1989 .

[4]  G. Moore,et al.  Polynomial equations for rational conformal field theories , 1988 .

[5]  D. Kazhdan,et al.  Examples of tensor categories , 1992 .

[6]  George Lusztig,et al.  Introduction to Quantum Groups , 1993 .

[7]  George Lusztig,et al.  Canonical bases arising from quantized enveloping algebras , 1990 .

[8]  Nicolai Reshetikhin,et al.  Quantum Groups , 1993 .

[9]  G. Lusztig.  Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra , 1990 .

[10]  G. Lusztig.  Monodromic systems on affine flag manifolds , 1994, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[11]  J. Paradowski,et al.  Fusion categories arising from semisimple Lie algebras , 1995 .

[12]  G. Lusztig.  Modular representations and quantum groups , 1989 .

[13]  H. H. Andersen.  Tensor products of quantized tilting modules , 1992 .

[14]  H. Wenzl.  Quantum groups and subfactors of type B, C, and D , 1990 .

[15]  Nathan Seiberg,et al.  LECTURES ON RCFT , 1989 .

[16]  V. Lyubashenko.  Modular transformations for tensor categories , 1995 .

[17]  Orthogonal polynomials associated with root systems , 2000, math/0011046.

[18]  D. Kazhdan,et al.  Tensor structures arising from affine Lie algebras. III , 1993 .

[19]  Vladimir Turaev,et al.  Invariants of 3-manifolds via link polynomials and quantum groups , 1991 .

[20]  Ya. S. Soibel'man.  Some applications of the quantum Weyl groups , 1990 .

[21]  V. Turaev.  Quantum Invariants of Knots and 3-Manifolds , 1994, hep-th/9409028.

[22]  Richard Askey,et al.  A generalization of ultraspherical polynomials , 1983 .

[23]  I. Cherednik.  Macdonald’s evaluation conjectures and difference Fourier transform , 1995, q-alg/9503006.

[24]  Mappin class group actions on quantum doubles , 1994, hep-th/9402017.

[25]  V. Turaev,et al.  Ribbon graphs and their invaraints derived from quantum groups , 1990 .

[26]  G. Lusztig.  On quantum groups , 1990 .

[27]  N. Reshetikhin,et al.  q-Weyl group and a multiplicative formula for universalR-matrices , 1990 .

[28]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[29]  G. Moore,et al.  Naturality in Conformal Field Theory , 1989 .

[30]  C. Vafa.  Toward classification of conformal theories , 1988 .

[31]  G. Lusztig.  Quantum groups at roots of 1 , 1990 .

[32]  I. Stewart,et al.  Infinite-dimensional Lie algebras , 1974 .