Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.02987

Quantitative chain extensions and integral cohomological fillings

Franziska Hofmann·Clara Loeh
View original source ↗Read source document ↗Export metadata ↓

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

math.GTmath.AT

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

arXiv2026

Arithmeticity and geometrical commensurators

We establish a coarse-geometric analogue of Margulis's commensurator criterion for groups acting on good Gromov-hyperbolic spaces. For a non-elementary $2\frac{1}{2}$-lattice $Γ$, we introduce its coarse-geometric commensurator and show that, if this commensurator contains $Γ$ with infinite index, then, after quotienting by a finite normal subgroup, either $Γ$ is a lattice in a nondiscrete totally disconnected locally compact group with dense commensurator, or $Γ$ is an arithmetic lattice in a rank-one simple real Lie group and its orbit metric is roughly isometric, up to scaling, to the corresponding arithmetic metric. We also prove an analogous characterization of rank-one locally symmetric metrics using boundary maps induced by rough isometries. In particular, assuming the Hilbert--Smith conjecture, the totally disconnected alternative is excluded when the limit set is a connected manifold.

math.GT↗
arXiv2026

Ropelength-Filtered Knot Densities

We study scale-invariant $p$-densities of knot types in Euclidean three-space, defined as the infimum over representatives of the length divided by an $L^p$-type mean of the pairwise chord lengths; the exponent $p$ is any value greater than minus one, including infinity, where the mean is the diameter. The unconstrained density is independent of the knot type. For exponents at most two, its common value is the density of the round circle, by the sharp mean-chord inequality; at the diameter endpoint it equals two; and for finite exponents greater than two it reduces to a planar convex extremal problem, in which the round circle fails to be extremal beyond an explicit threshold. To prevent this degeneration, which is caused by knotting at arbitrarily small scale, we introduce a ropelength filtration: at each level $λ$, the infimum is restricted to representatives whose ropelength is at most $λ$ times the ropelength of the knot type. The filtered density has minimizers, detects the unknot for exponents at most two, and converges to the unconstrained density as $λ$ tends to infinity. It is continuous in the exponent, including the diameter endpoint, and right-continuous in the filtration parameter. As a numerical test, we evaluate the density on published approximately tight configurations of the granny knot and the square knot. The sampled values differ by about 2.5 percent at exponent two, whereas their ordering is reversed at the diameter endpoint. These computations provide evidence that the ropelength filtration retains geometric information lost by the unconstrained theory.

math.GT↗
arXiv2026

Hopf decomposition of the actions of subgroups of the mapping class group

We study the Hopf decomposition of subgroup actions of the Teichmüller modular group on the Thurston boundary with respect to the Thurston measure class. We identify the conservative part with the big horospherical limit set modulo null sets. For a basepoint with trivial stabilizer in the subgroup, the ideal boundary of the associated Dirichlet polyhedron is wandering, and its subgroup translates cover the dissipative part modulo null sets. The dissipative part also agrees with the set of Dirichlet points modulo null sets. The description using Dirichlet polyhedra relies on a separation theorem for extremal length: every level set of an extremal length ratio at distinct points of Teichmüller space has measure zero. Kaimanovich's Radon--Nikodym criterion characterizes the two parts by the divergence and convergence, respectively, of a series of extremal length ratios. For the Torelli group of a closed surface of genus at least two, we use radial limits of the period map to prove that its conical limit set has measure zero. Together with the conservativity established by Choi, Gekhtman, Yang, and Zheng, our geometric characterization implies that its big horospherical limit set has full measure and that the ideal boundary of every Dirichlet polyhedron has measure zero.

math.GT↗