Related papers: Generators and defining relations for the ring of …

For ring of differential operators on smooth affine algebraic variety over perfect field of prime characteristic a set of algebra generators and a set of defining relations are found explicitly.

Let $A$ be an algebra over a field $K$ of characteristic zero, let $\d_1, >..., \d_s\in \Der_K(A)$ be {\em commuting locally nilpotent} $K$-derivations such that $\d_i(x_j)=\d_{ij}$, the Kronecker delta, for some elements $x_1,..., x_s\in…

By reading a standard formula for the ring of Grothendieck differential operators in a derived way, we construct a derived (sheaf of) ring of Grothendieck differential operators for Noetherian schemes $X$ separated and finite-type over a…

For a smooth scheme $X$ over a perfect field $k$ of positive characteristic, we define (for each $m\in\mathbb{Z}$) a sheaf of rings $\mathcal{\widehat{D}}_{W(X)}^{(m)}$ of differential operators (of level $m$) over the Witt vectors of $X$.…

We consider the following question: When are rings of differential operators coherent? If $A$ is a finitely generated smooth domain over a field $k$ of characteristic $0$, then the ring $D$ of differential operators on $A$ is a Noetherian…

Let $D$ be a division algebra such that $D\t D^o$ is a Noetherian algebra, then any division subalgebra of $D$ is a {\em finitely generated} division algebra. Let $\D $ be a finite set of commuting derivations or automorphisms of the…

We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…

For a Noetherian scheme $X$ of finite Krull dimension, Neeman recently established two characterizations of the regularity of $X$ using strong generators and bounded $t$-structures on $\operatorname{Perf}(X)$. In this note, we obtain…

Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and…

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…

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…

Let $k$ be an algebraically closed field of characteristic 0 and let $A$ be a finitely generated $k$-algebra that is a domain whose Gelfand-Kirillov dimension is in $[2,3)$. We show that if $A$ has a nonzero locally nilpotent derivation…

It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential…

For a projective variety $X$ and a line bundle $L$ over $X$, one considers the $L-$twisted global differential operator algebra $\call{D}_L(X)$ which naturally operates on the space of global sections $H^0(X,L)$. In the case where $X$ is…

The notion of defining relations is well-defined for any nilpotent Lie algebra. Therefore a conventional way to present a simple Lie algebra G is by splitting it into the direct sum of a commutative Cartan subalgebra and two maximal…

This article investigates the differential smoothness of various five-dimensional Artin-Schelter regular algebras. By analyzing the relationship between the number of generators and the Gelfand-Kirillov dimension, we provide structural…

Let D be the ring of differential operators on a smooth irreducible affine variety X over the complex numbers; or, more generally, the enveloping algebra of any locally free Lie algebroid on X. The category of finitely-generated graded…

Let ${\mathfrak o}$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ and ${\mathfrak X}_0$ a smooth formal scheme over the formal spectrum of ${\mathfrak o}$. Given an admissible formal blow-up ${\mathfrak X}$ of…

Let O be the minimal nilpotent adjoint orbit in a classical complex semisimple Lie algebra g. O is a smooth quasi-affine variety stable under the Euler dilation action $C^*$ on g. The algebra of differential operators on O is D(O)=D(Cl(O))…

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…