Related papers: Spaces of directed paths on pre-cubical sets II

We prove that the space of gauge equivalence classes of U(1)-invariant connections on some SU(2)-principle bundles over the 4-sphere S^4 is weakly homotopy equivalent to a component of the second loop space of the 2-sphere S^2.

In this article we study the homotopy theory of pre-Calabi-Yau morphisms, viewing them as Maurer-Cartan elements of an $L_{\infty}$-algebra. We give two different notions of homotopy: a notion of weak homotopy for morphisms between…

This paper gives a partial description of the homotopy type of K, the space of long knots in 3-dimensional Euclidean space. The primary result is the construction of a homotopy equivalence between K and the free little 2-cubes object over…

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…

The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…

This thesis concerns the relationship between bounded and controlled topology and how these can be used to recognise which homotopy equivalences of reasonable topological spaces are homotopic to homeomorphisms. Let $f:X\to Y$ be a…

Let k be an algebraically closed field of characteristic p>>0. Let $X\rightarrow Y$ be a symplectic resolution. There are two questions which motivates this work. One question is a construction of an action of a group on the category…

We establish an explicit comparison between two constructions in homotopy theory: the left adjoint of the homotopy coherent nerve functor, also known as the rigidification functor, and the Kan loop groupoid functor. This is achieved by…

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in…

Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…

Connected components of $\Map(S^4,B\SU(2))$ are the classifying spaces of gauge groups of principal $\SU(2)$-bundles over $S^4$. Tsukuda [Tsu01] has investigated the homotopy types of connected components of $\Map(S^4,B\SU(2))$. But…

We show that the classification of the symmetric spaces can be achieved by K-theoretical methods. We focus on Hermitian symmetric spaces of non-compact type, and define K-theory for JB*-triples along the lines of C*-theory. K-groups have to…

The complement of an arrangement of diagonal subspaces $x_{i_1} = \cdots = x_{i_k}$ in the real space is defined by a simplicial complex $K$. In this paper, we prove that the complement of a diagonal subspace arrangement is homotopy…

Coquand's cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. This paper contributes to the…

For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov…

We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups,…

We introduce a new cubical model for homotopy types. More precisely, we'll define a category Qs with the following features: Qs is a PROP containing the classical box category as a subcategory, the category Qs-Set of presheaves of sets on…

Suppose that $N_1$ and $N_2$ are closed smooth manifolds of dimension $n$ that are homeomorphic. We prove that the spaces of smooth knots $Emb(S^1, N_1)$ and $Emb(S^1, N_2)$ have the same homotopy $(2n-7)$-type. In the 4-dimensional case…