A contribution to the closed geodesic problem
type: Item
instance of: scholarly article
title: A contribution to the closed geodesic problem
zbMATH Open document ID: 1195.55009
author: Bitjong Ndombol
author: Jean-Claude Thomas
published in: Journal of Pure and Applied Algebra
publication date: 2010-02-19T00:00:00Z
review text: It is conjectured that if \(X\) is a simply connected finite complex such that its cohomology algebra over a field \(\mathbb F\) is generated by at least two generators, then \(\{\dim H^i(LX,\mathbb F )\}_{i\geq 0}\) grows unbounded. Here \(LX\) is the space of free loops on \(X\). This conjecture is known to hold for \(\mathbb F=\mathbb Q\) by work of \textit{D. Sullivan} and \textit{M. Vigué-Poirrier} [J. Differ. Geom. 11, 633--644 (1976; Zbl 0361.53058)]. The authors in this paper give a sufficient algebraic condition for when this conjecture holds. With \(X\) as in the hypothesis of the conjecture, they first exhibit a commutative differential graded algebra \(\Gamma\) such that \(H^0(\Gamma)=0=H^1(\Gamma)\) and \(H(\Gamma )\) is generated by two generators, with a surjective homomorphism of DGA \(p : T\to\Gamma\), where \(T\) is a free DGA quasi-isomorphic to the singular cochains \(C^*(X,\mathbb F )\). The existence of \(T\), with certain additional properties, can be deduced from work of Halperin-Lemaire, Lambrechts and McCleary. Then they show that if \(p\) admits an \(A_{\infty}\)-map \({\mathbf\sigma}:=\{\sigma_i\}_{i\geq 1}: \Gamma\to T\) with \(p\circ\sigma_1=id_\Gamma\), then the conjecture holds for \(X\). An \(A_{\infty}\)-map between two DGAs is what is needed to construct a homomorphism of graded coalgebras between their bar constructions. The authors go on to identify a finite set of obstructions to the existence of such an \(A_{\infty}\)-section \(\mathbf\sigma\), and then use this to deduce that if \(M\) is a simply connected closed smooth manifold of dimension \(n\) such that for some field coefficients, the graded algebra \(H^*(M)\) is not monogenic and vanishes in degrees \(2\leq i\leq r-1\) with \(n<3(2r-1)\), then \(M\) has infinitely many geometrically distinct closed geodesics for any choice of Riemannian metric.
reviewed by: Sadok Kallel
Mathematics Subject Classification ID: 55P35
Mathematics Subject Classification ID: 53C99
Mathematics Subject Classification ID: 55U35
Mathematics Subject Classification ID: 57T30
Mathematics Subject Classification ID: 53C22
zbMATH DE Number: 5673214
zbMATH Keywords: free loop space
zbMATH Keywords: bar construction
zbMATH Keywords: Hochschild homology
zbMATH Keywords: commutative model
MaRDI profile type: Publication
full work available at URL: j.jpaa.2009.09.003
OpenAlex ID: W2033543331
cites work: On the mod p Betti numbers of loop spaces
cites work: Periodic geodesics on compact Riemannian manifolds
cites work: The homology of a free loop space
cites work: The homology theory of the closed geodesic problem
cites work: The Eilenberg-Moore spectral sequence and the mod 2 cohomology of certain free loop spaces
cites work: On the Free Loop Space of Homogeneous Spaces
cites work: The free loop space of globally symmetric spaces
cites work: Cyclic homology and equivariant homology
cites work: The Eilenberg-Moore spectral sequence and strongly homotopy multiplicative maps
cites work: On the cohomology algebra of free loop spaces
cites work: On the Betti numbers of a loop space
cites work: The number of cells in a non-bounding manifold
cites work: ON THE HOMOLOGY THEORY OF FIBRE SPACES
cites work: Adams' Cobar Equivalence
cites work: THE BETTI NUMBERS OF THE FREE LOOP SPACE OF A CONNECTED SUM
cites work: \(p\)-formality of spaces
cites work: The cohomology ring of free loop spaces
cites work: Q3825063
cites work: Universal enveloping algebras and loop space homology
cites work: Infinitesimal computations in topology
cites work: Hopf Algebras up to Homotopy
cites work: On the non-existence of elements of Hopf invariant one
cites work: Cyclic homology, derivations, and the free loopspace
DOI: 10.1016/J.JPAA.2009.09.003
description: scientific article; zbMATH DE number 5673214