Related papers: H-space structure on pointed mapping spaces

The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure,…

Let w: Map(X,Y;f) -> Y denote a general evaluation fibration. Working in the setting of rational homotopy theory via differential graded Lie algebras, we identify the long exact sequence induced on rational homotopy groups by w in terms of…

Let W be a compact simply connected triangulated manifold with boundary and $K \subset W$ be a subpolyhedron. We construct an algebraic model of the rational homotopy type of the complement $W \setminus K$ out of a model of the map of pairs…

Stasheff showed that if a map between H-spaces is an H-map, then the suspension of the map is extendable to a map between cprojective planes of the H-spaces. Stahseff also proved the converse under the assumption that the multiplication of…

Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces…

We study the moduli space of A-infinity structures on a topological space as well as the moduli space of A-infinity-ring structures on a fixed module spectrum. In each case we show that the moduli space sits in a homotopy fiber sequence in…

For a smooth map $f:X^4\to\Sigma^2$ that is locally modeled by holomorphic maps, the domain is shown to admit a symplectic structure that is symplectic on some regular fiber, if and only if $f^*[\Sigma]\ne0$. If so, the space of symplectic…

We study the compactly supported rational cohomology of configuration spaces of points on wedges of spheres, equipped with natural actions of the symmetric group and the group $Out(F_g)$ of outer automorphisms of the free group. These…

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.

Let G be a connected, complex reductive Lie group with maximal compact subgroup K, and let X denote the moduli space of G- or K-valued representations of a rank r free group. In this article, we develop methods for studying the…

We establish certain conditions which imply that a map $f:X\to Y$ of topological spaces is null homotopic when the induced integral cohomology homomorphism is trivial; one of them is: $H^*(X)$ and $\pi_*(Y)$ have no torsion and $H^*(Y)$ is…

We study the existence of essential phantom maps into co-H-spaces, motivated by Iriye's observation that every suspension space $Y$ of finite type with $H_i(Y;\QQ)\neq 0$ for some $i>1$ is the target of essential phantom maps. We show that…

This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$,…

Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…

The question of the existence of Universal homotopy commutative and homotopy associative H-spaces (called Abelian H-spaces) is studied. Such a space T(X) would prolong a map from X into an Abelian H-space to a unique H-map from T into X.…

Suppose that $(X,d,\mu)$ is a space of homogeneous type, with upper dimension $\mu$, in the sense of R. R. Coifman and G. Weiss. Let $\eta$ be the H\"{o}lder regularity index of wavelets constructed by P. Auscher and T. Hyt\"{o}nen. In this…

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…

In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary…

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…

Let $G$ be a compact and connected Lie group and $PU(\mathcal H)$ be the group of projective unitary operators on a separable Hilbert space $\mathcal H$ endowed with the strong operator topology. We study the space $hom_{st}(G, PU(\mathcal…