Some algebras with trivial rings of differential operators
Abstract
Let be an arbitrary field. We construct examples of regular local -algebras (of positive dimension) for which the ring of differential operators is trivial in the sense that it contains {\it no} operators of positive order. The examples are excellent in characteristic zero but not in positive characteristic. These rings can be viewed as being non-singular but they are not simple as -modules, laying to rest speculation that -simplicity might characterize a nice class of singularities in general. In prime characteristic, the construction also provides examples of {\it regular} local rings (with fraction field a function field) whose Frobenius push-forward is {\it indecomposable} as an -module for all . Along the way, we investigate hypotheses on a local ring under which -simplicity for is equivalent to -simplicity for its -adic completion, and give examples of rings for which the differential operators do not behave well under completion. We also generalize a characterization of -simplicity due to Jeffries in the -graded case: for a Noetherian local -algebra , -simplicity of is equivalent to surjectivity of the natural map .
Keywords
Cite
@article{arxiv.2404.09184,
title = {Some algebras with trivial rings of differential operators},
author = {Alapan Mukhopadhyay and Karen E. Smith},
journal= {arXiv preprint arXiv:2404.09184},
year = {2024}
}
Comments
Comments welcome