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.

Filter by
Sorted by
Tagged with
3
votes
0answers
157 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 ...
7
votes
0answers
278 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 ...
8
votes
1answer
593 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$?)...
3
votes
1answer
180 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 ...
12
votes
1answer
395 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 ...
7
votes
1answer
816 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 ...
7
votes
1answer
209 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 ...
3
votes
1answer
211 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 ...
10
votes
2answers
493 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 ...
8
votes
1answer
235 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) ...
20
votes
1answer
703 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 ...
4
votes
0answers
152 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 ...
14
votes
1answer
456 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^...
9
votes
1answer
451 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 ...
6
votes
0answers
77 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 ...
4
votes
0answers
80 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 ...
8
votes
1answer
299 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^q-1$. Does this lift to the ...
6
votes
1answer
434 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)...
3
votes
2answers
288 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....
13
votes
1answer
492 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 ...
11
votes
1answer
404 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^...
18
votes
1answer
451 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\...
1
vote
0answers
175 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 ...
6
votes
1answer
177 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}...
6
votes
2answers
431 views

Integer homology of double loop space of odd-dimensional sphere

I have checked everything "homology of loop spaces"-like, but was not able to find what is $H_*(\Omega^2S^3, \mathbb{Z})$. Therefore I ask you how to compute that?
5
votes
0answers
199 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 ...
7
votes
0answers
196 views

Loop space functor and sequential colimits of inclusions

The question is about a fact that is mentioned as "evident" everywhere in the literature, so my guess is that some small detail is passing over my head. Here it is: Let $X_0\hookrightarrow X_1 \...
7
votes
0answers
205 views

Notation: Why Ω for the based loop functor?

This is just a question about notation - probably useless, but it's always baffled me: Why was $\Omega$ chosen to denote the based loop functor? I once heard someone speculate: "It's because $\Omega$...
5
votes
1answer
289 views

Stable homotopy groups of $QX$

If $X$ is a space, we can form $QX=\varinjlim \Omega^n\Sigma^nX$ which is an infinite loop space with homotopy groups $\pi_i(QX)=\pi^{s}_i(X)$ the stable homotopy groups of $X.$ But these are the ...
2
votes
2answers
350 views

The homotopy pullback of a point along itself is the loop space

I have seen on the nLab that we can view the loop space as a particular homotopy pullback, and that it is even the way a "loop space object" is defined in general (when it exists). Can someone give ...
3
votes
1answer
100 views

Adjoint map of $\Gamma$-space prespectrum

I am looking for a reader-friendly proof of the following theorem: let $A$ be a special $\Gamma$-space then $\pi_0(A(S^0))$ is a commutative monoid (I have proved up to this), if further it is an ...
8
votes
0answers
230 views

What is known about maps between loop spaces of Spheres? - Reference request

What is know in general about the maps $\Omega^rS^n\rightarrow\Omega^sS^m$ between loop spaces of Spheres, or, perhaps to phrase it better, the groups $[\Omega^rS^n,\Omega^sS^m]$ for various values ...
10
votes
0answers
363 views

Geometric Satake and Restriction

The Geometric Satake correspondence (due to Lusztig, Ginzburg, Mirkovic-Vilonen) relates perverse sheaves on the Loop Group $\hat{G}$ (with their convolution product) to the Representations of the ...
3
votes
0answers
204 views

Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)

Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to $PH_*(QY)$, and let's say $Y$ itself is a ...
5
votes
0answers
186 views

The behaviour of the suspension homomorphism on $H_*(QX;Z/p)$ for odd $p$ (Reference request)

The mod $p$ homology of $QX=\Omega ^{\infty}\Sigma ^{\infty}X$ for connected $X$ was computed by Dyer-Lashof Homology of Iterated Loop Spaces, Amer. J. of Math., vol.84, No.1 pp 35-88. 1962 It follows ...
4
votes
0answers
257 views

Is the bar construction of a CDGA model a Hopf algebra model for the loop space?

By a theorem of Adams, if $A = C^*(X;\mathbb{Q})$ is the CDGA of rational cochains on $X$ then the cohomology of the bar complex of $A$ is isomorphic to $H^*(\Omega X; \mathbb{Q})$ as a coalgebra (see ...
3
votes
0answers
116 views

Differentiability of a map to the free loop space

While reading Morse theory, closed geodesics, and the homology of free loop spaces, the author claims the following: Given the $S^{n-1} \hookrightarrow Y_1 \rightarrow T^1S^n$ bundle over $T^1S^n$, ...
3
votes
1answer
138 views

Does Kähler structure on X imply Kähler structure on the loop space of X?

Does Kähler structure on $X$ imply Kähler structure on the loop space ($LX$) of $X$? Since the loop space of $X$ is the space of maps from the circle $S^1$ to $X$, I suspect one may use the pullback ...
5
votes
3answers
900 views

classifying space of orthogonal groups

Let $O(n)$ be the $n$-th orthogonal group and $O$ be the direct limit of $O(n)$ with respect to $n$. Let $BO(n)$ and $BO$ be the classifying spaces. Question: Why $BO$ is an $H$-space? My supervisor ...
3
votes
1answer
404 views

the “Kahn-Priddy map” and “multiplicative $p$-local equivalence”

The following is a part of a paper that I need to understand I totally do not know the argument. Could you explain? Thanks. Let $\Sigma_n$ be the $n$-th symmetric group and $\Sigma_\infty$ be the ...
3
votes
0answers
145 views

Double loop groups and cohomology

Let $G$ be a connected reductive group over $\mathbb{C}$ of Lie algebra $\mathfrak{g}$. What is the value of $H^{3}(\mathfrak{g}((t))((s)),\mathbb{C})$?
6
votes
1answer
247 views

Can the standard map $\Sigma \Omega X \to X$ be a homotopy equivalence?

The question is in the title : are there spaces X such that the adjoint of the identity on the loop space $\Omega X$, i.e. $\Sigma\Omega X \to X$, is a homotopy equivalence ?
6
votes
2answers
410 views

Seifert--van Kampen for the loop space dga

I recently noticed that I could mostly prove a special case of the following statement. I think it's true in general, though perhaps only for nice spaces. Let $X$ be a topological space, and ...
1
vote
1answer
129 views

dimension of generators of cohomology ring of iterated loop-suspension

In the book The unstable Adams spectral sequence for free iterated loop spaces, R.J. Wellington, Mem. Amer. Math. Soc. 258, 1982, p. 32 Question: When $p=2$, $k\geq 1$, $n=0$ to $\infty$, what kind ...
3
votes
1answer
153 views

cohomology ring of infinite iterated loop space

What is the cohomology ring $$ H^*(\Omega^\infty \Sigma^\infty (S^m\vee S^n);\mathbb{Z}_2)? $$ I already write out the graded-vector-space basis using Dyer-Lashof operations, but I do not know how to ...
8
votes
1answer
542 views

cohomology of iterated loop space on spheres

In the book The homology of iterated loop spaces, the homology Hopf algebra (1) $$ H_*(\Omega^n \Sigma^n X;\mathbb{Z}_p) $$ for primes $p\geq 2$ is obtained on p. 226, Thm. 3.2. In particular, the ...
2
votes
1answer
286 views

coproduct of the homology of iterated loop space on spheres

Let $\Omega^{n+1}S^{n+1}$ be the base-pointed $(n+1)$-iterated loop space on the $(n+1)$-sphere. In the paper The homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, Lecture notes in ...
2
votes
0answers
166 views

cohomology ring of mapping spaces

In the lecture notes The homology of $\mathcal{C}_{n+1}$–spaces, n ≥ 0. F. Cohen, 1978, page 228-231, the cohomology ring $$ H^*(\text{Map}_*(S^n, S^n\wedge X);\mathbb{Z}_p) $$ is obtained for any ...
1
vote
0answers
485 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)$...
1
vote
1answer
134 views

Group completion of labelled configuration space on Euclidean spaces

In the lecture notes The Homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 225 -226, it is obtained that there is a group completion on homology $$ \alpha_n: C(\mathbb{R}^n;X)\to \...