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.
159 questions
0
votes
1
answer
192
views
cohomology algebra of unordered configuration space on Euclidean space
In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, page 210 (the preface part before contents):
Line 2: ... is used to compute the precise algebra ...
- 1,990
1
vote
0
answers
179
views
Topological characterisation of loop spaces
Let $\Omega\colon \mathrm{Top}_*\to\mathrm{Top}_*$ be the loop space functor assigning to each pointed topological space $X$ the pointed space consisting of all based continuous maps $S^1\to X$ ...
- 523
3
votes
0
answers
340
views
Which homology classes from loop space?
Fix a closed connected manifold $Q$ and let $LQ$ denote its free loop space. We can get second homology classes on $Q$ by "doing things" to loops in $Q$.
For instance, if we have a loop of loops, it ...
- 672
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
21
votes
1
answer
1k
views
Reconciling the affine grassmannian and the based loop group
I'm trying to reconcile the differences between the (algebraic) based loop group and the affine grassmannian. I once believed that I understood the relationship, but I just read a paper which has ...
- 627
1
vote
2
answers
364
views
The cohomology groups of $\Omega U(n)$
Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?
- 957
4
votes
0
answers
151
views
Is this groupoid a model for the derived fixed-point locus of the free loop space?
In this paper, John Baez and Urs Schreiber define (see Definition 2.16) a Lie groupoid (there called a '2-space') associated to any manifold $M$. In fact it is a bundle of Lie groups over $M$ thought ...
- 35.5k
2
votes
1
answer
706
views
What is the delooping of a looping?
What is $\mathbf{B}\Omega A$, where $A$ is a pointed object of an $(\infty,1)$ category with point $*\to A$, $\Omega A$ is the loop space of $A$, and $\mathbf{B}X$ is the delooping of $X$?
The ...
user62675
5
votes
1
answer
493
views
Advantage in Using Cyclic Homology to a compute Equivariant (Co)Homology of Loop Spaces
I am trying to compute equivariant (co)homology of the free loop space of a manifold $M$ that is not a Lie group, $H^{S^1}_*(LM)$ with the natural rotation action of $S^1$ on the loops of the free ...
- 307
5
votes
2
answers
454
views
Infinite loop of a p-completed specta vs p-completion of infinite loop of the spectra
Assume that we have a connective spectrum $X$, and denote the $p$-completion of this spectrum in the sense of Bousfield by $X^{\wedge}_p$ (which is given by the function spectrum $F(S^{-1}\mathbb{Z}/p^...
- 1,003
11
votes
1
answer
387
views
Is there any relation between the simplicial $S^1$ and the Hochschild homology of a noncommutative algebras
Let $k$ be the base field and $A$ be a unital associative $k$-algebra. Let's review the Hochschild homology theory: we have the Hochschild chain comple $C_{\cdot}(A)$ where
$$
C_n(A):=A^{\otimes n+1}
$...
- 9,019
8
votes
3
answers
540
views
Real varieties with enough algebraic loops
Let $(X,\sigma)$ be a complex variety with complex conjugation (equivalently, an algebraic variety over $\mathbb R$).
We use the notations $X(\mathbb R):=X^\sigma$ for the set of fixed points of $X$ ...
- 43.2k
1
vote
0
answers
89
views
Holomorphic convergence conditions on $\mathbb C((z))$-valued points of a group $G$
Let $G$ be a complex, connected, simply connected, semisimple group. I'm trying to compare the following two spaces: The free loop space $LG$ of $G$, and the $\mathbb C((z))$-valued points of $G$, $G(\...
- 627
22
votes
5
answers
5k
views
Is there a good way to understand the free loop space of a sphere?
I'd like to understand the structure of the free loop space of $S^n$ for small values of $n$. Here "understand" means roughly that I'd like to know a CW complex with the same homotopy type.
I ...
- 8,493
14
votes
4
answers
2k
views
Where does Segal's category come from?
Segal's category $\Gamma$ is the skeleton of the category $\text{FinSet}_{\ast}$ of pointed finite sets. It is used to write down $\Gamma$-spaces, which are functors $\Gamma \to \text{Top}$ satisfying ...
- 118k
0
votes
0
answers
301
views
loop space homology and lens spaces
Is the homology of free loop space of lens spaces known?
Thanks in advance for your help.
- 131
3
votes
0
answers
280
views
Chen's iterated integrals and free loop space
I recently found out about Chen's iterated integrals for paths in a differentiable manifold, and I was wondering if an analogous construction exists for free loops, i.e. a set of variables one ...
8
votes
0
answers
813
views
looping and delooping spaces and categories
I'm trying to understand the relationship between the notions of looping and delooping in category theory and topology.
The morphisms in a category with one object have the structure of a monoid. ...
- 1,446
13
votes
2
answers
1k
views
Proving that a space cannot be delooped.
Suppose we have some pointed connected topological space $X$. How can we determine if there exists a space $BX$, called delooping of $X$, such that its space of based loops $\Omega BX$ is homotopy ...
- 4,780
10
votes
3
answers
645
views
On the naturality of the bar construction
Let $X$ be a based space. Then the Moore loop space $MX$ is defined to be the topological monoid whose points are based loops $[0,a] \to X$ where $a \ge 0$ is allowed to vary. Composition is gotten ...
- 18.9k
2
votes
2
answers
1k
views
Are loop spaces of homotopically equivalent spaces homotopically equivalent? [closed]
Let $f:X \to Y$ be a homotopy equivalence of pointed topological spaces.
Then, is the induced map of pointed loop spaces $\Omega (f): \Omega X \to \Omega Y$ a homotopy equivalence?
Here, loop spaces ...
- 945
5
votes
1
answer
947
views
Free Loops, Moore Paths and the Borel Construction
My question is about the relationship between the free loop space LX of a space X and the (appropriately defined) Borel construction $PX \times_{\Omega X} \Omega X$ which is a homotopy equivalent ...
- 51
17
votes
1
answer
2k
views
Is there an algebraic "derived mapping space" construction that encompasses both Hochschild homology and loop spaces of non-simply-connected spaces?
I'm looking for directions to the literature that might contain fairly explicit constructions that might be called (the algebra of functions on) the "derived mapping space" from a simplicial set to a ...
- 54.6k
17
votes
2
answers
1k
views
Loop space of a category
This seems like it should be a "standard" thing, and I think I remember even seeing it somewhere, but I can't remember where.
Let $C$ be a small category. Is there a category $\Lambda C$ whose nerve ...
- 66.8k
11
votes
1
answer
871
views
Vector fields on path spaces
I've been reading Chen's original works on iterated integrals and in order to consider differential forms on the path space $PM$ of a smooth manifold $M$ he gives $PM$ the following "differentiable ...
- 2,035
4
votes
0
answers
160
views
What is the grading of x(x−1)R[x]? Loopspace for Karoubi-Villamayor K-theory.
I am reading the chapter on Karoubi-Villamayor K-theory in Weibel's K-book. In particular he defines $\Omega R=(x^2-x)R[x]$ for a ring. This will eventually lead to a model for the loopspace
...
- 1,558
3
votes
2
answers
528
views
2-cocycle on LSU(2)
$SU(2)$ is a Lie group, with a Lie algebra $\mathfrak{su}(2)$. I now consider the loop group
$ LSU(2) = \{ \gamma: S^1 \to SU(2); \gamma \mathrm{ smooth} \} $. It is well-known that there exists non-...
- 254
11
votes
3
answers
794
views
Geometric realization of Hochschild complex
Let $A$ be a commutative $\mathbb{C}$-algebra, and consider $C_{\bullet}(A,A)$ the simplicial Hochschild homology module of $A$ with respect to itself (i.e. $C_{n}(A,A)=A^{\otimes (n+1)}$). This is a ...
- 257
13
votes
1
answer
731
views
free loop space and invariant forms
Cartan proved that for a connected compact Lie group $G$ the left invariant differential forms yield the correct cohomology of $G$. The same argument works for a connected compact $G$-manifold: the ...
- 2,035
9
votes
2
answers
3k
views
The connected components of the free loop space
I am trying to understand the topology (in terms of homology groups) of the free loop space $\Lambda M$ of nice spaces (Complete Riemannian connected finite dimensional manifolds $M$). I see the free ...
- 7,583
7
votes
1
answer
1k
views
Haar measure on infinite dimensional Lie groups?
Hi. Is there a Haar measure or equivalent on infinite dimensional Lie groups? I've been playing around with $Diff(S^1)$, and at least a direct approach seems quite hopeless. It goes something like ...
- 548
13
votes
1
answer
1k
views
Homotopy type of the self-homotopy equivalences of a bouquet of spheres
Before I state the questions I have in mind, let me give some background. If one considers $S^2$ then it is known due to Kneser that $\textrm{Homeo}^{+}(S^2)$ has the homotopy type of $SO(3)$. By ...
- 3,423
16
votes
6
answers
4k
views
Homology of loop space
I've been reading Galatius's Park City notes on the Madsen-Weiss theorem (available here).
On page 8, he states the following theorem. Let $X$ be a space such that $\pi_1(X)$ is abelian and acts ...
- 163
3
votes
1
answer
437
views
First cohomology of the space of long knots in ℝ⁴
Let's consider the space of long knots in $\mathbb R^n$, $n>3$. I know that there are many results (Vassiliev, Turchin, Sinha, Kontsevich) about different expressions of cohomology of this space. I ...
- 5,063
6
votes
1
answer
651
views
What space does "Loop infinity of the infinite dimensional sphere" refer to?
I've been reading Hatcher's survey "A Short Exposition of the Madsen-Weiss Theorem". In it, he discusses the Barratt-Priddy-Quillen theorem, which says that the homology of the infinite symmetric ...
- 63
15
votes
1
answer
834
views
What is known about the connection of positive energy representations of loop groups and modular forms
At the end of Section 14.1 in Pressley, Segal "Loop Groups" there is the remark that
the partition function is a modular function in the sense that the Dedekind $\eta$ function is a modular form. I ...
- 2,121
7
votes
4
answers
973
views
I was wondering if the set of singular loops is a (somewhere) submanifold of loop space?
The set of all smooth maps $S^1\to M^n$ ($M$ is a smooth manifold) is a generalized manifold(see http://ncatlab.org/nlab/show/smooth+loop+space).
I was wondering if the set of singular loops (maps ...
- 5,063
18
votes
0
answers
895
views
local equivalence of loop group representations
Let $G$ be a compact, simple, connected, simply connected (cscsc) Lie group, and let its smooth loop group $LG:=C^\infty(S^1,G)$. Given an interval $I\subset S^1$, we have the local loop group
$$
L_IG ...
- 43.2k
7
votes
2
answers
884
views
Uniqueness of loop spaces
Suppose X is a loop space; by this we mean there is some space $Y$ with $\Omega Y \simeq X$.
Under what assumptions is (the homotopy type of) $Y$ unique?
As has been pointed out below, the ...
- 1,180
20
votes
3
answers
1k
views
central extensions of Diff(S^1) and of the semigroup of annuli
$\mathit{Diff}(S^1)$ refers to the group of orientation preserving diffeomorphisms of the circle. The semigroup of annuli $\mathcal A$ is its "complexification": the elements of $\mathcal A$ are ...
- 43.2k
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
7
votes
2
answers
858
views
What are the algebras over $\Omega^k\Sigma^k$ ?
Let $Ho(Spc)$ be the homotopy category of spaces. There is an adjoint pair
$$
\Sigma^k \colon Ho(Spc) \leftrightarrows Ho(Spc)\colon \Omega^k,
$$
where $\Sigma^k$ is the $k$-th supension functor and $\...
- 101
6
votes
6
answers
599
views
Equivariant homology of $\Omega X$\/-space (references needed)?
Let $(X, *)$ be pointed a (1-connected) space, and let $\Omega X$ denote its based loops space. Then, as one knows very well, $\Omega X$ is a group up to homotopy (this includes all the necessary ...
- 291
2
votes
2
answers
1k
views
A question about the affine Grassmanian
For $SL(2, \mathbf{C} ((t)))$ the affine Grassmanian is defined as:
$$SL(2, \mathbf{C}((t))) / SL(2, \mathbf{C} [[t]])$$
Now that is fine but $SL(2, \mathbf{C} ((t)))$ has smaller parabolic subgroups. ...
- 751
7
votes
2
answers
1k
views
Proof of the ''trangression theorem''
Here is what I would call the transgression theorem. Let $X$ be a pointed space and $\Omega X$ its loop space. There are two maps $H_{p}(\Omega X) \to H_{p+1}(X)$ which should be the same. I am ...
- 20.9k
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
8
votes
2
answers
596
views
Infinite loop space maps into or out of BAut(F_n)
There is an inclusion $S_n \to Aut(F_n)$ from the symmetric group into the automorphism group of a free group. After applying the Quillen +-constriction, both $BS_{\infty}$ and $BF_{\infty}$ become ...
- 2,734
5
votes
5
answers
2k
views
Loopspace of an Eilenberg Maclane space K(G,n)
I've seen the fact that the loopspace $\Omega K(G,n)$ is homotopy equivalent to $K(G,n-1)$ mentioned in some places, but I have no idea why. Can anyone offer a good explanation? Also, what happens ...
- 61
5
votes
1
answer
690
views
What do representations of infinite-dimensional Heisenberg groups look like?
I'm interested in an infinite dim'l Heisenberg group associated to the vector space $V = L\mathbb{C}/\mathbb{C}$ = {$f \colon S^1 \to \mathbb{C}$|$f$ smooth}/(const. maps). The group is $\mathbb{C}^\...
- 3,968
2
votes
1
answer
350
views
Commutativity of a diagram of boundary morphisms from the long exact sequence of homotopy groups of a fibration and its loop spaces
Let $f: X \to Y$ be a fibration of pointed Kan complexes, and let $F$ be the fiber.
Question: How do you prove that the following diagram of homotopy groups commutes?:
$\pi_n(Y) \to \pi_{n-1}(\...
- 155