We study differential operators on an elliptic curve of order higher than 2
which are algebraically integrable (i.e., finite gap). We discuss
classification of such operators of order 3 with one pole, discovering exotic
operators on special elliptic curves defined over ${\mathbb Q}$ which do not
deform to generic elliptic curves.
We reduce the computation of Poisson traces on quotients of symplectic vector
spaces by finite subgroups of symplectic automorphisms to a finite one, by
proving several results which bound the degrees of such traces as well as the
dimension in each degree. This applies more generally to traces on all
polynomial functions which are invariant under invariant Hamiltonian flow.
To every irreducible finite crystallographic reflection group (i.e., an
irreducible finite reflection group G acting faithfully on an abelian variety
X), we attach a family of classical and quantum integrable systems on X (with
meromorphic coefficients). These families are parametrized by G-invariant
functions of pairs (T,s), where T is a hypertorus in X (of codimension 1), and
s in G is a reflection acting trivially on T. If G is a real reflection group,
these families reduce to the known generalizations of elliptic Calogero-Moser
systems, but in the non-real case they appear to be new.
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.
The present notes are based on a course on Cherednik algebras given by the
first author at MIT in the Fall of 2009. Their goal is to give an introduction
to Cherednik algebras, and to review the web of connections between them and
other mathematical objects.
We determine the support of the irreducible spherical representation (i.e.,
the irreducible quotient of the polynomial representation) of the rational
Cherednik algebra of a finite Coxeter group for any value of the parameter c.
In particular, we determine for which values of c this representation is finite
dimensional. This generalizes a result of Varagnolo and Vasserot,
arXiv:0705.2691, who classified finite dimensional spherical representations in
the case of Weyl groups and equal parameters (i.e., when c is a constant
function).
We introduce parabolic induction and restriction functors for rational
Cherednik algebras, and study their basic properties. Then we discuss
applications of these functors to representation theory of rational Cherednik
algebras. In particular, we prove the Gordon-Stafford theorem about Morita
equivalence of the rational Cherednik algebra for type A and its spherical
subalgebra, without the assumption that c is not a half-integer, which was
required up to now.
We apply the yoga of classical homotopy theory to classification problems of
G-extensions of fusion and braided fusion categories, where G is a finite
group. Namely, we reduce such problems to classification (up to homotopy) of
maps from BG to classifiying spaces of certain higher groupoids. In particular,
to every fusion category C we attach the 3-groupoid BrPic(C) of invertible
C-bimodule categories, called the Brauer-Picard groupoid of C, such that
equivalence classes of G-extensions of C are in bijection with homotopy classes
of maps from BG to the classifying space of BrPic(C).
To every Poisson algebraic variety X over an algebraically closed field of
characteristic zero, we canonically attach a right D-module M(X) on X. If X is
affine, solutions of M(X) in the space of algebraic distributions on X are
Poisson traces on X, i.e., distributions invariant under Hamiltonian flows.
When X has finitely many symplectic leaves, we prove that M(X) is holonomic.
Thus, when X is affine and has finitely many symplectic leaves, the space of
Poisson traces on X is finite-dimensional.
To every Poisson algebraic variety X over an algebraically closed field of
characteristic zero, we canonically attach a right D-module M(X) on X. If X is
affine, solutions of M(X) in the space of algebraic distributions on X are
Poisson traces on X, i.e., distributions invariant under Hamiltonian flows.
When X has finitely many symplectic leaves, we prove that M(X) is holonomic.
Thus, when X is affine and has finitely many symplectic leaves, the space of
Poisson traces on X is finite-dimensional.