English

Some algebras with trivial rings of differential operators

Commutative Algebra 2024-04-16 v1 Algebraic Geometry

Abstract

Let kk be an arbitrary field. We construct examples of regular local kk-algebras RR (of positive dimension) for which the ring of differential operators Dk(R)D_k(R) 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 DD-modules, laying to rest speculation that DD-simplicity might characterize a nice class of singularities in general. In prime characteristic, the construction also provides examples of {\it regular} local rings RR (with fraction field a function field) whose Frobenius push-forward FeRF_*^eR is {\it indecomposable} as an RR-module for all eNe\in \mathbb N. Along the way, we investigate hypotheses on a local ring (R,m)(R, m) under which DD-simplicity for RR is equivalent to DD-simplicity for its mm-adic completion, and give examples of rings for which the differential operators do not behave well under completion. We also generalize a characterization of DD-simplicity due to Jeffries in the N\mathbb N-graded case: for a Noetherian local kk-algebra (R,m,k)(R, m, k), DD-simplicity of RR is equivalent to surjectivity of the natural map Dk(R)Dk(R,k)D_k(R)\to D_k(R, k).

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