pith. sign in

arxiv: 2603.15048 · v2 · submitted 2026-03-16 · 🧮 math.RA · math.AG· math.CT

Homomorphisms of topological rings and change-of-scalar functors

Leonid Positselski This is my paper

Pith reviewed 2026-05-15 10:30 UTC · model grok-4.3

classification 🧮 math.RA math.AGmath.CT
keywords topological ringscontramodulesrestriction of scalarsproflat mapspseudopullback diagramschange of scalars functorsforgetful functorsformal schemes
0
0 comments X

The pith

For left proflat epimorphisms of topological rings the restriction of scalars on contramodules is fully faithful

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper studies homomorphisms of complete separated linear topological rings with countable neighborhood bases. It proves that for left proflat topological ring epimorphisms the restriction of scalars functor from S-contramodules to R-contramodules is fully faithful. When the forgetful functor from contramodules to modules is fully faithful the diagram of these functors forms a pseudopullback square that describes the image of the restriction functor. The work also constructs right adjoints to the restriction functor for such maps with good exactness properties and shows left adjoints exist but lack exactness in general. These results are motivated by applications to contraherent cosheaves on formal schemes.

Core claim

For a left proflat topological ring epimorphism f from R to S the functor f sharp from the category of left S-contramodules to left R-contramodules is fully faithful. Assuming additionally that the forgetful functor from contramodules to modules is fully faithful the commutative square formed by the forgetful functors to the module categories over S and R is a pseudopullback diagram. This gives a description of the essential image of f sharp.

What carries the argument

The restriction of scalars functor f sharp on categories of left contramodules over topological rings, which is shown to be fully faithful for left proflat epimorphisms.

Load-bearing premise

That the forgetful functor from contramodules to modules over the topological ring is fully faithful, together with the ring homomorphism being left proflat.

What would settle it

A concrete counterexample consisting of two topological rings connected by a left proflat epimorphism where two distinct contramodules over S become isomorphic after restriction to R.

read the original abstract

We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly right taut maps of two-sided linear topological rings, left proflat continuous ring maps, and topological ring epimorphisms are discussed. For a left proflat topological ring epimorphism $\mathfrak f$, we show that the functor of restriction of scalars on the categories of left contramodules $\mathfrak f_\sharp\colon\mathfrak S{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Contra}$ is fully faithful. Assuming that the contramodule-to-module forgetful functor $\mathfrak R{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Mod}$ is fully faithful and the topological ring map $\mathfrak f$ is left proflat, we prove that the commutative square of forgetful functors between the left contramodule and module categories over $\mathfrak S$ and $\mathfrak R$ is a pseudopullback diagram. This provides a description of the essential image of $\mathfrak f_\sharp$ under the conjunction of the respective assumptions. The left adjoint functor to $\mathfrak f_\sharp$ always exists, but is not exact even when $\mathfrak f$ is (pro)flat. A right adjont functor to $\mathfrak f_\sharp$ does not always exist, but for a left proflat map $\mathfrak f$ we construct it explicitly and show that it has good exactness properties. This work is motivated by the theory of contraherent cosheaves of contramodules on formal schemes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript investigates homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero. It defines taut maps, strongly right taut maps, left proflat continuous ring maps, and topological ring epimorphisms. The central results are that for a left proflat topological ring epimorphism f: R → S, the restriction of scalars functor f_♯: S-Contra → R-Contra is fully faithful, and, assuming the forgetful functor R-Contra → R-Mod is fully faithful, the square of forgetful functors is a pseudopullback, describing the essential image of f_♯. The paper also constructs a right adjoint to f_♯ for left proflat maps and discusses its exactness properties, motivated by contraherent cosheaves on formal schemes.

Significance. This work contributes to the categorical study of contramodules over topological rings by clarifying change-of-scalar functors. The full faithfulness result for restriction of scalars under left proflat epimorphisms is a solid advance, and the pseudopullback description provides a concrete characterization of the image. The explicit right adjoint construction with exactness properties is useful for homological computations. These results support the development of contraherent cosheaf theory on formal schemes, offering potential applications in algebraic geometry and homological algebra. The conditional nature of the pseudopullback result is clearly stated, but its utility depends on the validity of the forgetful functor assumption in the relevant settings.

major comments (2)
  1. [Abstract and main theorem on pseudopullback] The pseudopullback claim for the commutative square of forgetful functors (stated in the abstract and proved under assumption in the main theorem) relies on the assumption that the contramodule-to-module forgetful functor R-Contra → R-Mod is fully faithful. This assumption is presented as given rather than derived from the left proflat or epimorphism hypotheses on f, and it is load-bearing for the description of the essential image of f_♯. In the setting of complete separated linear topological rings with countable neighborhood bases, this full faithfulness is not known to hold in general.
  2. [Section discussing adjoints to f_♯] The claim that a right adjoint to f_♯ exists explicitly for left proflat maps and has 'good exactness properties' (abstract) requires precise specification of the exactness properties established (e.g., which limits or colimits are preserved), with a direct reference to the relevant proposition or theorem number.
minor comments (2)
  1. [Abstract] Typo in abstract: 'adjont' should read 'adjoint' in the sentence 'A right adjont functor to f_♯ does not always exist'.
  2. [Introduction] The notation using fraktur letters for the rings R and S is introduced without an explicit reminder in the introduction; a brief clarification of the topological ring conventions would aid readability.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major comments point by point below, indicating the changes we will make in the revised version.

read point-by-point responses

  1. Referee: [Abstract and main theorem on pseudopullback] The pseudopullback claim for the commutative square of forgetful functors (stated in the abstract and proved under assumption in the main theorem) relies on the assumption that the contramodule-to-module forgetful functor R-Contra → R-Mod is fully faithful. This assumption is presented as given rather than derived from the left proflat or epimorphism hypotheses on f, and it is load-bearing for the description of the essential image of f_♯. In the setting of complete separated linear topological rings with countable neighborhood bases, this full faithfulness is not known to hold in general.

    Authors: We agree that the full faithfulness of the forgetful functor R-Contra → R-Mod is an independent assumption that does not follow from the left proflat epimorphism condition on f. The main theorem is explicitly conditional on this hypothesis, and the pseudopullback description of the essential image of f_♯ holds only under the conjunction of both. We have revised the abstract to foreground the conditional nature of the result and added a short discussion in the introduction noting that the assumption holds in standard cases such as discrete rings (where contramodules reduce to modules) while remaining open in full generality for the topological setting under consideration. revision: yes

  2. Referee: [Section discussing adjoints to f_♯] The claim that a right adjoint to f_♯ exists explicitly for left proflat maps and has 'good exactness properties' (abstract) requires precise specification of the exactness properties established (e.g., which limits or colimits are preserved), with a direct reference to the relevant proposition or theorem number.

    Authors: We thank the referee for this observation. In the revised manuscript we have replaced the phrase 'good exactness properties' in the abstract with the precise statement that the right adjoint preserves all small limits and all filtered colimits. This is proved in Theorem 5.4, to which we now refer explicitly both in the abstract and in the section constructing the adjoint. revision: yes

standing simulated objections not resolved
  • Whether the forgetful functor from contramodules to modules is fully faithful for arbitrary complete separated linear topological rings with countable bases of neighborhoods of zero remains an open question in the literature and cannot be derived from the left proflat epimorphism hypotheses; it is therefore retained as an explicit assumption.

Circularity Check

0 steps flagged

No significant circularity; claims rest on explicit assumptions and standard constructions

full rationale

The paper states the full faithfulness of f_sharp unconditionally for left proflat epimorphisms and proves the pseudopullback only under the explicit assumption that the contramodule-to-module forgetful functor is fully faithful. No equations, definitions, or self-citations reduce these results to their inputs by construction. The derivation relies on standard categorical arguments in contramodule theory without self-definitional loops, fitted predictions, or load-bearing self-citations that would make the central claims tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract only; no explicit free parameters, new entities, or ad-hoc axioms are visible. The work rests on standard definitions of contramodules and topological rings from prior literature on contraherent cosheaves.

axioms (2)
  • domain assumption Standard axioms of the category of left contramodules over a topological ring
    Invoked implicitly when discussing functors between Contra categories.
  • standard math Existence and properties of left and right adjoints in the category of categories
    Used when asserting existence of adjoints to f_sharp.

pith-pipeline@v0.9.0 · 5604 in / 1446 out tokens · 56942 ms · 2026-05-15T10:30:25.029705+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Contraherent cosheaves of contramodules on Noetherian formal schemes

    math.AG 2026-03 unverdicted novelty 7.0

    The paper defines the exact category of contraherent cosheaves of contramodules on locally Noetherian formal schemes and constructs direct and inverse image functors along with Hom and contratensor operations.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · cited by 1 Pith paper · 12 internal anchors

  1. [1]

    Ad´ amek, J

    J. Ad´ amek, J. Rosick´ y. Locally presentable and accessible categories. London Math. Society Lecture Note Series 189, Cambridge University Press, 1994

    work page 1994

  2. [2]

    Duality and flat base change on formal schemes

    L. Alonso Tarr´ ıo, A. Jerem´ ıas L´ opez, J. Lipman. Duality and flat base change on formal schemes. In: Studies in duality on Noetherian formal schemes and non-Noetherian ordi- nary schemes, p. 3–90,Contemporary Math.244, American Math. Society, Providence, 1999. arXiv:alg-geom/9708006Correction,Proceedings of the American Math. Society131, #2, p. 351–3...

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  3. [3]

    On the existence of a compact generator on the derived category of a noetherian formal scheme

    L. Alonso Tarr´ ıo, A. Jerem´ ıas L´ opez, M. P´ erez Rodr´ ıguez, M. J. Vale Gonsalves. On the existence of a compact generator on the derived category of a Noetherian formal scheme.Appl. Categorical Struct.19, #6, p. 865–877, 2011.arXiv:0905.2063 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  4. [4]

    Beilinson, V

    A. Beilinson, V. Drinfeld. Quantization of Hitchin’s integrable system and Hecke eigensheaves. February 2000. Available fromhttp://www.math.utexas.edu/~benzvi/Langlands.htmlor http://math.uchicago.edu/~drinfeld/langlands.html

    work page 2000

  5. [5]

    The pro-\'etale topology for schemes

    B. Bhatt, P. Scholze. The pro-´ etale topology for schemes.Ast´ erisque369, p. 99–201, 2015. arXiv:1309.1198 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  6. [6]

    Locally class-presentable and class-accessible categories

    B. Chorny, J. Rosick´ y. Class-locally presentable and class-accessible categories.Journ. of Pure and Appl. Algebra216, #10, p. 2113–2125, 2012.arXiv:1110.0605 [math.CT] 53

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  7. [7]

    P. C. Eklof, J. Trlifaj. How to make Ext vanish.Bull. of the London Math. Soc.33, #1, p. 41–51, 2001

    work page 2001

  8. [8]

    G¨ obel, J

    R. G¨ obel, J. Trlifaj. Approximations and endomorphism algebras of modules. Second Revised and Extended Edition. De Gruyter Expositions in Mathematics 41, De Gruyter, Berlin–Boston, 2012

    work page 2012

  9. [9]

    Grothendieck, J

    A. Grothendieck, J. A. Dieudonn´ e.´El´ ements de g´ eom´ etrie alg´ ebrique. I. Grundlehren der math- ematischen Wissenschaften, 166. Springer-Verlag, Berlin–Heidelberg–New York, 1971

    work page 1971

  10. [10]

    Hartshorne

    R. Hartshorne. Algebraic geometry. Graduate Texts in Math., 52, Springer-Verlag, New York– Heidelberg, 1977

    work page 1977

  11. [11]

    M. Hovey. Cotorsion pairs, model category structures, and representation theory.Math. Zeitschrift241, #2, p. 553–592, 2002

    work page 2002

  12. [12]

    A. J. de Jong et al. The Stacks Project. Available fromhttps://stacks.math.columbia.edu/

    work page

  13. [13]

    Joyal, R

    A. Joyal, R. Street. Pullbacks equivalent to pseudopullbacks.Cahiers de topol. et g´ eom. diff´ er. cat´ egoriquesXXXIV, #2, p. 153–156, 1993

    work page 1993

  14. [14]

    On the Homology of Completion and Torsion

    M. Porta, L. Shaul, A. Yekutieli. On the homology of completion and torsion.Algebras and Represent. Theory17, #1, p. 31–67, 2014.arXiv:1010.4386 [math.AC]. Erratum inAlgebras and Represent. Theory18, #5, p. 1401–1405, 2015.arXiv:1506.07765 [math.AC]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  15. [15]

    Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

    L. Positselski. Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures. Appendix C in collaboration with D. Rumynin; Appendix D in collaboration with S. Arkhipov. Monografie Matematyczne vol. 70, Birkh¨ auser/Springer Basel, 2010. xxiv+349 pp.arXiv:0708.3398 [math.CT]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  16. [16]

    Positselski

    L. Positselski. Weakly curved A ∞-algebras over a topological local ring.M´ emoires de la Soci´ et´ e Math´ ematique de France159, 2018. vi+206 pp.arXiv:1202.2697 [math.CT]

    work page arXiv 2018

  17. [17]

    Positselski

    L. Positselski. Contraherent cosheaves on schemes. Electronic preprintarXiv:1209.2995v24 [math.CT]

    work page arXiv

  18. [18]

    Positselski

    L. Positselski. Contramodules.Confluentes Math.13, #2, p. 93–182, 2021.arXiv:1503.00991 [math.CT]

    work page arXiv 2021

  19. [19]

    Dedualizing complexes and MGM duality

    L. Positselski. Dedualizing complexes and MGM duality.Journ. of Pure and Appl. Algebra 220, #12, p. 3866–3909, 2016.arXiv:1503.05523 [math.CT]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  20. [20]

    Positselski

    L. Positselski. Contraadjusted modules, contramodules, and reduced cotorsion modules. Moscow Math. Journ.17, #3, p. 385–455, 2017.arXiv:1605.03934 [math.CT]

    work page arXiv 2017

  21. [21]

    Positselski

    L. Positselski. Smooth duality and co-contra correspondence.Journ. of Lie Theory30, #1, p. 85–144, 2020.arXiv:1609.04597 [math.CT]

    work page arXiv 2020

  22. [22]

    Positselski

    L. Positselski. Abelian right perpendicular subcategories in module categories. Electronic preprintarXiv:1705.04960 [math.CT]

    work page arXiv

  23. [23]

    Positselski

    L. Positselski. Flat ring epimorphisms of countable type.Glasgow Math. Journ.62, #2, p. 383– 439, 2020.arXiv:1808.00937 [math.RA]

    work page arXiv 2020

  24. [24]

    Positselski

    L. Positselski. Contramodules over pro-perfect topological rings.Forum Mathematicum34, #1, p. 1–39, 2022.arXiv:1807.10671 [math.CT]

    work page arXiv 2022

  25. [25]

    Positselski

    L. Positselski. Remarks on derived complete modules and complexes.Math. Nachrichten296, #2, p. 811–839, 2023.arXiv:2002.12331 [math.AC]

    work page arXiv 2023

  26. [26]

    Positselski

    L. Positselski. Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes: Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product. Birkh¨ auser/Springer Nature, Cham, Switzerland, 2023. xix+216 pp.arXiv:2104.05517 [math.AG]

    work page arXiv 2023

  27. [27]

    Positselski

    L. Positselski. Local, colocal, and antilocal properties of modules and complexes over commu- tative rings.Journ. of Algebra646, p. 100–155, 2024.arXiv:2212.10163 [math.AC]

    work page arXiv 2024

  28. [28]

    Positselski

    L. Positselski. Flat comodules and contramodules as directed colimits, and cotorsion period- icity.Journ. of Homotopy and Related Struct.19, #4, p. 635–678, 2024.arXiv:2306.02734 [math.RA] 54

    work page arXiv 2024

  29. [29]

    Positselski

    L. Positselski. Notes on limits of accessible categories.Cahiers de topol. et g´ eom. diff´ er. cat´ egoriquesLXV, #4, p. 390–437, 2024.arXiv:2310.16773 [math.CT]

    work page arXiv 2024

  30. [30]

    Positselski

    L. Positselski. Philosophy of contraherent cosheaves. Electronic preprintarXiv:2311.14179 [math.AG]

    work page arXiv

  31. [31]

    Contraherent cosheaves of contramodules on Noetherian formal schemes

    L. Positselski. Contraherent cosheaves of contramodules on Noetherian formal schemes. Elec- tronic preprintarXiv:2603.27732v1 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [32]

    Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories

    L. Positselski, J. Rosick´ y. Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories.Journ. of Algebra483, p. 83–128, 2017. arXiv:1512.08119 [math.CT]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  33. [33]

    Positselski, J

    L. Positselski, J. ˇSt ’ov´ ıˇ cek. The tilting-cotilting correspondence.Internat. Math. Research No- tices2021, #1, p. 189–274, 2021.arXiv:1710.02230 [math.CT]

    work page arXiv 2021

  34. [34]

    The accessibility rank of weak equivalences

    G. Raptis, J. Rosick´ y. The accessibility rank of weak equivalences.Theory and Appl. of Cate- gories30, no. 19, p. 687–703, 2015.arXiv:1403.3042 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  35. [35]

    L. Salce. Cotorsion theories for abelian groups.Symposia Math.XXIII, Academic Press, London–New York, 1979, p. 11–32

    work page 1979

  36. [36]

    Schenzel

    P. Schenzel. Proregular sequences, local cohomology, and completion.Math. Scand.92, #2, p. 161–180, 2003

    work page 2003

  37. [37]

    A.-M. Simon. Approximations of complete modules by complete big Cohen–Macaulay modules over a Cohen–Macaulay local ring.Algebras and Representation Theory12, #2–5, p. 385–400, 2009

    work page 2009

  38. [38]

    Stenstr¨ om

    B. Stenstr¨ om. Rings of quotients. An Introduction to Methods of Ring Theory. Die Grundlehren der Mathematischen Wissenschaften, Band 217. Springer-Verlag, New York, 1975

    work page 1975

  39. [39]

    On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings

    A. Yekutieli. On flatness and completion for infinitely generated modules over noetherian rings. Communicat. in Algebra39, #11, p. 4221–4245, 2011.arXiv:0902.4378 [math.AC]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  40. [40]

    Flatness and Completion Revisited

    A. Yekutieli. Flatness and completion revisited.Algebras and Represent. Theory21, #4, p. 717– 736, 2018.arXiv:1606.01832 [math.AC] Institute of Mathematics, Czech Academy of Sciences, ˇZitn´a 25, 115 67 Prague 1, Czech Republic Email address:positselski@math.cas.cz 55

    work page internal anchor Pith review Pith/arXiv arXiv 2018