Desingularization of regular algebras (Q1743008)

The author says that a commutative ring \(R\) has a desingularization when there is a presentation of \(R\) as a direct limit of a directed system of noetherian regular rings. In this paper, homological properties of these class of rings are studied. For instance, if there is a finitely generated ideal \(\mathbf{p}\) such that \(R_{\mathbf{p}}\) is coherent, then \(R_{\mathbf{p}}\) is regular. It is shown that if the direct limit of local rings, with certain conditions, is coherent and super regular (in the sense of \textit{W. V. Vasconcelos} [J. Pure Appl. Algebra 7, 231--233 (1976; Zbl 0318.13013)], i.~e., its global dimension is equal its weak dimension and they are finite) then each \(R_i\) is regular. Next, if \(R\) is a local domain of prime characteristic which is either excellent or homomorphic image of a Gorenstein ring with coherent perfect closure, then the global dimension of the perfect closure is equal to \(\dim R + 1\). In Section 4, the case of pure directed system is considered. Thus, the existence of a finite free resolution of \(R\) implies that \(R\) is Noetherian y regular. Finally, the countable product of finite fields is shown to be stably coherent.