All Questions
Tagged with loop-spaces operads
14 questions
4
votes
1
answer
193
views
Delooping a weak $E_1$ map by bar construction
Consider based maps $f : X \to Z$ and $g : Y \to Z$, which induces the following map at the based loop space level : $$\theta := \mu_Z \circ \big(\Omega f \times \Omega g) : \Omega(X\times Y) = \Omega ...
- 235
3
votes
0
answers
136
views
Bar constructions of $A_\infty$-algebras and rectifications
Let $\mathscr{C}_1$ be the little 1-cubes operad. If $X$ is an algebra over $\mathscr{C}_1$, I can think of (at least) two ways how to deloop it:
I can consider its two-sided bar construction $B_\...
- 1,623
1
vote
3
answers
719
views
How now to study operads in homotopy theory?
There is a great introduction by May, "The Geometry of Iterated Loop Spaces". I really enjoy reading it, but it was written 50 years ago and contains outdated technical details related to ...
- 6,962
6
votes
1
answer
126
views
Is there a filtered splitting of product labelling spaces?
For a well-based space $X$ denote by $C(\mathbb{R};X)$ the unordered configuration space of points on the real line with labels in $X$, and a point can vanish if its label reaches the basepoint. (...
- 1,623
8
votes
0
answers
166
views
A question on recognition of equivariant loop spaces
I have a question about equivariant loop space that has been bothering me, and that I have not been able to find an answer to in the obvious places.
We know from the work of Segal that to give a loop ...
- 745
5
votes
0
answers
230
views
The recognition principle and CGWH spaces
The recognition principle [Boardmann–Vogt, May] states that a grouplike algebra over the little $n$-disks/cube operad is weakly equivalent to an $n$-fold loop space. There are technical hypotheses ...
- 5,040
1
vote
0
answers
494
views
maps from labelled configuration space to section space / iterated loop space
In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, 2014, page 3, Section 3:
for a $m$-manifold $M$, consider the disc bundle $D(M)$ in the tangent bundle $T(M)$...
- 2,223
0
votes
1
answer
177
views
iterated loop spaces and configuration spaces [closed]
In the lecture notes by J.P. May, The geometry of iterated loop spaces, Chapter 5, formula (1), (2) and (10), a map
$$
\phi: Hom_T(X,\Omega Y)\to Hom_T(SX,Y)
$$
is defined. And a map
$$
\eta_n=\phi^{-...
- 1,990
8
votes
1
answer
652
views
Reference Request: Grouplike Algebras over the little $n$-cubes operad are $n$-fold loop spaces
In Geometry of the iterated loop space, Peter May proved his famous recognition theorem, which is, in a simple form, stated on page 3 as the following.
There exist $\Sigma$-free operads $\mathcal{C}...
- 2,974
16
votes
1
answer
919
views
Free Loop-Space Recognition Principle
It is well-known that one can detect based loopspaces using the machinery of operads. Namely, given a group-like space $X$ with an action of $\mathbb{E}_n$-operad, then it is homotopy equivalent as an ...
- 865
3
votes
1
answer
536
views
$E_{\infty}$ spaces are $A_{\infty}$ spaces
While studying the well-known "Geometry of Iterated Loop Spaces", I found this corollary which is not completely clear to me. (By $\mathcal{M}$ is meant the operad given by $\mathcal{M}(j):=\Sigma_j$, ...
- 1,403
7
votes
1
answer
966
views
Classifying spaces of E_1 - spaces
Hello,
I try to understand aspects of homotopy coherence, in particular "recognition principle" of May.
About the following I did not think a lot, but I decided to ask here anyway, so to save ...
- 5,562
2
votes
0
answers
1k
views
Recognition principle
Hello,
The classical statement of the recognition principle (after Boardman, Vogt, Milgram and May) that I know is:
Let $X$ be a (group-like) topological space acted on by the little $n$-discs ...
- 2,521
31
votes
3
answers
4k
views
Algebras over the little disks operad
Hello,
The so-called "recognition principle" of Boardman-Vogt and May leaves me unsatisfied.
My problem is the following:
The "recognition principle" says that every "group-like" algebra over the ...
- 2,521