Searcharxiv⌕ Search

arXiv · 2610.02987

Quantitative chain extensions and integral cohomological fillings

Abstract

We develop two methods in quantitative homological algebra: A declarative approach to integral cohomological filling problems and a quantitatively controlled replacement of normed chain complexes by their homology complex. Both methods are connected through so-called chain extensions. As applications, we obtain transparent proofs for uniform integral simplicial cohomological fillings for subdivisions of simplicial complexes, for uniform integral cohomological fillings of certain finite coverings, and for lower bounds of the $\ell^1$-semi-norm on product spaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Franziska Hofmann, Clara Loeh. 2026-10-02. Quantitative chain extensions and integral cohomological fillings. https://arxiv.org/abs/2610.02987

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

KEEP EXPLORING

Related papers

Knot distortion via curve combinatorics

Distortion is a geometric knot invariant introduced by Gromov in 1983. Since then, the question of estimating distortion for general knots has remained widely open. In this paper, we develop a combinatorial language to study this question. We apply our method to prove new lower bounds for knot distortion. Specifically, we prove that the distortion of $T_{p, p+1}\# K$ is at least $p$ up to a constant, independent of $K$. In the appendix, we also prove that any embedding of a minimal genus Seifert surface for $T_{p,p+1}\# K$ in $\mathbb{R}^3$ has small extrinsic systole, in the sense that it contains a non-contractible loop with small $\mathbb{R}^3$-diameter relative to the length of the knot. These results are consequences of combinatorial properties of the monodromy map associated to torus knots.

math.GT↗

Ropelength-Filtered Swept-Area Geometry

This paper studies the swept-area cost of isotopies between thick knot representatives when the isotopy is required to stay inside a ropelength window: every intermediate curve has thickness at least one and length at most $Λ$. Without these constraints the swept area is the classical homotopy-area length on spaces of curves, and the induced distance on unparametrized curves is bounded below by the flat norm; see Yezzi--Mennucci and Michor--Mumford. We record the corresponding non-degeneracy on the ropelength-filtered moduli space, taken modulo orientation-preserving reparametrizations and Euclidean isometries, as a consequence of this classical lower bound. The ropelength window changes the theory in two ways. Distances are infinite between classes that are not yet connected at the level $Λ$, and all costs depend monotonically on the budget. We organize this dependence through budget--cost profiles and swept-area merge costs of admissible components. We prove their monotonicity and a transport estimate under whole-path simulations, and relate them to the merge scales of ropelength-filtered knot spaces. On the diagrammatic side, we construct a network with exact spatial endpoints whose path cost equals the infimal cost over diagrammatically generic isotopies, and show that the graph obtained by collapsing projection fibres gives only a lower bound, which can lose positive cost inside a fibre. We also give projected-area calibrations, exact formulas for concentric round and homothetic elliptical unknots, in which the window is not active, a labelled polygonal estimate, and a based loop-length structure on admissible fundamental groups. Existence of minimizing isotopies under the thickness and length constraints is left open.

math.GT↗

Reflections on branched covers

A flag complex $L$ determines a locally CAT(0) cube complex $P_L$ with the links of all vertices isomorphic to $L$. The fundamental group of $P_L$ is the commutator subgroup of the right-angled Coxeter group $W_L$. We observe that an edge contraction $L \rightarrow L/e$ determines a $2$-fold branched cover $P_L \rightarrow P_{L/e}$ (up to a homotopy equivalence). We use this branched cover to give an inequality between the $\mathbb{F}_2$-$L^2$-Betti numbers of $W_L$ and $W_{L/e}$. This reduces an $\mathbb{F}_2$-version of the Singer Conjecture for right-angled Coxeter groups to minimal flag triangulations of even dimensional spheres. We also use this inequality to compute the $L^2$-Betti numbers of $W_L$ when $L$ is a flag triangulation of the projective plane or the torus.

math.GT↗