代数拓扑

We survey what is known and unknown about Vietoris-Rips complexes and thickenings of spheres. Afterwards, we show how to control the homotopy connectivity of Vietoris-Rips complexes of spheres in terms of coverings of spheres and projective…

We introduce polyhedral products in an $\infty$-categorical setting. We generalize a splitting result by Bahri, Bendersky, Cohen, and Gitler that determines the stable homotopy type of the a polyhedral product. We also introduce a motivic…

Mutations of genetic sequences are often accompanied by their recombinations, known as phylogenetic networks. These networks are typically reconstructed from coalescent processes that may arise from optimal merging or fitting together a…

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…

We consider transfer maps on ordinary homology, bordism of singular spaces and homology with coefficients in Ranicki's symmetric L-spectrum, associated to block bundles with closed oriented PL manifold fiber and compact polyhedral base. We…

Let $P_k$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$ over the prime field of two elements, $\mathbb F_2$, with the degree of each $x_i$ being 1. We study the hit problem, set up by Frank Peterson, of finding a…

The negative cyclic homology for a differential graded algebra over the rational field has a quotient of the Hochschild homology as a direct summand if the $S$-action is trivial. With this fact, we show that the string bracket in the sense…

We compute topological Hochschild homology of sufficiently structured forms of truncated Brown--Peterson spectra with coefficients. In particular, we compute $\mathrm{THH}_*(B\langle n\rangle ;H\mathbb{Z}_{(p)})$ for all $n$ and…

We consider in parallel pointed homotopy automorphisms of iterated wedge sums of topological spaces and boundary relative homotopy automorphisms of iterated connected sums of manifolds minus a disk. Under certain conditions on the spaces…

Let $B_4$ (resp. $PB_4$) be the braid group (resp. the pure braid group) on 4 strands and $NFI_{PB_4}(B_4)$ be the poset whose objects are finite index normal subgroups of $B_4$ that are contained in $PB_4$. In this paper, we introduce…

Write $P_k:= \mathbb F_2[x_1,x_2,\ldots ,x_k]$ for the polynomial algebra over the prime field $\mathbb F_2$ with two elements, in $k$ generators $x_1, x_2, \ldots , x_k$, each of degree 1. The polynomial algebra $P_k$ is considered as a…

After explaining the importance of model categories in abstract homotopy theory, we provide concrete examples demonstrating that various categories of manifolds do not have all finite colimits, and hence cannot be model categories. We then…

A decade ago two groups of authors, Karasev, Hubard and Aronov, and Blagojevi\'c and Ziegler, have shown that the regular convex partitions of a Euclidean space into $n$ parts yield a solution to the generalised Nandakumar and Ramana-Rao…

We solve the higher version of Hilbert's Third Problem for one-dimensional geometries, and in higher dimensions we reduce the problem to a computation in group homology. Our central result concerns the scissors congruence $K$-theory…

A polyhedral product is a natural subspace of a Cartesian product that is specified by a simplicial complex. The modern formalism arose as a generalization of the spaces known as moment-angle complexes which were developed within the…

The well-known theory of Pontryagin duality provides a strong connection between the homology and cohomology theories of a profinite group in appropriate categories. A construction for taking the `profinite direct sum' of an infinite family…

We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group…

To compute the persistent homology of a grayscale digital image one needs to build a simplicial or cubical complex from it. For cubical complexes, the two commonly used constructions (corresponding to direct and indirect digital…

Asao-Ivanov showed that magnitude homology is a Tor functor, hence we can compute it by giving a projective resolution of a certain module. In this article, we compute magnitude homology by constructing a minimal projective resolution. As a…

Distances have a ubiquitous role in persistent homology, from the direct comparison of homological representations of data to the definition and optimization of invariants. In this article we introduce a family of parametrized pseudometrics…