Related papers: Mapping spaces in homotopy coherent nerves

We develop the basic theory of Maurer-Cartan simplicial sets associated to (shifted complete) $L_\infty$ algebras equipped with the action of a finite group. Our main result asserts that the inclusion of the fixed points of this equivariant…

We establish an equivalence between the stable category of coherent sheaves (satisfying a mild restriction) on a projective space and the homotopy category of a certain class of minimal complexes of free modules over the exterior algebra…

We classify homotopes of classical symmetric spaces (studied in Part I of this work). Our classification uses the fibered structure of homotopes: they are fibered as symmetric spaces, with flat fibers, over a non-degenerate base; the base…

In this paper, we give complete classifications of linear $\infty$-harmonic maps between Euclidean and Heisenberg spaces, between Nil and Sol spaces. We also classify all $\infty$-harmonic linear endomorphisms of Sol space and show that…

We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…

The category of metric spaces is a subcategory of quasi-metric spaces. In this paper the notion of entropy for the continuous maps of a quasi-metric space is extended via spanning and separated sets. Moreover, two metric spaces that are…

We present a general homotopical analysis of structured diagram spaces and discuss the relation to symmetric spectra. The main motivating examples are the I-spaces, which are diagrams indexed by finite sets and injections, and J-spaces,…

We prove that the inclusion of map(X,Y) into map(K(X),K(Y)) is continuous, where K(X) is the space of non-empty compact subsets of X (also known as the hyperspace of compact subsets of X), and both spaces of maps are endowed with the…

We prove that two homogeneous ultra-metric spaces $X,Y$ are coarsely equivalent if and only if $\mathrm{Ent}^\sharp(X)=\mathrm{Ent}^\sharp(Y)$ where $\mathrm{Ent}^\sharp(X)$ is the so-called sharp entropy of $X$. This classification implies…

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong…

A neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to…

Fiedorowicz suggested that it was likely that every finite simply connected CW complex is homotopy equivalent to the classifying space of a finite semigroup. We prove that every finite wedge of simply connected Moore spaces of finitely…

In this paper, we give a new construction of a Khovanov homotopy type. We show that this construction gives a space stably homotopy equivalent to the Khovanov homotopy types constructed in [LS14a] and [HKK] and, as a corollary, that those…

Nozaki et.~al.\ gave a homotopy classification of the knotted defects of ordered media in three-dimensional space by considering continuous maps from complements of spatial graphs to the order parameter space modulo a certain equivalence…

We study the realization problem of finite groups as the group of homotopy classes of self-homotopy equivalences of finite spaces. Let $G$ be a finite group. Using an infinite family of pairwise non weakly homotopic asymmetric spaces we…

We show that if A is a simply connected, finite, pointed CW-complex then the mapping spaces Map(A, -) are preserved by the localization functors only if A has the rational homotopy type of a wedge of spheres of a fixed dimension.

We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.

We study the unparametrised smooth embedding space of a Hopf link in $\mathbb{R}^3$, and prove that it is homotopy equivalent to the closed 3-manifold $S^3/\mathbb{Q}_8$. As an intermediate step in the proof, we show that the inclusion of…

We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of…

We analyse the homotopy types of gauge groups for principal $U(n)$-bundles over lens spaces.