Local, colocal, and antilocal properties of modules and complexes over commutative rings

0583151 - MÚ 2025 RIV NL eng J - Journal Article
Positselski, Leonid
Local, colocal, and antilocal properties of modules and complexes over commutative rings.
Journal of Algebra. Roč. 646, 15 May (2024), s. 100-155. ISSN 0021-8693. E-ISSN 1090-266X
R&D Projects: GA ČR(CZ) GA20-13778S
Institutional support: RVO:67985840
Keywords : localization * colocalization * affine open coverings
OECD category: Pure mathematics
Impact factor: 0.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.jalgebra.2024.02.006

This paper is a commutative algebra introduction to the homological theory of quasi-coherent sheaves and contraherent cosheaves over quasi-compact semi-separated schemes. Antilocality is an alternative way in which global properties are locally controlled in a finite affine open covering. For example, injectivity of modules over non-Noetherian commutative rings is not preserved by localizations, while homotopy injectivity of complexes of modules is not preserved by localizations even for Noetherian rings. The latter also applies to the contraadjustedness and cotorsion properties. All the mentioned properties of modules or complexes over commutative rings are actually antilocal. They are also colocal, if one presumes contraadjustedness. Generally, if the left class in a (hereditary complete) cotorsion theory for modules or complexes of modules over commutative rings is local and preserved by direct images with respect to affine open immersions, then the right class is antilocal. If the right class in a cotorsion theory for contraadjusted modules or complexes of contraadjusted modules is colocal and preserved by such direct images, then the left class is antilocal. As further examples, the class of flat contraadjusted modules is antilocal, and so are the classes of acyclic, Becker-coacyclic, or Becker-contraacyclic complexes of contraadjusted modules. The same applies to the classes of homotopy flat complexes of flat contraadjusted modules and acyclic complexes of flat contraadjusted modules with flat modules of cocycles.
Permanent Link: https://hdl.handle.net/11104/0351142