A Zariski-Nagata theorem for smooth $\mathbb{Z}$-algebras
Abstract
In a polynomial ring over a perfect field, the symbolic powers of a prime ideal can be described via differential operators: a classical result by Zariski and Nagata says that the $n$-th symbolic power of a given prime ideal consists of the elements that vanish up to order $n$ on the corresponding variety. However, this description fails in mixed characteristic. In this paper, we use $p$-derivations, a notion due to Buium and Joyal, to define a new kind of differential powers in mixed characteristic, and prove that this new object does coincide with the symbolic powers of prime ideals. This seems to be the first application of $p$-derivations to commutative algebra.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2017
- DOI:
- 10.48550/arXiv.1709.01049
- arXiv:
- arXiv:1709.01049
- Bibcode:
- 2017arXiv170901049D
- Keywords:
-
- Mathematics - Commutative Algebra
- E-Print:
- In the previous version, the proof of Lemma 2.1 had a gap, due to a wrong claim about the structure of certain essentially smooth algebras. We removed the wrong statement, and fixed the proof of Lemma 2.1. The rest of the paper remains unchanged