Geometric interplay between function subspaces and their rings of differential operators

Estas notas son las memorias del cursillo dictado en el XXII Congreso Colombiano de Matem\'aticas en la Universidad del Cauca en Popay\'an - Colombia. El objetivo de este escrito es brindar un acercamiento a la teor\'ia de m\'odulos sobre el anillo de operadores diferenciales de una variedad algebraica suave. These are the lecture notes of a short course given at the XXII Colombian Congress of Mathematics held at Universidad del Cauca in Popay\'an - Colombia. The aim of thi...

Several algebro-geometric properties of commutative rings of partial differential operators as well as several geometric constructions are investigated. In particular, we show how to associate a geometric data by a commutative ring of partial differential operators, and we investigate the properties of these geometric data. This construction is similar to the construction of a formal module of Baker-Akhieser functions. On the other hand, there is a recent generalization of Sa...

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.

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 \gamma: J(D) \to Pic(...

For a smooth algebraic variety $X$, we study the category of finitely generated modules over the ring of function of $X$ that has a compatible action of the Lie algebra $\mathcal{V}$ of polynomials vector fields on $X$. We show that the associated representation of $\mathcal{V}$ is given by a differential operator of order depending on the rank of the module. The order of the differential operator provides a natural measure of the complexity of the representation, with the si...

For the ring of differential operators on a smooth affine algebraic variety $X$ over a field of characteristic zero a finite set of algebra generators and a finite set of defining relations are found explicitly. As a consequence, a finite set of generators and a finite set of defining relations are given for the module $\Der_K(\OO (X))$ of derivations on the algebra $\OO (X)$ of regular functions on the variety $X$. For the variety $X$ which is not necessarily smooth, a set o...

We investigate the structure of the ring ${\mathbb D}_G(X)$ of $G$-invariant differential operators on a reductive spherical homogeneous space $X=G/H$ with an overgroup $\widetilde{G}$. We consider three natural subalgebras of ${\mathbb D}_G(X)$ which are polynomial algebras with explicit generators, namely the subalgebra ${\mathbb D}_{\widetilde{G}}(X)$ of $\widetilde{G}$-invariant differential operators on $X$ and two other subalgebras coming from the centers of the envelop...

Let $R$ be a commutative ring, $\mathcal A$ an $R$-algebra (not necessarily commutative) and $V$ an $R$-subspace or $R$-submodule of $\mathcal A$. By the radical of $V$ we mean the set of all elements $a\in \mathcal A$ such that $a^m\in V$ for all $m\gg 0$. We derive (and show) some necessary conditions satisfied by the elements in the radicals of the kernel of some (partial) differential operators, such as all differential operators of commutative algebras; the differential ...

Let W be a finite dimensional representation of a linearly reductive group G over a field k. Motivated by their work on classical rings of invariants, Levasseur and Stafford asked whether the ring of invariants under G of the symmetric algebra of W has a simple ring of differential operators. In this paper, we show that this is true in prime characteristic. Indeed, if R is a graded subring of a polynomial ring over a perfect field of characteristic p>0 and if the inclusionof ...

If $(G,V)$ is a multiplity free space with a one dimensional quotient we give generators and relations for the non-commutative algebra $D(V)^{G'}$ of invariant differential operators under the semi-simple part $G'$ of the reductive group $G$. More precisely we show that $D(V)^{G'}$ is the quotient of a Smith algebra by a completely described two-sided ideal.