Schemes over symmetric monoidal categories and torsion theories (Q272982)

The author examines ideas of Deligne, Hakim, and others of algebraic geometry over an abelian symmetric monoidal category extending algebraic geometry over fields, in particular looking at torsion theories on the categories \(\mathcal{O}_X-\mathrm{Mod}\) and \(Q\mathrm{Coh}(X)\). First, if \(A\) is a ``integral commutative monoid object'' in the symmetric monoidal category \((\mathcal{C},\otimes 1)\), and \(M\) is an \(A\)-module, then we have a notion of the torsion submodule of \(M\). Then on \(A-\mathrm{Mod}\) we can define a hereditary torsion theory with the pair \((\mathcal{T}_A,\mathcal{F}_A)\) of torsion \(A\)-modules and torsion-free \(A\)-modules, respectively. Similar to the above, if instead \(X\) is a ``Noetherian integral scheme'' over \((\mathcal{C},\otimes, 1)\) then we have a similar hereditary torsion theory considering of torsion \(\mathcal{O}_X\)-modules and torsion-free \(\mathcal{O}_X\)-modules and also for quasi-coherent sheaves over \(X\). Lastly, there is a compatibility between the two torsion theories on \(\mathcal{O}_X\)-modules ans quasi-coherent sheaves over \(X\) via the quasi-coherator.