Search arXivSearch

arXiv · 2505.16907

Persistent homology of function spaces

Abstract

We can view the Lipschitz constant as a height function on the space of maps between two manifolds and ask (as Gromov did nearly 30 years ago) what its ``Morse landscape'' looks like: are there high peaks, deep valleys and mountain passes? A simple and relatively well-studied version of this question: given two points in the same component (homotopic maps), does a path between them (a homotopy) have to pass through maps of much higher Lipschitz constant? Now we also consider similar questions for higher-dimensional cycles in the space. We make this precise using the language of persistent homology and give some first results.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jonathan Block, Fedor Manin, Shmuel Weinberger. 2026-09-06. Persistent homology of function spaces. https://arxiv.org/abs/2505.16907

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

KEEP EXPLORING

Related papers

Equivariant bordism rigidity for toric manifolds

In this paper, we develop a bordism-theoretic approach to rigidity problems for toric and quasitoric manifolds. We prove that two toric manifolds are isomorphic as varieties if and only if they are weakly equivariantly unitary bordant. We also establish a parallel rigidity result for omnioriented quasitoric manifolds satisfying the injectivity condition, showing that their equivariant unitary bordism classes completely determine their omniorientation-preserving equivariant homeomorphism types. Thus, equivariant bordism provides a topological framework for detecting geometric and combinatorial rigidity.

math.AT

Bounded cohomology, Codimension two submanifolds and Pontryagin-Thom constructions

In this note we develop a novel approach for proving the non-vanishing of bounded cohomology. This utilizes a splitting argument whose simplest form is as follows: Let M denote an n-manifold of non-zero simplicial volume and N a codimension two submanifold of M, then one can conclude that the n-th bounded cohomology of the fundamental group of M \ N is non-zero. We then translate the existence of a complement with a given fundamental group into an easily accessible homology computation, which might be of independent interest.

math.AT

Cyclic ABC Massey Products

This paper refines the notion of cyclic Massey products to the bi-graded setting, just as quadruple ABC Massey products refine the notion of quadruple Massey products. The result, we call ``cyclic ABC Massey products,'' are in general non-trivial and contain information different from the quadruple ABC Massey products.

math.AT