代数拓扑
Compression aims to reduce the size of an input, while maintaining its relevant properties. For multi-parameter persistent homology, compression is a necessary step in any computational pipeline, since standard constructions lead to large…
We show some results of compact Kahler manifolds with elliptic homotopy type. In complex dimension 4 we list the Hodge diamonds of compact Kahler manifolds with elliptic homotopy type. In general dimension we obtain a partial…
The rational homology of the IA-automorphism group $\operatorname{IA}_n$ of the free group $F_n$ is still mysterious. We study the quotient of the rational homology of $\operatorname{IA}_n$ that is obtained as the image of the map induced…
In [8](arXiv:2111.06159) we introduced the notion of a k-almost-quasifibration. In this article we update this definition and call it a k-c-quasifibration. This will help us to relate it to quasifibrations. We study some basic properties of…
We consider Gauss sums associated to functions $T\to \mathbb R/\mathbb Z$ which satisfy some sort of quadratic property and investigate their elementary properties. These properties and a Gauss sum formula from the nineteenth century due to…
The main objective of this paper is to analyze the $p$-local homotopy type of the complex projective Stiefel manifolds, and other analogous quotients of Stiefel manifolds. We take the cue from a result of Yamaguchi about the $p$-regularity…
Let $\mathcal{F}$ be a foliation with a "singular" submanifold $B$ on a smooth manifold $M$ and $p:E \to B$ be a regular neighborhood of $B$ in $M$. Under certain "homogeneity" assumptions on $\mathcal{F}$ near $B$ we prove that every leaf…
We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It…
We introduce a new approach to determining the structure of topological cyclic homology by means of a descent spectral sequence. We carry out the computation for a p-adic local field with Fp-coefficients, including the case p=2 which was…
The self-closeness number of a CW-complex is a homotopy invariant defined by the minimal number $n$ such that every self-maps of $X$ which induces automorphisms on the first $n$ homotopy groups of $X$ is a homotopy equivalence. In this…
While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many…
Following Boardman-Vogt, McDuff, Segal, and others, we construct a monoidal topological groupoid or space of finite subsets of the plane, and interpret the Burau representation of knot theory as a topological quantum field theory defined on…
We prove that the existence of a $1$-Lipschitz retraction (a contraction) from a space $X$ onto its subspace $A$ implies the persistence diagram of $A$ embeds into the persistence diagram of $X$. As a tool we introduce tight injections of…
Given a metric space $X$ and a subspace $A\subset X$, we prove $A$ can generate various algebraic elements in persistent homology of $X$. We call such elements (algebraic) footprints of $A$. Our results imply that footprints typically…
We establish natural splittings for the values of global Mackey functors at orthogonal, unitary and symplectic groups. In particular, the restriction homomorphisms between the orthogonal, unitary and symplectic groups of adjacent dimensions…
We give a long exact sequence for the homology of a graded atomic lattice equipped with a sheaf of modules, in terms of the deleted and restricted lattices. This is then used to compute the homology of the arrangement lattice of a…
We compute the connective spectra of maps from $\mathbb{Z}$ to the Picard spectra of the spherical Witt vectors associated with perfect rings of characteristic $p$. As an application, we determine the connective spectrum of maps from…
We prove that the class of numerable open covers of topological spaces is the smallest class that contains covers with pairwise disjoint elements and numerable covers with two elements, closed under composition and coarsening of covers. We…
We show that the Iwahori-Hecke algebras H_n of type A_{n-1} satisfy homological stability, where homology is interpreted as an appropriate Tor group. Our result precisely recovers Nakaoka's homological stability result for the symmetric…
We consider the problem of generating hypothesis from data based on ideas from logic. We introduce a notion of barcodes, which we call sequent barcodes, that mirrors the barcodes in persistent homology theory in topological data analysis.…