arXiv ScienceSearch

arXiv · 1611.04563

Coincidences of homological densities, predicted by arithmetic

Abstract

Motivated by analogies with basic density theorems in analytic number theory, we introduce a notion (and variations) of the homological density of one space in another. We use Weil's number field/ function field analogy to predict coincidences for limiting homological densities of various sequences $\mathcal{Z}^{(d_1,\ldots,d_m)}_n(X)$ of spaces of $0$-cycles on manifolds $X$. The main theorem in this paper is that these topological predictions, which seem strange from a purely topological viewpoint, are indeed true. The obstacle to proving such a theorem with current technology is how to deal with the combinatorial complexity of all possible "collisions" of points, this problem does not arise in the simplest (and classical) case $(m,n)=(1,2)$ of configuration spaces. To overcome this obstacle we develop a method that uses the Bj\"orner--Wachs theory of lexicographic shellability from algebraic combinatorics to study such problems. As a consequence we derive new homological stability theorems for broad classes of $0$-cycles on manifolds. Even in the classical case $(m,n)=(1,2)$ this gives a new, simplified proof of classical results, and also of recent theorems of Church and others.

Explore related subjects

Keep this discovery

BibTeXRIS

Benson Farb, Jesse Wolfson, Melanie Matchett Wood. 2016-11-14. Coincidences of homological densities, predicted by arithmetic. https://arxiv.org/abs/1611.04563

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

KEEP EXPLORING

Related papers

Homogeneous Milnor fibers and Kato--Matsumoto bounds via simplicial multiwedges

For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.

math.AT

The homotopy types of directed path and trace spaces

We construct a saturated directed space with a Hausdorff $\Delta$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square, whereas the directed path space has a nontrivial fundamental group. In particular, the canonical quotient map is not a weak homotopy equivalence. The same conclusion holds for regular directed paths modulo increasing homeomorphisms.

math.AT

Moduli spaces of geometric functorial field theories

We develop tools to compute moduli spaces of geometric functorial field theories as mapping spaces of equivariant simplicial presheaves. Given a d-dimensional geometric structure F, presented as a presheaf on the site of smooth families of d-manifolds, we define its Cartesian realization, which is an O(d)-equivariant simplicial presheaf on the site of Cartesian spaces. We use Cartesian realizations to present the moduli space of functorial field theories with geometric structure F as a mapping space between O(d)-equivariant simplicial presheaves. In a companion paper, we use this result to compute the moduli space of smooth one-dimensional oriented Riemannian functorial field theories valued in an arbitrary smooth symmetric monoidal infinity-category.

math.AT