-
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.
-
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.
-
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.
-
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.
-
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.
-
Heat Kernel Coefficients for Two-Dimensional Schrodinger Operators
Authors:
Yuri Berest,
Tim Cramer,
Farkhod Eshmatov
Abstract:
In this note, we compute the Hadamard coefficients of (algebraically) integrable Schrodinger operators in two dimensions. These operators first appeared in [BL] and [B] in connection with Huygens' principle, and our result completes, in a sense, the investigation initiated in those papers.
In this note, we compute the Hadamard coefficients of (algebraically) integrable Schrodinger operators in two dimensions. These operators first appeared in [BL] and [B] in connection with Huygens' principle, and our result completes, in a sense, the investigation initiated in those papers.
△ Less
Submitted 18 September, 2008; v1 submitted 26 October, 2007;
originally announced October 2007.
-
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.
