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.

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.

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 \rho 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.

In this paper we obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type An-1 for c=mn, and an expression of its quasispherical part (i.e., the isotypic part of "hooks") in terms of the HOMFLY polynomial of a torus knot colored by a Young diagram. We use this formula and the work of Calaque, Enriquez and Etingof to give explicit formulas for the characters of the irreducible equivariant D-modules on the nilpotent cone for SLm. Our third result is the construction of the Koszul-BGG complex for the rational Cherednik algebra, which generalizes the construction of the Koszul-BGG resolution from [3] and [21], and the calculation of its homology in type A. We also show in type A that the differentials in the Koszul-BGG complex are uniquely determined by the condition that they are nonzero homomorphisms of modules over the Cherednik algebra. Finally, our fourth result is the symmetry theorem, which identifies the quasispherical components in the representations with minimal support over the rational Cherednik algebras Hmn(Sn) and Hnm(Sm). In fact, we show that the simple quotients of the corresponding quasispherical subalgebras are isomorphic as filtered algebras. This symmetry was essentially established in [8] in the spherical case, and in [24] in the case GCD(m, n)=1, and it has a natural interpretation in terms of invariants of torus knots.

We construct analogues of the Hecke operators for the moduli space of G-bundles on a curve X over a local field F with parabolic structures at finitely many points. We conjecture that they define commuting compact normal operators on the Hilbert space of half-densities on this moduli space. In the case F = ℂ, we also conjecture that their joint spectrum is in a natural bijection with the set of LG-opers on X with real monodromy. This may be viewed as an analytic version of the Langlands correspondence for complex curves. Furthermore, we conjecture an explicit formula relating the eigenvalues of the Hecke operators and the global differential operators. Assuming the compactness conjecture, this formula follows from a certain system of differential equations satisfied by the Hecke operators, which we prove here for G = PGLn.

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.

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 e VI.

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

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.