Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2512.13161

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

Sven-Ake Wegner
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.FAmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sven-Ake Wegner. 2026-04-27. A homological approach to (Grothendieck's) completeness problem for regular LB-spaces. https://arxiv.org/abs/2512.13161

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Metric Poincaré type inequalities and lower bounds on the infimum of the spectrum for graphs

We study metric Poincaré type inequalities on general graphs. We characterize graphs satisfying such inequalities and then turn to the best constants in these inequalities. Invoking suitable metrics we can interpret these constants geometrically as diameters and inradii. Moreover, we can relate them to spectral theory of Laplacians once a probability measure on the graph is chosen. More specifically, we obtain a variational characterization of these constants as infimum over spectral gaps of all Laplacians on the graphs associated to probability measures

math.FA↗
arXiv2026

Natural methods of unsupervised topological alignment

In this paper, we consider methods for the diagonal multi-omics integration of heterogeneous datasets. Several approaches to the nature of biological heterogeneity are analyzed and developed to comprehend more clearly the generated differences. Specifically, the extremal trace problems for the coupled Laplacian on sets homeomorphic to the Stiefel manifold embedded in the complex Euclidean space are investigated. The gradient ascent method for the maximization problem is elaborated in the classical terms of functional analysis, which is of significant interest in itself. On this basis, we introduce a novel characteristic of dataset heterogeneity by employing the norm of the difference between the maximum and minimum points.

math.FA↗
arXiv2026

On Toeplitz operators on compact Abelian groups and discrete Wiener--Hopf operators

This paper introduces the concept of a rotation number for a continuous, non-degenerate two-dimensional vector field (a zero-free complex-valued function) on a compact connected Abelian group. This concept generalizes the notion of a finite rotation number for such groups, previously introduced by the author. Using this concept, a Gohberg-Krein index formula is derived for semi-Fredholm Toeplitz operators with continuous symbols defined on such groups. Criteria for these operators to be semi-Fredholm are established, and their essential spectra are described. As a by-product for the continuous symbol case, conditions for Fredholmness and semi-Fredholmness are established, and the Fredholm index of Wiener-Hopf operators over a linearly ordered discrete Abelian group is calculated in terms of their symbols. Spectral properties-including the spectra and essential spectra-of the Wiener-Hopf operators under consideration are also described.

math.FA↗