(Stub) The loop space is the function space consisting of all continuous maps from the circle into a topological space; the function space is equipped with the compact-open topology. It is studied in topology, especially homotopy theory.

learn more… | top users | synonyms

1
vote
1answer
18 views

Show that Riemannian manifold $M$ is contractible if the loop space $\Omega_{p,p}$ is contractible.

Show that Riemannian manifold $M$ is contractible if the loop space $\Omega_{p,p}$ is contractible. The problem is from the following material. It contends that the result is by standard Morse ...
1
vote
0answers
10 views

Rational homology of $\Omega^{n+1}\Sigma^{n+1}X$

I want to know how compute, by induction and using the Serre spectral sequence for homology, $H_*(\Omega^{n+1}\Sigma^{n+1}X, \mathbb{Q})$. I know that I have to use the path-loop fibration $$ ...
5
votes
1answer
54 views

Every loop space $(\Omega Y,w_0)$ has the structure of an $H$-group.

The most important example of an $H$-group is the loop space $(\Omega Y,w_0)$ of any pointed space $(Y,y_0)$. Let $\mu:\Omega Y\times \Omega Y\to \Omega Y; \;\; \mu(\alpha,\beta)=\alpha \star\beta$, ...
5
votes
1answer
57 views

Size of closed loop on a (bipartite) hexagonal lattice with equal number of enclosed A and B sublattice sites.

If I draw closed loops on a hexagonal lattice such that it always encloses equal number of A and B sublattice sites, I seem to get loops of sizes 4n+2. Is there a way this can be proved in general? ...
1
vote
2answers
45 views

For which values of $k$ is there an $X$ with $\Omega^kX \cong X$?

Bott periodicity can be formulated as $\Omega^2 U \cong U$ where $\Omega$ denotes the based loop space functor and $U$ is the direct limit of unitary groups. The real version can be formulated as ...
2
votes
1answer
78 views

Fiber bundles that can be turned into a fibration that is a fiber bundle.

Let me recall a standard construction. Up to homotopy equivalence, any map $f: X \to Y$ is a fibering. Take the special case where $X=E$ the total space of a fiber bundle, and $Y$=B, the basespace ...
1
vote
1answer
29 views

Define a map $\Omega \Sigma \Omega Y \to \Omega Y$

Let $Z$ be $\Omega Y$ which is the space of loops based at $Y_0$. Then I know how to define a map explicitly from $Z \to \Omega \Sigma X$. It is defined by noting we have the identity map $ \Sigma ...
3
votes
0answers
47 views

multiplication in H-space and loopspace of the H-space

Let $X$ be an $H-space$, and let a multiplication $,\cdot,$ be given, associative up to homotopy. Let $\Omega X$ be the loopspace of $X$ based at the identity and let the multiplication $ \circ $ on ...
0
votes
1answer
42 views

Are the space of paths with two given endpoints in a contractible space, contractible?

This question is inspired by an answer to Nitrogen's answer to my Are the path connected components of $\Omega S_1$ contractible? . Here we are asked whether the space of paths in $\mathbb{R}$ ...
3
votes
1answer
38 views

Are the path connected components of $\Omega S_1$ contractible?

Let $\Omega S_1$ be the space of loops of $S_1$ based at $x_0 \in S_1$ with the topology of uniform convergence. We know that the path connected components of this space are in one to one ...
0
votes
0answers
37 views

What's the official name for a space that warps like this?

For years, games have had this idea of a space that warps. Attempting to move out of the playing field on the left side would send you to the right side, like in Pac-Man. But is there an official ...
4
votes
1answer
62 views

Homeomorphism between $\mathcal{C}(X,\Omega Y)$ and $\mathcal{C}(\Sigma X, Y)$

It is easy to see that there is a natural bijection between $\mathcal{C}(X,\Omega Y)$ and $\mathcal{C}(\Sigma X, Y)$, where $\Omega Y$ is the based loop space, $\Sigma X$ is reduced suspension, $X$ ...
2
votes
0answers
31 views

Affine Kac-Moody Group Isometry of a Manifold

An isometry of a Riemannian manifold is an infinitesimal displacement generated by a Killing vector field $V=\zeta^aV_a=\zeta^aV_a^i\frac{\partial}{\partial x^i}$. If the isometry corresponds to the ...
1
vote
0answers
44 views

Path space of suspension

Let $X$ be a pointed homotopy type (of a CW complex) and let $G = \Omega \Sigma(X)$ be the loop space of the suspension. Let $P$ denote the homotopy pushout of the diagram $$ G \gets G \times X \to ...
2
votes
0answers
70 views

Iterating the suspension-loop adjunction in two different ways

Let $X$ be a sufficiently nice topological space (i.e. an object of a category of spaces where the reduced suspension-loops, $(\Sigma, \Omega)$, holds.) There are two directed systems of spaces one ...
3
votes
1answer
182 views

Clarification regarding little n-discs operads

I am reading the wiki page on operad theory and I am trying to figure out how exactly those "Little something" operads work which are mentioned there. Specifically, I am having a hard time, despite ...
1
vote
1answer
29 views

configuration-spaces and iterated loop-spaces

In the paper Configuration-Spaces and Iterated Loop-Spaces. Graeme Segal, page 213-214, it is obtained that the labelled configuration space $C_n$ is homotopy equivalent to a topological monoid ...
2
votes
1answer
53 views

homomorphism of $H$-spaces between a monoid and loop space of its classifying space

Let $M$ be a topological monoid. $M$ can be considered as a category internal to topological spaces and has a simplicial space $N_\bullet(M)$ as its nerve. The geometric realization ...
2
votes
0answers
30 views

pontrjagin ring of the homology of iterated loop suspension

In The homology of C n+1 spaces, n>=0, F. Cohen, proof of Theorem 3.1 and proof of Theorem 3.2 (p. 228 - 243) I totally do not understand the proofs of these two theorems from page 228 to page 243 ...
2
votes
1answer
71 views

question about “Homology fibrations and the group completion theorem”

In the paper Homology fibrations and group completion theorem, McDuff-Segal, page 281 line 17-line 18: we have a fibre bundle $M_\infty\to (M_\infty)_M\to BM$ with $(M_\infty)_M$ constractible. In ...
0
votes
1answer
167 views

canonical map of a monoid to its classifying space

Every monoid $M$ is a category with one object $M$ and morphisms the elements of $M$. [Martin Brandenburg.] Every small category $C$ has a classifying space $BC$, defined as the geometric realization ...
0
votes
1answer
63 views

iterated loop spaces and configuration spaces

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 $$ ...
4
votes
0answers
86 views

When the free loop space fibration splits?

Let $X$ be a (nice) connected topological space. Let $LX=Map(S^1,X)$ be the free loop space and $\Omega X = Map_*(S^1,X)$ the subspace of based loops (with some choice of base point for X). Now, there ...
5
votes
0answers
102 views

Textbook on infinite loop spaces

I'm looking for a good update reference covering the material in first three chapters of "Adams, Infinite loop spaces" (specially construction of delooping functors and group completion) with exact ...
4
votes
1answer
55 views

Loop space of wedge sum of spheres

What is an explicit formula for $\Omega (S^n \vee S^m)$? I know that it follows from Hilton-Milnor theorem. But I don't quite understand it's formulation.
1
vote
0answers
45 views

Complexifying Lie group actions

In Atiyah-Pressley's paper Convexity and Loop Groups, it is claimed that the Bruhat cells $C_\lambda$ are invariant under the natural $S^1 \times T$-action and that the authors will prove this claim. ...
2
votes
0answers
84 views

Topology of the space of “loops” [closed]

I have a question that I'm not even sure I can put into words, but please bear with me! I want to define some sort of "loop space" and I want to understand it's topology enough that I can compare it ...
1
vote
1answer
54 views

Free loop space of classifying space as a disjoint union of classifying spaces of centralizer proof reference request.

I am looking for a reference for the proof or explanation of why for a discrete group $G$ we have that the free loop space of its classifying space is the disjoint union of centralizeers of $g$ where ...
0
votes
1answer
41 views

What is a thin loop?

I read one definition of a thin loop: $\gamma$ is a thin loop if there exists a homotopy of $\gamma$ to the trivial loop with the image of the homotopy lying entirely within the image of $\gamma$. ...
2
votes
1answer
63 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
vote
2answers
343 views

When is the free loop space simply connected?

I am not sure if there is an obvious answer to this, but this has been bothering me. Let $X$ be a topological space. When is the free loop space, $LX$, simply connected? Correct me if I'm wrong, but ...
0
votes
2answers
90 views

What is the map $\Sigma K(G,n) \to K(G,n+1)$?

Since $\Omega K(G, n+1)$ is a $K(G,n)$, we have a CW approximation/homotopy equivalence $K(G,n) \xrightarrow{\sim} \Omega K(G,n+1)$. The adjoint of this map is a map $\Sigma K(G,n) \to K(G,n+1)$. ...
5
votes
1answer
119 views

Loop spaces have the homotopy type of a topological groups

Every based loop space has the homotopy type of a topological group. I would like to understand this fact, and this is what this question is about : why is it true, and how does one prove it? I ...
0
votes
0answers
42 views

On loop space of a product

[consider good spaces so the objects and question make sense] Who was the first to prove that the loop space of a product is homeomorphic to the product of the loop spaces? $$\Omega(X\times Y)\approx ...
3
votes
1answer
74 views

For compact surface $M$ and loop $f$ there exists a surjection $\phi: H_1(M) \to \mathbb{Z}/8\mathbb{Z}$ such that $f \notin \ker(\phi)$

Why is this sentence true? For every not nullhomologous loop $f$ without selfintersections on orientable compact surface $M$ there exists a surjection $\phi: H_1(M) \to \mathbb{Z}/8\mathbb{Z}$ such ...
0
votes
0answers
36 views

existance of loop with finitely many point of intersection

for every loop on compact orientable surface exists freely homotopic loop with finitely many points of intersection. I see that it have to be true, but I can't prove it. I know Thom's theorem, Sard's ...
0
votes
0answers
117 views

lifting a closed curve

Is it always true (because of covering spaces has homotopy lifting property)? loop $f$ lifts to a closed curve if and only if any curve freely homotopic to $f$ lifts to a closed curve. or we have to ...
3
votes
3answers
293 views

How to explain why free loop space, or based loop space, is infinite dimensional to non-math people.

I am giving a math talk to non-mathematicians. I was wondering how to explain how the free loop space, or based loop space, of a topological space is infinite dimensional so that a non-mathematician ...
2
votes
0answers
61 views

Timelike Loop Spaces as Projective Null Twistor Spaces

I have already asked this question in physics.stackexchange, but have not got any answers, so I have decided to ask it here. Let $\mathcal{M}$ be a spacetime, and let $\Omega\mathcal{M}$ denote the ...
2
votes
1answer
130 views

Are space of paths between two different points and space of pointed loops only homotopy equivalent? What about smooth case?

Let $X$ be a path-connected CW-complex and $x$, $y$ points in $X$. Any choice of a path between $x$ and $y$ provides maps (in both directions) between the space $L(x, y)$ of paths from $x$ to $y$ and ...
3
votes
0answers
104 views

Conditions for a Topological space to be a Spectrum

I'm looking for conditions for a topological space $X$ to be a Spectrum. A topological space $X$ is a spectrum if it can be delooped infinitely (more accurately, «double-infinitely»). Some ...
2
votes
0answers
53 views

Clarification about a double delooped H-space.

I've just started reading J.P. May's book The Geometry of Iterated Loop Spaces and am misunderstanding something. Somewhere, it's asserted that if an H-space X can be delooped twice, the its ...
4
votes
2answers
122 views

Derivation and meaning of a long exact sequence of a Homotopy Groups for pairs of spaces

I read that there are long exact sequences of homotopy groups for each pair of pointed spaces $(X,A,x_{0})$. Now I know that for an exact sequence that, as the example below denotes $f \text{ and } ...
3
votes
0answers
722 views

Action of the Fundamental Group on Higher Homotopy Groups.

First: here are a couple links of which I am looking at. I try to add the relevant information (at least to my understanding) from them. ...
2
votes
0answers
84 views

Γ-spaces and operads

I'm looking for a comprehensible reference that explains how $\Gamma$-spaces are related to $E_{\infty}$-operads. I've found some old publications but was hoping there are better references out there. ...
1
vote
1answer
81 views

What kind of information is given by the n-th homotopy group for n>=2?

How i see this the homotopy group of order 1 is giving information about the "holes" in a topological space. In that way what kind of information is giving the homotopy group of order 2 or n in ...
6
votes
1answer
387 views

Why is the recognition principle important?

The recognition principle basically states that (under some conditions) a topological space $X$ has the weak homotopy type of some $\Omega^k Y$ iff it is an $E_k$-algebra (ie. an algebra over the ...
6
votes
3answers
758 views

Showing that the loopspace $\Omega S^{\infty}$ is homotopic to $S^{\infty}$.

Showing that the infinite dimensional sphere $S^{\infty}$ is contractible is rather easy by constructing an explicit contraction (Hatcher gives a nice one). I thought it might be a nice exercise to ...
3
votes
1answer
201 views

Non-vanishing of homology of loop spaces

One of the answers to this MO question implies that loop spaces of $S^n$ for $n>1$ have non-zero homology in arbitrarily high degree. Is there any simple (or, better yet, geometric) way to prove ...
4
votes
1answer
345 views

Associative up to homotopy

I'm reading Adams' book Infinite Loop Spaces. He explains that the product map on a loop space isn't associative, but it is associative up to coherent homotopy. I'm confused about the coherent part of ...