代数拓扑

We prove that the Halperin-Carlsson conjecture holds for any free (Z_2)^m action on a compact manifold whose orbit space is a small cover. In addition, we show that if the total space of a principal (Z_2)^m bundle over a small cover is…

We introduce a notion of harmonic chain for chain complexes over fields of positive characteristic. A list of conditions for when a Hodge decomposition theorem holds in this setting is given and we apply this theory to finite CW complexes.…

Let $M$ be a nilmanifold with a fundamental group which is free $2$-step nilpotent on at least 4 generators. We will show that for any nonnegative integer $n$ there exists a self-diffeomorphism $h_n$ of $M$ such that $h_n$ has exactly $n$…

We describe the connected components of the space $\text{Hom}(\Gamma,SU(2))$ of homomorphisms for a discrete nilpotent group $\Gamma$. The connected components arising from homomorphisms with non-abelian image turn out to be homeomorphic to…

The goal of this note is to define biparametric persistence diagrams for smooth generic mappings $h=(f,g):M\to V\cong \mathbb{R}^2$ for smooth compact manifold $M$. Existing approaches to multivariate persistence are mostly centered on the…

We construct a small regular cellular decomposition of the Fulton MacPherson operad $FM_2$ that is compatible with the operad composition. The cells are indexed by trees with edges of two colors and vertices labelled by cells of the cacti…

We show nilpotency and completeness results for the homotopy automorphisms of a marked n-stage for an unstable coalgebra. These objects figure in the moduli problem of unstable coalgebras. Our theorems extend classical work of Dror,…

We show that a version of the cube axiom holds in cosimplicial unstable coalgebras and cosimplicial spaces equipped with a resolution model structure. As an application, classical theorems in unstable homotopy theory are extended to this…

We describe the necessary and sufficient numerical condition when an element $X$ in the Picard group of $K(2)$-local category at prime $p \geqslant 5$ is of finite type, i.e., $\pi_kX$ is finitely generated as a $\mathbb{Z}_p$-module for…

Cycle representatives of persistent homology classes can be used to provide descriptions of topological features in data. However, the non-uniqueness of these representatives creates ambiguity and can lead to many different interpretations…

We describe a new link between the theory of topological modular forms and representations of vertex operator algebras obtained by certain lattices. The construction is motivated by the arithmetic Whitehead tower of the orthogonal groups.…

In this paper we prove an equivalence theorem originally observed by Robert MacPherson. On one side of the equivalence is the category of cosheaves that are constructible with respect to a locally cone-like stratification. Our…

We prove a general result that relates certain pushouts of $E_k$-algebras to relative tensors over $E_{k+1}$-algebras. Specializations include a number of established results on classifying spaces, resolutions of modules, and (co)homology…

Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying…

Steenrod defined in 1947 the Steenrod squares on the mod 2 cohomology of spaces using explicit cochain formulae for the cup-$i$ products; a family of coherent homotopies derived from the broken symmetry of Alexander--Whitney's chain…

We explain our previous results about Hochschild actions [Kau07a, Kau08a] pertaining in particular to the coproduct which appeared in a different form in [GH09] and provide a fresh look at the results. We recall the general action,…

Given a finite and connected two-dimensional $CW$-complex $K$ with fundamental group $\Pi$ and second integer cohomology group $H^2(K;\mathbb{Z})$ finite of odd order, we prove that: (1) for each local integer coefficient system…

Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…

Special generic maps are smooth maps at each singular point of which we can represent as $(x_1, \cdots, x_m) \mapsto (x_1,\cdots,x_{n-1},\sum_{k=n}^{m}{x_k}^2)$ for suitable coordinates. Morse functions with exactly two singular points on…

Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups…