Searcharxiv⌕ Search

arXiv subjects

Pavel Etingof

Publications and source records attributed to Pavel Etingof.

At least 181 records · Page 10Linked to original sources
arXiv2004

New deformations of group algebras of Coxeter groups

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.

math.QA↗
arXiv2004

Casimirs of the Goldman Lie algebra of a closed surface

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.

math.QA↗
arXiv2004

Finite dimensional representations of symplectic reflection algebras associated to wreath products

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.

math.RT↗
arXiv2004

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

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.

math.QA↗
arXiv2003

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

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).

math.RT↗
arXiv2003

Finite dimensional quasi-Hopf algebras with radical of codimension 2

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.

math.QA↗
arXiv2003

On the dynamical Yang-Baxter equation

This talk is inspired by two previous ICM talks, by V.Drinfeld (1986) and G.Felder (1994). Namely, one of the main ideas of Drinfeld's talk is that the quantum Yang-Baxter equation (QYBE), which is an important equation arising in quantum field theory and statistical mechanics, is best understood within the framework of Hopf algebras, or quantum groups. On the other hand, in Felder's talk, it is explained that another important equation of mathematical physics, the star-triangle relation, may (and should) be viewed as a generalization of QYBE, in which solutions depend on additional ``dynamical'' parameters. It is also explained there that to a solution of the quantum dynamical Yang-Baxter equation one may associate a kind of quantum group. These ideas gave rise to a vibrant new branch of ``quantum algebra'', which may be called the theory of dynamical quantum groups. My goal in this talk is to give a bird's eye review of some aspects of this theory and its applications.

math.QA↗
arXiv2003

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

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. We prove the conjecture for type G_2, and also verify a consequence of the conjecture in the general case.

math.QA↗
arXiv2003

Morita Equivalence of Cherednik Algebras

We classify the rational Cherednik algebras H_c(W) (and their spherical subalgebras) up to isomorphism and Morita equivalence in case when W is the symmetric group and `c' is a generic parameter value.

math.QA↗
arXiv2003

Finite tensor categories

We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular, we generalize to the categorical setting the Hopf and quasi-Hopf algebra freeness theorems due to Nichols-Zoeller and Schauenburg, respectively. We also give categorical versions of the theory of distinguished group-like elements in a finite dimensional Hopf algebra, of Lorenz's result on degeneracy of the Cartan matrix, and of the absence of primitive elements in a finite dimensional Hopf algebra in zero characteristic. We also develop the theory of module categories and dual categories for not necessarily semisimple finite tensor categories; the crucial new notion here is that of an exact module category. Finally, we classify indecomposable exact module categories over the simplest finite tensor categories, such as representations of a finite group in positive characteristic, representations of a finite supergroup, and representations of the Taft Hopf algebra.

math.QA↗
arXiv2003

On Hopf algebras of dimension pq

In this paper we contribute to the classification of Hopf algebras of dimension pq, where p,q are distinct prime numbers. More precisely, we prove that if p and q are odd primes with p<q<2p+3, then any complex Hopf algebra of dimension pq is semisimple and hence isomorphic to either a group algebra or to the dual of a group algebra by the previous works math.QA/9801129 and math.QA/9801128.

math.QA↗
arXiv2003

Quantization of Alekseev-Meinrenken dynamical r-matrices

We quantize the Alekseev-Meinrenken solution r to the classical dynamical Yang-Baxter equation, associated to a Lie algebra g with an element t in S^2(g)^g. Namely, we construct a dynamical twist J with nonabelian base in the sense of P. Xu, whose quasiclassical limit is r-t/2. This twist gives rise to a dynamical quantum R-matrix, and also provides a quantization of the quasi-Poisson manifold and Poisson groupoid associated to r. The twist J is obtained by an appropriate renormalization of the Knizhnik-Zamolodchikov associator for g, introduced by Drinfeld.

math.QA↗
arXiv2003

Generalized Lame operators

We introduce a class of multidimensional Schrödinger operators with elliptic potential which generalize the classical Lamé operator to higher dimensions. One natural example is the Calogero--Moser operator, others are related to the root systems and their deformations. We conjecture that these operators are algebraically integrable, which is a proper generalization of the finite-gap property of the Lamé operator. Using earlier results of Braverman, Etingof and Gaitsgory, we prove this under additional assumption of the usual, Liouville integrability. In particular, this proves the Chalykh--Veselov conjecture for the elliptic Calogero--Moser problem for all root systems. We also establish algebraic integrability in all known two-dimensional cases. A general procedure for calculating the Bloch eigenfunctions is explained. It is worked out in detail for two specific examples: one is related to B_2 case, another one is a certain deformation of the A_2 case. In these two cases we also obtain similar results for the discrete versions of these problems, related to the difference operators of Macdonald--Ruijsenaars type.

math.QA↗
arXiv2003

Module categories over representations of $SL_q(2)$ and graphs

We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same category.

math.QA↗
arXiv2003

The orthogonality and qKZB-heat equation for traces of U_q(g)-intertwiners

In our previous paper math.QA/9907181, to every finite dimensional representation V of the quantum group U_q(g), we attached the trace function F^V(λ,μ), with values in End V[0], obtained by taking the (weighted) trace in a Verma module of an intertwining operator. We showed that these trace functions satisfy the Macdonald-Ruijsenaars and the qKZB equations, their dual versions, and the symmetry identity. In this paper we show that the trace functions satisfy the orthogonality relation and the qKZB-heat equation. For g=sl_2, this statement is the trigonometric degeneration of a conjecture of Felder and the second author, proved by them for the 3-dimensional irreducible V. We also establish the orthogonality relation and qKZB-heat equation for trace functions obtained by taking traces in finite dimensional representations (rather than Verma modules). If g=sl_n and V=S^{kn}C^n, these functions are known to be Macdonald polynomials of type A. In this case, the orthogonality relation reduces to the Macdonald inner product identities, and the qKZB-heat equation coincides with the q-Macdonald-Mehta identity, proved by Cherednik.

math.QA↗
arXiv2002

Finite dimensional representations of rational Cherednik algebras

A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine flag manifolds and Hilbert schemes are discussed.

math.RT↗