If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if ${𝒟}_X^{\left(\infty \right)}$ is the sheaf of differential operators on $X$ [7], it is well known that giving an action of ${𝒟}_X^{\left(\infty \right)}$ on an ${𝒪}_X$-module $ℰ$ is equivalent to giving an infinite sequence of ${𝒪}_X$-modules descending $ℰ$ via the iterates of the Frobenius endomorphism of $X$ [5]. We show that this result can be generalized to any infinitesimal deformation $f:X\to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic...

We connect the theorems of Rentschler [rR68] and Dixmier [jD68] on locally nilpotent derivations and automorphisms of the polynomial ring $A_0$ and of the Weyl algebra $A_1$, both over a field of characteristic zero, by establishing the same type of results for the family of algebras $$A_h=\langle x,y\mid yx-xy=h\left(x\right)\rangle ,$$ where $h$ is an arbitrary polynomial in $x$. In the second part of the paper we consider a field $𝔽$ of prime characteristic and study $𝔽\left[t\right]$comodule algebra structures on $A_h$. We also compute the Makar-Limanov invariant of absolute constants...

Soit $A_1\left(ℂ\right)$ la première algèbre de Weyl sur $ℂ$. La codimension B-W d’un idéal à droite non nul $I$ de $A_1\left(ℂ\right)$ a été introduite par Yuri Berest et George Wilson. Nous montrons d’une part que cette codimension est invariante par la relation de Stafford : si $x\in Q_1=\mathrm{Frac}\left(A_1\left(ℂ\right)\right)$, le corps de fractions de $A_1\left(ℂ\right)$, et si $\sigma \in \mathrm{Aut}\left(A_1\left(ℂ\right)\right)$, le groupe des $ℂ$-automorphismes de $A_1\left(ℂ\right)$, sont tels que $J=x\sigma \left(I\right)$ soit un idéal à droite de $A_1\left(ℂ\right)$, alors $\mathrm{codim}I=\mathrm{codim}x\sigma \left(I\right)$. Nous relions d’autre part la codimension d’un idéal $I$ à la codimension de Gail Letzter-Makar Limanov, de $\mathrm{End}\left(I\right)$, l’anneau des endomorphismes...

This paper deals with the notion of Gröbner δ-base for some rings of linear differential operators by adapting the works of W. Trinks, A. Assi, M. Insa and F. Pauer. We compare this notion with the one of Gröbner base for such rings. As an application we give some results on finiteness and on flatness of finitely generated left modules over these rings.

The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflection functors and shift functors for generalized preprojective algebras and symplectic reflection algebras...

We compute Hochschild homology and cohomology of a class of generalized Weyl algebras, introduced by V. V. Bavula in St. Petersbourg Math. Journal, 4 (1) (1999), 71-90. Examples of such algebras are the n-th Weyl algebras, $𝒰\left(𝔰{𝔩}_2\right)$, primitive quotients of $𝒰\left(𝔰{𝔩}_2\right)$, and subalgebras of invariants of these algebras under finite cyclic groups of automorphisms. We answer a question of Bavula–Jordan (Trans. A.M.S., 353 (2) (2001), 769-794) concerning the generators of the group of automorphisms of a generalized Weyl...

We determine the Hochschild homology and cohomology of the generalized Weyl algebras of rank one which are of ‘quantum’ type in all but a few exceptional cases.

Let $𝔤$ be a complex, semisimple Lie algebra, with an involutive automorphism $\vartheta$ and set $𝔨=\mathrm{Ker}(\vartheta -I)$, $𝔭=\mathrm{Ker}(\vartheta +I)$. We consider the differential operators, $𝒟(𝔭{)}^K$, on $𝔭$ that are invariant under the action of the adjoint group $K$ of $𝔨$. Write $\tau :𝔨\to \mathrm{Der}𝒪\left(𝔭\right)$ for the differential of this action. Then we prove, for the class of symmetric pairs $(𝔤,𝔨)$ considered by Sekiguchi, that $\left\{d\in 𝒟\left(𝔭\right):d\left(𝒪(𝔭{)}^K\right)=0\right\}=𝒟\left(𝔭\right)\tau \left(𝔨\right)$. An immediate consequence of this equality is the following result of Sekiguchi: Let $({𝔤}_0,{𝔨}_0)$ be a real form of one of these symmetric pairs $(𝔤,𝔨)$, and suppose that $T$ is a $K_0$-invariant...