A characterisation of enveloping 1-tilting classes over commutative rings (Q1979333)

In this paper the authors show interest in the conditions under which a class \(\mathcal{C}\) is enveloping. They deal with classes of modules over commutative rings and in particular with \(1\)-tilting classes. An important starting point is the bijective correspondence between faithful finitely generated Gabriel topologies \(\mathcal{G}\) and \(1\)-tilting classes over commutative rings established. The tilting class can then be characterised as the class \(D_{\mathcal{G}}\) of \({\mathcal{G}}\)-divisible modules, that is, the modules \(M\) such that \(JM = M\) for every \( J \in \mathcal{G} \). In section \(4\), the authors recall notions of Gabriel topology and prove in section \(5\) that if a 1-tilting class is enveloping, then \(R_{\mathcal{G}}\), the ring of quotients with respect to the Gabriel topology \(\mathcal{G}\), is \(\mathcal{G}\)-divisible, so that \(R \longrightarrow R_{\mathcal{G}}\) is a flat injective ring epimorphism. It is well known that every flat ring epimorphism gives rise to a finitely generated Gabriel topology. Here, the case of a flat injective ring epimorphism \(u: R \longrightarrow U \) between commutative rings was considered and shown that if the module \(R\) has a \(D_{\mathcal{G}}\)-envelope, then \(U\) has projective dimension at most one. In Section \(6\), they introduce the completion of a ring with respect to a Gabriel topology and the endomorphism ring of a module as a topological ring. Considering the particular case of a perfect localisation corresponding to a flat injective ring epimorphism \(u: R \longrightarrow U\) between commutative rings, and show that the isomorphism between the completion of \(R\) with respect to the associated Gabriel topology and the topological ring \( \mathcal{R} = \mathrm{End}(K)\). In the main Section \(8\), the authors prove a ring-theoretic and topological characterisation of commutative rings for which the class of \(\mathcal{G}\)-divisible modules is enveloping where \(\mathcal{G}\) is the Gabriel topology associated to a flat injective ring epimorphism. In Section \(9\), the results proved in Sections \(7\) and \(8\) are extended to the case of a non-injective flat ring epimorphism. Over all, this is a nice, interesting and a lengthy article which was written in engaging manner that deserves appreciation.