H-space structure on pointed mapping spaces

DOI10.2140/AGT.2005.5.713MaRDI QIDQ2571362zbMATH OpenOpenAlexFDO

Authors Yves Félix, Daniel Tanré

Publication date 1 November 2005

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0507147, https://eudml.org/doc/125676, http://www.emis.de/journals/UW/agt/AGTVol5/agt-5-29.abs.html

zbMATH Keywords

H-space, Haefliger modelLusternik--Schnirelmann categorymapping spaces

Mathematics Subject Classification ID

Lyusternik-Shnirel'man category of a space, topological complexity à la Farber, topological robotics (topological aspects) (55M30) (H)-spaces and duals (55P45) Rational homotopy theory (55P62)

Abstract: We investigate the existence of an H-space structure on the function space, F_*(X,Y,*), of based maps in the component of the trivial map between two pointed connected CW-complexes X and Y. For that, we introduce the notion of H(n)-space and prove that we have an H-space structure on F_*(X,Y,*) if Y is an H(n)-space and X is of Lusternik-Schnirelmann category less than or equal to n. When we consider the rational homotopy type of nilpotent finite type CW-complexes, the existence of an H(n)-space structure can be easily detected on the minimal model and coincides with the differential length considered by Y. Kotani. When X is finite, using the Haefliger model for function spaces, we can prove that the rational cohomology of F_*(X,Y,*) is free commutative if the rational cup length of X is strictly less than the differential length of Y, generalizing a recent result of Y. Kotani.

Review text

Given pointed CW complexes \(X\) and \(Y\), let \(F_*(X,Y;*)\) denote the space of based null-homotopic maps from \(X\) to \(Y\). \textit{Y. Kotani} [Homology Homotopy Appl. 6, No. 1, 341--350 (electronic) (2004; Zbl 1065.55005)] found some conditions that yield the structure of an \(H\)-space on (rationalized) \(F_*(X,Y;*)\). One of the main results of the paper under review generalizes this result. Let \(p_n^Y: G_n(Y) \to Y\) be the \(n\)-th Ganea-Svarz fibration. The authors introduce an interesting concept of \(H(n)\)-space as a pointed space admitting a map \(\mu: G_n(X\times X)\to X\) such that \(\mu\circ i_l=\mu\circ i_r=p_n^X\) where, say \(i_l: G_n(X) \to G_n(X\times X), x\mapsto (x,*)\). It is clear that an \(H(\infty)\)-structure is an \(H\)-structure. The authors prove the following Proposition 1: If \(Y\) is an \(H\)-space and the Lusternik-Schnirelmann category of \(X\) does not exceed \(n\), then \(F_*(X,Y;*)\) is an \(H\)-space. The authors find some conditions (in terms of category, differential length, connectivity) under which the cohomology algebra \(H^*(F_*(X,Y);\mathbb Q)\) is free commutative (Theorem 2). The proof uses the Haefliger model for mapping spaces.

Recommendations

• The rational homotopy Lie algebra of function spaces
• On maps into a co-\(H\)-space
• A rational splitting of a based mapping space
• Rational homotopy type of free and pointed mapping spaces between spheres
• Rational homotopy types of mapping spaces via cohomology algebras
• H^f-spaces for maps and their duals
• On rational co-Hopf G-spaces
• The Singular Cohomology of the Inverse Limit of a Postnikov Tower is Representable
• \((n)\)-pairing with axes in rational homotopy
• scientific article; zbMATH DE number 1302897

Cites work

• Cone-length and Lusternik-Schnirelmann category
• Construction of universal bundles. I
• Ganea fibrations
• Ganea's Conjecture on Lusternik-Schnirelmann Category
• scientific article; zbMATH DE number 3156917 (Why is no real title available?)
• scientific article; zbMATH DE number 1973373 (Why is no real title available?)
• Lusternik-Schnirelmann category and strong category
• Note on the rational cohomology of the function space of based maps
• On the non-existence of elements of Hopf invariant one
• Rational Homotopy of the Space of Sections of a Nilpotent Bundle
• Rational L.-S. Category and Its Applications
• The generalized Whitehead product

Cited in

(6)

• Splitting of gauge groups
• H^f-spaces for maps and their duals
• Recognizing mapping spaces
• Mapping spaces and homotopy theory
• Homotopy transfer and rational models for mapping spaces
• Higher homotopy commutativity and the resultohedra

This page was built for publication: \(H\)-space structure on pointed mapping spaces

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