A contribution to the closed geodesic problem

The closed geodesic problem has been solved by many authors under additional hypothesis. In this paper we develop a new way to solve this problem, by defining finitely many obstruction classes. This permits to enlarge significantly the family of manifolds for which this problem is solved. Our method which relies on the concept of A_∞-section of a homomorphism of differential graded algebras, shows explicitly how the natural structure of shc-algebra on the singular cochains of a space comes into play.     

Hochschild cohomology of a strongly homotopy commutative algebra

The Hochschild cohomology of a DG algebra A with coefficients in itself is, up to a suspension of degrees, a graded Lie algebra. The purpose of this paper is to prove that a certain DG Lie algebra of derivations appears as a finite codimensional graded sub Lie algebra of this Lie algebra when A is a strongly homotopy commutative algebra whose homology is concentrated in finitely many degrees. This result has interesting implications for the free the loop space homology which we explore here as well.     

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

The free loop space equivariant cohomology algebra of some formal spaces

Let \mathbbK{\mathbb{K}} be a field of characteristic p > 0 and S ¹ the unit circle. We construct a model for the negative cylic homology of a commutative cochain algebra with two stages Sullivan minimal model. Using the notion of shc-formality introduced in Bitjong and Thomas (Topology 41:85–106), the main result of Bitjong and El Haouari (Math Ann 338:347–354) and techniques of Vigué-Poirrier (J Pure Appl Algebra 91:347–354) we compute the S ¹-equivariant cohomology algebras of the free loop spaces of the infinite complex projective space \mathbbCP(￥){\mathbb{CP}(\infty)} and the odd spheres S ^2q+1.