Derivations, generic formal fibers and bad Noetherian rings

TL;DR

This paper introduces a new construction of 'twisted' subrings in Noetherian rings using derivations, revealing pathological but manageable examples of non-standard rings with unique properties.

Contribution

It develops a novel method to construct and analyze 'twisted' subrings via derivations, connecting differential algebra and local Noetherian ring theory.

Findings

Constructed rings exhibit pathological features like infinite normalization.

Provided a framework for locating and studying non-standard Noetherian rings.

Connected differential algebra concepts with ring-theoretic properties.

Abstract

We consider a circle of ideas involving differential algebra, local Noetherian rings, and their generic formal fibers. Connecting these ideas gives rise to what we term a "twisted" subring $R$ of a ring $S$. Each such subring $R$ arises as a pullback of a derivation taking values in an $S$-module $K$. The twisting relationship proves to be a kind of inversion of Nagata idealization: whereas idealization extends $S$ to the larger ring $S \star K$, twisting produces a subring of $S$ which behaves much like the ring $S \star K$. The rings produced in this manner exhibit pathological features, such as failing to have finite normalization, but in spite of this they are quite tractable and conceptually (if not practically) easy to locate, and in this way provide a rich but manageable source of non-standard Noetherian rings. The theory developed to support this construction involves extensive use of both Noetherian and non-Noetherian commutative ring theory, as well as differential algebra.