Simplicity of Rings of Differential Operators in Prime Characteristic

DOI10.1112/S0024611597000257MaRDI QIDQ4351431zbMATH OpenOpenAlexFDO

Authors K. E. Smith, Michel Van den Bergh

Publication date 5 May 1999

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0209275

zbMATH Keywords

finite representation typeFrobenius functorsprime characteristicrings of differential operatorsrings of invariantssimple rings

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Commutative rings of differential operators and their modules (13N10) Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Rings of differential operators (associative algebraic aspects) (16S32)

Abstract: 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 R into S splits, then D_k(R) is a simple ring. In the last section of the paper, we discuss how one might try to deduce the characteristic zero case from this result. As yet, however, this is a subtle problem and the answer to the question of Levasseur and Stafford remains open in characteristic zero.

Review text

Motivated by conjectures on the simplicity of the ring \(D(R)\) of differential operators on a \(k\)-algebra \(R\), this paper is devoted to the question of simplicity of such rings in the case where \(k\) has characteristic \(p>0\). The authors first study rings of differential operators and the corresponding derived functors. In prime characteristic, they next discuss the Frobenius functor and strong F-regularity and relations between differential operators and the Frobenius functor. To study the behavior of modules under the Frobenius functor, the authors first introduce and study the concept of finite F-representation type restricting to two classes of rings \(R\). The case where \(R\) is the ring of invariants for the action of a linearly reductive group is studied in more detail. The main theorem of the paper states that for the two classes of rings \(R\) from above, strong F-regularity and finite F-representation type implies simplicity of the ring of differential operators on \(R\). Several corollaries of this result proving simplicity of the ring of differential operators in quite general situations are obtained. Finite dimensional representations of \(D(R)\) and the question of simplicity of \(R\) as a \(D(R)\)-module are discussed next. The final section is devoted to the question of generalizing the results to characteristic zero.

Recommendations

• scientific article; zbMATH DE number 3966268
• Simplicity criteria for rings of differential operators
• Operateurs differentiels sur les algebres non reduites
• Global Dimension of Differential Operator Rings. IV – Simple Modules

Cited in

(84)

• Simplicity of partial and Schmidt differential operator rings
• Differential operators on monomial rings
• \(D\)-modules, Bernstein-Sato polynomials and \(F\)-invariants of direct summands
• Non-commutative resolutions of quotient singularities for reductive groups
• F-signature function of quotient singularities
• Non-commutative crepant resolutions of Hibi rings with small class group
• \(F\)-signature and Hilbert-Kunz multiplicity: a combined approach and comparison
• Dual F-signature of special Cohen-Macaulay modules over cyclic quotient surface singularities
• \(F\)-signature of pairs and the asymptotic behavior of Frobenius splittings
• The F-signature of an affine semigroup ring
• Local Okounkov bodies and limits in prime characteristic
• Good filtrations and strong F-regularity of the ring of U_P-invariants
• Annihilators of local cohomology modules and simplicity of rings of differential operators
• Non-commutative resolutions of toric varieties
• \(F\)-invariants of Stanley-Reisner rings
• Generalized \(F\)-signatures of Hibi rings
• Symmetry on rings of differential operators
• Bigness of the tangent bundle of del Pezzo surfaces and D-simplicity
• Conic divisorial ideals and non-commutative crepant resolutions of edge rings of complete multipartite graphs
• \(F\)-volumes
• Equimultiplicity theory of strongly \(F\)-regular rings
• The Frobenius morphism in invariant theory. II
• The FFRT property of two-dimensional normal graded rings and orbifold curves
• Noetherian operators, primary submodules and symbolic powers
• On monotonicity of F-blowup sequences
• Generators and defining relations for the ring of differential operators on a smooth affine algebraic variety in prime characteristic
• Conic divisorial ideals of Hibi rings and their applications to non-commutative crepant resolutions
• Quantifying singularities with differential operators
• On the limit of Frobenius in the Grothendieck group
• When does the F-signature exist?
• Noncommutative resolution, F-blowups and \(D\)-modules
• Some extensions of Hilbert-Kunz multiplicity
• Globalizing F-invariants
• Primitive ideals of the ring of differential operators on a affine toric variety
• Observations on the \(F\)-signature of local rings of characteristic \(p\)
• The Frobenius morphism in invariant theory
• F-blowups of F-regular surface singularities
• Rings of Frobenius operators
• Extensions of the Frobenius to the ring of differential operators on a polynomial algebra in prime characteristic
• A Guided Tour to Normalized Volume
• Dimension, multiplicity, holonomic modules, and an analogue of the inequality of Bernstein for rings of differential operators in prime characteristic
• Tight closure
• On the existence of \(F\)-thresholds and related limits
• \(F\)-singularities: applications of characteristic \(p\) methods to singularity theory
• F-signature under birational morphisms
• A note on the use of Frobenius map and D-modules in local cohomology
• Fundamental groups of F-regular singularities via F-signature
• Bernstein-Sato theory for arbitrary ideals in positive characteristic
• Generalized F-signature of invariant subrings
• The symmetric signature
• Derived functors of differential operators
• The number of torsion divisors in a strongly \(F\)-regular ring is bounded by the reciprocal of \(F\)-signature
• Simplicity criteria for rings of differential operators
• Continuity of Hilbert-Kunz multiplicity and F-signature
• On the associated primes of local cohomology
• Differential symmetric signature in high dimension
• FFRT properties of hypersurfaces and their F-signatures
• A remark on bigness of the tangent bundle of a smooth projective variety and \(D\)-simplicity of its section rings
• Lower bounds on Hilbert–Kunz multiplicities and maximal F-signatures
• Looking out for Frobenius summands on a blown-up surface of \(\mathbb{P}^{2}\)
• Differential operators on classical invariant rings do not lift modulo p
• Purity of monoids and characteristic-free splittings in semigroup rings
• Bernstein-Sato theory for singular rings in positive characteristic
• Homogeneous coordinate rings as direct summands of regular rings
• One-dimensional rings of finite F-representation type
• On Segre products, F-regularity, and finite Frobenius representation type
• The theory of F-rational signature
• On the \(F\)-pure threshold of the homogeneous maximal ideal of a Stanley-Reisner ring
• Frobenius representation type for invariant rings of finite groups
• The defect of the F-pure threshold
• Computing direct sum decompositions
• Some algebras with trivial rings of differential operators
• \(F\)-signature exists
• Bernstein's inequality and holonomicity for certain singular rings
• Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups
• An invitation to equimultiplicity of F-invariants
• Homological properties of invariant rings of permutation groups
• Asymptotic colengths for families of ideals: an analytic approach
• Limit F-signature functions of two-variable binomial hypersurfaces
• Indecomposability of graded modules over a graded ring
• h-function, Hilbert-Kunz density function and Frobenius-Poincaré function
• The direct sum decomposability of ^eM in dimension 2
• Dual F-signature of Cohen-Macaulay modules over rational double points
• The existence of the \(F\)-signature for rings with large \(\mathbb Q\)-Gorenstein locus

This page was built for publication: Simplicity of Rings of Differential Operators in Prime Characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4351431)