Local Okounkov bodies and limits in prime characteristic (Q1784162)

In the characteristic \(p\) setting, many invariants of the ring or an ideal in a ring are defined asymptotically as quotients of some numeric quantity depending on the \(e\)th ideal in a sequence of ideals and some power of \(p^e\) including: the Hilbert-Kunz multiplicity (or generalized Hilbert-Kunz multiplicity) of an ideal and the \(F\)-signature of the ring. The authors define a sequence of ideals \(I_{p^e}\) to be a \(p\)-family if \(I_{p^e}^{[p]} \subseteq I_{p^{e+1}}\). For each \(p\)-family, they associate a \(p\)-body, an object in Euclidean space which is analogous to the Newton-Okounkov body of a graded family ideals to realize these limits as volumes. The authors were greatly inspired by the developments relating the Hilbert-Samuel multiplicity of a graded \(m\)-primary ideal to the volume of an Okounkov body started in this work by \textit{S. D. Cutkosky} [Algebra Number Theory 7, No. 9, 2059--2083 (2013; Zbl 1315.13040)]. However, the authors are able to use a process similar to that used by Cutkosky to realize other asymptotic quantities defined in characteristic \(p\). Here is a brief outline of the work presented: they construct a ``good'' valuation on a local domain containing a field, observe that the values associated to elements in a \(p\)-family admit a semigroup structure in \(\mathbb{Z}^d\), compute the lengths of the quotients of \(R\) modulo the ideals in the \(p\)-family by counting certain points in a bounded region of the semigroup and show that the rate of growth for the number of these points is the volume of the \(p\)-body. After they build up the machinery, they show the volume of a \(p\)-family of \(m\)-primary ideals exists if and only if the dimension of the nilradical of the completion of the ring has dimension strictly less than the dimension of the ring. In addition they show that a Brunn-Minkowski type inequality holds for \(p\)-families in a ``good'' local \(d\)-dimensional domain of characteristic \(p\): for \(\{I_{\bullet}\}\) and \(\{J_{\bullet}\}\) \(p\)-families \(\text{vol}_R (I_{\bullet})^{1/d}+\text{vol}_R (J_{\bullet})^{1/d} \geq \text{vol}_R (I_{\bullet}+J_{\bullet})^{1/d}\). Using \(p\)-families and \(p\)-bodies, the authors give an alternate proof that the Hilbert-Kunz multiplicity of an \(m\)-primary ideal in a complete local domain and the \(F\)-signature of a local domain exist. They also show that if \(I\) is homogeneous ideal in a graded domain with \(\text{dim} (R/I) =1\), then the generalized Hilbert-Kunz multiplicity of \(I\) exists. The paper also includes several instructive examples.