Homological surrogates in topological and bornological analysis
Abstract
We describe hearts of strongly deflation-exact categories with kernels as localizations of categories of three-term complexes up to homotopy, without assuming admissibility of kernels. We construct a calculus of fractions and give explicit formulas for kernels and cokernels. For complete locally convex spaces, whose failure to be quasiabelian was established by Prosmans (2000), our description and its dual provide derived equivalent abelian models through two choices of a notion of exactness. For quasi-complete, sequentially complete and locally (a.k.a. Mackey) complete spaces, we show that the topologically exact sequences form the maximal deflation-exact structure, although these categories are not extension-closed in the category of locally convex Hausdorff spaces. Our results make them nevertheless accessible to homological algebra with respect to the induced notion of exactness. Further applications concern the quasiabelian category of bornological modules equipped with the non-maximal linear split exact structure.
Related
BibTeX
@misc{lawson2026homological,
title = {{Homological surrogates in topological and bornological analysis}},
author = {Marianne M. Lawson and Sven A. Wegner},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.40304},
eprint = {2609.40304},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.40304},
}
RIS
TY - UNPB
TI - Homological surrogates in topological and bornological analysis
AU - Marianne M. Lawson
AU - Sven A. Wegner
PY - 2026
DA - 2026/09/30
PB - arXiv
DO - 10.48550/arxiv.2609.40304
UR - https://arxiv.org/abs/2609.40304
AB - We describe hearts of strongly deflation-exact categories with kernels as localizations of categories of three-term complexes up to homotopy, without assuming admissibility of kernels. We construct a calculus of fractions and give explicit formulas for kernels and cokernels. For complete locally convex spaces, whose failure to be quasiabelian was established by Prosmans (2000), our description and its dual provide derived equivalent abelian models through two choices of a notion of exactness. For quasi-complete, sequentially complete and locally (a.k.a. Mackey) complete spaces, we show that the topologically exact sequences form the maximal deflation-exact structure, although these categories are not extension-closed in the category of locally convex Hausdorff spaces. Our results make them nevertheless accessible to homological algebra with respect to the induced notion of exactness. Further applications concern the quasiabelian category of bornological modules equipped with the non-maximal linear split exact structure.
ER -