A length characterization of \(*\)-spread (Q935575): Difference between revisions

Several closure operations in a noetherian local ring \((R, \mathfrak{m},k)\) have been defined and studied by numerous authors. For a such operation, say \(\phi\), one can try to define the \(\phi\)-spread of an ideal \(I\subseteq R\) as the minimal number of generators of a minimal reduction of \(I\) with respect to \(\phi\), i.e. an ideal \(J \subseteq I\), minimal with respect to inclusion, such that \(\phi(J)=\phi(I)\). Clearly some problems could arrive: in fact maybe a minimal reduction does not exist, or the spread depends from the choice of the minimal reduction. Anyway for many closure operations make sense the concept of spread. As an example one can think about the integral closure; for this is defined the bar-spread of an ideal \(I\), and it is a classical result, provided the residue field \(k\) is infinite, that the bar-spread of \(I\) is equal to its analytic spread. In this paper the authors study the \(*\)-spread (the spread corresponding to tight closure) for a local ring of characteristic \(p>0\). The fact that the minimal number of generators is independent from the choice of the minimal reduction (with respect to tight closure) was proved by the first author in \textit{N. Epstein} [Math. Proc. Camb. Philos. Soc. 139, 371--383 (2005; Zbl 1091.13008)]. The main result is an asymptotic characterization of the \(*\)-spread of an ideal \(I\), \(l^*(I)\), in terms of the length (the formula generalizes a result of the second author obtained in \textit{A. Vraciu} [J. Algebra 249, 544--565 (2002; Zbl 1057.13004)]). More precisely they showed, under some restrictive hypothesis on the ring \(R\), that \[ l^*(I)=\frac{1}{\operatorname{e_{HK}}(\mathfrak{a})}\lim_{e \rightarrow \infty}\frac{\lambda(I^{[p^{e+e_0}]}/\mathfrak{a}^{[p^{e}]}I^{[p^{e+e_0}]})}{p^{de}} \] where \(\mathfrak{a}\) is an \(\mathfrak{m}\)-primary ideal, \(\operatorname{e_{HK}}\) denotes the Hilbert-Kunz multiplicity, \(e_0\) is a positive integer big enough and \(d\) is the Krull dimension of \(R\). In the theory of tight-closure, the Hilbert-Kunz multiplicity is an important numerical invariant of an \(\mathfrak{m}\)-primary ideal; this is a real number, and it is a problem to understand whether it is rational. As an application of their main result, the authors connect the rationality of the Hilbert-Kunz multiplicity of \(\mathfrak{m}\)-primary ideals \(I\) and \(J\) with that of \(IJ^{[p^e]}\) for \(e\gg0\). The authors prove also a change of base formula under flat local homomorphism.