Showing 101–150 of 244 results for author: Etingof, P

Introduction to representation theory

Authors: Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, Elena Yudovina

Abstract: These are lecture notes that arose from a representation theory course given by the first author to the remaining six authors in March 2004 within the framework of the Clay Mathematics Institute Research Academy for high school students, and its extended version given by the first author to MIT undergraduate math students in the Fall of 2008. The notes cover a number of standard topics in represen… ▽ More These are lecture notes that arose from a representation theory course given by the first author to the remaining six authors in March 2004 within the framework of the Clay Mathematics Institute Research Academy for high school students, and its extended version given by the first author to MIT undergraduate math students in the Fall of 2008. The notes cover a number of standard topics in representation theory of groups, Lie algebras, and quivers, and contain many problems and exercises. They should be accessible to students with a strong background in linear algebra and a basic knowledge of abstract algebra, and may be used for an undergraduate or introductory graduate course in representation theory. △ Less

Submitted 1 February, 2011; v1 submitted 7 January, 2009; originally announced January 2009.

Comments: 108 pages. In the latest version, misprints and errors were corrected and new exercises were added, in particular ones suggested by Darij Grinberg

Weakly group-theoretical and solvable fusion categories

Authors: Pavel Etingof, Dmitri Nikshych, Victor Ostrik

Abstract: We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension,… ▽ More We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq^2, where p,q,r are distinct primes. △ Less

Submitted 22 July, 2009; v1 submitted 17 September, 2008; originally announced September 2008.

Comments: 28 pages, latex; added many references and details in proofs

On universal Lie nilpotent associative algebras

Authors: Pavel Etingof, John Kim, Xiaoguang Ma

Abstract: We study the quotient Q_i(A) of a free algebra A by the ideal M_i(A) generated by relation that the i-th commutator of any elements is zero. In particular, we completely describe such quotient for i=4 (for i<=3 this was done previously by Feigin and Shoikhet). We also study properties of the ideals M_i(A), e.g. when M_i(A)M_j(A) is contained in M_{i+j-1}(A) (by a result of Gupta and Levin, it is… ▽ More We study the quotient Q_i(A) of a free algebra A by the ideal M_i(A) generated by relation that the i-th commutator of any elements is zero. In particular, we completely describe such quotient for i=4 (for i<=3 this was done previously by Feigin and Shoikhet). We also study properties of the ideals M_i(A), e.g. when M_i(A)M_j(A) is contained in M_{i+j-1}(A) (by a result of Gupta and Levin, it is always contained in M_{i+j-2}(A)). △ Less

Submitted 13 May, 2008; originally announced May 2008.

Comments: 7 pages

On the breakup of air bubbles in Hele-Shaw cell

Authors: Vladimir Entov, Pavel Etingof

Abstract: We study the problem of breakup of an air bubble in a Hele-Shaw cell. In particular, we propose some sufficient conditions of breakup of the bubble, and ways to find the contraction points of its parts. We also study regulated contraction of a pair of bubbles (in which the rates of air extraction from the bubbles is controlled), and study various asymptotic questions (such as the asymptotics of… ▽ More We study the problem of breakup of an air bubble in a Hele-Shaw cell. In particular, we propose some sufficient conditions of breakup of the bubble, and ways to find the contraction points of its parts. We also study regulated contraction of a pair of bubbles (in which the rates of air extraction from the bubbles is controlled), and study various asymptotic questions (such as the asymptotics of contraction of a bubble to a degenerate critical point, and asymptotics of contraction of a small bubble in presence of a big bubble). △ Less

Submitted 30 April, 2008; originally announced May 2008.

Comments: 20 pages, 11 figures

Parabolic induction and restriction functors for rational Cherednik algebras

Authors: Roman Bezrukavnikov, Pavel Etingof

Abstract: We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assum… ▽ More We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant vector, and confirm a conjecture of Okounkov and the first author on the number of such representations. In the second version we have added a result on the simplicity of the spherical Cherednik algebra of type A for -1<c<0, and a strengthened version of the main result of arXiv:math/0312474, as well as an appendix by the second author containing arXiv:0706.4308, on the reducibility of the polynomial representation of the trigonometric Cherednik algebra. △ Less

Submitted 28 October, 2009; v1 submitted 25 March, 2008; originally announced March 2008.

Comments: 28 pages, latex; two new sections and an appendix containing arXiv:0706.4308 are added; Conjecture 4.4 (which was false) is replaced by a counterexample

A Lie-theoretic construction of spherical symplectic reflection algebras

Authors: P. Etingof, S. Loktev, A. Oblomkov, L. Rybnikov

Abstract: We propose a construction of the spherical subalgebra of a symplectic reflection algebra of an arbitrary rank corresponding to a star-shaped affine Dynkin diagram. Namely, it is obtained from the universal envelo** algebra of a certain semi-simple Lie algebra by the process of quantum Hamiltonian reduction. As an application, we propose a construction of finite-dimensional representations of t… ▽ More We propose a construction of the spherical subalgebra of a symplectic reflection algebra of an arbitrary rank corresponding to a star-shaped affine Dynkin diagram. Namely, it is obtained from the universal envelo** algebra of a certain semi-simple Lie algebra by the process of quantum Hamiltonian reduction. As an application, we propose a construction of finite-dimensional representations of the spherical subalgebra. △ Less

Submitted 1 August, 2008; v1 submitted 15 January, 2008; originally announced January 2008.

Comments: LaTeX, 17 pages, 2 figures. Final version

Report number: ITEP-TH-61/07

Journal ref: Transformation Groups, 13 (2008), no. 3, pp. 541-556

An upper bound for the lower central series quotients of a free associative algebra

Authors: G. Dobrovolska, P. Etingof

Abstract: Feigin and Shoikhet conjectured in math/0610410 that successive quotients $B_m(A_n)$ of the lower central series filtration of a free associative algebra $A_n$ have polynomial growth. In this paper we give a proof of this conjecture, using the structure of $W_n$-representation on $B_m(A_n)$ which was defined in math/0610410 . We also prove that the number of squares in a Young diagram $D$ corres… ▽ More Feigin and Shoikhet conjectured in math/0610410 that successive quotients $B_m(A_n)$ of the lower central series filtration of a free associative algebra $A_n$ have polynomial growth. In this paper we give a proof of this conjecture, using the structure of $W_n$-representation on $B_m(A_n)$ which was defined in math/0610410 . We also prove that the number of squares in a Young diagram $D$ corresponding to an irreducible $W_n$-module in the Jordan-Holder series of $B_m(A_n)$ is bounded above by the integer $(m-1)^2+2[(n-2)/2](m-1)$. This bound combined with MAGMA computations by Rains in math/0610410 allows us to confirm the $W_n$-module structure of $B_3(A_3)$ conjectured in math/0610410 . △ Less

Submitted 27 March, 2008; v1 submitted 13 January, 2008; originally announced January 2008.

Comments: 7 pages; introduction expanded

A Lie-theoretic construction of representations of the degenerate affine and double affine Hecke algebras of type $BC_n$

Authors: Pavel Etingof, Rebecca Freund, Xiaoguang Ma

Abstract: Let G=GL(N), K=GL(p)xGL(q), where p+q=N, and n be a positive integer. We construct a functor from the category of Harish-Chandra modules for the pair (G,K) to the category of representations of the degenerate affine Hecke algebra of type B_n, and a functor from the category of K-monodromic twisted D-modules on G/K to the category of representations of the degenerate double affine Hecke algebra o… ▽ More Let G=GL(N), K=GL(p)xGL(q), where p+q=N, and n be a positive integer. We construct a functor from the category of Harish-Chandra modules for the pair (G,K) to the category of representations of the degenerate affine Hecke algebra of type B_n, and a functor from the category of K-monodromic twisted D-modules on G/K to the category of representations of the degenerate double affine Hecke algebra of type BC_n; the second functor is an extension of the first one. These functors are generalizations of the type A functors from q-alg/9710037 and math/0702670, respectively. △ Less

Submitted 4 April, 2010; v1 submitted 9 January, 2008; originally announced January 2008.

Comments: 17 pages, final version. to appear in Representation Theory; mistake about the exactness of the functors are corrected.

Journal ref: Represent. Theory 13 (2009), 33--49.

Noncommutative del Pezzo surfaces and Calabi-Yau algebras

Authors: Pavel Etingof, Victor Ginzburg

Abstract: The hypersurface in a 3-dimensional vector space with an isolated quasi-homogeneous elliptic singularity of type E_r,r=6,7,8, has a natural Poisson structure. We show that the family of del Pezzo surfaces of the corresponding type E_r provides a semiuniversal Poisson deformation of that Poisson structure. We also construct a deformation-quantization of the coordinate ring of such a del Pezzo s… ▽ More The hypersurface in a 3-dimensional vector space with an isolated quasi-homogeneous elliptic singularity of type E_r,r=6,7,8, has a natural Poisson structure. We show that the family of del Pezzo surfaces of the corresponding type E_r provides a semiuniversal Poisson deformation of that Poisson structure. We also construct a deformation-quantization of the coordinate ring of such a del Pezzo surface. To this end, we first deform the polynomial algebra C[x,y,z] to a noncommutative algebra with generators x,y,z and the following 3 relations (where [u,v]_t = uv- t.vu): [x,y]_t=F_1(z), [y,z]_t=F_2(x), [z,x]_t=F_3(y). This gives a family of Calabi-Yau algebras A(F) parametrized by a complex number t and a triple F=(F_1,F_2,F_3), of polynomials in one variable of specifically chosen degrees. Our quantization of the coordinate ring of a del Pezzo surface is provided by noncommutative algebras of the form A(F)/(g) where (g) stands for the ideal of A(F) generated by a central element g, which generates the center of the algebra A(F) if F is generic enough. △ Less

Submitted 2 March, 2010; v1 submitted 24 September, 2007; originally announced September 2007.

Comments: The statement and proof of Theorem 2.4.1 corrected, Introduction expanded, several misprints fixed

On the lower central series of an associative algebra

Authors: Galyna Dobrovolska, John Kim, Xiaoguang Ma, Pavel Etingof

Abstract: This paper continues the study of the lower central series quotients of an associative algebra A, regarded as a Lie algebra, which was started in math/0610410 by Feigin and Shoikhet. Namely, it provides a basis for the second quotient in the case when A is the free algebra in n generators (note that the Hilbert series of this quotient was determined earlier in math/0610410). Further, it uses this… ▽ More This paper continues the study of the lower central series quotients of an associative algebra A, regarded as a Lie algebra, which was started in math/0610410 by Feigin and Shoikhet. Namely, it provides a basis for the second quotient in the case when A is the free algebra in n generators (note that the Hilbert series of this quotient was determined earlier in math/0610410). Further, it uses this basis to determine the structure of the second quotient in the case when A is the free algebra modulo the relations saying that the generators have given nilpotency orders. Finally, it determines the structure of the third and fourth quotient in the case of 2 generators, confirming an answer conjectured in math/0610410. Finally, in the appendix, the results of math/0610410 are generalized to the case when A is an arbitrary associative algebra (under certain conditions on $A$). △ Less

Submitted 7 February, 2012; v1 submitted 12 September, 2007; originally announced September 2007.

Comments: 23 pages, latex, corrected some more typos

Journal ref: Journal of Algebra, Volume 320, Issue 1, 1 July 2008, Pages 213-237

Quasisymmetric and unipotent tensor categories

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on symmetric categories of exponential growth, and of Drinfeld on quasitriangular quasi-Hopf algebras. In particular, we classify braided categories of exponential g… ▽ More We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on symmetric categories of exponential growth, and of Drinfeld on quasitriangular quasi-Hopf algebras. In particular, we classify braided categories of exponential growth which are unipotent, i.e., those whose only simple object is the unit object. We also classify fiber functors on such categories. Finally, using the Etingof-Kazhdan quantization theory of Poisson algebraic groups, we give a classification of coconnected Hopf algebras, i.e. of unipotent categories of exponential growth with a fiber functor. △ Less

Submitted 1 June, 2009; v1 submitted 10 August, 2007; originally announced August 2007.

Comments: 8 pages, latex

Reducibility of the polynomial representation of the degenerate double affine Hecke algebra

Authors: Pavel Etingof

Abstract: In this note we determine the values of parameters c for which the polynomial representation of the degenerate double affine Hecke algebra (DAHA), i.e. the trigonometric Cherednik algebra, is reducible. Namely, we show that c is a reducibility point for the polynomial representation of the trigonometric Cherednik algebra for a root system R if and only if it is a reducibility point for the ratio… ▽ More In this note we determine the values of parameters c for which the polynomial representation of the degenerate double affine Hecke algebra (DAHA), i.e. the trigonometric Cherednik algebra, is reducible. Namely, we show that c is a reducibility point for the polynomial representation of the trigonometric Cherednik algebra for a root system R if and only if it is a reducibility point for the rational Cherednik algebra for the Weyl group of some root subsystem R' of R of the same rank; such subsystems for any R are given by the well known Borel-de Siebenthal algorithm. This result has been proved by Cherednik using a case-by-case method. △ Less

Submitted 28 June, 2007; originally announced June 2007.

Comments: 7 pages, latex

On elliptic Dunkl operators

Authors: Pavel Etingof, Xiaoguang Ma

Abstract: We attach elliptic Dunkl operators to an abelian variety with a finite group action. This generalizes elliptic Dunkl operators for Weyl groups, defined by Buchstaber, Felder, and Veselov in 1994. We show that these operators commute, and use them to define representations from category O of elliptic Cherednik algebras. We also consider the monodromy representations of differential equations defi… ▽ More We attach elliptic Dunkl operators to an abelian variety with a finite group action. This generalizes elliptic Dunkl operators for Weyl groups, defined by Buchstaber, Felder, and Veselov in 1994. We show that these operators commute, and use them to define representations from category O of elliptic Cherednik algebras. We also consider the monodromy representations of differential equations defined by elliptic Dunkl operators, and show that they yield finite dimensional rrepresentations of generalized double affine Hecke algebras. △ Less

Submitted 14 June, 2007; originally announced June 2007.

Comments: 9 pages, latex

Braid group representations from twisted quantum doubles of finite groups

Authors: Pavel Etingof, Eric C. Rowell, Sarah Witherspoon

Abstract: We investigate the braid group representations arising from categories of representations of twisted quantum doubles of finite groups. For these categories, we show that the resulting braid group representations always factor through finite groups, in contrast to the categories associated with quantum groups at roots of unity. We also show that in the case of p-groups, the corresponding pure bra… ▽ More We investigate the braid group representations arising from categories of representations of twisted quantum doubles of finite groups. For these categories, we show that the resulting braid group representations always factor through finite groups, in contrast to the categories associated with quantum groups at roots of unity. We also show that in the case of p-groups, the corresponding pure braid group representations factor through a finite p-group, which answers a question asked of the first author by V. Drinfeld. △ Less

Submitted 9 March, 2007; originally announced March 2007.

MSC Class: 16W30; 20F36; 18D10

Journal ref: Pacific J. Math. 234 no. 1 (2008) 33-42

Universal KZB equations I: the elliptic case

Authors: D. Calaque, B. Enriquez, P. Etingof

Abstract: We define a universal version of the Knizhnik-Zamolodchikov-Bernard (KZB) connection in genus 1. This is a flat connection over a principal bundle on the moduli space of elliptic curves with marked points. It restricts to a flat connection on configuration spaces of points on elliptic curves, which can be used for proving the formality of the pure braid groups on genus 1 surfaces. We study the m… ▽ More We define a universal version of the Knizhnik-Zamolodchikov-Bernard (KZB) connection in genus 1. This is a flat connection over a principal bundle on the moduli space of elliptic curves with marked points. It restricts to a flat connection on configuration spaces of points on elliptic curves, which can be used for proving the formality of the pure braid groups on genus 1 surfaces. We study the monodromy of this connection and show that it gives rise to a relation between the KZ associator and a generating series for iterated integrals of Eisenstein forms. We show that the universal KZB connection realizes as the usual KZB connection for simple Lie algebras, and that in the sl_n case this realization factors through the Cherednik algebras. This leads us to define a functor from the category of equivariant D-modules on sl_n to that of modules over the Cherednik algebra, and to compute the character of irreducible equivariant D-modules over sl_n which are supported on the nilpotent cone. △ Less

Submitted 21 September, 2009; v1 submitted 22 February, 2007; originally announced February 2007.

Comments: Correction of reference of Thm. 9.12 stating an equivalence of categories between modules over the rational Cherednik algebra and its spherical subalgebra

Journal ref: Algebra, etc.: in honor of Yu. I. Manin, Vol. I, 165-266, Progr. Math., 269, Birkhaeuser Boston, Inc., Boston, MA, 2009

Density of Eigenvalues of Random Normal Matrices with an Arbitrary Potential, and of Generalized Normal Matrices

Authors: Pavel Etingof, Xiaoguang Ma

Abstract: Following the works by Wiegmann-Zabrodin, Elbau-Felder, Hedenmalm-Makarov, and others, we consider the normal matrix model with an arbitrary potential function, and explain how the problem of finding the support domain for the asymptotic eigenvalue density of such matrices (when the size of the matrices goes to infinity) is related to the problem of Hele-Shaw flows on curved surfaces, considered… ▽ More Following the works by Wiegmann-Zabrodin, Elbau-Felder, Hedenmalm-Makarov, and others, we consider the normal matrix model with an arbitrary potential function, and explain how the problem of finding the support domain for the asymptotic eigenvalue density of such matrices (when the size of the matrices goes to infinity) is related to the problem of Hele-Shaw flows on curved surfaces, considered by Entov and the first author in 1990-s. In the case when the potential function is the sum of a rotationally invariant function and the real part of a polynomial of the complex coordinate, we use this relation and the conformal map** method developed by Entov and the first author to find the shape of the support domain explicitly (up to finitely many undetermined parameters, which are to be found from a finite system of equations). In the case when the rotationally invariant function is $β|z|^2$, this is done by Wiegmann-Zabrodin and Elbau-Felder. We apply our results to the generalized normal matrix model, which deals with random block matrices that give rise to *-representations of the deformed preprojective algebra of the affine quiver of type $\hat A_{m-1}$. We show that this model is equivalent to the usual normal matrix model in the large $N$ limit. Thus the conformal map** method can be applied to find explicitly the support domain for the generalized normal matrix model. △ Less

Submitted 14 March, 2007; v1 submitted 4 December, 2006; originally announced December 2006.

Comments: This is a contribution to the Vadim Kuznetsov Memorial Issue on Integrable Systems and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 3 (2007), 048, 13 pages

Monodromy of trigonometric KZ equations

Authors: Pavel Etingof, Nathan Geer

Abstract: The famous Drinfeld-Kohno theorem for simple Lie algebras states that the monodromy representation of the Knizhnik-Zamolodchikov equations for these Lie algebras expresses explicitly via R-matrices of the corresponding Drinfeld-Jimbo quantum groups. This result was generalized by the second author to simple Lie superalgebras of type A-G. In this paper, we generalize the Drinfeld-Kohno theorem to… ▽ More The famous Drinfeld-Kohno theorem for simple Lie algebras states that the monodromy representation of the Knizhnik-Zamolodchikov equations for these Lie algebras expresses explicitly via R-matrices of the corresponding Drinfeld-Jimbo quantum groups. This result was generalized by the second author to simple Lie superalgebras of type A-G. In this paper, we generalize the Drinfeld-Kohno theorem to the case of the trigonometric Knizhnik-Zamolodchikov equations for simple Lie superalgebras of type A-G. The equations contain a classical r-matrix on the Lie superalgebra, and the answer expresses through the quantum R-matrix of the corresponding quantum group. The proof is based on the quantization theory for Lie bialgebras developed by the first author and D. Kazhdan. △ Less

Submitted 31 October, 2006; originally announced November 2006.

Hochschild and cyclic homology of preprojective algebras of ADE quivers

Authors: Pavel Etingof, Ching-Hwa Eu

Abstract: We calculate the additive structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types ADE. We calculate the additive structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types ADE. △ Less

Submitted 17 January, 2021; v1 submitted 31 August, 2006; originally announced September 2006.

Comments: 13 pages, latex; in the last version a small error was corrected in Theorem 3.0.4 (cyclic homology needs to be replaced by reduced cyclic homology). arXiv admin note: text overlap with arXiv:math/0703568, arXiv:0710.4176

An algebraic extension of the MacMahon Master Theorem

Authors: Pavel Etingof, Igor Pak

Abstract: We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed. We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed. △ Less

Submitted 31 July, 2006; originally announced August 2006.

Comments: 8 pages

MSC Class: 05A15; 05E15; 16S37

On central extensions of preprojective algebras

Authors: Pavel Etingof, Frederic Latour, Eric Rains

Abstract: We determine the structure of the center and the trace space of the centrally extended preprojective algebra of an ADE quiver, introduced by the first and the third authors in math/0503393. It turns out that this structure has a mysterious relationship to the structure of the maximal nilpotent subalgebra of the corresponding simple Lie algebra. We determine the structure of the center and the trace space of the centrally extended preprojective algebra of an ADE quiver, introduced by the first and the third authors in math/0503393. It turns out that this structure has a mysterious relationship to the structure of the maximal nilpotent subalgebra of the corresponding simple Lie algebra. △ Less

Submitted 16 June, 2006; originally announced June 2006.

Comments: 10 pages, latex

Lectures on Calogero-Moser systems

Authors: Pavel Etingof

Abstract: These are lecture notes of a course on Calogero-Moser systems and their connections with representation theory and geometry, given by the author in Zurich in May-June 2005. These are lecture notes of a course on Calogero-Moser systems and their connections with representation theory and geometry, given by the author in Zurich in May-June 2005. △ Less

Submitted 21 December, 2009; v1 submitted 9 June, 2006; originally announced June 2006.

Comments: 75 pages, latex; a number of misprints and errors corrected in the new version

New deformations of group algebras of Coxeter groups, II

Authors: Pavel Etingof, Eric Rains

Abstract: In our previous paper math.QA/0409261, we defined a deformation of the group algebra of the group of even elements of a Coxeter group W, and showed that it is flat for all values of parameters if and only if all the rank 3 parabolic subgroups of W are infinite. In this paper, we study what happens in the general case. Then the deformation is flat only for some values of parameters, and the set o… ▽ More In our previous paper math.QA/0409261, we defined a deformation of the group algebra of the group of even elements of a Coxeter group W, and showed that it is flat for all values of parameters if and only if all the rank 3 parabolic subgroups of W are infinite. In this paper, we study what happens in the general case. Then the deformation is flat only for some values of parameters, and the set of all such values is called the flatness locus. The main result of the paper is an explicit description of the this flatness locus as a scheme over Z. More specifically, we show that this scheme is the intersection of the flatness loci for the subalgebras corresponding to parabolic subgroups of rank 3. The latter are determined by solving the rigid multiplicative Deligne-Simpson problem. We also define additive analogs of our algebras and study their properties. △ Less

Submitted 31 October, 2006; v1 submitted 24 April, 2006; originally announced April 2006.

Comments: 19 pages, latex

Noncommutative complete intersections and matrix integrals

Authors: Pavel Etingof, Victor Ginzburg

Abstract: We introduce a class of noncommutatative algebras called representation complete intersections (RCI). A graded associative algebra A is said to be RCI provided there exist arbitrarily large positive integers n such that the scheme Rep_n(A), of n-dimensional representations of A, is a complete intersection. We discuss examples of RCI algebras, including those arising from quivers. There is anot… ▽ More We introduce a class of noncommutatative algebras called representation complete intersections (RCI). A graded associative algebra A is said to be RCI provided there exist arbitrarily large positive integers n such that the scheme Rep_n(A), of n-dimensional representations of A, is a complete intersection. We discuss examples of RCI algebras, including those arising from quivers. There is another interesting class of associative algebras called noncommutative complete intersections (NCCI). We prove that any graded RCI algebra is NCCI. We also obtain explicit formulas for the Hilbert series of each nonvanishing cyclic and Hochschild homology group of an RCI algebra. The proof involves a noncommutative cyclic Koszul complex, K(A), and a matrix integral similar to the one arising in quiver gauge theory. △ Less

Submitted 23 January, 2007; v1 submitted 11 March, 2006; originally announced March 2006.

Comments: Dedicated to Bob MacPherson on the occasion of his 60th birthday. Final version; exposition improved, a few additional result added in sect.5.1 and Proposition 6.1.3

Koszulity and the Hilbert series of preprojective algebras

Authors: Pavel Etingof, Ching-Hwa Eu

Abstract: The goal of this paper is to prove that if Q is a connected non-Dynkin quiver then the preprojective algebra of Q over any field k is Koszul, and has Hilbert series 1/(1-Ct+t^2), where C is the adjacency matrix of the double of Q. (This result, in somewhat less general formulations, was previously obtained by Martinez-Villa and Malkin-Ostrik-Vybornov). We also prove a similar result for the part… ▽ More The goal of this paper is to prove that if Q is a connected non-Dynkin quiver then the preprojective algebra of Q over any field k is Koszul, and has Hilbert series 1/(1-Ct+t^2), where C is the adjacency matrix of the double of Q. (This result, in somewhat less general formulations, was previously obtained by Martinez-Villa and Malkin-Ostrik-Vybornov). We also prove a similar result for the partial preprojective algebra of any connected quiver Q, associated to a subset J of the set I of vertices of Q (by definition, this is the quotient of the path algebra of the double by the preprojective algebra relations imposed only at vertices not contained in J). Namely, we show that if J is not empty then this algebra is Koszul, and its Hilbert series is 1/(1-Ct+D_Jt^2), where D_J is the diagonal matrix with (D_J)_{ii}=0 if i is in J and (D_J)_{ii}=1 otherwise. Finally, we show that both results are valid in a slightly more general framework of modified preprojective algebras. △ Less

Submitted 13 December, 2005; originally announced December 2005.

Comments: 8 pages, latex

Harish-Chandra homomorphisms and symplectic reflection algebras for wreath-products

Authors: Pavel Etingof, Wee Liang Gan, Victor Ginzburg, Alexei Oblomkov

Abstract: The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflec… ▽ More The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflection functors and shift functors for generalized preprojective algebras and symplectic reflection algebras associated with wreath-products. △ Less

Submitted 26 November, 2005; v1 submitted 19 November, 2005; originally announced November 2005.

Comments: Introduction expanded

Groups and Lie algebras corresponding to the Yang-Baxter equations

Authors: Laurent Bartholdi, Benjamin Enriquez, Pavel Etingof, Eric Rains

Abstract: For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal envelo** algebras of the Lie algebras tr_n, qtr_n are Koszul, and find their Hilbert series. We also compute the cohomology rings of these Lie algebras (which by Koszulity are th… ▽ More For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal envelo** algebras of the Lie algebras tr_n, qtr_n are Koszul, and find their Hilbert series. We also compute the cohomology rings of these Lie algebras (which by Koszulity are the quadratic duals of the envelo** algebras). We construct cell complexes which are classifying spaces of the groups Tr_n and QTr_n, and show that the boundary maps in them are zero, which allows us to compute the integral cohomology of these groups. We show that the Lie algebras tr_n, qtr_n map onto the associated graded algebras of the Malcev Lie algebras of the groups Tr_n, QTr_n, respectively. We conjecture that this map is actually an isomorphism (this is now a theorem due to P. Lee). At the same time, we show that the groups Tr_n and QTr_n are not formal for n>3. △ Less

Submitted 10 November, 2011; v1 submitted 28 September, 2005; originally announced September 2005.

Comments: Errors pointed out by P. Lee corrected. Proposition 5.1 in the previous version was incorrect, so Theorems 2.3 and 8.5 and Proposition 6.1 were proved incorrectly. In the current version, Propositions 5.1 and 6.1 are deleted and Theorems 2.3, 8.5 are stated as conjectures. They were proved by Peter Lee, along with Conjectures 2.4 and 8.6 of the previous version

Journal ref: J. Algebra 305 (2006), no. 2, 742--764

The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points

Authors: Pavel Etingof, Andre Henriques, Joel Kamnitzer, Eric Rains

Abstract: We compute the Poincare polynomial and the cohomology algebra with rational coefficeints of the manifold M_n of real points of the moduli space of algebraic curves of genus 0 with n labeled points. This cohomology is a quadratic algebra, and we conjecture that it is Koszul. We also compute the 2-local torsion in the cohomology of M_n. As was shown by E. Rains in arXiv:math/0610743 the cohomology… ▽ More We compute the Poincare polynomial and the cohomology algebra with rational coefficeints of the manifold M_n of real points of the moduli space of algebraic curves of genus 0 with n labeled points. This cohomology is a quadratic algebra, and we conjecture that it is Koszul. We also compute the 2-local torsion in the cohomology of M_n. As was shown by E. Rains in arXiv:math/0610743 the cohomology of M_n does not have odd torsion, so that the above determines the additive structure of the integral homology and cohomology. Further, we prove that the rational homology operad of M_n is the operad of 2-Gerstenhaber algebras, which is closely related to the Hanlon-Wachs operad of 2-Lie algebras (generated by a ternary bracket). Finally, using Drinfeld's theory of quantization of coboundary Lie quasibialgebras, we show that a large series of representations of the quadratic dual Lie algebra L_n of H^*(M_n,Q) (associated to such quasibialgebras) factors through the the natural projection of L_n to the associated graded Lie algebra of the prounipotent completion of the fundamental group of M_n. This leads us to conjecture that the said projection is an isomorphism, which would imply a formula for lower central series ranks of the fundamental group. On the other hand, we show that the spaces M_n are not formal starting from n=6. △ Less

Submitted 16 May, 2007; v1 submitted 25 July, 2005; originally announced July 2005.

Comments: 43 pages, 4 figures; This is a revised version, containing more detailed explanations

Exploring noncommutative algebras via deformation theory

Authors: Pavel Etingof

Abstract: This is the text of the lecture given by the author in Naples at "Giornata IndAM", June 7, 2005. The lecture is addressed at the general mathematical audience and reviews several topics in deformation theory of associative algebras. This is the text of the lecture given by the author in Naples at "Giornata IndAM", June 7, 2005. The lecture is addressed at the general mathematical audience and reviews several topics in deformation theory of associative algebras. △ Less

Submitted 21 December, 2009; v1 submitted 8 June, 2005; originally announced June 2005.

Comments: 12 pages, latex; lecture given by the author at "Giornata IndAM, Naples, June 7, 2005

Generalized double affine Hecke algebras of higher rank

Authors: Pavel Etingof, Wee Liang Gan, Alexei Oblomkov

Abstract: We define generalized double affine Hecke algebras (GDAHA) of higher rank, attached to a non-Dynkin star-like graph D. This generalizes GDAHA of rank 1 defined in math.QA/0406480 and math.QA/0409261. If the graph is extended D4, then GDAHA is the algebra defined by Sahi in q-alg/9710032, which is a generalization of the Cherednik algebra of type BCn. We prove the formal PBW theorem for GDAHA, an… ▽ More We define generalized double affine Hecke algebras (GDAHA) of higher rank, attached to a non-Dynkin star-like graph D. This generalizes GDAHA of rank 1 defined in math.QA/0406480 and math.QA/0409261. If the graph is extended D4, then GDAHA is the algebra defined by Sahi in q-alg/9710032, which is a generalization of the Cherednik algebra of type BCn. We prove the formal PBW theorem for GDAHA, and parametrize its irreducible representations in the case when D is affine (i.e. extended D4, E6, E7, E8) and q=1. We formulate a series of conjectures regarding algebraic properties of GDAHA. We expect that, similarly to how GDAHA of rank 1 provide quantizations of del Pezzo surfaces (as shown in math.QA/0406480), GDAHA of higher rank provide quantizations of deformations of Hilbert schemes of these surfaces. The proofs are based on the study of the rational version of GDAHA (which is closely related to the algebras studied in math.QA/0401038), and differential equations of Knizhnik-Zamolodchikov type. △ Less

Submitted 12 June, 2006; v1 submitted 5 April, 2005; originally announced April 2005.

Comments: 25 pages, latex; minor corrections are made, some proofs were expanded

On a Generalized Two-Fluid Hele-Shaw Flow

Authors: Vladimir Entov, Pavel Etingof

Abstract: We propose a method of construction of exact solutions of free boundary problems corresponding to Hele-Shaw flows in presence of an external field. Such a field may arise, in particular, due to electrokinetic phenomena. Both a general approach and a number of examples are presented. We propose a method of construction of exact solutions of free boundary problems corresponding to Hele-Shaw flows in presence of an external field. Such a field may arise, in particular, due to electrokinetic phenomena. Both a general approach and a number of examples are presented. △ Less

Submitted 21 April, 2005; originally announced April 2005.

Comments: 26 pages, pdf

Central extensions of preprojective algebras, the quantum Heisenberg algebra, and 2-dimensional complex reflection groups

Authors: Pavel Etingof, Eric Rains

Abstract: We introduce a central extension of the preprojective algebra of a finite Dynkin quiver (depending on a regular weight for the corresponding root system), whose natural deformed version is flat (unlike that for the preprojective algebra). We calculate the Hilbert polynomial of the central extension, and show that it is a Frobenius algebra. As a corollary, we obtain the Hilbert series of the usua… ▽ More We introduce a central extension of the preprojective algebra of a finite Dynkin quiver (depending on a regular weight for the corresponding root system), whose natural deformed version is flat (unlike that for the preprojective algebra). We calculate the Hilbert polynomial of the central extension, and show that it is a Frobenius algebra. As a corollary, we obtain the Hilbert series of the usual deformed preprojective algebra in which the deformation parameters are variables, and show that this algebra is Gorenstein (although it is not a flat module over the ring of parameters). The proofs are based on the fact that our central extension for the weight ρis the image of the quantum Heisenberg algebra in the fusion category of representations of quantum SL(2) under a tensor functor into bimodules over a semisimple algebra. Finally, we explain how our algebras are connected to cyclotomic Hecke algebras of complex reflection groups of rank 2, and in particular show that the dimension of the latter for generic parameters is equal to the order of the group, as conjectured by Broue, Malle, and Rouquier. △ Less

Submitted 12 June, 2006; v1 submitted 18 March, 2005; originally announced March 2005.

Comments: 18 pages, latex; in the new version there are changes in Section 4.1, sign error corrected in the last equation on p.6

Noncommutative Geometry and Quiver algebras

Authors: William Crawley-Boevey, Pavel Etingof, Victor Ginzburg

Abstract: We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra B, we define its noncommutative cotangent bundle T^*B, which is a basic example of noncommutative symplectic manifold. Applying Hamiltonian reduction to noncom… ▽ More We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra B, we define its noncommutative cotangent bundle T^*B, which is a basic example of noncommutative symplectic manifold. Applying Hamiltonian reduction to noncommutative cotangent bundles gives an interesting class of associative algebras, P=P(B), that includes preprojective algebras associated with quivers. Our formalism of noncommutative Hamiltonian reduction provides the space P/[P,P] with a Lie algebra structure, analogous to the Poisson bracket on the zero fiber of the moment map. In the special case where P is the preprojective algebra associated with a quiver of non-Dynkin type, we give a complete description of the Gerstenhaber algebra structure on the Hochschild cohomology of P in terms of the Lie algebra P/[P,P]. △ Less

Submitted 1 July, 2006; v1 submitted 14 February, 2005; originally announced February 2005.

Comments: Final version to appear in Advances Math

Continuous Hecke algebras

Authors: Pavel Etingof, Wee Liang Gan, Victor Ginzburg

Abstract: We study a generalization of graded Hecke algebras introduced by Drinfeld in 1986, in which the role of a finite group G is played by a reductive algebraic group. This includes continuous generalizations of symplectic reflection algebras and of rational Cherednik algebras. We prove direct and converse PBW theorems, and also study versions of our algebras in which the group G is replaced with its… ▽ More We study a generalization of graded Hecke algebras introduced by Drinfeld in 1986, in which the role of a finite group G is played by a reductive algebraic group. This includes continuous generalizations of symplectic reflection algebras and of rational Cherednik algebras. We prove direct and converse PBW theorems, and also study versions of our algebras in which the group G is replaced with its Lie algebra. We also begin to develop the representation theory of continuous Hecke algebras, which unifies representation theories of real reductive groups, Drinfeld-Lusztig degenerate affine Hecke algebras, and symplectic reflection (in particular, Cherednik) algebras. The paper is dedicated to V. Drinfeld's 50-th birthday. △ Less

Submitted 8 September, 2005; v1 submitted 13 January, 2005; originally announced January 2005.

Comments: 28 pages, latex; the exposition and the title of the paper are changed in the present version

Comparison of Poisson structures and Poisson-Lie dynamical r-matrices

Authors: B. Enriquez, P. Etingof, I. Marshall

Abstract: We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices of Balog-Feher-Palla. We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices of Balog-Feher-Palla. △ Less

Submitted 7 September, 2018; v1 submitted 17 December, 2004; originally announced December 2004.

Comments: 9 pages

Liftings of graded quasi-Hopf algebras with radical of prime codimension

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: Let p be a prime, and let RG(p) denote the set of equivalence classes of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p. The purpose of this paper is to classify finite dimensional quasi-Hopf algebras A whose radical is a quasi-Hopf ideal and has codimension p; that is, A with grA in RG(p), where grA is the associated graded algebra taken with res… ▽ More Let p be a prime, and let RG(p) denote the set of equivalence classes of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p. The purpose of this paper is to classify finite dimensional quasi-Hopf algebras A whose radical is a quasi-Hopf ideal and has codimension p; that is, A with grA in RG(p), where grA is the associated graded algebra taken with respect to the radical filtration on A. The main result of this paper is the following theorem: Let A be a finite dimensional quasi-Hopf algebra whose radical is a quasi-Hopf ideal of prime codimension p. Then either A is twist equivalent to a Hopf algebra, or it is twist equivalent to H(2), H_\pm(p), A(q), or H(32), constructed in math.QA/0310253, math.QA/0402159 and math.QA/0403096. Note that any finite tensor category whose simple objects are invertible and form a group of order p under tensor is the representation category of a quasi-Hopf algebra A as above. Thus this paper provides a classification of such categories. △ Less

Submitted 7 December, 2004; originally announced December 2004.

Comments: 10 pages

MSC Class: 16W30

Hochschild cohomology of quantized symplectic orbifolds and the Chen-Ruan cohomology

Authors: Vasiliy Dolgushev, Pavel Etingof

Abstract: We prove the additive version of the conjecture proposed by Ginzburg and Kaledin. This conjecture states that if X/G is an orbifold modeled on a quotient of a smooth affine symplectic variety X (over C) by a finite group G\subset Aut(X) and A is a G-stable quantum algebra of functions on X then the graded vector space HH(A^G) of the Hochschild cohomology of the algebra A^G of invariants is isomo… ▽ More We prove the additive version of the conjecture proposed by Ginzburg and Kaledin. This conjecture states that if X/G is an orbifold modeled on a quotient of a smooth affine symplectic variety X (over C) by a finite group G\subset Aut(X) and A is a G-stable quantum algebra of functions on X then the graded vector space HH(A^G) of the Hochschild cohomology of the algebra A^G of invariants is isomorphic to the graded vector space H_{CR}(X/G)((h)) of the Chen-Ruan (stringy) cohomology of the orbifold X/G. △ Less

Submitted 6 December, 2004; v1 submitted 26 October, 2004; originally announced October 2004.

Comments: 25 pages, no figures

Report number: ITEP-TH-43/04 MSC Class: 16E40; 53D55

Journal ref: Int. Math. Res. Not. 2005, no. 27, 1657-1688.

Instanton counting via affine Lie algebras II: from Whittaker vectors to the Seiberg-Witten prepotential

Authors: Alexander Braverman, Pavel Etingof

Abstract: We introduce the notion of the (instanton part of the) Seiberg-Witten prepotential for general Schrodinger operators with periodic potential. In the case when the operator in question is integrable we show how to compute the prepotential in terms of period integrals; this implies that in the integrable case our definition of the prepotential coincides with the one that has been extensively studi… ▽ More We introduce the notion of the (instanton part of the) Seiberg-Witten prepotential for general Schrodinger operators with periodic potential. In the case when the operator in question is integrable we show how to compute the prepotential in terms of period integrals; this implies that in the integrable case our definition of the prepotential coincides with the one that has been extensively studied in both mathematical and physical literature. As an application we give a proof of Nekrasov's conjecture connecting certain "instanton counting" partition function for an arbitrary simple group G with the prepotential of the Toda integrable system associated with the affine Lie algebra whose affine Dynkin diagram is dual to that of the affinization of the Lie algebra of G (for G=SL(n) this conjecture was proved earlier in the works of Nekrasov-Okounkov and Nakajima-Yoshioka). Our proof is totally different and it is based on the results of the paper math.AG/0401409 by the first author. △ Less

Submitted 5 November, 2005; v1 submitted 22 September, 2004; originally announced September 2004.

Comments: 16 pages; to appear in a special volume dedicated to A.Joseph's 60th birthday

MSC Class: 14J60; 14J80

New deformations of group algebras of Coxeter groups

Authors: Pavel Etingof, Eric Rains

Abstract: We define new deformations of group algebras of Coxeter groups W and of subgroups of even elements in them, by deforming the braid relations. We show that these deformations are algebraically flat iff they are formally flat, and that this happens iff the group W has no finite parabolic subgroups of rank 3. The proof uses the theory of constructible sheaves on cell complexes attached to W. We exp… ▽ More We define new deformations of group algebras of Coxeter groups W and of subgroups of even elements in them, by deforming the braid relations. We show that these deformations are algebraically flat iff they are formally flat, and that this happens iff the group W has no finite parabolic subgroups of rank 3. The proof uses the theory of constructible sheaves on cell complexes attached to W. We explain the connection of our deformations with the Hecke algebras of orbifolds defined by the first author in math.QA/0406499 and with generalized double affine Hecke algebras defined by the authors and A. Oblomkov in math.QA/0406480. The paper is dedicated to the memory of Walter Feit. △ Less

Submitted 15 September, 2004; originally announced September 2004.

Comments: 10 pages, latex

Casimirs of the Goldman Lie algebra of a closed surface

Authors: Pavel Etingof

Abstract: In 1986 Goldman introduced a Lie algebra structure on the linear span L of conjugacy classes of the fundamental group of a closed oriented surface. It is easy to see that the class e_1 of the trivial loop is a central element in L. We prove that any central element of L is a multiple of e_1 (a conjecture communicated to the author by Chas and Sullivan), and moreover that any central element of t… ▽ More In 1986 Goldman introduced a Lie algebra structure on the linear span L of conjugacy classes of the fundamental group of a closed oriented surface. It is easy to see that the class e_1 of the trivial loop is a central element in L. We prove that any central element of L is a multiple of e_1 (a conjecture communicated to the author by Chas and Sullivan), and moreover that any central element of the Poisson algebra SL is a polynomial of e_1. △ Less

Submitted 28 July, 2004; originally announced July 2004.

Comments: 4 pages, latex

Cherednik and Hecke algebras of varieties with a finite group action

Authors: Pavel Etingof

Abstract: This paper is an expanded and updated version of the preprint arXiv:math/0406499. It includes a more detailed description of the basics of the theory of Cherednik and Hecke algebras of varieties started in arXiv:math/0406499, as well as a new Section 4, which reviews the developments in this theory since 2004 with references to the relevant literature. Let $G$ be a finite group of linear transfo… ▽ More This paper is an expanded and updated version of the preprint arXiv:math/0406499. It includes a more detailed description of the basics of the theory of Cherednik and Hecke algebras of varieties started in arXiv:math/0406499, as well as a new Section 4, which reviews the developments in this theory since 2004 with references to the relevant literature. Let $G$ be a finite group of linear transformations of a finite dimensional complex vector space $V$. To this data one can attach a family of algebras $H_{t,c}(V,G)$, parametrized by complex numbers $t$ and conjugation invariant functions $c$ on the set of complex reflections in $G$, which are called rational Cherednik algebras. These algebras have been studied for over 15 years and revealed a rich structure and deep connections with algebraic geometry, representation theory, and combinatorics. In this paper, we define global analogs of Cherednik algebras, attached to any smooth algebraic or analytic variety $X$ with a finite group $G$ of automorphisms. We show that many interesting properties of Cherednik algebras (such as the PBW theorem, universal deformation property, relation to Calogero-Moser spaces, action on quasiinvariants) still hold in the global case, and give several interesting examples. Then we define the KZ functor for global Cherednik algebras, and use it to define (in the case $π_2(X)\otimes \Bbb Q=0$) a flat deformation of the orbifold fundamental group of the orbifold $X/G$, which we call the Hecke algebra of $X/G$. This includes usual, affine, and double affine Hecke algebras for Weyl groups, Hecke algebras of complex reflection groups, as well as many new examples. △ Less

Submitted 18 March, 2017; v1 submitted 24 June, 2004; originally announced June 2004.

Comments: 29 pages. latex; the latest version is a major revision submitted for publication. Many details added, and there is a new Section 4 containing a discussion of further work on the subject since 2004

Generalized double affine Hecke algebras of rank 1 and quantized Del Pezzo surfaces

Authors: Pavel Etingof, Alexei Oblomkov, Eric Rains

Abstract: Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D4,E6,E7,E8). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z_l\ltimes Z^2, where l is 2,3,4,… ▽ More Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D4,E6,E7,E8). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z_l\ltimes Z^2, where l is 2,3,4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D4 is the Cherednik algebra of type C^\check C_1, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlevé VI. △ Less

Submitted 12 June, 2006; v1 submitted 23 June, 2004; originally announced June 2004.

Comments: 44 pages, latex; in the new version there is a new appendix by W. Crawley-Boevey and P.Shaw

An analogue of Radford's S^4 formula for finite tensor categories

Authors: Pavel Etingof, Dmitri Nikshych, Viktor Ostrik

Abstract: We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for qu… ▽ More We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for quasi-Hopf algebras, and conjectured in general in \cite{EO}. When C is braided, we establish a connection between the above isomorphism and the Drinfeld isomorphism of C. We also show that a factorizable braided tensor category is unimodular (i.e., D=1). Finally, we apply our theory to prove that the pivotalization of a fusion category is spherical, and give a purely algebraic characterization of exact module categories. △ Less

Submitted 27 April, 2004; originally announced April 2004.

Comments: 14 pages, AMS-Latex

Journal ref: International Mathematics Research Notices 54 (2004), 2915--2933.

Quantization of some Poisson-Lie dynamical r-matrices and Poisson homogeneous spaces

Authors: B. Enriquez, P. Etingof, I. Marshall

Abstract: Poisson-Lie (PL) dynamical r-matrices are generalizations of dynamical r-matrices, where the base is a Poisson-Lie group. We prove analogues of basic results for these r-matrices, namely constructions of (quasi)Poisson groupoids and of Poisson homogeneous spaces. We introduce a class of PL dynamical r-matrices, associated to nondegenerate Lie bialgebras with a splitting; this is a generalization… ▽ More Poisson-Lie (PL) dynamical r-matrices are generalizations of dynamical r-matrices, where the base is a Poisson-Lie group. We prove analogues of basic results for these r-matrices, namely constructions of (quasi)Poisson groupoids and of Poisson homogeneous spaces. We introduce a class of PL dynamical r-matrices, associated to nondegenerate Lie bialgebras with a splitting; this is a generalization of trigonometric r-matrices with an abelian base. We prove a composition theorem for PL dynamical r-matrices, and construct quantizations of the polarized PL dynamical r-matrices. This way, we obtain quantizations of Poisson homogeneous structures on G/L (G a semisimple Lie group, L a Levi subgroup), thereby generalizing earlier constructions. △ Less

Submitted 14 June, 2004; v1 submitted 17 March, 2004; originally announced March 2004.

Comments: 36 pages

Finite dimensional representations of symplectic reflection algebras associated to wreath products

Authors: Pavel Etingof, Silvia Montarani

Abstract: In this paper we construct finite dimensional representations of the wreath product symplectic reflection algebra H(k,c,N,G) of rank N attached to a finite subgroup G of SL(2,C) (here k is a number and c a class function on the set of nontrivial elements of G). Specifically, we show that if W is an irreducible representation of S_N whose Young diagram is a rectangle, and Y an irreduible finite d… ▽ More In this paper we construct finite dimensional representations of the wreath product symplectic reflection algebra H(k,c,N,G) of rank N attached to a finite subgroup G of SL(2,C) (here k is a number and c a class function on the set of nontrivial elements of G). Specifically, we show that if W is an irreducible representation of S_N whose Young diagram is a rectangle, and Y an irreduible finite dimensional representation of H(c,1,G), then the representation M=W\otimes Y^N of H(0,c_0,N,G) can be deformed along a hyperplane in the space of parameters (k,c) passing through c_0. On the other hand, if Y is 1-dimensional and the Young diagram of W is not a rectangle, such a deformation does not exist. △ Less

Submitted 9 June, 2004; v1 submitted 15 March, 2004; originally announced March 2004.

Comments: 10 pages, latex

On radically graded finite dimensional quasi-Hopf algebras

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: Let p be a prime, and denote the class of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p, by RG(p). The purpose of this paper is to continue the structure theory of finite dimensional quasi-Hopf algebras started in math.QA/0310253 (p=2) and math.QA/0402159 (p>2). More specifically, we completely describe the class RG(p) for p>2. Namely, we show th… ▽ More Let p be a prime, and denote the class of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p, by RG(p). The purpose of this paper is to continue the structure theory of finite dimensional quasi-Hopf algebras started in math.QA/0310253 (p=2) and math.QA/0402159 (p>2). More specifically, we completely describe the class RG(p) for p>2. Namely, we show that if H\in RG(p) has a nontrivial associator, then the rank of H[1] over H[0] is \le 1. This yields the following classification of H\in RG(p), p>2, up to twist equivalence: (a) Duals of pointed Hopf algebras with p grouplike elements, classified in math.QA/9806074. (b) Group algebra of Z_p with associator defined by a 3-cocycle. (c) The algebras A(q), introduced in math.QA/0402159. This result implies, in particular, that if p>2 is a prime then any finite tensor category over C with exactly p simple objects which are all invertible must have Frobenius-Perron dimension p^N, N=1,2,3,4,5 or 7. In the second half of the paper we construct new examples of finite dimensional quasi-Hopf algebras H, which are not twist equivalent to a Hopf algebra. They are radically graded, and H/Rad(H)=C[Z_n^m], with a nontrivial associator. For instance, to every finite dimensional simple Lie algebra g and an odd integer n, coprime to 3 if g=G_2, we attach a quasi-Hopf algebra of dimension n^{dim(g)}. △ Less

Submitted 1 February, 2009; v1 submitted 4 March, 2004; originally announced March 2004.

Comments: Latex; 8 pages

Lectures on tensor categories

Authors: Damien Calaque, Pavel Etingof

Abstract: We give a review of some recent developments in the theory of tensor categories. The topics include realizability of fusion rings, Ocneanu rigidity, module categories, weak Hopf algebras, Morita theory for tensor categories, lifting theory, categorical dimensions, Frobenius- Perron dimensions, classification of tensor categories. We give a review of some recent developments in the theory of tensor categories. The topics include realizability of fusion rings, Ocneanu rigidity, module categories, weak Hopf algebras, Morita theory for tensor categories, lifting theory, categorical dimensions, Frobenius- Perron dimensions, classification of tensor categories. △ Less

Submitted 2 October, 2008; v1 submitted 19 January, 2004; originally announced January 2004.

Comments: 30 pages, latex

Journal ref: IRMA Lectures in Mathematics and Theoretical Physics 12, 1-38 (2008).

On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras, II

Authors: Pavel Etingof

Abstract: Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. Later V. Kac and the author proposed a uniform approach to this conjecture, based on the theory of abelian ideals in the Borel subalgebra; this allowed them to check the conjecture for type G_2. In thi… ▽ More Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. Later V. Kac and the author proposed a uniform approach to this conjecture, based on the theory of abelian ideals in the Borel subalgebra; this allowed them to check the conjecture for type G_2. In this note we further develop this approach, and propose three natural conjectures which imply the three parts of the CDSW conjecture. In a sense, these conjectures explain why the CDSW conjecture should be true. We show that our conjectures hold for classical Lie algebras and for G_2; this, in particular, gives a purely algebraic proof of the CDSW conjecture for SO(N) (the original proof, due to Witten, uses the theory of instantons). △ Less

Submitted 24 December, 2003; originally announced December 2003.

Comments: 4 pages

Quantization of classical dynamical $r$-matrices with nonabelian base

Authors: B. Enriquez, P. Etingof

Abstract: We construct some classes of dynamical $r$-matrices over a nonabelian base, and quantize some of them by constructing dynamical (pseudo)twists in the sense of Xu. This way, we obtain quantizations of $r$-matrices obtained in earlier work of the second author with Schiffmann and Varchenko. A part of our construction may be viewed as a generalization of the Donin-Mudrov nonabelian fusion construct… ▽ More We construct some classes of dynamical $r$-matrices over a nonabelian base, and quantize some of them by constructing dynamical (pseudo)twists in the sense of Xu. This way, we obtain quantizations of $r$-matrices obtained in earlier work of the second author with Schiffmann and Varchenko. A part of our construction may be viewed as a generalization of the Donin-Mudrov nonabelian fusion construction. We apply these results to the construction of equivariant star-products on Poisson homogeneous spaces, which include some homogeneous spaces introduced by De Concini. △ Less

Submitted 28 November, 2003; v1 submitted 13 November, 2003; originally announced November 2003.

Comments: 40 pages; added references; corrected critical cocycle

Quantization, orbifold cohomology, and Cherednik algebras

Authors: Pavel Etingof, Alexei Oblomkov

Abstract: We compute the Hochschild homology of the crossed product $\Bbb C[S_n]\ltimes A^{\otimes n}$ in terms of the Hochschild homology of the associative algebra $A$ (over $\Bbb C$). It allows us to compute the Hochschild (co)homology of $\Bbb C[W]\ltimes A^{\otimes n}$ where $A$ is the $q$-Weyl algebra or any its degeneration and $W$ is the Weyl group of type $A_{n-1}$ or $B_n$. For a deformation qua… ▽ More We compute the Hochschild homology of the crossed product $\Bbb C[S_n]\ltimes A^{\otimes n}$ in terms of the Hochschild homology of the associative algebra $A$ (over $\Bbb C$). It allows us to compute the Hochschild (co)homology of $\Bbb C[W]\ltimes A^{\otimes n}$ where $A$ is the $q$-Weyl algebra or any its degeneration and $W$ is the Weyl group of type $A_{n-1}$ or $B_n$. For a deformation quantization $A_+$ of an affine symplectic variety $X$ we show that the Hochschild homology of $S^n A$, $A=A_+[\hbar^{-1}]$ is additively isomorphic to the Chen-Ruan orbifold cohomology of $S^nX$ with coefficients in $\Bbb C((\hbar))$. We prove that for $X$ satisfying $H^1(X,\Bbb C)=0$ (or $A\in VB(d)$) the deformation of $S^nX$ ($\Bbb C[S_n]\ltimes A^{\otimes n}$) which does not come from deformations of $X$ ($A$) exists if and only if $\dim X=2$ ($d=2$). In particular if $A$ is $q$-Weyl algebra (its trigonometric or rational degeneration) then the corresponding nontrivial deformations yield the double affine Hecke algebras of type $A_{n-1}$ (its trigonometric or rational versions) introduced by Cherednik. △ Less

Submitted 1 May, 2006; v1 submitted 2 November, 2003; originally announced November 2003.

Comments: 11 pages, no figures; proof and statement of Cor. 3.3, Cor 3.7 as well as proof of Theorem 4.1. are corrected; two references are added in the new version; minor corrections

Finite dimensional quasi-Hopf algebras with radical of codimension 2

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: It is shown in math.QA/0301027 that a finite dimensional quasi-Hopf algebra with radical of codimension 1 is semisimple and 1-dimensional. On the other hand, there exist quasi-Hopf (in fact, Hopf) algebras, whose radical has codimension 2. Namely, it is known that these are exactly the Nichols Hopf algebras H_{2^n} of dimension 2^n, n\ge 1 (one for each value of n). The main result of this paper… ▽ More It is shown in math.QA/0301027 that a finite dimensional quasi-Hopf algebra with radical of codimension 1 is semisimple and 1-dimensional. On the other hand, there exist quasi-Hopf (in fact, Hopf) algebras, whose radical has codimension 2. Namely, it is known that these are exactly the Nichols Hopf algebras H_{2^n} of dimension 2^n, n\ge 1 (one for each value of n). The main result of this paper is that if H is a finite dimensional quasi-Hopf algebra over C with radical of codimension 2, then H is twist equivalent to a Nichols Hopf algebra H_{2^n}, n\ge 1, or to a lifting of one of the four special quasi-Hopf algebras H(2), H_+(8), H_-(8), H(32) of dimensions 2, 8, 8, and 32, defined in Section 3. As a corollary we obtain that any finite tensor category which has two invertible objects and no other simple object is equivalent to \Rep(H_{2^n}) for a unique n\ge 1, or to a deformation of the representation category of H(2), H_+(8), H_-(8), or H(32). As another corollary we prove that any nonsemisimple quasi-Hopf algebra of dimension 4 is twist equivalent to H_4. △ Less

Submitted 20 October, 2003; v1 submitted 16 October, 2003; originally announced October 2003.

Comments: 9 pages, latex