Generators and defining relations for ring of differential operators on smooth affine algebraic variety in prime characteristic
نویسنده
چکیده
For the ring of differential operators D(O(X)) on a smooth affine algebraic variety X over a perfect field of characteristic p > 0, a set of algebra generators and a set of defining relations are found explicitly. A finite set of generators and a finite set of defining relations are given explicitly for the module DerK(O(X)) of derivations on the algebra O(X) of regular functions on the variety X . For an arbitrary irreducible affine algebraic variety X , it is proved that each term D(O(X))i of the order filtration D(O(X)) = ∪i≥0D(O(X))i is a finitely generated left O(X)-module. The same results are true for ring of differential operators on regular algebra of essentially finite type. Mathematics subject classification 2000: 13N10, 16S32, 13N15, 14J17.
منابع مشابه
A pr 2 00 5 Generators and defining relations for the ring of differential operators on a smooth affine algebraic variety
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 DerK(O(X)) of derivations on the algebra O(X) of regular functions on the vari...
متن کاملGelfand-Kirillov Dimension of Commutative Subalgebras of Simple Infinite Dimensional Algebras and their Quotient Division Algebras
Throughout this paper, K is a field, a module M over an algebra A means a left module denoted AM , ⊗ = ⊗K . In contrast to the finite dimensional case, there is no general theory of central simple infinite dimensional algebras. In some sense, structure of simple finite dimensional algebras is ‘determined’ by their maximal commutative subalgebras (subfields)[see [18] for example]. Whether this s...
متن کاملGenerators and Relations of the Affine Coordinate Rings of Connected Semisimple Algebraic Groups
Let G be a connected semisimple algebraic group over an algebraically closed field of characteristic zero. A canonical presentation by generators and relations of the algebra of regular functions on G is found. The conjectures of D.Flath and J.Towber, [FT], are proved. (1) Let G be a connected semisimple algebraic group over an algebraically closed field k of characteristic zero. We obtain here...
متن کاملQuantum Differential Operators on K[x]
Following the definition of quantum differential operators given in [LR1], we show that the ring of quantum differential operators on the affine line is the ring generated by x and ∂, the familiar differential operators on the line, along with two additional operators which we call ∂ 1 and ∂ −1 . We describe this ring both as a subring of the ring of graded endomorphisms and as a ring given by ...
متن کاملInvariants of Algebraic Group Actions in Arbitrary Characteristic
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] in the case where G is reductive. Furthermore, we address the case where G is connected and unipotent, so the invariant ring need not be finitely generated. For this case, we develop an algorithm which computes K[X] in terms of a so-called colon-operation...
متن کامل