Related papers: Paths of the directed suspension

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…

One of the primary methods of studying the topology of configurations of points in a graph and configurations of disks in a planar region has been to examine discrete combinatorial models arising from the underlying spaces. Despite the…

We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.

We extend the former results of Ganea and the two of the authors with Takeda on the homotopy commutativity of the loop spaces of Hermitian symmetric spaces such that the loop spaces of all irreducible symmetric spaces but $\mathbb{C}P^3$…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

Let $[\rho_{i_k},[\rho_{i_{k-1}},...,[\rho_{i_{1}}, \rho_{i_2}] ...]]$ be an iterated commutator of self-maps $\rho_{i_j} : \Sigma {\Bbb H}P^\infty \to \Sigma {\Bbb H}P^\infty, j = 1,2, ..., k$ on the suspension of the infinite quaternionic…

We prove conditions under which the total space of the pullback of a sphere fibration over a connected sum is homotopy equivalent to a connected sum with a gyration. Existing results of this type often depend on geometric methods. We…

This paper contains two results on how homotopy limits of topological spaces interact with connectivity. The first is a formula for the connectivity of the homotopy limit of diagrams shaped over suitably finite categories, in terms of the…

Directed Algebraic Topology studies spaces equipped with a form of direction, to include models of non-reversible processes. In the present extension we also want to cover critical processes, indecomposable and unstoppable. The previous…

We give a new proof, using comparatively simple techniques, of the Sullivan conjecture: the space of pointed maps from the classifying space of the cyclic group of order $p$ to any finite-dimensional CW complex $K$ is contractible.

For dimensions n greater than or equal to 3, we show that the space of metrics of positive scalar curvature on the n-sphere is homotopy equivalent to a subspace which takes the form of a H-space with a homotopy commutative, homotopy…

We describe the behaviour of the homotopy similarity relations and finite-order invariants under the function $[X,Y]\to[X,Z]$ induced by a map $Y\to Z$ strongly $r$-similar to the constant map.

In this paper we study a subspace of the space of Legendrian loops and we show that the injection of this space into the full loop space is an S1-equivariant homotopy equivalence. This space can be also seen as the space of zero Maslov…

In this paper we prove that the structure of strong homotopy properad transfers over left homotopy inverses and give explicit formulae for the induced structure.

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 prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a…

We classify pointed spaces according to the first fundamental group of their reduced suspension. A pointed space is either of so-called totally path disconnected type or of horseshoe type. These two camps are defined topologically but a…

We study two simplicial complexes arising from a directed graph $G = (V, E)$ with two chosen vertices $s$ and $t$: the *path-free complex*, consisting of all subsets $F \subseteq E$ that contain no path from $s$ to $t$, and the…

For dimensions $n\geq 3$ and $k\in\{2, \cdots, n\}$, we show that the space of metrics of $k$-positive Ricci curvature on the sphere $S^{n}$ has the structure of an $H$-space with a homotopy commutative, homotopy associative product…

We investigate a special kind of contraction of symmetric spaces (respectively, of Lie triple systems), called homotopy. In this first part of a series of two papers we construct such contractions for classical symmetric spaces in an…