pith. sign in

arxiv: 2512.13161 · v2 · submitted 2025-12-15 · 🧮 math.FA · math.CT

A homological approach to (Grothendieck's) completeness problem for regular LB-spaces

Sven-Ake Wegner This is my paper

Pith reviewed 2026-05-16 22:27 UTC · model grok-4.3

classification 🧮 math.FA math.CT
keywords LB-spacescompletenessGrothendieck problemderived categoriesexact structurestriangle functorshomological algebrafunctional analysis
0
0 comments X

The pith

One of the canonical triangle functors between the derived categories of complete and regular LB-spaces is an equivalence.

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

The paper tackles Grothendieck's open question from the 1950s on whether every regular LB-space must be complete. Instead of constructing a direct proof or counterexample, it equips the categories of complete LB-spaces and regular LB-spaces with exact structures, forms their derived categories, and builds canonical triangle functors connecting them. The central result establishes that one of these functors is an equivalence. This equivalence implies that the two classes of spaces cannot be separated by any homological invariant, even if they turn out to be distinct as concrete objects. The finding supplies indirect support for an affirmative answer to the original completeness problem while demonstrating that the two categories share identical homological algebra.

Core claim

We consider the categories of complete and regular LB-spaces, establish exact structures on each, form their derived categories, and construct canonical triangle functors between these derived categories. We prove that one of the functors is an equivalence. This shows that the two classes share the same homological algebra even if they were to differ, and it may be read as evidence favoring an affirmative answer to Grothendieck's completeness question.

What carries the argument

The canonical triangle functors between the derived categories of complete and regular LB-spaces induced by the natural inclusion or forgetful maps with respect to suitable exact structures.

If this is right

  • Complete and regular LB-spaces have identical Ext groups and other derived invariants.
  • Any potential counterexample to completeness cannot be detected by homological methods.
  • The two categories remain indistinguishable even when viewed through their derived categories.
  • Homological algebra developed for one class applies unchanged to the other.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the converse functor is also shown to be an equivalence, the two categories would coincide and the completeness question would be settled positively.
  • The same homological comparison could be tried on other open completeness questions in locally convex spaces.
  • One could search for non-homological invariants that still separate regular from complete LB-spaces if they differ.

Load-bearing premise

The categories of complete and regular LB-spaces admit exact structures making their derived categories well-defined and turning the connecting functors into triangle functors.

What would settle it

A concrete pair of objects, one in each derived category, together with an explicit morphism whose image under the functor fails to be an isomorphism in the target derived category.

read the original abstract

We consider the long-standing question of whether every regular LB-space is complete. This problem has been open since the 1950s and originates in Grothendieck's early work in functional analysis. Rather than seeking a direct proof or counterexample, our approach is to study weak versions of the problem using homological methods. We consider the categories of complete and, respectively, regular LB-spaces, establish that their derived categories are well-defined with respect to several exact structures, and show that there are canonical triangle functors between them. If one of these functors were not an equivalence, this would provide a negative answer to Grothendieck's question. In contrast, we prove that one of them is an equivalence. This may be interpreted as evidence in favor of an affirmative answer to the original problem, and it shows in particular that the two classes of spaces share the same homological algebra, even if they were to differ.

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 develops a homological approach to Grothendieck's long-standing question of whether every regular LB-space is complete. It considers the categories C of complete LB-spaces and R of regular LB-spaces, equips both with exact structures, forms the associated derived categories D(C) and D(R), constructs canonical triangle functors between them, and proves that one of these functors is an equivalence. The authors interpret this equivalence as evidence favoring an affirmative answer to the completeness problem and as showing that the two classes share identical homological algebra.

Significance. If the central claim holds and the exact structures are topologically meaningful, the result would establish that complete and regular LB-spaces have equivalent derived categories, implying they cannot be distinguished by homological invariants. This provides a new, indirect perspective on a problem open since the 1950s and demonstrates that the homological algebra of the two classes coincides even if the classes themselves differ. The direct construction of functors and explicit verification of equivalence (rather than reduction to parameters) is a methodological strength.

major comments (2)
  1. [Sections defining exact structures and derived categories] The definition of the exact structures on C and R (appearing in the sections establishing the categories and their conflations) must be checked to confirm that conflations are defined via topologically exact sequences (continuous linear maps with open images or bornological exactness) rather than purely algebraic kernels and cokernels in the vector-space sense. If the structures are algebraic, the equivalence of D(C) and D(R) would not force regular LB-spaces to be complete and would therefore be independent of Grothendieck's question.
  2. [Main theorem on functor equivalence] The proof that one triangle functor is an equivalence (the main result stated in the abstract) is load-bearing. It requires explicit verification that the functor is fully faithful and essentially surjective on the level of derived categories; any gap in showing that the functors preserve the chosen exact structures or that the derived categories are well-defined would undermine the claim that the two classes share the same homological algebra.
minor comments (2)
  1. [Abstract] The abstract refers to 'several exact structures' without indicating which one yields the equivalence; a brief clarification would improve readability.
  2. [Introduction or preliminary sections] A short discussion of how the chosen exact structures relate to standard notions of exactness in the category of locally convex spaces (e.g., references to existing literature on exact structures in functional analysis) would help readers assess compatibility with the inductive-limit topology.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the referee's careful reading and constructive comments on our manuscript. We appreciate the focus on the topological nature of the exact structures and the explicitness of the equivalence proof. We address each major comment below.

read point-by-point responses

  1. Referee: [Sections defining exact structures and derived categories] The definition of the exact structures on C and R (appearing in the sections establishing the categories and their conflations) must be checked to confirm that conflations are defined via topologically exact sequences (continuous linear maps with open images or bornological exactness) rather than purely algebraic kernels and cokernels in the vector-space sense. If the structures are algebraic, the equivalence of D(C) and D(R) would not force regular LB-spaces to be complete and would therefore be independent of Grothendieck's question.

    Authors: We confirm that the exact structures on both C and R are defined via topologically exact sequences. A sequence is a conflation precisely when it is algebraically exact and the maps are continuous linear operators whose images are open in the appropriate bornological topology on the LB-spaces. This is stated in the sections establishing the categories and their conflations, where we explicitly invoke the topological vector space structure rather than the underlying algebraic vector-space kernels and cokernels. The choice of these structures is made so that the resulting derived-category equivalence bears directly on Grothendieck's completeness question. To remove any possible ambiguity, we will add a short clarifying sentence in the revised version reiterating that the conflations are topologically exact. revision: partial

  2. Referee: [Main theorem on functor equivalence] The proof that one triangle functor is an equivalence (the main result stated in the abstract) is load-bearing. It requires explicit verification that the functor is fully faithful and essentially surjective on the level of derived categories; any gap in showing that the functors preserve the chosen exact structures or that the derived categories are well-defined would undermine the claim that the two classes share the same homological algebra.

    Authors: The proof of the equivalence (Theorem 4.3 in the manuscript) supplies the required explicit verifications. Full faithfulness is established by showing that the canonical functor induces isomorphisms on all Hom spaces in the derived categories, using the fact that the inclusion of complete LB-spaces into regular ones preserves and reflects morphisms between complexes. Essential surjectivity follows from an explicit construction showing that every object of D(R) is isomorphic in the derived category to the image of an object of D(C). Preservation of the exact structures is verified directly: the functor maps conflations to conflations because the inclusion preserves continuous maps with open images and bornological exactness. The derived categories themselves are well-defined because the chosen exact structures on C and R are shown to satisfy the axioms of exact categories in the preceding sections. These steps are carried out with explicit calculations rather than by reduction to parameters, supporting the claim that the two classes share the same homological algebra. revision: no

Circularity Check

0 steps flagged

No circularity: direct construction of functors and equivalence verification

full rationale

The paper establishes exact structures on the categories of complete and regular LB-spaces, defines canonical triangle functors between their derived categories, and proves one is an equivalence by explicit construction and direct verification. No step reduces a claimed prediction or result to a fitted parameter, self-definition, or load-bearing self-citation that presupposes the target equivalence. The derivation remains independent of the original Grothendieck completeness question and does not rename or smuggle in prior results via circular citation chains.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of suitable exact structures on the categories of LB-spaces and on the standard axioms of triangulated categories; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption The categories of complete LB-spaces and regular LB-spaces admit exact structures making their derived categories well-defined.
    Invoked to justify the formation of derived categories and triangle functors.
  • standard math Standard axioms of triangulated categories and exact functors hold in this setting.
    Used to define and compare the derived categories.

pith-pipeline@v0.9.0 · 5460 in / 1330 out tokens · 39990 ms · 2026-05-16T22:27:21.319660+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    [BB94] K. D. Bierstedt and J. Bonet,Weighted (LF)-spaces of continuous functions, Math. Nachr.165 (1994), 25–48. [BBBK18] F. Bambozzi, O. Ben-Bassat and K. Kremnizer,Stein domains in Banach algebraic geometry, J. Funct. Anal.274(2018), no. 7, 1865–1927. 29 [BBKK24] O. Ben-Bassat, J. Kelly and K. Kremnizer,A perspective on the foundations of derived analyt...

    work page arXiv 1994

  2. [2]

    Bazzoni and S

    [BC13] S. Bazzoni and S. Crivei,One-sided exact categories, J. Pure Appl. Algebra217(2013), no. 2, 377–391. [BD89] J. Bonet and S. Dierolf,On LB-spaces of Moscatelli type, Do˘ ga Mat.13(1989), no. 1, 9–33. [BDM94] J. Bonet, P. Doma´ nski and J. Mujica,Complete spaces of vector-valued holomorphic germs, Math. Scand.75(1994), no. 1, 150–160. [Bie88] K. D. B...

    work page 2013

  3. [3]

    Bierstedt, R

    [BMS82] K.-D. Bierstedt, R. G. Meise and W. H. Summers, W. H.:K¨ othe sets and K¨ othe sequence spaces, in: Functional Analysis, Holomorphy and Approximation Theory (Rio de Janeiro, 1980), 27–91, North-Holland, Amsterdam-New York,

    work page 1980

  4. [4]

    Braunling and F

    [BR25] O. Braunling and F. Ren,Structure theorems for the heart of LCA, Preprint available at arXiv: 2512.03338v1,

    work page arXiv

  5. [5]

    B¨ uhler,A derived functor approach to bounded cohomology, C

    [B¨ uh08] T. B¨ uhler,A derived functor approach to bounded cohomology, C. R. Math. Acad. Sci. Paris346 (2008), no. 11–12, 615–618. [B¨ uh10] T. B¨ uhler,Exact categories, Expo. Math.28(2010), no. 1, 1–69. [Cri12] S. Crivei,Maximal exact structures on additive categories revisited, Math. Nachr.285(2012), no. 4, 440–446. [Die11] B. Dierolf,Private communications,

    work page 2008

  6. [6]

    Dierolf and P

    [DK08] S. Dierolf and P. Kuß,On completions of LB-spaces of Moscatelli type, Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. (Esp.)102(2008), no. 2, 205–209. [Dom92] P. Doma´ nski,On the projectiveLB-spaces, Note Mat.12(1992), 43–48. [Dom98] P. Doma´ nski,On spaces of continuous functions with values in coechelon spaces, Rev. R. Acad. Cienc. Exact. Fis. Nat.92(1...

    work page 2008

  7. [7]

    [IY08] O

    [HKR22] R. Henrard, S. Kvamme and A.-C. van Roosmalen,Auslander’s formula and correspondence for exact categories, Adv. Math.401(2022), 108296. [HKRW23] R. Henrard, S. Kvamme, A.-C. van Roosmalen, S.-A. Wegner,The left heart and exact hull of an additive regular category, Rev. Mat. Iberoam.39(2023), 439–494. [HR20a] R. Henrard and A.-C. van Roosmalen,Deri...

    work page arXiv 2022

  8. [8]

    Henrard and A.-C

    [HR20b] R. Henrard and A.-C. van Roosmalen,Localizations of (one-sided) exact categories, Preprint avail- able at arXiv:1903.10861v3,

    work page arXiv 1903

  9. [9]

    Henrard and A.-C

    [HR20c] R. Henrard and A.-C. van Roosmalen,Preresolving subcategories and derived equivalences, Preprint available at arXiv:2010.13208v1,

    work page arXiv 2010

  10. [10]

    Henrard and A.-C

    [HR24] R. Henrard and A.-C. van Roosmalen,On the obscure axiom for one-sided exact categories, J. Pure Appl. Algebra228(2024), no. 7, 107635. [HRS96] D. Happel, I. Reiten and S. O. Smalø,Tilting in Abelian Categories and Quasitilted Algebras, Mem. Am. Math. Soc., vol. 575,

    work page 2024

  11. [11]

    Hassoun, A

    30 [HSW21] S. Hassoun, A. Shah and S.-A. Wegner,Examples and non-examples of integral categories and the admissible intersection property, Cahiers Topologie G´ eom. Diff´ erentielle Cat´ eg.62(2021), no. 3, 329–354. [Jar81] H. Jarchow,Locally Convex Spaces, Mathematische Leitf¨ aden, B. G. Teubner, Stuttgart,

    work page 2021

  12. [12]

    Keller,Chain complexes and stable categories, Manuscr

    [Kel90] B. Keller,Chain complexes and stable categories, Manuscr. Math.67(1990), no. 4, 379–417. [K¨ ot48] G. K¨ othe,Die Stufenr¨ aume, eine einfache Klasse linearer vollkommener R¨ aume, Math. Zeitschrift 51(1948), 317–345. [K¨ ot50] G. K¨ othe, ¨Uber die Vollst¨ andigkeit einer Klasse lokalkonvexer R¨ aume, Math. Zeitschrift52(1950) 627–630. [K¨ ot66] ...

    work page 1990

  13. [13]

    Kopylov and S.-A

    [KW12] Ya. Kopylov and S.-A. Wegner,On the notion of a semi-abelian category in the sense of Palamodov, Appl. Categ. Structures20(2012), no. 5, 531–541. [Lup24] M. Lupini,(Looking for) the heart of abelian Polish groups, Adv. Math.453(2024) 109865. [LW23] M. Lawson and S.-A. Wegner,The category of Silva spaces is not integral, Homology Homotopy Appl.25(20...

    work page 2012

  14. [14]

    Neeman,The derived category of an exact category, J

    [Nee90] A. Neeman,The derived category of an exact category, J. Algebra135(1990), no. 2, 388–394. [Nee01] A. Neeman,Triangulated Categories, Ann. Math. Stud. vol. 148, Princeton, NJ, Princeton Univer- sity Press,

    work page 1990

  15. [15]

    [Pal71] V. P. Palamodov,Homological methods in the theory of locally convex spaces(English transl.), Russ. Math. Surv.26(1971), no. 1, 1–64 [Pir10] A. Y. Pirkovskii,Taylor’s functional calculus and derived categories(in Russian), Mathematical methods and applications, Proceedings of the 19th RSSU mathematical lectures, 148163, Moscow,

    work page 1971

  16. [16]

    Mixed Artin-Tate motives with finite coefficients

    [Pos14] L. Positselski,Mixed Artin-Tate motives with finite coefficients, Preprint available at arXiv: 1006.4343v6,

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    Positselski,Exact categories of topological vector spaces with linear topology, Preprint available at arXiv:2012.15431v5,

    [Pos24] L. Positselski,Exact categories of topological vector spaces with linear topology, Preprint available at arXiv:2012.15431v5,

    work page arXiv 2012

  18. [18]

    Prosmans,Derived categories for functional analysis, Publ

    [Pro00] F. Prosmans,Derived categories for functional analysis, Publ. Res. Inst. Math. Sci.36(2000), no. 1, 19–83. [PS00] F. Prosmans and J.-P. Schneiders,A topological reconstruction theorem forD ∞-modules, Duke Math. J.102(2000), no. 1, 39–86. [Qui73] D. Quillen,Higher algebraicK-theory. I, in: Algebr.K-Theory I, Proc. Conf. Battelle Inst. 1972, 85–147,...

    work page 2000

  19. [19]

    Roelcke and S

    [RD81] W. Roelcke and S. Dierolf,On the three-space-problem for topological vector spaces, Collect. Math. 32(1981), no. 1, 13–35. [Rie16] E. Riehl,Category Theory in Context, Dover Publications, Inc., Mineola, NY (Aurora Dover Modern Math Originals),

    work page 1981

  20. [20]

    Rump,Almost abelian categories, Cahiers Topologie G´ eom

    [Rum01] W. Rump,Almost abelian categories, Cahiers Topologie G´ eom. Diff´ erentielle Cat´ eg. 42 (2001), no. 3, S. 163–225. [Rum11] W. Rump,On the maximal exact structure of an additive category, Fundam. Math.214(2011), no. 1, 77–87. [RW77] F. Richman and E. A. Walker,Ext in pre-abelian categories, Pacific J. Math.71(1977), no. 2, 521–535. [Sch99] J.-P. ...

    work page 2001

  21. [21]

    ˇSˇtov´ ıˇ cek, O

    [ˇSKT11] J. ˇSˇtov´ ıˇ cek, O. Kerner and J. Trlifaj,Tilting via torsion pairs and almost hereditary Noetherian rings, J. Pure Appl. Algebra215(2011), no. 9, 2072–2085. [SW11] D. Sieg and S.-A. Wegner,Maximal exact structures on additive categories, Math. Nachr.284 (2011), no. 16, 2093–2100. [Ver96] J.-L. Verdier,Des Cat´ egories D´ eriv´ ees des Cat´ ego...

    work page 2011

  22. [22]

    Vogt,Regularity properties of (LF)-spaces, in: Progress in functional analysis (Pe˜ n´ ıscola, 1990), 57–84, North-Holland, Amsterdam,

    [Vog92] D. Vogt,Regularity properties of (LF)-spaces, in: Progress in functional analysis (Pe˜ n´ ıscola, 1990), 57–84, North-Holland, Amsterdam,

    work page 1990

  23. [23]

    Wegner,The heart of the Banach spaces, J

    [Weg17] S.-A. Wegner,The heart of the Banach spaces, J. Pure Appl. Algebra221(2017), no. 11, 2880–2909. [Wen96] J. Wengenroth,Acyclic inductive spectra of Fr´ echet spaces, Studia Math.120(1996), no. 3, 247–258. [Wen03] J. Wengenroth,Derived Functors in Functional Analysis, Springer-Verlag, Berlin,

    work page 2017