Showing 1–39 of 39 results for author: Berest, Y

Topological realization of algebras of quasi-invariants, I

Authors: Yuri Berest, Ajay C. Ramadoss

Abstract: This is the first in a series of papers, where we introduce and study topological spaces that realize the algebras of quasi-invariants of finite reflection groups. Our result can be viewed as a generalization of a well-known theorem of A. Borel that realizes the ring of invariant polynomials a Weyl group $W$ as a cohomology ring of the classifying space $BG$ of the associated Lie group $G$. In the… ▽ More This is the first in a series of papers, where we introduce and study topological spaces that realize the algebras of quasi-invariants of finite reflection groups. Our result can be viewed as a generalization of a well-known theorem of A. Borel that realizes the ring of invariant polynomials a Weyl group $W$ as a cohomology ring of the classifying space $BG$ of the associated Lie group $G$. In the present paper, we state our realization problem for the algebras of quasi-invariants of Weyl groups and give its solution in the rank one case (for $G = SU(2)$). We call the resulting $G$-spaces $ F_m(G,T) $ the $m$-quasi-flag manifolds and their Borel homotopy quotients $ X_m(G,T) $ the spaces of $m$-quasi-invariants. We compute the equivariant $K$-theory and the equivariant (complex analytic) elliptic cohomology of these spaces and identify them with exponential and elliptic quasi-invariants of $W$. We also extend our construction of spaces quasi-invariants to a certain class of finite loop spaces $ ΩB $ of homotopy type of $ S^3 $ originally introduced by D. L. Rector. We study the cochain spectra $ C^*(X_m,k) $ associated to the spaces of quasi-invariants and show that these are Gorenstein commutative ring spectra in the sense of Dwyer, Greenlees and Iyengar. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Symmetric Homology is Representation Homology

Authors: Yuri Berest, Ajay C. Ramadoss

Abstract: Symmetric homology is a natural generalization of cyclic homology, in which symmetric groups play the role of cyclic groups. In the case of associative algebras, the symmetric homology theory was introduced by Z. Fiedorowicz \cite{F} and was further developed in the work of S. Ault \cite{Au1, Au2}. In this paper, we show that, for algebras defined over a field of characteristic $0$, the symmetric… ▽ More Symmetric homology is a natural generalization of cyclic homology, in which symmetric groups play the role of cyclic groups. In the case of associative algebras, the symmetric homology theory was introduced by Z. Fiedorowicz \cite{F} and was further developed in the work of S. Ault \cite{Au1, Au2}. In this paper, we show that, for algebras defined over a field of characteristic $0$, the symmetric homology theory is naturally equivalent to the (one-dimensional) representation homology theory introduced by the authors (jointly with G. Khachatryan) in \cite{BKR}. Using known results on representation homology, we compute symmetric homology explicitly for basic algebras, such as polynomial algebras and universal enveloping algebras of (DG) Lie algebras. As an application, we prove two conjectures of Ault and Fiedorowicz, including the main conjecture of \cite{AF07} on topological interpretation of symmetric homology of polynomial algebras. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 16 pages

Derived Character Maps of Groups Representations

Authors: Yuri Berest, Ajay C. Ramadoss

Abstract: In this paper, we construct and study derived character maps of finite-dimensional representations of $\infty$-groups. As models for $\infty$-groups we take homotopy simplicial groups, i.e. homotopy simplicial algebras over the algebraic theory of groups (in the sense of Badzioch). We define cyclic, symmetric and representation homology for `group algebras' over such groups and construct canonical… ▽ More In this paper, we construct and study derived character maps of finite-dimensional representations of $\infty$-groups. As models for $\infty$-groups we take homotopy simplicial groups, i.e. homotopy simplicial algebras over the algebraic theory of groups (in the sense of Badzioch). We define cyclic, symmetric and representation homology for `group algebras' over such groups and construct canonical trace maps relating these homology theories. In the case of one-dimensional representations, we show that our trace maps are of topological origin: they are induced by natural maps of (iterated) loop spaces that are well studied in homotopy theory. Using this topological interpretation, we deduce some algebraic results about representation homology: in particular, we prove that the symmetric homology of group algebras and one-dimensional representation homology are naturally isomorphic, provided the base ring $k$ is a field of characteristic zero. We also study the behavior of the derived character maps of $n$-dimensional representations in the stable limit as $ n\to \infty$, in which case we show that they `converge' to become isomorphisms. △ Less

Submitted 3 October, 2022; originally announced October 2022.

Comments: 38 pages

Journal ref: Algebr. Geom. Topol. 24 (2024) 4991-5044

Representation homology of simply connected spaces

Authors: Yuri Berest, Ajay C. Ramadoss, Wai-Kit Yeung

Abstract: Let $G$ be an affine algebraic group defined over field $k$ of characteristic zero. We study the derived moduli space of G-local systems on a pointed connected CW complex X trivialized at the basepoint of $X$. This derived moduli space is represented by an affine DG scheme RLoc$_G(X,*)$: we call the (co)homology of the structure sheaf of RLoc$_G(X,*)$ the representation homology of $X$ in $G$ and… ▽ More Let $G$ be an affine algebraic group defined over field $k$ of characteristic zero. We study the derived moduli space of G-local systems on a pointed connected CW complex X trivialized at the basepoint of $X$. This derived moduli space is represented by an affine DG scheme RLoc$_G(X,*)$: we call the (co)homology of the structure sheaf of RLoc$_G(X,*)$ the representation homology of $X$ in $G$ and denote it by HR$_*(X,G)$. The HR$_0(X,G)$ is isomorphic to the coordinate ring of the representation variety Rep$_G[π_1(X)]$ of the fundamental group of $X$ in $G$ -- a well-known algebro-geometric invariant of $X$ with many applications in topology. The case when X is simply connected seems much less studied: in this case, the HR$_0(X,G)$ is trivial but the higher representation homology is still an interesting rational invariant of $X$ depending on the algebraic group $G$. In this paper, we use rational homotopy theory to compute the HR$_*(X,G)$ for an arbitrary simply connected space $X$ (of finite rational type) in terms of its Quillen and Sullivan algebraic models. When $G$ is reductive, we also compute the $G$-invariant part of representation homology, HR$_*(X,G)^G$, and study the question when HR$_*(X,G)^G$ is free of locally finite type as a graded commutative algebra. This question turns out to be closely related to the so-called Strong Macdonald Conjecture, a celebrated result in representation theory proposed (as a conjecture) by B. Feigin and P. Hanlon in the 1980s and proved by S. Fishel, I. Grojnowski and C. Teleman in 2008. Reformulating the Strong Macdonald Conjecture in topological terms, we give a simple characterization of spaces $X$ for which HR$_*(X,G)^G$ is a graded symmetric algebra for any complex reductive group $G$. △ Less

Submitted 19 July, 2020; originally announced July 2020.

Comments: 39 pages. arXiv admin note: substantial text overlap with arXiv:1703.03505

Deformed Calogero--Moser operators and ideals of rational Cherednik algebras

Authors: Yuri Berest, Oleg Chalykh

Abstract: We consider a class of hyperplane arrangements $\mathcal A$ in ${\mathbb C}^n$ that generalise the locus configurations of \cite{CFV}. To such an arrangement we associate a second order partial differential operator of Calogero-Moser type, and prove that this operator is completely integrable (in the sense that its centraliser in $\mathcal{D}({\mathbb C}^n\setminus\mathcal A)$ contains a maximal c… ▽ More We consider a class of hyperplane arrangements $\mathcal A$ in ${\mathbb C}^n$ that generalise the locus configurations of \cite{CFV}. To such an arrangement we associate a second order partial differential operator of Calogero-Moser type, and prove that this operator is completely integrable (in the sense that its centraliser in $\mathcal{D}({\mathbb C}^n\setminus\mathcal A)$ contains a maximal commutative subalgebra of Krull dimension $n$). Our approach is based on the study of shift operators and associated ideals in the spherical Cherednik algebra that may be of independent interest. The examples include all known families of deformed (rational) Calogero-Moser systems that appeared in the literature; we also construct some new examples, including a BC-type analogues of completely integrable operators recently found by D. Gaiotto and M. Rapčák in \cite{GR}. We describe these examples in a general framework of rational Cherednik algebras close in spirit to \cite{BEG} and \cite{BC}. △ Less

Submitted 10 January, 2022; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: v2: 41 pages, substantially rewritten, new material and results added. Section 4 is entirely new. New examples added in subsections 6.4, 6.5

Journal ref: Commun. Math. Phys. 400(1), pp. 133-178 (2023)

Hodge decomposition of string topology

Authors: Yuri Berest, Ajay C. Ramadoss, Yining Zhang

Abstract: Let $X$ be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$-equivariant homology $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ of the free loop space of $X$ preserves the Hodge decomposition of $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ , making it a bigraded Lie algebra. We deduce this resul… ▽ More Let $X$ be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$-equivariant homology $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ of the free loop space of $X$ preserves the Hodge decomposition of $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture proposed in our earlier work. △ Less

Submitted 17 February, 2020; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: 28 pages

Journal ref: Forum of Mathematics, Sigma 9 (2021) e33

Cyclotomic Expansion of Generalized Jones Polynomials

Authors: Yuri Berest, Joseph Gallagher, Peter Samuelson

Abstract: In previous work of the first and third authors, we proposed a conjecture that the Kauffman bracket skein module of any knot in $S^3$ carries a natural action of the rank 1 double affine Hecke algebra $SH_{q,t_1, t_2}$ depending on 3 parameters $q, t_1, t_2$. As a consequence, for a knot $K$ satisfying this conjecture, we defined a three-variable polynomial invariant $J^K_n(q,t_1,t_2)$ generalizin… ▽ More In previous work of the first and third authors, we proposed a conjecture that the Kauffman bracket skein module of any knot in $S^3$ carries a natural action of the rank 1 double affine Hecke algebra $SH_{q,t_1, t_2}$ depending on 3 parameters $q, t_1, t_2$. As a consequence, for a knot $K$ satisfying this conjecture, we defined a three-variable polynomial invariant $J^K_n(q,t_1,t_2)$ generalizing the classical colored Jones polynomials $J^K_n(q)$. In this paper, we give explicit formulas and provide a quantum group interpretation for the generalized Jones polynomials $J^K_n(q,t_1,t_2)$. Our formulas generalize the so-called cyclotomic expansion of the classical Jones polynomials constructed by K.\ Habiro: as in the classical case, they imply the integrality of $J^K_n(q,t_1,t_2)$ and, in fact, make sense for an arbitrary knot $K$ independent of whether or not it satisfies our earlier conjecture. When one of the Hecke deformation parameters is set to be 1, we show that the coefficients of the (generalized) cyclotomic expansion of $J^K_n(q,t_1)$ are determined by Macdonald orthogonal polynomials of type $A_1$. △ Less

Submitted 11 November, 2019; v1 submitted 12 August, 2019; originally announced August 2019.

Comments: 23 pages, minor corrections in v2

Vanishing theorems for representation homology and the derived cotangent complex

Authors: Yuri Berest, Ajay C. Ramadoss, Wai-kit Yeung

Abstract: Let $G$ be a reductive affine algebraic group defined over a field $k$ of characteristic zero. In this paper, we study the cotangent complex of the derived $G$-representation scheme $ {\rm DRep}_G(X)$ of a pointed connected topological space $X$. We use an (algebraic version of) unstable Adams spectral sequence relating the cotangent homology of $ {\rm DRep}_G(X) $ to the representation homology… ▽ More Let $G$ be a reductive affine algebraic group defined over a field $k$ of characteristic zero. In this paper, we study the cotangent complex of the derived $G$-representation scheme $ {\rm DRep}_G(X)$ of a pointed connected topological space $X$. We use an (algebraic version of) unstable Adams spectral sequence relating the cotangent homology of $ {\rm DRep}_G(X) $ to the representation homology $ {\rm HR}_*(X,G) := π_*{\mathcal O}[{\rm DRep}_G(X)] $ to prove some vanishing theorems for groups and geometrically interesting spaces. Our examples include virtually free groups, Riemann surfaces, link complements in $ {\mathbb R}^3 $ and generalized lens spaces. In particular, for any f.g. virtually free group $ Γ$, we show that $\, {\rm HR}_i({\rm B}Γ, G) = 0 \,$ for all $ i > 0 $. For a closed Riemann surface $Σ_g $ of genus $ g \ge 1 $, we have $\, {\rm HR}_i(Σ_g, G) = 0 \,$ for all $ i > \dim G $. The sharp vanishing bounds for $ Σ_g $ depend actually on the genus: we conjecture that if $ g = 1 $, then $\, {\rm HR}_i(Σ_g, G) = 0 \,$ for $ i > {\rm rank}\,G $, and if $ g \ge 2 $, then $\, {\rm HR}_i(Σ_g, G) = 0 \,$ for $ i > \dim\,{\mathcal Z}(G) \,$, where $ {\mathcal Z}(G) $ is the center of $G$. We prove these bounds locally on the smooth locus of the representation scheme $ {\rm Rep}_G[π_1(Σ_g)]\,$ in the case of complex connected reductive groups. One important consequence of our results is the existence of a well-defined $K$-theoretic virtual fundamental class for $ {\rm DRep}_G(X)$ in the sense of Ciocan-Fontanine and Kapranov. We give a new `Tor formula' for this class in terms of functor homology. △ Less

Submitted 13 September, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: 34 pages; a new appendix comparing various constructions of $ {\rm DRep}_G(X) $ in derived algebraic geometry is added

Journal ref: Algebr. Geom. Topol. 19 (2019) 281-339

Representation homology of topological spaces

Authors: Yuri Berest, Ajay C. Ramadoss, Wai-kit Yeung

Abstract: In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology parallel to the Loday-Pirashvili construction of higher Hochschild homology; in fact, we establish a direct geometric relation between the two theories by provin… ▽ More In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology parallel to the Loday-Pirashvili construction of higher Hochschild homology; in fact, we establish a direct geometric relation between the two theories by proving that the representation homology of the suspension of a (pointed connected) space is isomorphic to its higher Hochschild homology. We also construct some natural maps and spectral sequences relating representation homology to other homology theories associated with spaces (such as Pontryagin algebras, $S^1$-equivariant homology of the free loop space and stable homology of automorphism groups of f.g. free groups). We compute representation homology explicitly (in terms of known invariants) in a number of interesting cases, including spheres, suspensions, complex projective spaces, Riemann surfaces and some 3-dimensional manifolds, such as link complements in $\R^3$ and the lens spaces $ L(p,q) $. In the case of link complements, we identify the representation homology in terms of ordinary Hochschild homology, which gives a new algebraic invariant of links in $\R^3$. △ Less

Submitted 22 February, 2020; v1 submitted 9 March, 2017; originally announced March 2017.

Comments: A substantially revised version. New results are added, including the existence of the derived representation adjunction and the commutativity of the derived representation functor with arbitrary homotopy colimits. We deduce these results from a version of (derived) adjunction theorem for categories with weak equivalences that extends formally Quillen's classical theorem for model categories

Journal ref: IMRN (2020)

Affine cubic surfaces and character varieties of knots

Authors: Yuri Berest, Peter Samuelson

Abstract: It is known that the fundamental group homomorphism $π_1(T^2) \to π_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of knots arise from the natural (restriction) map induced by the above homomorphism on the $\mathrm{SL}_2$-character varieties of the corresponding fundamental groups.… ▽ More It is known that the fundamental group homomorphism $π_1(T^2) \to π_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of knots arise from the natural (restriction) map induced by the above homomorphism on the $\mathrm{SL}_2$-character varieties of the corresponding fundamental groups. In our earlier work [BS16], we proposed a conjecture that the classical restriction map admits a canonical 2-parameter deformation into a smooth cubic surface. In this paper, we show that (modulo some mild technical conditions) our conjecture follows from a known conjecture of Brumfiel and Hilden [BH95] on the algebraic structure of the peripheral system of a knot. We then confirm the Brumfiel-Hilden conjecture for an infinite class of knots, including all torus knots, 2-bridge knots, and certain pretzel knots. We also show the class of knots for which the Brumfiel-Hilden conjecture holds is closed under taking connect sums and certain knot coverings. △ Less

Submitted 27 October, 2016; originally announced October 2016.

Comments: 30 pages, 2 figures

Perverse Sheaves and Knot Contact Homology

Authors: Yuri Berest, Alimjon Eshmatov, Wai-kit Yeung

Abstract: In this paper, which is mostly a research announcement, we give a new algebraic construction of knot contact homology in the sense of L. Ng [Ng05a]. For a link $L$ in $ {\mathbb R}^3 $, we define a differential graded (DG) $k$-category $ \tilde{\mathscr A} $ with finitely many objects, whose quasi-equivalence class is a topological invariant of $ L $. In the case when $L$ is a knot, the endomorphi… ▽ More In this paper, which is mostly a research announcement, we give a new algebraic construction of knot contact homology in the sense of L. Ng [Ng05a]. For a link $L$ in $ {\mathbb R}^3 $, we define a differential graded (DG) $k$-category $ \tilde{\mathscr A} $ with finitely many objects, whose quasi-equivalence class is a topological invariant of $ L $. In the case when $L$ is a knot, the endomorphism algebra of a distinguished object of $ \tilde{\mathscr A} $ coincides with the fully noncommutative knot DGA as defined by Ekholm, Etnyre, Ng and Sullivan in [EENS13a]. The input of our construction is a natural action of the braid group $B_n$ on the category of perverse sheaves on a two-dimensional disk with singularities at $n$ marked points, studied by Gelfand, MacPherson and Vilonen in [GMV96]. As an application, we show that the category of finite-dimensional representations of the link $k$-category $ \tilde{A} = H_0(\tilde{\mathscr A}) $ defined as the $0$th homology of our DG category $ \tilde{\mathscr A} $ is equivalent to the category of perverse sheaves on $ {\mathbb R}^3 $ which are singular along the link $ L $. We also obtain several generalizations of the category $ \tilde{\mathscr A} $ by extending the Gelfand-MacPherson-Vilonen braid action. △ Less

Submitted 9 November, 2016; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: 26 pages; 2 figures; some remarks and references are added

Dual Hodge decompositions and derived Poisson brackets

Authors: Yuri Berest, Ajay C. Ramadoss, Yining Zhang

Abstract: We study general properties of Hodge-type decompositions of cyclic and Hochschild homology of universal enveloping algebras of (DG) Lie algebras. Our construction generalizes the operadic construction of cyclic homology of Lie algebras due to Getzler and Kapranov. We give a topological interpretation of such Lie Hodge decompositions in terms of $S^1$-equivariant homology of the free loop space of… ▽ More We study general properties of Hodge-type decompositions of cyclic and Hochschild homology of universal enveloping algebras of (DG) Lie algebras. Our construction generalizes the operadic construction of cyclic homology of Lie algebras due to Getzler and Kapranov. We give a topological interpretation of such Lie Hodge decompositions in terms of $S^1$-equivariant homology of the free loop space of a simply connected topological space. We prove that the canonical derived Poisson structure on a universal enveloping algebra arising from a cyclic pairing on the Koszul dual coalgebra preserves the Hodge filtration on cyclic homology. As an application, we show that the Chas-Sullivan Lie algebra of any simply connected closed manifold carries a natural Hodge filtration. We conjecture that the Chas-Sullivan Lie algebra is actually graded, i.e. the string topology bracket preserves the Hodge decomposition. △ Less

Submitted 6 May, 2016; originally announced May 2016.

Comments: 27 pages. Comments and suggestions are welcome

MSC Class: 17B63 58B34 58B05

Chern-Simons forms and higher character maps of Lie representations

Authors: Yuri Berest, Giovanni Felder, Sasha Patotski, Ajay C. Ramadoss, Thomas Willwacher

Abstract: This paper is a sequel to our earlier work [BFPRW], where we study the derived representation scheme DRep_{g}(A) parametrizing the representations of a Lie algebra A in a finite-dimensional reductive Lie algebra g. In [BFPRW], we defined two canonical maps Tr_{g}(A): HC^{(r)}(A) \to \H[\DRep_{g}(A)]^G and Φ_{g}(A): H[\DRep_{g}(A)]^G \to H[\DRep_{h}(A)]^W called the Drinfeld trace and the derived H… ▽ More This paper is a sequel to our earlier work [BFPRW], where we study the derived representation scheme DRep_{g}(A) parametrizing the representations of a Lie algebra A in a finite-dimensional reductive Lie algebra g. In [BFPRW], we defined two canonical maps Tr_{g}(A): HC^{(r)}(A) \to \H[\DRep_{g}(A)]^G and Φ_{g}(A): H[\DRep_{g}(A)]^G \to H[\DRep_{h}(A)]^W called the Drinfeld trace and the derived Harish-Chandra homomorphism, respectively. In this paper, we give an explicit formula for the Drinfeld trace in terms of Chern-Simons classes of a canonical g-torsor associated to the pair (A, g). Our construction is inspired by (and, in a sense, dual to) the classical construction of `additive regulator maps' due to Beilinson and Feigin. As a consequence, we show that, if A is an abelian Lie algebra, the composite map Phi_{g}(A) Tr_{g}(A) is represented by a canonical differential operator acting on differential forms on Sym(A) and depending only on the Cartan data (h, W, P), where P is a W-invariant polynomial on h. We derive a combinatorial formula for this operator that plays an important role in the study of derived commuting schemes in [BFPRW]. △ Less

Submitted 20 May, 2015; originally announced May 2015.

Comments: 35 pages

Representation Homology, Lie Algebra Cohomology and Derived Harish-Chandra Homomorphism

Authors: Yuri Berest, Giovanni Felder, Sasha Patotski, Ajay C. Ramadoss, Thomas Willwacher

Abstract: We study the derived representation scheme DRep_n(A) parametrizing the n-dimensional representations of an associative algebra A over a field of characteristic zero. We show that the homology of DRep_n(A) is isomorphic to the Chevalley-Eilenberg homology of the current Lie coalgebra gl_n^*(C) defined over a Koszul dual coalgebra of A. We extend this isomorphism to representation schemes of Lie alg… ▽ More We study the derived representation scheme DRep_n(A) parametrizing the n-dimensional representations of an associative algebra A over a field of characteristic zero. We show that the homology of DRep_n(A) is isomorphic to the Chevalley-Eilenberg homology of the current Lie coalgebra gl_n^*(C) defined over a Koszul dual coalgebra of A. We extend this isomorphism to representation schemes of Lie algebras: for a finite-dimensional reductive Lie algebra g, we define the derived affine scheme DRep_g(a) parametrizing the representations (in g) of a Lie algebra a; we show that the homology of DRep_g(a) is isomorphic to the Chevalley-Eilenberg homology of the Lie coalgebra g^*(C), where C is a cocommutative DG coalgebra Koszul dual to the Lie algebra a. We construct a canonical DG algebra map Φ_g(a) : DRep_g(a)^G -> DRep_h(a)^W, which is a homological extension of the classical restriction homomorphism. We call Φ_g(a) a derived Harish-Chandra homomorphism. We conjecture that, for a two-dimensional abelian Lie algebra a, the derived Harish-Chandra homomorphism is a quasi-isomorphism, and provide some evidence for this conjecture. For any complex Lie algebra g, we compute the Euler characteristic of DRep_g(a)^G in terms of matrix integrals over G and compare it to the Euler characteristic of DRep_h(a)^W.This yields an interesting combinatorial identity, which we prove for gl_n and sl_n (for all n). Our identity is analogous to the classical Macdonald identity, and our quasi-isomorphism conjecture is analogous to the strong Macdonald conjecture proved by S.Fishel, I.Grojnowski and C.Teleman. We explain this analogy by giving a new homological interpretation of Macdonald's conjectures in terms of derived representation schemes, parallel to our Harish-Chandra quasi-isomorphism conjecture. △ Less

Submitted 11 March, 2015; v1 submitted 30 September, 2014; originally announced October 2014.

Comments: 61 pages; minor corrections

Double affine Hecke algebras and generalized Jones polynomials

Authors: Yuri Berest, Peter Samuelson

Abstract: In this paper, we propose and discuss implications of a general conjecture that there is a canonical action of a rank 1 double affine Hecke algebra on the Kauffman bracket skein module of the complement of a knot $K \subset S^3$. We prove this in a number of nontrivial cases, including all $(2,2p+1)$ torus knots, the figure eight knot, and all 2-bridge knots (when $q=\pm 1$). As the main applicati… ▽ More In this paper, we propose and discuss implications of a general conjecture that there is a canonical action of a rank 1 double affine Hecke algebra on the Kauffman bracket skein module of the complement of a knot $K \subset S^3$. We prove this in a number of nontrivial cases, including all $(2,2p+1)$ torus knots, the figure eight knot, and all 2-bridge knots (when $q=\pm 1$). As the main application of the conjecture, we construct 3-variable polynomial knot invariants that specialize to the classical colored Jones polynomials introduced by Reshetikhin and Turaev in \cite{RT90}. We also deduce some new properties of the classical Jones polynomials and prove that these hold for all knots (independently of the conjecture). We furthermore conjecture that the skein module of the unknot is a submodule of the skein module of an arbitrary knot. We confirm this for the same example knots, and we show that this implies the colored Jones polynomials of $K$ satisfy an inhomogeneous recursion relation. △ Less

Submitted 20 April, 2014; v1 submitted 24 February, 2014; originally announced February 2014.

Comments: 44pg, 3 figures, updated example polynomials, added sec. 3.4 and 5.5, minor corrections

Journal ref: Compositio Math. 152 (2016) 1333-1384

Dixmier Groups and Borel Subgroups

Authors: Yuri Berest, Alimjon Eshmatov, Farkhod Eshmatov

Abstract: Let G be the group of symplectic (unimodular) automorphisms of the free associative algebra on two generators. A theorem of G.Wilson and the first author asserts that G acts transitively the Calogero-Moser spaces C_n for all n. We generalize this theorem in two ways: first, we prove that the action of G on C_n is doubly transitive, meaning that G acts transitively on the configuration space of (or… ▽ More Let G be the group of symplectic (unimodular) automorphisms of the free associative algebra on two generators. A theorem of G.Wilson and the first author asserts that G acts transitively the Calogero-Moser spaces C_n for all n. We generalize this theorem in two ways: first, we prove that the action of G on C_n is doubly transitive, meaning that G acts transitively on the configuration space of (ordered) pairs of points in C_n; second, we prove that the diagonal action of G on the product of (any number of) copies of C_n is transitive provided the corresponding n's are pairwise distinct. In the second part of the paper, we study the isotropy subgroups G_n of G in C_n. We equip each G_n with the structure of an ind-algebraic group and classify the Borel subgroups of these ind-algebraic groups for all n. Our classification shows that every Borel subgroup of G (= G_0) is conjugate to the subgroup B of triangular (elementary) automorphisms; on the other hand, for n > 0, the conjugacy classes of Borel subgroups of G_n are parametrized by certain orbits of B in C_n. Our main result is that the conjugacy classes of non-abelian Borel subgroups of G_n correspond precisely to the B-orbits of the C^*-fixed points in C_n and thus, are in bijection with the partitions of n. We also prove an infinite-dimensional analogue of the classical theorem of R.Steinberg, characterizing the (non-abelian) Borel subgroups of G_n in purely group-theoretic terms. Together with our classification this last theorem implies that the G_n are pairwise non-isomorphic as abstract groups. Our study of the groups G_n is motivated by the fact that these are the automorphism groups of non-isomorphic simple algebras Morita equivalent to the Weyl algebra A_1(C). From this perspective, our results generalize well-known theorems of J.Dixmier and L.Makar-Limanov about the automorphism group of A_1(C). △ Less

Submitted 28 January, 2014; originally announced January 2014.

Comments: 48 pages

Derived Representation Schemes and Noncommutative Geometry

Authors: Yuri Berest, Giovanni Felder, Ajay Ramadoss

Abstract: Some 15 years ago M. Kontsevich and A. Rosenberg [KR] proposed a heuristic principle according to which the family of schemes ${Rep_n(A)}$ parametrizing the finite-dimensional represen- tations of a noncommutative algebra A should be thought of as a substitute or "approximation" for Spec(A). The idea is that every property or noncommutative geometric structure on A should induce a corresponding ge… ▽ More Some 15 years ago M. Kontsevich and A. Rosenberg [KR] proposed a heuristic principle according to which the family of schemes ${Rep_n(A)}$ parametrizing the finite-dimensional represen- tations of a noncommutative algebra A should be thought of as a substitute or "approximation" for Spec(A). The idea is that every property or noncommutative geometric structure on A should induce a corresponding geometric property or structure on $Rep_n(A)$ for all n. In recent years, many interesting structures in noncommutative geometry have originated from this idea. In practice, however, if an associative algebra A possesses a property of geometric nature (e.g., A is a NC complete intersection, Cohen-Macaulay, Calabi-Yau, etc.), it often happens that, for some n, the scheme $Rep_n(A)$ fails to have the corresponding property in the usual algebro-geometric sense. The reason for this seems to be that the representation functor $Rep_n$ is not "exact" and should be replaced by its derived functor $DRep_n$ (in the sense of non-abelian homological algebra). The higher homology of $DRep_n(A)$, which we call representation homology, obstructs $Rep_n(A)$ from having the desired property and thus measures the failure of the Kontsevich-Rosenberg "approximation." In this paper, which is mostly a survey, we prove several results confirming this intuition. We also give a number of examples and explicit computations illustrating the theory developed in [BKR] and [BR]. △ Less

Submitted 19 April, 2013; originally announced April 2013.

Comments: 39 pages. Comments welcome. arXiv admin note: substantial text overlap with arXiv:1112.1449

Journal ref: Expository lectures on representation theory, 113-162, Contemp. Math. 607, Amer. Math. Soc., Providence, RI, 2014

Stable representation homology and Koszul duality

Authors: Yuri Berest, Ajay Ramadoss

Abstract: This paper is a sequel to [BKR], where we studied the derived affine scheme DRep_n(A) of the classical representation scheme Rep_n(A) for an associative k-algebra A. In [BKR], we have constructed canonical trace maps Tr_n(A): HC(A) -> H[DRep_n(A)]^GL extending the usual characters of representations to higher cyclic homology. This raises a question whether a well known theorem of Procesi [P] holds… ▽ More This paper is a sequel to [BKR], where we studied the derived affine scheme DRep_n(A) of the classical representation scheme Rep_n(A) for an associative k-algebra A. In [BKR], we have constructed canonical trace maps Tr_n(A): HC(A) -> H[DRep_n(A)]^GL extending the usual characters of representations to higher cyclic homology. This raises a question whether a well known theorem of Procesi [P] holds in the derived setting: namely, is the algebra homomorphism Sym[Tr_n(A)]: Sym[HC(A)] -> H[DRep_n(A)]^GL defined by Tr_n(A) surjective ? In the present paper, we answer this question for augmented algebras. Given such an algebra, we construct a canonical dense DG subalgebra DRep_\infty(A)^Tr of the topological DG algebra DRep_\infty(A)^{GL_\infty}. It turns out that on passing to the inverse limit (as n -> \infty), the family of maps Sym[Tr_n(A)] "stabilizes" to an isomorphism Sym[\bar{HC}(A)] = H[DRep_\infty(A)^Tr]. The derived version of Procesi's theorem does therefore hold in the limit. However, for a fixed (finite) n, there exist homological obstructions to the surjectivity of Sym[Tr_n(A)], and we show on simple examples that these obstructions do not vanish in general. We compare our result with the classical theorem of Loday-Quillen and Tsygan on stable homology of matrix Lie algebras. We show that the relative Chevalley-Eilenberg complex C(gl_\infty(A), gl_\infty(k); k) equipped with the natural coalgebra structure is Koszul dual to the DG algebra DRep_\infty(A)^Tr. We also extend our main results to bigraded DG algebras, in which case we show that DRep_{\infty}(A)^Tr = DRep_{\infty}(A)^GL_{\infty}. As an application, we compute the (bigraded) Euler characteristics of DRep_\infty(A)^GL_{\infty} and \bar{HC}(A) and derive some interesting combinatorial identities. △ Less

Submitted 11 February, 2014; v1 submitted 5 April, 2013; originally announced April 2013.

Comments: 34 pages. To appear in Journal fur die reine und angewandte Mathematik (Crelle's journal)

Journal ref: J. Reine Angew. Math. 715 (2016), 143-187

Dunkl Operators and Quasi-invariants of Complex Reflection Groups

Authors: Yuri Berest, Peter Samuelson

Abstract: These are lecture notes of a minicourse given by the first author at the Summer School on Quantization at the University of Notre Dame in June 2011. The notes were written up and expanded by the second author who took the liberty of adding a few interesting results and proofs from the literature. In a broad sense, our goal is to give an introduction to representation theory of rational Cherednik a… ▽ More These are lecture notes of a minicourse given by the first author at the Summer School on Quantization at the University of Notre Dame in June 2011. The notes were written up and expanded by the second author who took the liberty of adding a few interesting results and proofs from the literature. In a broad sense, our goal is to give an introduction to representation theory of rational Cherednik algebras and some of its recent applications. More specifically, we focus on the two concepts featuring in the title (Dunkl operators and quasi-invariants) and explain the relation between them. The course was originally designed for graduate students and nonexperts in representation theory. In these notes, we tried to preserve an informal style, even at the expense of making imprecise claims and sacrificing rigor. △ Less

Submitted 14 June, 2012; v1 submitted 6 March, 2012; originally announced March 2012.

Comments: 22 pages, minor typos corrected, final version

Noncommutative Poisson structures, derived representation schemes and Calabi-Yau algebras

Authors: Yuri Berest, Xiaojun Chen, Farkhod Eshmatov, Ajay Ramadoss

Abstract: Recantly, William Crawley-Boevey proposed the definition of a Poisson structure on a noncommutative algebra $A$ based on the Kontsevich principle. His idea was to find the {\it weakest} possible structure on $A$ that induces standard (commutative) Poisson structures on all representation spaces $ \Rep_V(A) $. It turns out that such a weak Poisson structure on $A$ is a Lie algebra bracket on the 0-… ▽ More Recantly, William Crawley-Boevey proposed the definition of a Poisson structure on a noncommutative algebra $A$ based on the Kontsevich principle. His idea was to find the {\it weakest} possible structure on $A$ that induces standard (commutative) Poisson structures on all representation spaces $ \Rep_V(A) $. It turns out that such a weak Poisson structure on $A$ is a Lie algebra bracket on the 0-th cyclic homology $ \HC_0(A) $ satisfying some extra conditions; it was thus called in an {\it $ H_0$-Poisson structure}. This paper studies a higher homological extension of this construction. In our more general setting, we show that noncommutative Poisson structures in the above sense behave nicely with respect to homotopy (in the sense that homotopy equivalent NC Poisson structures on $A$ induce (via the derived representation functor) homotopy equivalent Poisson algebra structures on the derved representation schemes $\DRep_V(A) $). For an ordinary algebra $A$, a noncommutative Poisson structure on a semifree (more generally, cofibrant) resolution of $A$ yields a graded (super) Lie algebra structure on the full cyclic homology $ \HC_\bullet(A) $ extending Crawley-Boevey's $\H_0$-Poisson structure on $ \HC_0(A) $. We call such structures {\it derived Poisson structures} on $A$. We also show that derived Poisson structures do arise in nature: the cobar construction $Ω(C)$ of an $(-n)$-cyclic coassociative DG coalgebra (in particular, of the linear dual of a finite dimensional $n$-cyclic DG algebra) $C$ carries a $(2-n)$-double Poisson bracket in the sense of Van den Bergh. This in turn induces a corresponding noncommutative $(2-n)$-Poisson structure on $Ω(C)$. When (the semifree) DG algebra $Ω(C)$ resolves an honest algebra $A$, $A$ acquires a derived $(2-n)$-Poisson structure. △ Less

Submitted 13 February, 2012; originally announced February 2012.

Comments: 22 pages

Derived Representation Schemes and Cyclic Homology

Authors: Yuri Berest, George Khachatryan, Ajay Ramadoss

Abstract: We describe the derived functor DRep_V(A) of the affine representation scheme Rep_V(A), parametrizing the representations of an associative k-algebra A on a finite-dimensional vector space V. We construct the characteristic maps Tr_V(A)_n: HC_n(A) \to H_n[DRep_V(A)], extending the canonical trace Tr_V(A): HC_0(A) \to k[Rep_V(A)] to the higher cyclic homology of the algebra A, and describe a relate… ▽ More We describe the derived functor DRep_V(A) of the affine representation scheme Rep_V(A), parametrizing the representations of an associative k-algebra A on a finite-dimensional vector space V. We construct the characteristic maps Tr_V(A)_n: HC_n(A) \to H_n[DRep_V(A)], extending the canonical trace Tr_V(A): HC_0(A) \to k[Rep_V(A)] to the higher cyclic homology of the algebra A, and describe a related derived version of the representation functor introduced recently by M. Van den Bergh. We study various operations on the homology of DRep_V(A) induced by known operations on cyclic and Hochschild homology of A. △ Less

Submitted 26 June, 2013; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: 52 pages; revised version; to appear in Advances Math

Trees, Amalgams and Calogero-Moser Spaces

Authors: Yuri Berest, Alimjon Eshmatov, Farkhod Eshmatov

Abstract: We describe the structure of the automorphism groups of algebras Morita equivalent to the first Weyl algebra $ A_1 $. In particular, we give a geometric presentation for these groups in terms of amalgamated products, using the Bass-Serre theory of groups acting on graphs. A key rôle in our approach is played by a transitive action of the automorphism group of the free algebra $ \c < x, y > $ on th… ▽ More We describe the structure of the automorphism groups of algebras Morita equivalent to the first Weyl algebra $ A_1 $. In particular, we give a geometric presentation for these groups in terms of amalgamated products, using the Bass-Serre theory of groups acting on graphs. A key rôle in our approach is played by a transitive action of the automorphism group of the free algebra $ \c < x, y > $ on the Calogero-Moser varieties $ \CC_n $ defined in \cite{BW}. Our results generalize well-known theorems of Dixmier and Makar-Limanov on automorphisms of $ A_1 $, answering an old question of Stafford (see \cite{St}). Finally, we propose a natural extension of the Dixmier Conjecture for $ A_1 $ to the class of Morita equivalent algebras. △ Less

Submitted 25 October, 2010; originally announced October 2010.

Comments: 12 pages, 2 figures

MSC Class: 16S32; 16W20; 20E06

A Simple Construction of Derived Representation Schemes

Authors: Yuri Berest, George Khachatryan, Ajay Ramadoss

Abstract: We present a simple algebraic construction of the (non-abelian) derived functors DRep_n(A) of the representation scheme Rep_n(A), parametrizing the n-dimensional representations of an associative algebra A. We construct a related derived version of the representation functor introduced recently by M. Van den Bergh and, as an application, compute the derived tangent spaces TDRep_n(A) to Rep_n(A). W… ▽ More We present a simple algebraic construction of the (non-abelian) derived functors DRep_n(A) of the representation scheme Rep_n(A), parametrizing the n-dimensional representations of an associative algebra A. We construct a related derived version of the representation functor introduced recently by M. Van den Bergh and, as an application, compute the derived tangent spaces TDRep_n(A) to Rep_n(A). We prove that our construction of DRep_n(A) agrees with an earlier construction of derived action spaces, due to I. Ciocan-Fontanine and M. Kapranov; however, our approach, proofs and motivation are quite different. This paper is mainly a research announcement; detailed proofs and applications will appear elsewhere. △ Less

Submitted 23 October, 2010; originally announced October 2010.

Comments: 8 pages

The Picard Group of a Noncommutative Algebraic Torus

Authors: Yuri Berest, Ajay Ramadoss, Xiang Tang

Abstract: We compute the Picard group $ Pic(A_q) $ of the noncommutative algebraic 2-torus $A_q$, describe its action on the space $ R(A_q) $ of isomorphism classes of rk 1 projective modules and classify the algebras Morita equivalent to $ A_q $. Our computations are based on a quantum version of the Calogero-Moser correspondence relating projective $A_q$-modules to irreducible representations of the doubl… ▽ More We compute the Picard group $ Pic(A_q) $ of the noncommutative algebraic 2-torus $A_q$, describe its action on the space $ R(A_q) $ of isomorphism classes of rk 1 projective modules and classify the algebras Morita equivalent to $ A_q $. Our computations are based on a quantum version of the Calogero-Moser correspondence relating projective $A_q$-modules to irreducible representations of the double affine Hecke algebras (DAHA) $ H_{t, q^{-1/2}}(S_n) $ at $ t = 1 $. We show that, under this correspondence, the action of $ Pic(A_q) $ on $ R(A_q) $ agrees with the action of $ SL_2(Z) $ on $ H_{t, q^{-1/2}}(S_n) $ constructed by I.Cherednik. We compare our results with smooth and analytic cases. In particular, when $ |q| \not= 1 $, we find that $ Pic(A_q) $ is isomorphic to the group of auto-equivalences $ Auteq(D^b(X))/Z $ of the bounded derived category of coherent sheaves on the elliptic curve $ X = C*/Z $ modulo translations. △ Less

Submitted 18 October, 2010; originally announced October 2010.

Comments: 15 pages

Quasi-Invariants of Complex Reflection Groups

Authors: Yuri Berest, Oleg Chalykh

Abstract: We introduce quasi-invariant polynomials for an arbitrary finite complex reflection group W. Unlike in the Coxeter case, the space Q_k of quasi-invariants of a given multiplicity is not, in general, an algebra but a module over the coordinate ring of some (singular) affine variety X_k. We extend the main results of Etingof, Ginzburg and the first author (see [BEG]) to this setting: in particular,… ▽ More We introduce quasi-invariant polynomials for an arbitrary finite complex reflection group W. Unlike in the Coxeter case, the space Q_k of quasi-invariants of a given multiplicity is not, in general, an algebra but a module over the coordinate ring of some (singular) affine variety X_k. We extend the main results of Etingof, Ginzburg and the first author (see [BEG]) to this setting: in particular, we show that the variety X_k and the module Q_k are Cohen-Macaulay, and the rings of differential operators on X_k and Q_k are simple rings, Morita equivalent to the Weyl algebra A_n(C), where n = dim X_k . Our approach relies on representation theory of complex Cherednik algebras and is parallel to that of [BEG]. As a by-product, we prove the existence of shift operators for an arbitrary complex reflection group, confirming a conjecture of Dunkl and Opdam. Another result is a proof of a conjecture of Opdam, concerning certain operations (KZ twists) on the set of irreducible representations of W. △ Less

Submitted 12 October, 2010; v1 submitted 23 December, 2009; originally announced December 2009.

Comments: 38 pages, final version, to appear in Compositio Math

MSC Class: 16S38; 14A22; 17B45

Differential operators on an affine curve: ideal classes and Picard groups

Authors: Yuri Berest, George Wilson

Abstract: Let X be a smooth complex affine curve, and let R be the space of right ideal classes in the ring D of differential operators on X. We introduce and study a fibration γ: R \to Pic(X). We relate this fibration to the corresponding one in the classical limit, and derive an integer invariant $ n $ which indexes the decomposition of the fibres of γinto Calogero-Moser spaces (see [BC]). We also study… ▽ More Let X be a smooth complex affine curve, and let R be the space of right ideal classes in the ring D of differential operators on X. We introduce and study a fibration γ: R \to Pic(X). We relate this fibration to the corresponding one in the classical limit, and derive an integer invariant $ n $ which indexes the decomposition of the fibres of γinto Calogero-Moser spaces (see [BC]). We also study the action of the group Pic(D) on our fibration; and we explain how to define γin the framework of the Grassmannian description of R due to Cannings and Holland. △ Less

Submitted 1 October, 2008; originally announced October 2008.

Comments: 12 pages

MSC Class: 16S32; 14H60

Calogero-Moser Spaces over Algebraic Curves

Authors: Yuri Berest

Abstract: In these notes, we give a survey of the main results of [BC] and [BW]. Our aim is to generalize the geometric classification of (one-sided) ideals of the first Weyl algebra $ A_1(C) $ (see [BW1, BW2]) to the ring $ D(X) $ of differential operators on an arbitrary complex smooth affine curve X. We approach this problem in two steps: first, we classify the ideals of D(X) up to stable isomorphism,… ▽ More In these notes, we give a survey of the main results of [BC] and [BW]. Our aim is to generalize the geometric classification of (one-sided) ideals of the first Weyl algebra $ A_1(C) $ (see [BW1, BW2]) to the ring $ D(X) $ of differential operators on an arbitrary complex smooth affine curve X. We approach this problem in two steps: first, we classify the ideals of D(X) up to stable isomorphism, in terms of the Picard group of X; then, we refine this classification by describing each stable isomorphism class as a disjoint union of (certain quotients of) generalized Calogero-Moser spaces C_n(X, I). The latter are defined as representation varieties of deformed preprojective algebras over a one-point extension of the ring of regular functions on X by the line bundle I. As in the classical case, C_n(X, I) turn out to be smooth irreducible varieties of dimension 2n. △ Less

Submitted 25 September, 2008; originally announced September 2008.

Comments: to appear in Selecta Math., 21 pp

MSC Class: 16S32; 16S38; 16G20; 14H60; 18E30

Ideals of Rings of Differential Operators on Algebraic Curves (With an Appendix by George Wilson)

Authors: Yuri Berest, Oleg Chalykh

Abstract: Let X be a complex smooth affine irreducible curve, and let D = D(X) be the ring of global differential operators on X. In this paper, we give a geometric classification of left ideals in $ D $ and study the natural action of the Picard group of D on the space J(D) of isomorphism classes of such ideals. We recall that, up to isomorphism in the Grothendieck group K_0(D), the ideals of D are classif… ▽ More Let X be a complex smooth affine irreducible curve, and let D = D(X) be the ring of global differential operators on X. In this paper, we give a geometric classification of left ideals in $ D $ and study the natural action of the Picard group of D on the space J(D) of isomorphism classes of such ideals. We recall that, up to isomorphism in the Grothendieck group K_0(D), the ideals of D are classified by the Picard group of X: there is a natural fibration γ: J(D) \to Pic(X), whose fibres are the stable isomorphism classes of ideals of D (see \cite{BW}). In this paper, we refine this classification by describing the fibres of γin terms of finite-dimensional algebraic varieties C_n(X, I), which we call the (generalized) Calogero-Moser spaces. We define these varieties as representation varieties of deformed preprojective algebras over a certain extension of the ring of regular functions on $ X $. As in the classical case (see \cite{Wi}), we prove that C_n(X, I) are smooth affine irreducible varieties of dimension 2n. Our results generalize the description of left ideals of the first Weyl algebra A_1(C) in \cite{BW1, BW2}; however, our methods are quite different. △ Less

Submitted 12 October, 2010; v1 submitted 18 September, 2008; originally announced September 2008.

Comments: 40 pages, substantially revised version: proofs are shortened, exposition is improved, new references are added

MSC Class: 16S32; 16S38; 16G20; 14H60; 18E30

Recollement of Deformed Preprojective Algebras and the Calogero-Moser Correspondence

Authors: Yuri Berest, Oleg Chalykh, Farkhod Eshmatov

Abstract: The aim of this paper is to clarify the relation between the following objects: $ (a) $ rank 1 projective modules (ideals) over the first Weyl algebra $ A_1(\C)$; $ (b) $ simple modules over deformed preprojective algebras $ Π_λ(Q) $ introduced by Crawley-Boevey and Holland; and $ (c) $ simple modules over the rational Cherednik algebras $ H_{0,c}(S_n) $ associated to symmetric groups. The isomo… ▽ More The aim of this paper is to clarify the relation between the following objects: $ (a) $ rank 1 projective modules (ideals) over the first Weyl algebra $ A_1(\C)$; $ (b) $ simple modules over deformed preprojective algebras $ Π_λ(Q) $ introduced by Crawley-Boevey and Holland; and $ (c) $ simple modules over the rational Cherednik algebras $ H_{0,c}(S_n) $ associated to symmetric groups. The isomorphism classes of each type of these objects can be parametrized geometrically by the same space (namely, the Calogero-Moser algebraic varieties); however, no natural functors between the corresponding module categories seem to be known. We construct such functors by translating our earlier results on $\A$-modules over $ A_1 $ to a more familiar setting of representation theory. In the last section we extend our construction to the case of Kleinian singularities $ \C^2/Γ$, where $ Γ$ is a finite cyclic subgroup of $ \SL(2, \C) $. △ Less

Submitted 20 June, 2007; originally announced June 2007.

Comments: 16 pp., LaTex, to appear in Moscow Math. J.(2007)

Mad Subalgebras of Rings of Differential Operators on Curves

Authors: Yuri Berest, George Wilson

Abstract: We study the maximal abelian ad-nilpotent (mad) subalgebras of the domains D Morita equivalent to the first Weyl algebra. We give a complete description both of the individual mad subalgebras and of the space of all such. A surprising consequence is that this last space is independent of D. Our results generalize some classic theorems of Dixmier about the Weyl algebra. We study the maximal abelian ad-nilpotent (mad) subalgebras of the domains D Morita equivalent to the first Weyl algebra. We give a complete description both of the individual mad subalgebras and of the space of all such. A surprising consequence is that this last space is independent of D. Our results generalize some classic theorems of Dixmier about the Weyl algebra. △ Less

Submitted 6 October, 2006; v1 submitted 12 January, 2005; originally announced January 2005.

Comments: Revised (and slightly extended) version, 25 pages; to appear in Advances in Math. (2007)

$A_{\infty}$-modules and Calogero-Moser Spaces

Authors: Yuri Berest, Oleg Chalykh

Abstract: We re-examine the bijective correspondence between the set of isomorphism classes of ideals of the first Weyl algebra and associated quiver varieties (Calogero-Moser spaces) \cite{BW1, BW2}. We give a new explicit construction of this correspondence based on the notion of $\A$-envelope of a rank one torsion-free $A_1$-module. Though perhaps less geometric than other methods, our approach is much… ▽ More We re-examine the bijective correspondence between the set of isomorphism classes of ideals of the first Weyl algebra and associated quiver varieties (Calogero-Moser spaces) \cite{BW1, BW2}. We give a new explicit construction of this correspondence based on the notion of $\A$-envelope of a rank one torsion-free $A_1$-module. Though perhaps less geometric than other methods, our approach is much simpler and seems more natural from the point of view of deformation theory. △ Less

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

Comments: Final version (revised, with new appendix)

Journal ref: J. reine angew. Math. 607 (2007), 69-112

Differential Isomorphism and Equivalence of Algebraic Varieties

Authors: Yuri Berest, George Wilson

Abstract: In this survey article we discuss the question: to what extent is an algebraic variety determined by its ring of differential operators? In the case of affine curves, this question leads to a variety of mathematical notions such as the Weyl algebra, Calogero-Moser spaces and the adelic Grassmannian. We give a fairly detailed overview of this material. In this survey article we discuss the question: to what extent is an algebraic variety determined by its ring of differential operators? In the case of affine curves, this question leads to a variety of mathematical notions such as the Weyl algebra, Calogero-Moser spaces and the adelic Grassmannian. We give a fairly detailed overview of this material. △ Less

Submitted 22 April, 2003; originally announced April 2003.

Comments: 22 pages, to appear in a volume dedicated to Graeme Segal's 60th birthday

A Remark on Letzter-Makar-Limanov Invariants

Authors: Yuri Berest

Abstract: We give a natural cohomological interpretation of Letzter-Makar-Limanov invariants for rings of differential operators on algebraic curves. We give a natural cohomological interpretation of Letzter-Makar-Limanov invariants for rings of differential operators on algebraic curves. △ Less

Submitted 11 April, 2003; originally announced April 2003.

Comments: 7 pages, to appear in the Proceedings of the Workshop ``Commutative Algebra, Algebraic Geometry and Representation Theory'' (Fields Institute, Toronto, August 2002)

Finite dimensional representations of rational Cherednik algebras

Authors: Yuri Berest, Pavel Etingof, Victor Ginzburg

Abstract: 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. 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. △ Less

Submitted 4 September, 2002; v1 submitted 19 August, 2002; originally announced August 2002.

Comments: 29 pp., LaTeX. Exposition improved, some details added

Morita Equivalence of Cherednik Algebras

Authors: Yuri Berest, Pavel Etingof, Victor Ginzburg

Abstract: 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. 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. △ Less

Submitted 11 April, 2003; v1 submitted 31 July, 2002; originally announced July 2002.

Comments: Final version, to appear in Crelles Journal

Cherednik algebras and differential operators on quasi-invariants

Authors: Yuri Berest, Pavel Etingof, Victor Ginzburg

Abstract: We develop representation theory of the rational Cherednik algebra H associated to a finite Coxeter group W in a vector space h. It is applied to show that, for integral values of parameter `c', the algebra H is simple and Morita equivalent to D(h)#W, the cross product of W with the algebra of polynomial differential operators on h. We further study an algebra Q of quasi-invariant polynomials… ▽ More We develop representation theory of the rational Cherednik algebra H associated to a finite Coxeter group W in a vector space h. It is applied to show that, for integral values of parameter `c', the algebra H is simple and Morita equivalent to D(h)#W, the cross product of W with the algebra of polynomial differential operators on h. We further study an algebra Q of quasi-invariant polynomials on h introduced by Chalykh, Feigin, and Veselov [CV], [FV], such that C[h]^W \subset Q \subset C[h]. We prove that the algebra D(Q) of differential operators on quasi-invariants is a simple algebra, Morita equivalent to D(h). The subalgebra D(Q)^W of W-invariant operators turns out to be isomorphic to the spherical subalgebra eHe \subset H. We also show that D(Q) is generated, as an algebra, by Q and its `Fourier dual Q*, and that D(Q) is a rank one projective (Q-Q*)-module (via multiplication-action on D(Q) on opposite sides). △ Less

Submitted 5 January, 2010; v1 submitted 31 October, 2001; originally announced November 2001.

Comments: A few mistakes concerning certain KZ twists, which were overlooked in the published version, are corrected in the present version. The corrections involve Proposition 6.6 and Theorems 8.15(i) and 8.16. Also the statement of Conjecture 8.12 is corrected to include possible changes of sign of values of c

Ideal Classes of the Weyl Algebra and Noncommutative Projective Geometry (with an Appendix by M. Van den Bergh)

Authors: Yuri Berest, George Wilson

Abstract: Let R be the set of isomorphism classes of ideals in the Weyl algebra $A=A_{1}$, and let C be the set of isomorphism classes of triples (V; X, Y), where V is a finite-dimensional (complex) vector space, and X, Y are endomorphisms of V such that [X,Y]+I has rank 1. Following a suggestion of L. Le Bruyn, we define a map $θ: R \to C$ by appropriately extending an ideal of A to a sheaf over a quantu… ▽ More Let R be the set of isomorphism classes of ideals in the Weyl algebra $A=A_{1}$, and let C be the set of isomorphism classes of triples (V; X, Y), where V is a finite-dimensional (complex) vector space, and X, Y are endomorphisms of V such that [X,Y]+I has rank 1. Following a suggestion of L. Le Bruyn, we define a map $θ: R \to C$ by appropriately extending an ideal of A to a sheaf over a quantum projective plane, and then using standard methods of homological algebra. We prove that $θ$ is inverse to a bijection $ω: C \to R$ constructed in \cite{BW} by a completely different method. The main step in the proof is to show that $θ$ is equivariant with respect to natural actions of the group G=Aut(A) on R and C: for that we have to study also the extensions of an ideal to certain weighted quantum projective planes. Along the way, we find an elementary description of θ. △ Less

Submitted 8 August, 2001; v1 submitted 25 April, 2001; originally announced April 2001.

Comments: 38 pages, an Appendix by M. Van den Bergh has been added; the labels in quiver diagrams have been fixed

Automorphisms and Ideals of the Weyl Algebra

Authors: Yuri Berest, George Wilson

Abstract: Let $A_1$ be the (first) Weyl algebra, and let $G$ be its automorphism group. We study the natural action of $G$ on the space of isomorphism classes of right ideals of $A_1$ (equivalently, of finitely generated rank 1 torsion-free right $A_1$-modules). We show that this space breaks up into a countable number of orbits each of which is a finite dimensional algebraic variety. Our results are stri… ▽ More Let $A_1$ be the (first) Weyl algebra, and let $G$ be its automorphism group. We study the natural action of $G$ on the space of isomorphism classes of right ideals of $A_1$ (equivalently, of finitely generated rank 1 torsion-free right $A_1$-modules). We show that this space breaks up into a countable number of orbits each of which is a finite dimensional algebraic variety. Our results are strikingly similar to those for the commutative algebra of polynomials in two variables; however, we do not know of any general principle that would allow us to predict this in advance. As a key step in the proof, we obtain a new description of the bispectral involution of \cite{W1}. We also make some comments on the group $G$ from the viewpoint of Shafaravich's theory of infinite dimensional algebraic groups. △ Less

Submitted 24 February, 2001; originally announced February 2001.

Comments: 17 pages

Journal ref: Math. Ann. 318, 127-147 (2000)

D-modules and Darboux transformations

Authors: Yu. Berest, A. Kasman

Abstract: A method of G. Wilson for generating commutative algebras of ordinary differential operators is extended to higher dimensions. Our construction, based on the theory of D-modules, leads to a new class of examples of commutative rings of partial differential operators with rational spectral varieties. As an application, we briefly discuss their link to the bispectral problem and to the theory of l… ▽ More A method of G. Wilson for generating commutative algebras of ordinary differential operators is extended to higher dimensions. Our construction, based on the theory of D-modules, leads to a new class of examples of commutative rings of partial differential operators with rational spectral varieties. As an application, we briefly discuss their link to the bispectral problem and to the theory of lacunas. △ Less

Submitted 23 October, 1997; originally announced October 1997.

Comments: to appear Lett. Math. Phys

Report number: CRM-2499