2004/07/01 by David Chataur, Chataur, David, Jean‐Claude Thomas +2
Computer Science · Mathematics · #Formal Methods in Verification #Logic, programming, and type systems #Mathematics and Applications #math.AT #math.GT #msc:17A65 #msc:17B55 #msc:54N45 #msc:55N33 #msc:55P35 #msc:81T30
paper · pdf · doi:10.48550/arxiv.math/0407014
14 pages
arxiv created 2005/03/07 · arxiv updated 2009/12/01
Recently R. Cohen and V. Godin have proved that the homology of the free loop space of a closed oriented manifold with coefficients in a field has the structure of a Frobenius algebra without counit. In this short note we prove that when the characteristic of the field is zero and when the manifold is 1-connected the algebraic structure depends only on the rational homotopy type of the manifold. We build an algebraic model and use it to do some computations.