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.
149
questions
7
votes
1
answer
243
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 ...
- 52.4k
1
vote
1
answer
130
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 ...
- 113
5
votes
2
answers
342
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 ...
- 354
7
votes
0
answers
117
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
105
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,613
0
votes
3
answers
490
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 ...
- 5,260
1
vote
0
answers
123
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,260
4
votes
0
answers
192
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 ...
- 253
1
vote
0
answers
119
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 ...
- 4,560
7
votes
1
answer
502
views
Homotopy type of continuous/smooth/analytic loop spaces?
Apologies in advance if this is well-known; a google search did not produce anything useful.
Let $(M,p)$ be a pointed real analytic manifold. Are the (free or pointed) loop spaces of continuous, ...
- 2,718
8
votes
3
answers
405
views
Jones' theorem for non-simply-connected spaces?
Let $X$ be a smooth manifold. Jones' theorem says that $H^\bullet(\mathcal{L}X)\cong HH_\bullet(\Omega^\bullet_X)$, where $\mathcal{L}X$ is the free loop space of $X$. Is there a modification of this ...
- 2,718
6
votes
1
answer
122
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,613
7
votes
0
answers
335
views
Low-Dimensional Spaces with High-Dimensional Homology
Barratt-Milnor Spheres $X_n$ are spaces with finite topological dimension $n$ but which have non-vanishing singular homology in arbitrarily high dimensions. Here, they prove that if $n > 1$ then ...
- 409
5
votes
1
answer
236
views
Integral homology of braid groups as a ring
Let $Br_k$ denote the braid group on $k$ strands. In Corollary A.4 of "Homology of Iterated Loop Spaces" (Page 348), Cohen-Lada-May compute $H_i(Br_k;\mathbb Z)$ as an abelian group for each ...
- 873
5
votes
1
answer
163
views
Homology of the free loop space of generalized flag varieties
Is it known whether for a generalized complex flag variety $X$ (that is, $G/P$ for a complex semisimple Lie group $G$ and a parabolic $P$), the homology of the free loop space $H_*(\Lambda X, \mathbb{...
- 1,537
11
votes
1
answer
477
views
Measure the failure of colimit to commute with taking free loops (or Hochschild homology)?
For a space1 $X$, let $\mathcal{L}X = \mathrm{Maps}(S^1, X)$ be the free loop space.
Inclusion of constant loops gives a natural map $X \to \mathcal{L}X$. This is not a homotopy equivalence unless $X$...
- 8,613
28
votes
0
answers
762
views
Todd class as an Euler class
Let $X$ be a relatively nice scheme or topological space.
In various physics papers I've come accross, the Todd class $\text{Td}(T_X)$ is viewed as the Euler class of the normal bundle to $X\to LX$. ...
- 5,112
3
votes
1
answer
168
views
$E_\infty$-space structure of $B\mathrm{GL}(\mathbb S_{(p)})$
In Geometric Topology - Localization, Periodicity, and Galois Symmetry by Dennis Sullivan, we can read that there is a decomposition
$$B\mathrm{SL}(\mathbb S_{(p)})\times K((\mathbf Z_{(p)})^\times)\...
- 263
6
votes
1
answer
296
views
Relative homology of free loop space with respect to constant loops
Let $Q$ be a closed manifold with $\dim Q\geq2$ and let $\Lambda_0Q$ be the connected component of the free loop space of $Q$ whose elements are contractible loops. I am looking for conditions on the ...
8
votes
0
answers
322
views
It is possible that $ X \simeq ΩX $? and that $ X \simeq Ω^ 2X $?
Original post: https://math.stackexchange.com/questions/3810423/it-is-possible-that-x-simeq-%ce%a9x-and-that-x-simeq-%ce%a9-2x
I am studying J. Strom's Modern Classical Homotopy Theory. In chapter 4 ...
- 1,253
8
votes
0
answers
146
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
10
votes
2
answers
1k
views
Why study infinite loop spaces?
What makes an infinite loop space an interesting object of study for homotopy theorists? The reason I ask this question is that I found a lot of results treating the question of whether a given space ...
- 4,966
5
votes
0
answers
116
views
Equivariant splitting of loop space of a suspension
It is well known, e.g. by Cohen's "A model for the free loop space of a suspension", that there is a stable splitting of the free loop space $\mathcal{L}
\Sigma X $of the suspension $\...
- 111
11
votes
0
answers
232
views
Group cohomology as homotopy groups
Let $G$ be a group and $A$ a group with a $G$-action. Then in general, $H^0(G;A)=A^G$ is a group, and $H^1(G;A)$ is simply a pointed set. If $A$ is an abelian group, then $H^i(G;A)$ exists and is an ...
- 14.7k
11
votes
1
answer
1k
views
Loop spaces motivation
I read that one of the main goals of utilization simplicial methods is to prove that a space is a loop space. On the other hand where lies the main importance to recognize topological spaces as loop ...
- 4,966
8
votes
0
answers
153
views
Comparison of two well-known bases of the integral homology group of based loop group
Let $G$ be a compact simply-connected Lie group. Then one can look at the homology $H_*(\Omega G;\mathbb{Z})$ of the based-loop space $\Omega G$ in at least two different ways:
(1) Via Bott-Samelson'...
- 441
3
votes
0
answers
173
views
Where can I find W. Browder's thesis
I've been looking for W. Browder's thesis Homology of loop spaces for a while now, and I really found nothing except for articles and book having it in their bibliography. Does someone know if it can ...
- 263
7
votes
0
answers
352
views
Grothendieck Riemann Roch is abelian localisation on loop spaces
Abelian localisation says approximately that for a proper equivaraint map $f:X\to Y$ between schemes with a $\mathbf{G}_m$ action, the pushforward on cohomology $f_*\omega$ can be computed by the ...
- 5,112
8
votes
1
answer
648
views
For which G is BLG weak homotopy equivalent to LBG?
Let $G$ be a (Edit: path-)connected topological group. Under what additional hypotheses on $G$ is it true that $LBG$ is a classifying space for $LG$? (or, I guess equivalently, when is $LBG \sim BLG$?)...
- 32.2k
3
votes
1
answer
261
views
Infinite loop space of ring spectra: the cup product
I have a basic question on homotopy theory, and I would welcome answers or references both from the classic and the motivic context of homotopy theory.
Let $\mathbb{E}=(E_n)_{n\in \mathbb{N}}$ be an ...
- 2,701
13
votes
1
answer
558
views
If $\Omega X \simeq \Omega Y$ then is $X \simeq Y$ for $X,Y$ simply connected?
If $\Omega X \simeq \Omega Y$ then is $X \simeq Y$ for $X,Y$ simply connected?
Assuming $X,Y$ are nice spaces like CW of course.
Clearly this is true by Whitehead, but I am looking for a more ...
- 143
8
votes
1
answer
1k
views
The free smooth path space on a manifold
Let $M$ be a closed, smooth manifold and let $PM$ be the space of unbased piecewise smooth paths $[0,1] \to M$. Then restricting a path to its boundary gives a map
$$
PM \to M \times M .
$$
Question ...
- 18.2k
8
votes
1
answer
284
views
Delooping the quotient space $SU/SU(n)$
Let $SU$ denote the infinite unitary group. Does the quotient space $SU/SU(n)$ admit a delooping $X$? One could also ask that this space $X$ sit in a fiber sequence $BSU(n)\to BSU\to X$, but this is ...
- 5,448
5
votes
2
answers
426
views
Sheafification of loop scheme/group
Let $X$ be a scheme over $K = k((t))$, where $k$ is a field. We define the loop scheme $LX$ to be the functor from the category of $k$-algebras to sets by $R \mapsto LX(R) := X(Spec (R((t))))$.
Do we ...
- 657
10
votes
2
answers
556
views
How are characteristic classes morphisms of infinite loop spaces? (if they are)
The direct sum of real vector bundles endows $BO=\mathrm{colim} BO(n)$ with a natural structure of abelian group up to homotopy. The same applies to the classifying spaces of all groups in the ...
- 6,429
8
votes
1
answer
256
views
When does $BG \to BA$ loop to a homomorphism?
If I have a compact connected Lie group $G$ and a (relatively nice) simply-connected topological abelian group $A$, when is it the case that a given $f\colon BG \to BA$ loops to a (continuous) ...
- 32.2k
21
votes
1
answer
1k
views
The free loop space of spheres
Let $n>1$. The homology of the free loop space $\Lambda S^n$ of the sphere $S^n$ contains two torsion if $n$ is even. Thus the fibration
$$
\Omega S^n\rightarrow \Lambda S^n\rightarrow S^n
$$
is ...
- 6,840
4
votes
0
answers
195
views
Exterior derivative on loop space
Notations:
Let $X$ be a manifold, and denote by $LX := C^\infty(S^1,X)$ its loop space. For a loop $\gamma \in LX$ we can think at the tangent space of $LX$ at the point $\gamma$ as the space of ...
- 542
16
votes
1
answer
651
views
Mapping a loop space to quaternionic projective space
Let $\mathbf{H}P^\infty$ denote the infinite-dimensional quaternionic projective space. The inclusion of its bottom cell defines a map $S^4 \to \mathbf{H}P^\infty$. Does this extend to a map $\Omega S^...
- 5,448
10
votes
1
answer
595
views
Homology of the free loop space of a Grassmanian
Is there any reference for calculation of the rational homology of the free loop space $H_*(\mathcal{L}Gr(k,n),\mathbb{Q})$ of a complex Grassmanian? More precisely, I am interested in computing ranks ...
- 1,537
6
votes
0
answers
197
views
The tangent space to the Hilbert manifold of $H^1$ loops at non-smooth loops
It is satisfactory to have a nice functional analytic setting for the energy functional in Riemannian geometry. I'm currently deep into Klingenberg's book "Riemannian geometry" which (among other ...
- 6,840
4
votes
0
answers
92
views
Unstable and stable looping and delooping
I have some basic questions on the relation of looping and delooping in the stable and unstable homotopy categories. I state them it in the motivic setting, but if somebody has an answer for an ...
- 2,701
9
votes
1
answer
481
views
Is there a fibration sequence of spectra $K\mathbb{F}_q\to KU\to KU$?
Quillen famously constructed a fibration sequence $BGL(\mathbb{F}_q)^+ \to BU \to BU$ to compute the algebraic K-groups of finite fields, where the second map is $\psi^\ell-1$ for $\ell$ a generator ...
- 1,712
6
votes
1
answer
492
views
Unstable Greek letter elements
A theorem of Hopkins and Mahowald states that the Thom spectrum of the map $\Omega^2 S^3 \to B\mathrm{GL}_1(\mathbb{S}_{(p)})$ classifying the element $p$ is exactly $\mathrm{H}\mathbf{F}_p$. Let $T(1)...
- 5,448
3
votes
2
answers
471
views
Weak homotopy equivalence between $\Omega \underset{\rightarrow}{\lim}Z_n$ and $\underset{\rightarrow}{\lim}\Omega Z_n$
Let $Z_1 \rightarrow Z_2 \rightarrow\cdots$ be an arbitrary sequence of CW-complexes and let $\Omega X$ denote the loop space over $X$. In Allen Hatcher's "Algebraic Topology" (http://pi.math.cornell....
- 203
14
votes
1
answer
998
views
CW complex of iterated loop spaces
In Milnor's book Morse Theory, it is proved that the loop space $\Omega S^n$ of the n sphere has the homotopy type of a CW complex with one cell each in the dimensions 0, n-1, 2n-2, 3n-3, ... Or more ...
- 1,610
11
votes
1
answer
567
views
Homotopy orbits, spectra and infinite loop spaces
Let $X$ be an (naive) $O(n)$-spectrum (I'm choosing to work with orthogonal spectra). I've recently come across the following results,
$$(S^{n-1} \wedge X)_{hO(n)} \simeq X_{hO(n-1)}$$
and
$$\Omega^...
- 751
18
votes
1
answer
518
views
Is $\Omega J_{p^n-1}S^2$ commutative up to homotopy?
Fix a prime $p\geq 5$ and an integer $n>0$. All spaces in this question are implicitly $p$-localized. Consider the spaces $X=J_{p^n-1}S^2$ (the $p^n-1$'th stage in the James construction $JS^2\...
- 52.4k
1
vote
0
answers
196
views
Loop space in Topological sense v.s. Categorical sense
I know that the loop space of given pointed topological space $(X,\ast)$ is the set of pointed maps $\mathrm{Map}_\ast(S^1,X)$. I would denote it by $\Omega X$.
On the other hand, I saw an article in ...
- 59
8
votes
1
answer
265
views
Is the homology of $\Omega^2\Sigma^2X$ free as a Gerstenhaber algebra?
Let $X$ be a connected space. According to Getzler BV-algebras and two-dimensional topologcial field theories , page 271, we have and isomorphism
$
H_*(\Omega^2\Sigma^2X) \cong {\cal G}( \widetilde{H}...
- 1,865