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

mapping spacesLusternik--Schnirelmann categoryH-space, Haefliger model

Mathematics Subject Classification ID

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

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.

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

• scientific article; zbMATH DE number 3156917 (Why is no real title available?)
• scientific article; zbMATH DE number 1973373 (Why is no real title available?)
• Cone-length and Lusternik-Schnirelmann category
• Construction of universal bundles. I
• Ganea fibrations
• Ganea's Conjecture on Lusternik-Schnirelmann Category
• 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)

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

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)