\(\mathcal F\)-divisible modules and tilting modules over Prüfer domains (Q555975)

Salce, Trlifaj, and Wallutis have shown that the classes of 1-tilting torsion modules over a Dedekind domain \(R\) coincide with the classes of \(\Sigma\)-divisible modules. Here \(\Sigma\) is an arbitrary set of maximal ideals of \(R\) and a module \(M\) is called \(\Sigma\)-divisible if \(M=PM\) for all \(P\in \Sigma\). On the other hand, the tilting torsion classes of modules over a valuation domain coincide with the classes of \(S\)-divisible modules, where \(S\) is an arbitrary multiplicative set of non-zero elements of the domain. These results are not interchangeable in that \(\Sigma\)-divisibility does not work for general valuation domains and \(S\)-divisibility does not work for general Dedekind domains. In this note, Salce generalizes the above situations, investigating tilting modules over Prüfer domains. This is done in the setting of \(\mathcal F\)-divisibility, where \(\mathcal F\) is a localizing system of ideals of the domain also called a Gabriel topology. The author shows that for modules over a Prüfer domain, \(\mathcal F\) must be finitely generated, and there is a bijection between finitely generated localizing systems of ideals \(\mathcal F\) of the Prüfer domain and tilting torsion classes which coincide with the classes of \(\mathcal F\)-divisible modules. Therefore, from a result by \textit{M. Fontana} and \textit{N. Popescu} [J. Algebra 70, 44--66 (1995; Zbl 0844.13012)], tilting torsion classes over a Prüfer domain \(R\) correspond bijectively to the overrings of \(R\). Salce establishes his results by demonstrating that, given any finitely generated localizing system of ideals \(\mathcal F\) of a Prüfer domain \(R\), there is a canonical tilting module associated with it. This module, \(\partial_{\mathcal F}\), generalizes both Fuchs' divisible module \(\partial\) [\textit{L. Fuchs} and \textit{L. Salce}, Modules over non-Noetherian domains. Mathematical Surveys and Monographs. 84. (2001, Zbl 0973.13001)] and its generalization \(\partial_S\) [\textit{L. Fuchs} and \textit{L. Salce}, Forum Math. 4, 383--394 (1992; Zbl 0767.13001)].