Pseudo-dualizing complexes of torsion modules and semi-infinite MGM duality
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914181450563584 |
|---|---|
| author | Positselski, Leonid |
| author_facet | Positselski, Leonid |
| contents | This paper is an MGM version of arXiv.org:1703.04266 and arXiv:1907.03364, and a follow-up to Section 5 of arXiv:1503.05523. In the setting of a commutative ring $S$ with a weakly proregular finitely generated ideal $J\subset S$, we consider the maximal, abstract, and minimal corresponding classes of $J$-torsion $S$-modules and $J$-contramodule $S$-modules with respect to a given pseudo-dualizing complex of $J$-torsion $S$-modules $L^\bullet$, and construct the related triangulated equivalences. As a special case, we obtain an equivalence of the semiderived categories for an $I$-adically coherent commutative ring $R$ with a weakly proregular ideal $I\subset R$, a dualizing complex of $I$-torsion $R$-modules $D^\bullet$, and a ring homomorphism $f\colon R\rightarrow S$ such that $f(I)\subset J$ and $S$ is a flat $R$-module. (If the ring $S$ is not Noetherian, then a certain further assumption, which we call quotflatness of the morphism of pairs $f\colon (R,I)\rightarrow(S,J)$, needs to be imposed.) In that case, the pseudo-dualizing complex $L^\bullet$ is constructed as a complex of $J$-torsion $S$-modules quasi-isomorphic to the tensor product of $D^\bullet$ with the infinite dual Koszul complex for some set of generators of the ideal $J\subset S$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_04571 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Pseudo-dualizing complexes of torsion modules and semi-infinite MGM duality Positselski, Leonid Commutative Algebra Category Theory This paper is an MGM version of arXiv.org:1703.04266 and arXiv:1907.03364, and a follow-up to Section 5 of arXiv:1503.05523. In the setting of a commutative ring $S$ with a weakly proregular finitely generated ideal $J\subset S$, we consider the maximal, abstract, and minimal corresponding classes of $J$-torsion $S$-modules and $J$-contramodule $S$-modules with respect to a given pseudo-dualizing complex of $J$-torsion $S$-modules $L^\bullet$, and construct the related triangulated equivalences. As a special case, we obtain an equivalence of the semiderived categories for an $I$-adically coherent commutative ring $R$ with a weakly proregular ideal $I\subset R$, a dualizing complex of $I$-torsion $R$-modules $D^\bullet$, and a ring homomorphism $f\colon R\rightarrow S$ such that $f(I)\subset J$ and $S$ is a flat $R$-module. (If the ring $S$ is not Noetherian, then a certain further assumption, which we call quotflatness of the morphism of pairs $f\colon (R,I)\rightarrow(S,J)$, needs to be imposed.) In that case, the pseudo-dualizing complex $L^\bullet$ is constructed as a complex of $J$-torsion $S$-modules quasi-isomorphic to the tensor product of $D^\bullet$ with the infinite dual Koszul complex for some set of generators of the ideal $J\subset S$. |
| title | Pseudo-dualizing complexes of torsion modules and semi-infinite MGM duality |
| topic | Commutative Algebra Category Theory |
| url | https://arxiv.org/abs/2511.04571 |