The so called v{C}ech and Vietoris-Rips simplicial filtrations are designed to capture information about the topological structure of metric datasets. These filtrations are two of the workhorses in the field of topological data analysis. They enjoy stability with respect to the Gromov-Hausdorff (GH) distance, and this stability property allows us to estimate the GH distance between finite metric space representations of the underlying datasets. Via the concept of Gromovs curvature sets we construct a rich theoretical framework of valuation-induced stable filtration functors. This framework includes the v{C}ech and Vietoris-Rips filtration functors as well as many novel filtration functors that capture diverse features present in datasets. We further explore the concept of basepoint filtrations functors and use it to provide a classification of the filtration functors that we identify.
For an equivariant commutative ring spectrum $R$, $pi_0 R$ has algebraic structure reflecting the presence of both additive transfers and multiplicative norms. The additive structure gives rise to a Mackey functor and the multiplicative structure yields the additional structure of a Tambara functor. If $R$ is an $N_infty$ ring spectrum in the category of genuine $G$-spectra, then all possible additive transfers are present and $pi_0 R$ has the structure of an incomplete Tambara functor. However, if $R$ is an $N_infty$ ring spectrum in a category of incomplete $G$-spectra, the situation is more subtle. In this paper, we study the algebraic theory of Tambara structures on incomplete Mackey functors, which we call bi-incomplete Tambara functors. Just as incomplete Tambara functors have compatibility conditions that control which systems of norms are possible, bi-incomplete Tambara functors have algebraic constraints arising from the possible interactions of transfers and norms. We give a complete description of the possible interactions between the additive and multiplicative structures.
The Barratt nerve, denoted $B$, is the endofunctor that takes a simplicial set to the nerve of the poset of its non-degenerate simplices. The ordered simplicial complex $BSd, X$, namely the Barratt nerve of the Kan subdivision $Sd, X$, is a triangulation of the original simplicial set $X$ in the sense that there is a natural map $BSd, Xto X$ whose geometric realization is homotopic to some homeomorphism. This is a refinement to the result that any simplicial set can be triangulated. A simplicial set is said to be regular if each of its non-degenerate simplices is embedded along its $n$-th face. That $BSd, Xto X$ is a triangulation of $X$ is a consequence of the fact that the Kan subdivision makes simplicial sets regular and that $BX$ is a triangulation of $X$ whenever $X$ is regular. In this paper, we argue that $B$, interpreted as a functor from regular to non-singular simplicial sets, is not just any triangulation, but in fact the best. We mean this in the sense that $B$ is the left Kan extension of barycentric subdivision along the Yoneda embedding.
We introduce a new algorithm for the structural analysis of finite abstract simplicial complexes based on local homology. Through an iterative and top-down procedure, our algorithm computes a stratification $pi$ of the poset $P$ of simplices of a simplicial complex $K$, such that for each strata $P_{pi=i} subset P$, $P_{pi=i}$ is maximal among all open subposets $U subset overline{P_{pi=i}}$ in its closure such that the restriction of the local $mathbb{Z}$-homology sheaf of $overline{P_{pi=i}}$ to $U$ is locally constant. Passage to the localization of $P$ dictated by $pi$ then attaches a canonical stratified homotopy type to $K$. Using $infty$-categorical methods, we first prove that the proposed algorithm correctly computes the canonical stratification of a simplicial complex; along the way, we prove a few general results about sheaves on posets and the homotopy types of links that may be of independent interest. We then present a pseudocode implementation of the algorithm, with special focus given to the case of dimension $leq 3$, and show that it runs in polynomial time. In particular, an $n$-dimensional simplicial complex with size $s$ and $nleq3$ can be processed in O($s^2$) time or O($s$) given one further assumption on the structure. Processing Delaunay triangulations of $2$-spheres and $3$-balls provides experimental confirmation of this linear running time.
We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$, and it describes the $E_2$ term of the Kunneth spectral sequence for relative $THH$. Applied to ordinary rings, we obtain new algebraic invariants. Extending Hesselholts construction of the Witt vectors of noncommutative rings, we interpret our construction as providing Witt vectors for Green functors.
A simplicial set is said to be non-singular if its non-degenerate simplices are embedded. Let $sSet$ denote the category of simplicial sets. We prove that the full subcategory $nsSet$ whose objects are the non-singular simplicial sets admits a model structure such that $nsSet$ becomes is Quillen equivalent to $sSet$ equipped with the standard model structure due to Quillen. The model structure on $nsSet$ is right-induced from $sSet$ and it makes $nsSet$ a proper cofibrantly generated model category. Together with Thomasons model structure on small categories (1980) and Raptis model structure on posets (2010) these form a square-shaped diagram of Quillen equivalent model categories in which the subsquare of right adjoints commutes.