Asymptotic vanishing conditions which force regularity in local rings of prime characteristic (Q2518164)

Let \((R,m,k)\) be a local ring of characteristic \(p>0\) and let \(\dim R=d\). Assume that \(F_R^{n}(-)\) for \(n\in\mathbb{N}\) is the \(n\)th iteration of the Frobenius functor, \(\ell_R(-)\) is the length function and \(q_n=p^n\). The second author gave [Proc. Am. Math. Soc. 136, No. 5, 1553--1558 (2008; Zbl 1135.13002)] a criterion for regularity of \(R\) provided that the following asymptotic length \[ t_j(R)=\lim_{n\rightarrow \infty}\frac{\ell_R(\text{Tor}_j^{R}(k,F_R^{n}(R))}{q_n^d} \] vanishes at \(j=1,2\). On the other hand, the first author gave [Proc. Am. Math. Soc. 133, No. 1, 27--29 (2004; Zbl 1095.13003)] another criterion for regularity of an excellent local domain \(R\) via the vanishing of \(\text{Tor}_1^{R}(k,R^+)\) in which \(R^+\) is the absolute integral closure of \(R\). In the paper under review, the authors by completely different method based on the stably phantom homology extend their results as the following: (A) If \(t_j(R)=0\) for some \(j>0\), then \(R\) is a regular local ring. (B) If \(R\) is an excellent local domain such that \(\text{Tor}_j^{R}(k,R^+)=0\) for some \(j>0\), then \(R\) is a regular local ring. Both of the above results are based on the following outstanding result which is the main theorem of the paper: Main Theorem. Let \(R\) be an excellent local ring and let \(\mathcal{F_\bullet}\) be a minimal free resolution of \(k\). If for some \(j>0\), the complex \(\mathcal{F_\bullet}\otimes_{R} R^{nq_n}\) is stably phantom at \(j\)th spot, then \(R\) is regular. (Here \(R^{nq_n}=\frac{R}{I}\) and \(I\) is the intersection of the primary components of ideal (0) with dimension \(d\)). In the proof of the above theorem the significant property of excellent local rings in the theory of tight closure (admitting a weak test element) has central role.