Questions tagged [loop-spaces]
The loop space $Ω_X$ of a pointed topological space $X$ is the space of based maps from the circle $\mathbb S^1$ to $X$ with the compact-open topology.
155
questions
4
votes
2
answers
274
views
Loop-space functor on cohomology
For a pointed space $X$ and an Abelian group $G$, the loop-space functor induces a homomorphism $\omega:H^n(X,G)\to H^{n-1}(\Omega X,G)$.
More concretely, $\omega$ is given by the Puppe sequence
$$\...
4
votes
1
answer
175
views
Homotopy equivalence between certain loop spaces
I've been reading some papers carefully, with their proofs (Notations are given at the end).
The following comes from "Braids, mapping class groups and categorical delooping" by Song & ...
2
votes
0
answers
99
views
Alternative construction for the loop space (?)
There is a way to realize the (infinite) loop space which relies on the (homotopy) totalization of a cosimplicial space. Given a (nice?) topological space $X$, consider the cosimplicial space $X_{\...
2
votes
0
answers
86
views
The space of immersions of a loop in a surface
Let $\Sigma$ be a compact oriented surface with boundary and $L = \mathrm{Imm}(\bigsqcup_{i=1}^n S^1,\Sigma)$ the space of all generic (i.e. transversally and at most doubly intersecting) immersions ...
4
votes
0
answers
121
views
Homotopy type / Homology of the free loop space of aspherical manifolds
Let $X$ be a (connected, smooth) closed aspherical manifold. Let $LX:=Map(S^1,X)$ be the free loop space of $X$. Pick $x_0\in X$ and let $\Omega_{x_0}(X)$ be the based loop space of $X$ (based at $x_0$...
4
votes
1
answer
183
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 ...
7
votes
1
answer
330
views
Stable splitting of $\Omega SU(n)$
The space $\Omega SU(n)$ is homotopy-equivalent to $SL_n(\mathbb{C}[z,z^{-1}])/SL_n(\mathbb{C}[z])$. Using this, Steve Mitchell introduced a filtration of $\Omega SU(n)$ by subspaces $F_k$ which can ...
1
vote
1
answer
169
views
Goresky-Hingston product on cohomology of the relative free loop space on $S^1$
I'm interested in the computations of the Goresky-Hingston product (defined https://arxiv.org/abs/0707.3486)
on the cohomology of the relative free loop space on the circle (or better yet, their ...
7
votes
2
answers
464
views
Is the localised $S^1$-equivariant cohomology of the free loop space of a space $X$ isomorphic to that of $X$ itself?
A well-known theorem of Atiyah and Bott states that given a finite dimensional oriented manifold $M$ with circle action, the $S^1$-equivariant cohomology of $M$ (with $\mathbb{Q}$ coefficients) is ...
7
votes
0
answers
145
views
Are these two concepts of a differential form on the loop space equivalent?
Notation:
Let $X$ denote a smooth manifold (without boundary) and define $LX = C^{\infty}(S^1, X)$ to be the loop space on $X$.
In the context of loop space homology and the supersymmetric path ...
3
votes
0
answers
126
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
vote
3
answers
645
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 ...
1
vote
0
answers
132
views
What are the obstacles for a complex to be a space of loops?
It is known that any space of loops is an H-space. So my question has two parts:
What are the obstacles for a complex to be an H-space? Is there any hope to somehow reasonably classify/characterize ...
5
votes
0
answers
221
views
Eilenberg–Moore equivalences for $C_*(\Omega M)$
Let $M$ be a nice connected topological space (I'm actually interested in manifolds) with base point $p$ and let $\pi: E \to M$ be a fibration. Then chains on the fiber $F$ at $p$, $C_*(F)$, become a ...
1
vote
0
answers
143
views
Simplicial realization of the circle action on the free loop space
Given a simply connected topological space $X$, it is well known that its free loop space $LX$ has cohomology being the Hochschild homology of the singular cochains [1]:
$$HH_\bullet(S^\star X) \simeq ...