arXiv Science⌕ Search

arXiv · 2610.07932

On open covers of aspherical spaces satisfying $π_1$-constraints and bounded Adamson cohomology

Abstract

Given a topological space $X$ and a family of subgroups $\mathcal{F}$ of $π_1(X)$, the $\mathcal{F}$-category of $X$ is given as one less than the cardinality of the smallest cover of $X$ by open subsets whose fundamental groups lie in $\mathcal{F}$. In this article we study $\mathcal{F}$-categories of aspherical spaces and obtain cohomological lower bounds, a maximality result and bounded cohomology classes whose vanishing properties are crucial for determining $\mathcal{F}$-categories. For this purpose, we study the bounded Adamson cohomology of a family of subgroups and discuss universality properties of bounded cohomology classes. We apply our techniques to derive some applications to the study of the monotonicity of $\mathcal{F}$-categories under degree-one maps between manifolds and to provide a counterexample to a question of Capovilla, Löh and Moraschini.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Arturo Espinosa Baro, Stephan Mescher. 2026-10-06. On open covers of aspherical spaces satisfying $π_1$-constraints and bounded Adamson cohomology. https://arxiv.org/abs/2610.07932

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

KEEP EXPLORING

Related papers

On the Mac Lane $Q$-Construction for Exact $\infty$-Categories

We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in $\mathcal{A}$ that is an immediate generalization of Mac Lane's cubical $Q$-complex computing the stable homology of abelian groups.

math.AT↗

Obstructions to Reality: Torsors & Visual Paradox

Visual paradoxes like the Penrose staircase present a fundamental tension: locally coherent geometric relationships that cannot be realized globally. Inspired by Penrose's observations connecting such paradoxes to cohomology, we develop a mathematical framework that characterizes this phenomenon through network torsors and sheaf cohomology. Network torsors capture the essential nature of visual paradoxes by formalizing relative geometric attributes (height changes, orientation flips) without requiring absolute measures. We demonstrate that a significant class of visual paradoxes can be characterized as non-trivial network torsors, with their obstruction to global consistency quantified by elements of first cohomology $H^1$. This framework enables analysis of classical paradoxes and construction of novel examples on various topological spaces. Key contributions include the first visual paradox with nonabelian holonomy (the Klein ladder, whose holonomy takes values in the infinite dihedral group), and paradoxes driven by boundary conditions rather than loops, analyzable via non-constant structure sheaves and relative cohomology. Our approach unifies diverse visual paradoxes under a single mathematical principle: the obstruction to globalizing locally consistent geometric relationships.

math.AT↗