A characterisation of enveloping 1-tilting classes over commutative rings

From MaRDI portal
Publication:1979333



Abstract: Given a 1-tilting cotorsion pair over a commutative ring, we characterise the rings over which the 1-tilting class is an enveloping class. To do so, we consider the faithful finitely generated Gabriel topology mathcalG associated to the 1-tilting class mathcalT over a commutative ring as illustrated by Hrbek. We prove that a 1-tilting class mathcalT is enveloping if and only if mathcalG is a perfect Gabriel topology (that is, it arises from a perfect localisation) and R/J is a perfect ring for each JinmathcalG, or equivalently mathcalG is a perfect Gabriel topology and the discrete quotient rings of the topological ring mathfrakR=End(RmathcalG/R) are perfect rings where RmathcalG denotes the ring of quotients with respect to mathcalG. Moreover, if the above equivalent conditions hold it follows that pdimRmathcalGleq1 and mathcalT arises from a flat ring epimorphism.


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.











This page was built for publication: A characterisation of enveloping 1-tilting classes over commutative rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1979333)