Showing 51–80 of 80 results for author: Khovanov, M

A diagrammatic approach to categorification of quantum groups I

Authors: Mikhail Khovanov, Aaron D. Lauda

Abstract: To each graph without loops and multiple edges we assign a family of rings. Categories of projective modules over these rings categorify $U^-_q(\mathfrak{g})$, where $\mathfrak{g}$ is the Kac-Moody Lie algebra associated with the graph. To each graph without loops and multiple edges we assign a family of rings. Categories of projective modules over these rings categorify $U^-_q(\mathfrak{g})$, where $\mathfrak{g}$ is the Kac-Moody Lie algebra associated with the graph. △ Less

Submitted 5 May, 2008; v1 submitted 28 March, 2008; originally announced March 2008.

Comments: 53 pages, 24 eps files, v2 corrects several misprints

MSC Class: 81R50; 16S99

Journal ref: Represent. Theory 13 (2009), 309-347

A brief review of abelian categorifications

Authors: Mikhail Khovanov, Volodymyr Mazorchuk, Catharina Stroppel

Abstract: This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with several examples, including categorifications of various representations of the symmetric group and its Hecke algebra via highest weight categories of modules… ▽ More This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with several examples, including categorifications of various representations of the symmetric group and its Hecke algebra via highest weight categories of modules over the Lie algebra sl(n). The review is intended to give non-experts in representation theory who are familiar with the topological aspects of categorification (lifting quantum link invariants to homology theories) an idea for the sort of categories that appear when link homology is extended to tangles. △ Less

Submitted 15 April, 2007; v1 submitted 25 February, 2007; originally announced February 2007.

Comments: latex, 35 pages, 4 eps figures

MSC Class: 18E10

Virtual crossings, convolutions and a categorification of the SO(2N) Kauffman polynomial

Authors: Mikhail Khovanov, Lev Rozansky

Abstract: We suggest a categorification procedure for the SO(2N) one-variable specialization of the two-variable Kauffman polynomial. The construction has many similarities with the HOMFLYPT categorification: a planar graph formula for the polynomial is converted into a complex of graded vector spaces, each of them being the homology of a Z_2 graded differential vector space associated to a graph and cons… ▽ More We suggest a categorification procedure for the SO(2N) one-variable specialization of the two-variable Kauffman polynomial. The construction has many similarities with the HOMFLYPT categorification: a planar graph formula for the polynomial is converted into a complex of graded vector spaces, each of them being the homology of a Z_2 graded differential vector space associated to a graph and constructed using matrix factorizations. This time, however, the elementary matrix factorizations are not Koszul; instead, they are convolutions of chain complexes of Koszul matrix factorizations. We prove that the homotopy class of the resulting complex associated to a diagram of a link is invariant under the first two Reidemeister moves and conjecture its invariance under the third move. △ Less

Submitted 12 January, 2007; originally announced January 2007.

MSC Class: 18G60

An invariant of tangle cobordisms via subquotients of arc rings

Authors: Yanfeng Chen, Mikhail Khovanov

Abstract: We construct an explicit categorification of the action of tangles on tensor powers of the fundamental representation of quantum sl(2). We construct an explicit categorification of the action of tangles on tensor powers of the fundamental representation of quantum sl(2). △ Less

Submitted 5 November, 2006; v1 submitted 1 October, 2006; originally announced October 2006.

Comments: 25 pages, 21 eps figures, Typos corrected, Figure 6 replaced

MSC Class: 57Q45

Braid cobordisms, triangulated categories, and flag varieties

Authors: Mikhail Khovanov, Richard Thomas

Abstract: We argue that various braid group actions on triangulated categories should be extended to projective actions of the category of braid cobordisms and illustrate how this works in examples. We also construct actions of both the affine braid group and the braid cobordism category on the derived category of coherent sheaves on the cotangent bundle to the full flag variety. We argue that various braid group actions on triangulated categories should be extended to projective actions of the category of braid cobordisms and illustrate how this works in examples. We also construct actions of both the affine braid group and the braid cobordism category on the derived category of coherent sheaves on the cotangent bundle to the full flag variety. △ Less

Submitted 23 May, 2007; v1 submitted 12 September, 2006; originally announced September 2006.

Comments: Comment added noting faithfulness of braid group action on D(T*Flag). Referee's comments incorporated to make paper more readable. 90 pages, 21 figures

MSC Class: 18E30

Journal ref: Homology, Homotopy and Applications 9, 19--94, 2007.

A categorification of integral Specht modules

Authors: Mikhail Khovanov, Volodymyr Mazorchuk, Catharina Stroppel

Abstract: We suggest a simple definition for categorification of modules over rings and illustrate it by categorifying integral Specht modules over the symmetric group and its Hecke algebra via the action of translation functors on some subcategories of category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$. We suggest a simple definition for categorification of modules over rings and illustrate it by categorifying integral Specht modules over the symmetric group and its Hecke algebra via the action of translation functors on some subcategories of category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$. △ Less

Submitted 25 July, 2006; originally announced July 2006.

MSC Class: 17B10; 05E10; 20C08

Journal ref: Proc. AMS 136 (2008), 1163-1169.

Link homology and categorification

Authors: Mikhail Khovanov

Abstract: This is a short survey of algebro-combinatorial link homology theories which have the Jones polynomial and other link polynomials as their Euler characteristics. This is a short survey of algebro-combinatorial link homology theories which have the Jones polynomial and other link polynomials as their Euler characteristics. △ Less

Submitted 1 September, 2006; v1 submitted 12 May, 2006; originally announced May 2006.

Comments: 12 pages, 3 eps figures

MSC Class: 57M25; 57Q45

Journal ref: Proceedings of the ICM-2006, Madrid, vol.2 989--999

A categorification of finite-dimensional irreducible representations of quantum sl(2) and their tensor products

Authors: Igor Frenkel, Mikhail Khovanov, Catharina Stroppel

Abstract: The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra gl(n). For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Furthe… ▽ More The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra gl(n). For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed. We also give a categorical version of the quantised Schur-Weyl duality and an interpretation of the (dual) canonical bases and the (dual) standard bases in terms of projective, tilting, standard and simple Harish-Chandra bimodules. △ Less

Submitted 18 November, 2005; originally announced November 2005.

MSC Class: 20G42; 17B10; 14M15; 16G10

Journal ref: Selecta Mathematica 2007

Triply-graded link homology and Hochschild homology of Soergel bimodules

Authors: Mikhail Khovanov

Abstract: We trade matrix factorizations and Koszul complexes for Hochschild homology of Soergel bimodules to modify the construction of triply-graded link homology and relate it to Kazhdan-Lusztig theory. We trade matrix factorizations and Koszul complexes for Hochschild homology of Soergel bimodules to modify the construction of triply-graded link homology and relate it to Kazhdan-Lusztig theory. △ Less

Submitted 28 May, 2006; v1 submitted 12 October, 2005; originally announced October 2005.

Comments: latex, 19 pages, 4 eps figures; v3 corrects few more misprints

MSC Class: 57M25

Journal ref: Int. Journal of Math., vol. 18, no. 8 (2007) 869-885.

Hopfological algebra and categorification at a root of unity: the first steps

Authors: Mikhail Khovanov

Abstract: Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could… ▽ More Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could be a starting point in the program of categorifying quantum invariants of 3-manifolds. △ Less

Submitted 25 March, 2006; v1 submitted 4 September, 2005; originally announced September 2005.

Comments: 30 pages, latex, this version contains very minor corrections

MSC Class: 18G60

Matrix factorizations and link homology II

Authors: Mikhail Khovanov, Lev Rozansky

Abstract: To a presentation of an oriented link as the closure of a braid we assign a complex of bigraded vector spaces. The Euler characteristic of this complex (and of its triply-graded cohomology groups) is the HOMFLYPT polynomial of the link. We show that the dimension of each cohomology group is a link invariant. To a presentation of an oriented link as the closure of a braid we assign a complex of bigraded vector spaces. The Euler characteristic of this complex (and of its triply-graded cohomology groups) is the HOMFLYPT polynomial of the link. We show that the dimension of each cohomology group is a link invariant. △ Less

Submitted 31 January, 2006; v1 submitted 3 May, 2005; originally announced May 2005.

Comments: 37 pages, 20 figures; version 2 corrects an inaccuracy in the proof of Proposition 3

MSC Class: 57M25

Journal ref: Geom. Topol. 12 (2008) 1387-1425

Link homology and Frobenius extensions

Authors: Mikhail Khovanov

Abstract: We explain how rank two Frobenius extensions of commutative rings lead to link homology theories and discuss relations between these theories, Bar-Natan theories, equivariant cohomology and the Rasmussen invariant. We explain how rank two Frobenius extensions of commutative rings lead to link homology theories and discuss relations between these theories, Bar-Natan theories, equivariant cohomology and the Rasmussen invariant. △ Less

Submitted 19 February, 2006; v1 submitted 19 November, 2004; originally announced November 2004.

Comments: 13 pages, 2 figures

MSC Class: 57M27

Journal ref: Fundamenta Mathematicae, 190 (2006), 179-190.

Topological Landau-Ginzburg models on a world-sheet foam

Authors: M. Khovanov, L. Rozansky

Abstract: We define topological Landau-Ginzburg models on a world-sheet foam, that is, on a collection of 2-dimensional surfaces whose boundaries are sewn together along the edges of a graph. We use matrix factorizations in order to formulate the boundary conditions at these edges and produce a formula for the correlators. Finally, we present the gluing formulas, which correspond to various ways in which… ▽ More We define topological Landau-Ginzburg models on a world-sheet foam, that is, on a collection of 2-dimensional surfaces whose boundaries are sewn together along the edges of a graph. We use matrix factorizations in order to formulate the boundary conditions at these edges and produce a formula for the correlators. Finally, we present the gluing formulas, which correspond to various ways in which the pieces of a world-sheet foam can be joined together. △ Less

Submitted 23 April, 2004; originally announced April 2004.

Comments: 23 pages

Journal ref: Adv.Theor.Math.Phys.11:233-260,2007

Matrix factorizations and link homology

Authors: Mikhail Khovanov, Lev Rozansky

Abstract: For each positive integer n the HOMFLY polynomial of links specializes to a one-variable polynomial that can be recovered from the representation theory of quantum sl(n). For each such n we build a doubly-graded homology theory of links with this polynomial as the Euler characteristic. The core of our construction utilizes the theory of matrix factorizations, which provide a linear algebra descr… ▽ More For each positive integer n the HOMFLY polynomial of links specializes to a one-variable polynomial that can be recovered from the representation theory of quantum sl(n). For each such n we build a doubly-graded homology theory of links with this polynomial as the Euler characteristic. The core of our construction utilizes the theory of matrix factorizations, which provide a linear algebra description of maximal Cohen-Macaulay modules on isolated hypersurface singularities. △ Less

Submitted 22 March, 2004; v1 submitted 21 January, 2004; originally announced January 2004.

Comments: 108 pages, 61 figures, latex, eps

MSC Class: 57M25

Homological realization of Nakajima varieties and Weyl group actions

Authors: Igor Frenkel, Mikhail Khovanov, Olivier Schiffmann

Abstract: We describe points on Nakajima varieties and Weyl group actions on them via complexes of semisimple and projective modules over certain finite-dimensional algebras. We describe points on Nakajima varieties and Weyl group actions on them via complexes of semisimple and projective modules over certain finite-dimensional algebras. △ Less

Submitted 26 November, 2003; originally announced November 2003.

Comments: 39 pages, 2 figures

MSC Class: 18G99

Journal ref: Compositio Mathematica, vol. 141, n. 6, (2005) 1479-1503

sl(3) link homology

Authors: Mikhail Khovanov

Abstract: We define a bigraded homology theory whose Euler characteristic is the quantum sl(3) link invariant. We define a bigraded homology theory whose Euler characteristic is the quantum sl(3) link invariant. △ Less

Submitted 27 November, 2004; v1 submitted 23 April, 2003; originally announced April 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-45.abs.html

MSC Class: 81R50; 57M27; 18G60

Journal ref: Algebr. Geom. Topol. 4 (2004) 1045-1081

Categorifications of the colored Jones polynomial

Authors: Mikhail Khovanov

Abstract: The colored Jones polynomial of links has two natural normalizations: one in which the n-colored unknot evaluates to [n+1], the quantum dimension of the (n+1)-dimensional irreducible representation of quantum sl(2), and the other in which it evaluates to 1. For each normalization we construct a bigraded cohomology theory of links with the colored Jones polynomial as the Euler characteristic. The colored Jones polynomial of links has two natural normalizations: one in which the n-colored unknot evaluates to [n+1], the quantum dimension of the (n+1)-dimensional irreducible representation of quantum sl(2), and the other in which it evaluates to 1. For each normalization we construct a bigraded cohomology theory of links with the colored Jones polynomial as the Euler characteristic. △ Less

Submitted 6 February, 2003; originally announced February 2003.

Comments: 23 pages, latex, 16 eps figures

MSC Class: 81R50; 57M27; 18G35

Journal ref: J. Knot theory and its Ramifications 14 (2005) no.1, 111--130

An invariant of tangle cobordisms

Authors: Mikhail Khovanov

Abstract: We prove that the construction of our previous paper math.QA/0103190 yields an invariant of tangle cobordisms. We prove that the construction of our previous paper math.QA/0103190 yields an invariant of tangle cobordisms. △ Less

Submitted 28 July, 2002; originally announced July 2002.

Comments: latex, 18 pages, 9 eps figures

MSC Class: 57Q45

Journal ref: Trans. Amer. Math. Soc. 358 (2006), 315-327

Categorification of some level two representations of sl(n)

Authors: Ruth Stella Huerfano, Mikhail Khovanov

Abstract: We categorify representations of quantum sl(n) whose highest weight is twice a fundamental weight. We categorify representations of quantum sl(n) whose highest weight is twice a fundamental weight. △ Less

Submitted 28 April, 2002; originally announced April 2002.

Comments: 22 pages, 13 eps figures

MSC Class: 17B37; 81R50

Journal ref: J. of Knot Theory and Its Ramifications, Vol. 15, No. 6 (2006) 695-713.

Crossingless matchings and the cohomology of (n,n) Springer varieties

Authors: Mikhail Khovanov

Abstract: The sequence of rings $H^n, n\ge 0,$ introduced in math.QA/0103190, controls categorification of the quantum sl(2) invariant of tangles. We prove that the center of $H^n$ is isomorphic to the cohomology ring of the (n,n) Springer variety and show that the braid group action in the derived category of $H^n$-modules descends to the Springer action of the symmetric group. The sequence of rings $H^n, n\ge 0,$ introduced in math.QA/0103190, controls categorification of the quantum sl(2) invariant of tangles. We prove that the center of $H^n$ is isomorphic to the cohomology ring of the (n,n) Springer variety and show that the braid group action in the derived category of $H^n$-modules descends to the Springer action of the symmetric group. △ Less

Submitted 12 February, 2002; originally announced February 2002.

Comments: 20 pages, 7 figures

MSC Class: 16S99

Journal ref: Communications in Contemporary Math. 6 (2004) no.2, 561--577

Patterns in knot cohomology I

Authors: Mikhail Khovanov

Abstract: Cohomology theory of links, introduced by the author, is combinatorial. Dror Bar-Natan recently wrote a program that found ranks of cohomology groups of all prime knots with up to 11 crossings. His surprising experimental data is discussed in this note. Cohomology theory of links, introduced by the author, is combinatorial. Dror Bar-Natan recently wrote a program that found ranks of cohomology groups of all prime knots with up to 11 crossings. His surprising experimental data is discussed in this note. △ Less

Submitted 30 January, 2002; originally announced January 2002.

Comments: 17 pages, 13 figures

MSC Class: 57M25

Journal ref: Experimental mathematics 12 (2003) no.3, 365--374

A functor-valued invariant of tangles

Authors: Mikhail Khovanov

Abstract: We construct a family of rings. To a plane diagram of a tangle we associate a complex of bimodules over these rings. Chain homotopy equivalence class of this complex is an invariant of the tangle. On the level of Grothendieck groups this invariant descends to the Kauffman bracket of the tangle. When the tangle is a link, the invariant specializes to the bigraded cohomology theory introduced in o… ▽ More We construct a family of rings. To a plane diagram of a tangle we associate a complex of bimodules over these rings. Chain homotopy equivalence class of this complex is an invariant of the tangle. On the level of Grothendieck groups this invariant descends to the Kauffman bracket of the tangle. When the tangle is a link, the invariant specializes to the bigraded cohomology theory introduced in our earlier work. △ Less

Submitted 21 September, 2002; v1 submitted 27 March, 2001; originally announced March 2001.

Comments: 77 pages, 46 eps figures. Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-30.abs.html

MSC Class: 57M25; 57M27; 16D20; 18G60

Journal ref: Algebr. Geom. Topol. 2 (2002) 665-741

Quivers, Floer cohomology, and braid group actions

Authors: Mikhail Khovanov, Paul Seidel

Abstract: We consider the derived categories of modules over a certain family A_m of graded rings, and Floer cohomology of Lagrangian intersections in the symplectic manifolds which are the Milnor fibres of simple singularities of type A_m. We show that each of these two rather different objects encodes the topology of curves on an (m+1)-punctured disc. We prove that the braid group B_{m+1} acts faithfull… ▽ More We consider the derived categories of modules over a certain family A_m of graded rings, and Floer cohomology of Lagrangian intersections in the symplectic manifolds which are the Milnor fibres of simple singularities of type A_m. We show that each of these two rather different objects encodes the topology of curves on an (m+1)-punctured disc. We prove that the braid group B_{m+1} acts faithfully on the derived category of A_m-modules and that it injects into the symplectic mapping class group of Milnor fibers. The philosophy behind our results is as follows. Using Floer cohomology, one should be able to associate to the Milnor fibre a triangulated category (its construction has not been carried out in detail). This triangulated category should contain a full subcategory which is equivalent, up to a slight difference in the grading, to the derived category of A_m-modules. The full embedding would connect the two occurrences of the braid group, thus explaining the similarity between them. △ Less

Submitted 13 June, 2001; v1 submitted 7 June, 2000; originally announced June 2000.

Comments: 72 pages, 28 eps figures, latex. Several misprints were corrected

MSC Class: 53D40; 16G20; 18E30

Journal ref: J. Amer. Math. Soc. 15 (2002), no. 1, 203--271 (electronic)

A categorification of the Temperley-Lieb algebra and Schur quotients of U(sl(2)) via projective and Zuckerman functors

Authors: Joseph Bernstein, Igor Frenkel, Mikhail Khovanov

Abstract: We identify the Grothendieck group of certain direct sum of singular blocks of the highest weight category for sl(n) with the n-th tensor power of the fundamental (two-dimensional) sl(2)-module. The action of U(sl(2)) is given by projective functors and the commuting action of the Temperley-Lieb algebra by Zuckerman functors. Indecomposable projective functors correspond to Lusztig canonical bas… ▽ More We identify the Grothendieck group of certain direct sum of singular blocks of the highest weight category for sl(n) with the n-th tensor power of the fundamental (two-dimensional) sl(2)-module. The action of U(sl(2)) is given by projective functors and the commuting action of the Temperley-Lieb algebra by Zuckerman functors. Indecomposable projective functors correspond to Lusztig canonical basis in U(sl(2)). In the dual realization the n-th tensor power of the fundamental representation is identified with a direct sum of parabolic blocks of the highest weight category. Translation across the wall functors act as generators of the Temperley-Lieb algebra while Zuckerman functors act as generators of U(sl(2)). △ Less

Submitted 11 February, 2000; originally announced February 2000.

Comments: 31 pages, 11 figures

MSC Class: 17B10

Journal ref: Selecta Mathematica, New ser. 5 (1999) 199--241

A category for the adjoint representation

Authors: Ruth Stella Huerfano, Mikhail Khovanov

Abstract: We construct an abelian category C and exact functors in C which on the Grothendieck group descend to the action of a simply-laced quantum group in its adjoint representation. The braid group action in the adjoint representation lifts to an action in the derived category of C. The category C is the direct sum of a semisimple category and the category of modules over a certain algebra A, associat… ▽ More We construct an abelian category C and exact functors in C which on the Grothendieck group descend to the action of a simply-laced quantum group in its adjoint representation. The braid group action in the adjoint representation lifts to an action in the derived category of C. The category C is the direct sum of a semisimple category and the category of modules over a certain algebra A, associated to a Dynkin diagram. In the second half of the paper we show how these algebras appear in the modular representation theory and in the McKay correspondence and explore their relationship with root systems. △ Less

Submitted 3 July, 2001; v1 submitted 8 February, 2000; originally announced February 2000.

Comments: latex file + 4 eps files with figures; several mistakes found in the original version were corrected, in particular propositions 16-18 required additional assumption of binary G

MSC Class: 20G42

Journal ref: Journal of Algebra, 246 (2001), no. 2, 514--542

A categorification of the Jones polynomial

Authors: Mikhail Khovanov

Abstract: We construct a bigraded cohomology theory of links whose Euler characteristic is the Jones polynomial. We construct a bigraded cohomology theory of links whose Euler characteristic is the Jones polynomial. △ Less

Submitted 30 August, 1999; v1 submitted 30 August, 1999; originally announced August 1999.

Comments: latex, 51 pages, 72 eps figures, to appear in Duke Mathematical Journal

MSC Class: 57M25

Journal ref: Duke Math. J. 101 (2000), no. 3, 359--426

NilCoxeter algebras categorify the Weyl algebra

Authors: Mikhail Khovanov

Abstract: We show that induction and restriction functors for inclusions of nilCoxeter algebras provide a categorical realization of the algebra of polynomial differential operators in one variable. We show that induction and restriction functors for inclusions of nilCoxeter algebras provide a categorical realization of the algebra of polynomial differential operators in one variable. △ Less

Submitted 24 June, 1999; originally announced June 1999.

Comments: 13 pages, latex, 4 eps figures

Journal ref: Comm. Algebra 29 (2001), no. 11, 5033--5052

Web bases for sl(3) are not dual canonical

Authors: Mikhail Khovanov, Greg Kuperberg

Abstract: We compare two natural bases for the invariant space of a tensor product of irreducible representations of A_2, or sl(3). One basis is the web basis, defined from a skein theory called the combinatorial A_2 spider. The other basis is the dual canonical basis, the dual of the basis defined by Lusztig and Kashiwara. For sl(2) or A_1, the web bases have been discovered many times and were recently… ▽ More We compare two natural bases for the invariant space of a tensor product of irreducible representations of A_2, or sl(3). One basis is the web basis, defined from a skein theory called the combinatorial A_2 spider. The other basis is the dual canonical basis, the dual of the basis defined by Lusztig and Kashiwara. For sl(2) or A_1, the web bases have been discovered many times and were recently shown to be dual canonical by Frenkel and Khovanov. We prove that for sl(3), the two bases eventually diverge even though they agree in many small cases. The first disagreement comes in the invariant space Inv((V^+ tensor V^+ tensor V^- tensor V^-)^{tensor 3}), where V^+ and V^- are the two 3-dimensional representations of sl(3). If the tensor factors are listed in the indicated order, only 511 of the 512 invariant basis vectors coincide. △ Less

Submitted 28 September, 1998; v1 submitted 19 December, 1997; originally announced December 1997.

Comments: 18 pages. This version has very minor corrections

Journal ref: Pacific J. Math. 188 (1999), 129--153

Kazhdan-Lusztig polynomials and canonical basis

Authors: Igor Frenkel, Mikhail Khovanov, Alexander Kirillov Jr

Abstract: 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 m… ▽ More 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. △ Less

Submitted 29 September, 1997; originally announced September 1997.

Comments: 15 pages, AMSTeX, no figures

Journal ref: Transform. Groups 3 (1998), no. 4, 321--336

Representations of tensor categories and Dynkin diagrams

Authors: Pavel Etingof, Mikhail Khovanov

Abstract: In this note we illustrate by a few examples the general principle: interesting algebras and representations defined over Z_+ come from category theory, and are best understood when their categorical origination has been discovered. We show that indecomposable Z_+-representations of the character ring of SU(2) satisfying certain conditions correspond to affine and infinite Dynkin diagrams with l… ▽ More In this note we illustrate by a few examples the general principle: interesting algebras and representations defined over Z_+ come from category theory, and are best understood when their categorical origination has been discovered. We show that indecomposable Z_+-representations of the character ring of SU(2) satisfying certain conditions correspond to affine and infinite Dynkin diagrams with loops. We also show that irreducible Z_+-representations of the Verlinde algebra (the character ring of the quantum group SU(2)_q, where q is a root of unity), satisfying similar conditions correspond to usual (non-affine) Dynkin diagrams with loops. Conjecturedly, the last result is related to the ADE classification of conformal field theories with the chiral algebra \hat{sl(2)}. △ Less

Submitted 30 August, 1994; v1 submitted 13 August, 1994; originally announced August 1994.

Comments: 10 pages; errors in indexation in the Clebsch-Gordan and truncated Clebsch-Gordan formulas are corrected

Journal ref: Int.Math.Res.Not. 5 (1995) 235-247