Configuration spaces on the sphere and higher loop spaces

DOI10.1007/S00209-004-0668-6MaRDI QIDQ706103zbMATH OpenOpenAlexFDO

Authors Paolo Salvatore

Publication date 1 February 2005

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0303290

zbMATH Keywords

configuration spacesfree loop spaces

Mathematics Subject Classification ID

Loop space machines and operads in algebraic topology (55P48) Discriminantal varieties and configuration spaces in algebraic topology (55R80) Dyer-Lashof operations (55S12)

Abstract: We show that the homology over a field of the space of free maps from the n-sphere to the n-fold suspension of X depends only on the cohomology algebra of X and compute it explicitly. We compute also the homology of the closely related labelled configuration space on the n-sphere with labels in X and of its completion, that depends only on the homology of X. In many but not all cases the homology of the configuration space coincides with the homology of the mapping space. In particular we obtain the homology of the unordered configuration spaces on a sphere.

Review text

Let \(M\) be a compact manifold and \((X,*)\) be a pointed space. The space \(C(M; X)\) of finite configurations in \(M\) with labels in \(X\) is the quotient \(C(M; X)= (\coprod_{k\geq 1} F(M, k)\times_{\Sigma_k} X^k)/\sim\) where \(\sim\) is generated by the relations \((z_1,\dots, z_k; x_1,\dots, x_k)\sim (z_1,\dots, z_{k-1}; x_1,\dots, x_{k-1})\) if \(x_k= *\). For instance when \(X= S^0\) then \(C(M; X)= \coprod_{k\geq 1} C_k(M)\) is the space of all finite configurations in \(M\). The subspaces \(C_i(M; X)= \coprod^i_{k=1} F(M, k)\times_{\Sigma_k} X^k/\sim\) define a natural filtration of the space \(C(M; X)\) with \(C_1(M; X)= M\wedge X\). For any \(k\geq 1\) the natural inclusions \(C_{k-1}(M; X)\hookrightarrow C_k(M; X)\) are closed cofibration with cofibres, \(D_k(M; X)= C_k(M; X)/C_{k-1}(M; X)= F(M, k)\times_{\Sigma_k} X^{\wedge k}/F(M, k)\times_{\Sigma_k}*\). If \(X\) is connected then the space \(C(M, X)\) stably splits as \(\bigvee_k D_k(M; X)\), [\textit{C.-F. Bödigheimer}, Stable splitting of mapping spaces, Algebraic topology, Proc. Workshop, Seattle/Wash. 1985, Lect. Notes Math. 1286, 174--187 (1987; Zbl 0641.55006)]. In particular for any field of coefficients \(\mathbb{F}\), we have \(\widetilde H_*(C(M; X); \mathbb{F})\cong\bigoplus_{k\geq 1}\widetilde H_*(D_k(M; X); \mathbb{F})\). Furthermore if \(X= S^q\) is an even-dimensional sphere, then \(\widetilde H_*(D_k(M; X); \mathbb{F}))\cong H_*(C_k(M); (\widetilde H_*S^q)^{\otimes k})\), where \(\Sigma_k\) acts by permutation of coordinates on \((\widetilde H_* S^q)^{\otimes k}\) with the usual sign conventions. Since \(\widetilde H_*(S^q)\) is concentrated in an even degree, \((\widetilde H_* S^q)^{\otimes k}\) is a trivial \(\Sigma_k\)-module. Therefore, by [\textit{C.-F. Bödigheimer}, loc. cit.] \(\widetilde H_*(C(M; S^q); \mathbb{F})= \bigoplus^\infty_{k=1} s^{qk}H_*(C_k(M); \mathbb{F})\). The fundamental result of \textit{D. McDuff} [Topology 14, 91--107 (1975; Zbl 0296.57001)] states that if \(M\) is compact and if either \(M\) or else \(X\) is connected then there is a weak homotopy equivalence \(C(M; X)\to \Gamma(M; X)\), where \(\Gamma(M; X)\) denotes the space of sections of the fibration \(\tau^+_X\) defined as follows. First consider the one point fibrewise compactification, \(\tau^+_M\), of the tangent bundle of \(M\). The fibrewise smash product of \(\tau^+_M\) with the trivial bundle \(M\times X\), is also a fiber bundle, denoted \(\tau^+(X)\). By elementary obstruction theory one can see that if \(X\) is \((r-1)\)-connected with \(r> m\), then the space \(\Gamma(M; X)\) is \((r-m)\)-connected. Thus, the McDuff theorem implies that the spaces \(C(M; X)\) and \(\Gamma(M;X)\) have the same rational homotopy type. Using ``Browder operations the author computes the homology (with coefficients in a field) of the space \(\Gamma(\tau^+_{S^n}(X))\) assuming that \(X\) is a (non-necessary connected) CW-complex. Then he compares the homology (with coefficients in a field) of the free mapping space \((\Sigma^n X)^{S^n}\) with those of \(\Gamma(\tau^+_{S^n}(X))\). Relevant examples and applications of these results are given in the last section.

Recommendations

• scientific article; zbMATH DE number 3998768
• On the homology of configuration spaces C((M, M₀) R^n; X)
• Truncated symmetric products and configuration spaces
• Integral cohomology of configuration spaces of the sphere
• Loop space homology of the space of configurations of three points in \(\mathbb{R}^n\) et \(S^n\)

Cites work

• Configuration spaces of positive and negative particles
• Framed Discs Operads and Batalin-Vilkovisky Algebras
• Hodge decomposition for higher order Hochschild homology
• scientific article; zbMATH DE number 796969 (Why is no real title available?)
• Iterated loop spaces
• Mapping class groups and function spaces
• On products in homotopy groups
• On the homology of configuration spaces
• The cohomology ring of free loop spaces
• The geometry of iterated loop spaces
• Truncated symmetric products and configuration spaces

Cited in

(20)

• The space of loops on configuration spaces and the Majer-Terracini index
• Configuration spaces of points on the circle and hyperbolic Dehn fillings
• Configuration spaces of points on the circle and hyperbolic Dehn fillings. II
• Integral cohomology of configuration spaces of the sphere
• The factorization theory of Thom spectra and twisted nonabelian Poincaré duality
• Twisted homology of configuration spaces and homology of spaces of equivariant maps
• The homology of configuration spaces of trees with loops
• Order of the canonical vector bundle over configuration spaces of spheres
• Existence results for closed Finsler geodesics via spherical complexities
• Loop space homology of the space of configurations of three points in \(\mathbb{R}^n\) et \(S^n\)
• The cohomology rings of the unordered configuration spaces of elliptic curves
• scientific article; zbMATH DE number 1665420 (Why is no real title available?)
• scientific article; zbMATH DE number 796949 (Why is no real title available?)
• The higher topological complexity of configuration spaces of odd-dimensional spheres
• Labeled configuration spaces and group completions
• On orbit configuration spaces of spheres
• Double complexes for configuration spaces and hypergraphs on manifolds
• Homology operations for gravity algebras
• The topology of curvature sets of \(\mathbb{S}^1\)
• The space of intervals in a Euclidean space

This page was built for publication: Configuration spaces on the sphere and higher loop spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q706103)