相关论文: Loop spaces and homotopy operations

Given a diagram of Pi-algebras (graded groups equipped with an action of the primary homotopy operations), we ask whether it can be realized as the homotopy groups of a diagram of spaces. The answer given here is in the form of an…

Given a simplicial complex $X$, we construct a simplicial complex $\Omega X$ that may be regarded as a combinatorial version of the based loop space of a topological space. Our construction explicitly describes the simplices of $\Omega X$…

We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…

In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define another type which encodes the space of loops based at this…

The homotopy groups of a space are endowed with homotopy operations which define the \Pi-algebra of the space. An Eilenberg-MacLane space is the realization of a \Pi-algebra concentrated in one degree. In this paper, we provide necessary…

We give a general method that may be effectively applied to the question of whether two components of a function space have the same homotopy type. We describe certain group-like actions on function spaces. Our basic results assert that if…

In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(\Omega\Sigma X; \coefZ)$ is a Hopf algebra. We introduce a new homotopy…

Let $R\subseteq \Bbb Q$ be a subring of the rationals and let $p$ be the least prime (if none, $p=\infty $) which is not invertible in $R.$ For an $R$-local $r$-connected $CW$-complex $X$ of dimension $\leq \min(r+2p-3,rp-1), r\geq 1, $ a…

We describe a collection of higher homotopy operations which determine the rational homotopy type of a simply-connected space X. These are described in terms of simplicial resolutions of successive approximations (L^k,\alpha} to the Quillen…

There are two main approaches to the problem of realizing a $\Pi$-algebra (a graded group $\Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an…

We present a definition of homotopy algebra for an operad, and explore its consequences. The paper should be accessible to topologists, category theorists, and anyone acquainted with operads. After a review of operads and monoidal…

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 establish certain smash operations on spaces over operads which are general analogues of the Samelson product on single loop spaces, and obtain a conceptual description of the structure of the homotopy groups of spaces $Y$ over a…

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 $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…

For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then…

We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions…

For $n\geq 2$ we consider $(n-1)$-connected closed manifolds of dimension at most $(3n-2)$. We prove that away from a finite set of primes, the $p$-local homotopy groups of $M$ are determined by the dimension of the space of indecomposable…

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…

Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the…