\(F\)-volumes (Q2068162)

The authors introduce and study a new invariant called \(F\)-volume. Let \(R\) be a Noetherian ring of characteristic \(p>0\), given a sequence of ideals \(\underline{I}= I_1,\dots, I_t\) and another ideal \(J\subseteq R\) such that \(I_1,\dots, I_t \subseteq \sqrt{J}\). Set \(V_{\underline{I}}^J(p^e)=\{(a_1,\dots, a_t)\in\mathbb{N}^t \mid I_1^{a_1}\cdots I_t^{a_t}\nsubseteq J^{[p^e]}\}\). Then the limit \(\lim_{e\to\infty}\frac{V_{\underline{I}}^J(p^e)}{p^{et}} =: \mathrm{Vol}_F^J(\underline{I})\) exists, and is called the \(F\)-volume of \(\underline{I}\) with respect to \(J\). The case of a single ideal (i.e., \(t=1\)) was studied before by \textit{A. De Stefani} et al. [Trans. Am. Math. Soc. 370, No. 9, 6629--6650 (2018; Zbl 1405.13010)], and this result is an extension of the previous work (however, the proof of multiple ideals is not a simple consequence of the single ideal case, Section 2 of the paper contains the proof of the existence of this limit). The authors then prove many properties of the \(F\)-volume which extend those results on \(F\)-thresholds. Among other things, the following theorem is proved: Suppose \((R,\mathfrak{m}, K)\) is a regular local ring. Let \(I\) be an ideal minimally generated by \(f_1,\dots, f_t\), then \(\mathrm{Vol}_F^{\mathfrak{m}}(\underline{f})=1\) if and only if \(I\) is an \(F\)-pure complete intersection.