Noetherian formal schemes 上的反共形余屎与反模
代数几何
2026-05-05 v3 交换代数
范畴论
摘要
我们定义了 Noetherian formal scheme 上的反共形余屎与反模的 exact 范畴，以及相对于给定开覆盖的局部反共形余屎与反模的 exact 范畴。我们还构造了 Noetherian formal scheme 之间的局部反共形余屎与反模的直接像和逆像函，并讨论了准齐次失式余屎与反共形余屎与反模之间的反 Hom 和 contra-tensor 积。在 adic 交换代数中预备章节的阐述推广至具有 adic 拓扑的任意交换环（由有限生成理想生成）。
引用
@article{arxiv.2603.27732,
title = {Contraherent cosheaves of contramodules on Noetherian formal schemes},
author = {Leonid Positselski},
journal= {arXiv preprint arXiv:2603.27732},
year = {2026}
}
备注
LaTeX 2e with xy-pic; 109 pages, 6 commutative diagrams; v.2: Lemma 2.1.4 expanded, new Sections 2.9, 2.10, 2.11, and 2.14 inserted, new Sections 3.8-3.12 added; v.3: small additions in Remark 2.15.3 and Sections 3.11-3.12, new Sections 3.13-3.16 added