A Counterexample to Cohomological Rigidity of Toric Manifolds

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↗

arXiv2026

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↗

arXiv2026

The sublevel Flood bifiltration: towards scalable 2-parameter persistent homology

Multiparameter persistent homology is a rapidly developing branch of topological data analysis that improves the robustness of single-parameter persistent homology to outliers, while still capturing the metric characteristics of the data. However, a notable limitation is its lack of scalability. In this paper, we introduce a novel approach for efficiently computing 2-parameter persistent homology on large point sets. Our work extends the Flood filtration, originally developed for single-parameter persistence. Our construction, called the sublevel Flood bifiltration, offers a scalable approximation of the sublevel offset bifiltration. We show that it benefits from theoretical stability properties and describe how to compute it efficiently. We demonstrate the performance of our approach in classification tasks on low-dimensional synthetic datasets, where density awareness is critical, as well as on real-world time series datasets.

math.AT↗