Related papers: Cubical Acyclic Homotopy Excision
The classifying space BG of a topological group $G$ can be filtered by a sequence of subspaces $B(q,G)$, using the descending central series of free groups. If $G$ is finite, describing them as homotopy colimits is convenient when applying…
This article investigates when homotopies can be converted to monotone homotopies without increasing the lengths of curves. A monotone homotopy is one which consists of curves which are simple or constant, and in which curves are pairwise…
In this paper we establish new characterizations of stable derivators, thereby obtaining additional interpretations of the passage from (pointed) topological spaces to spectra and, more generally, of the stabilization. We show that a…
We study co-H-maps from a suspension to the suspension of the projective plane and provide examples of non-suspension 3-cell co-H-spaces. These (infinitely many) examples are related to the homotopy groups of the 3-sphere. For each element…
Given a closed, smooth, connected, orientable $4$-manifold $M$, whose integral homology groups can have $2$-torsion, we determine the homotopy decomposition of the double suspension $\Sigma^2M$ as wedge sums of some elementary…
A new efficient approach to the analysis of nonlinear higher-spin equations, that treats democratically auxiliary spinor variables $Z_A$ and integration homotopy parameters in the non-linear vertices of the higher-spin theory, is developed.…
Topological complexity is a homotopy invariant that measures the minimal number of continuous rules required for motion planning in a space. In this work, we introduce persistent analogs of topological complexity and its cohomological lower…
Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].
We study the spaces of embeddings $S^m\hookrightarrow R^n$ and those of long embeddings $R^m\hookrightarrow R^n$, i.e. embeddings of a fixed behavior outside a compact set. More precisely we look at the homotopy fiber of the inclusion of…
For a smooth manifold A, we consider the ordered configuration space F_k(AxR) of k distinct points in AxR. We obtain an explicit homotopy construction of the configuration space F_k(AxR) and of the (k-2)-fold suspension of F_k(A). Under…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
In order to explore how superconductivity arises when charge fluctuations and spin fluctuations coexist, we have obtained a phase diagram against the off-site repulsion V and band filling n for the extended, repulsive Hubbard model on the…
It is shown that a surjective monotone map $X\to Y$ between finite $T_0$-spaces induces a surjective map on homology. As such a map turns out to be a sequence of edge contractions in the Hasse diagram of $X$, followed by a homeomorphism,…
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…
We study the homotopy types of certain spaces closely related to the spaces of algebraic (rational) maps from the $m$ dimensional real projective space into the $n$ dimensional complex projective space for $2\leq m\leq 2n$ (we conjecture…
In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…
The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…
We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…
The classifying space of a crossed complex generalises the construction of Eilenberg-Mac Lane spaces. We show how the theory of fibrations of crossed complexes allows the analysis of homotopy classes of maps from a free crossed complex to…