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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Wegner, Sven-Ake
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918470189318144
author Wegner, Sven-Ake
author_facet Wegner, Sven-Ake
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2512_13161
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle A homological approach to (Grothendieck's) completeness problem for regular LB-spaces
Wegner, Sven-Ake
Functional Analysis
Category Theory
Primary 46M18, 46A13, 18G80, Secondary 18E05, 46M10, 46A45
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.
title A homological approach to (Grothendieck's) completeness problem for regular LB-spaces
topic Functional Analysis
Category Theory
Primary 46M18, 46A13, 18G80, Secondary 18E05, 46M10, 46A45
url https://arxiv.org/abs/2512.13161