Differential operators on classical invariant rings do not lift modulo p

DOI10.1016/J.AIM.2023.109276arXiv2006.03029OpenAlexW3034134735MaRDI QIDQ6073601FDOQ6073601

Authors: Jack Jeffries, Anurag K. Singh 

Publication date: 11 October 2023

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Levasseur and Stafford described the rings of differential operators on various classical invariant rings of characteristic zero; in each of the cases that they considered, the differential operators form a simple ring. Towards an attack on the simplicity of rings of differential operators on invariant rings of linearly reductive groups over the complex numbers, Smith and Van den Bergh asked if differential operators on the corresponding rings of positive prime characteristic lift to characteristic zero differential operators. We prove that, in general, this is not the case for determinantal hypersurfaces, as well as for Pfaffian and symmetric determinantal hypersurfaces. We also prove that, with very few exceptions, these hypersurfaces -- and, more generally, classical invariant rings -- do not admit a mod $p^2$ lift of the Frobenius endomorphism.

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

Recommendations

• Simplicity of Rings of Differential Operators in Prime Characteristic
• Symmetry on rings of differential operators
• Twisted rings of differential operators over projective rational curves
• scientific article; zbMATH DE number 3966268
• Rings of differential operators on one dimensional algebras
• Differential operators and finite-dimensional algebras
• Derived functors of differential operators
• Galois extensions of differential algebras
• The Differential Operator Ring of an Affine Curve
• scientific article; zbMATH DE number 2125022

zbMATH Keywords

local cohomologydifferential operatorsrings of invariantsinteger torsion

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35)

Cites Work

• Lifting differential operators from orbit spaces
• Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay
• Differential characters of abelian varieties over \(p\)-adic fields
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• A characteristic free approach to invariant theory
• Title not available (Why is that?)
• F-modules: applications to local cohomology and D-modules in characteristic p>0.
• Local cohomology modules of a smooth \(\mathbb{Z}\)-algebra have finitely many associated primes
• Title not available (Why is that?)
• Cohen-Macaulay Rings, Invariant Theory, and the Generic Perfection of Determinantal Loci
• Complete reducibility of rational representations of a matric group
• \(p\)-torsion elements in local cohomology modules
• Local cohomology modules supported at determinantal ideals
• Bockstein homomorphisms in local cohomology
• Rings of differential operators on classical rings of invariants
• Invariants under tori of rings of differential operators and related topics
• Torsion in the crystalline cohomology of singular varieties
• Simplicity of Rings of Differential Operators in Prime Characteristic
• The fundamental theorems of vector invariants
• Another proof of theorems of De Concini and Procesi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Derived functors of differential operators
• DIFFERENTIAL OPERATORS ON A CUBIC CONE
• The \(D\)-module structure of \(F\)-split rings
• Quantifying singularities with differential operators
• The Frobenius morphism on a toric variety
• Cusps and 𝒟-modules
• Liftability of singularities and their Frobenius morphism modulo \(p^2\)
• Bigness of the tangent bundle of del Pezzo surfaces and \(D\)-simplicity
• Title not available (Why is that?)

Cited In (2)

• Differential operators, retracts, and toric face rings
• Homogeneous coordinate rings as direct summands of regular rings

This page was built for publication: Differential operators on classical invariant rings do not lift modulo \(p\)

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