Free loop space homology of highly connected manifolds

Alexander Berglund; Kaj Börjeson

doi:10.1515/forum-2015-0074

Artikel

Free loop space homology of highly connected manifolds

Alexander Berglund und Kaj Börjeson

Veröffentlicht/Copyright: 14. Juni 2016

Veröffentlicht von

Veröffentlichen auch Sie bei De Gruyter Brill

Manuskript einreichen Informationen für Autor*innen Erkunden Sie dieses Fachgebiet

Aus der Zeitschrift Forum Mathematicum Band 29 Heft 1

Abstract

We calculate the homology of the free loop space of (n-1)-connected closed manifolds of dimension at most 3⁢n-2 (n≥2), with the Chas–Sullivan loop product and loop bracket. Over a field of characteristic zero, we obtain an expression for the BV-operator. We also give explicit formulas for the Betti numbers, showing they grow exponentially. Our main tool is the connection between formality, coformality and Koszul algebras that was elucidated by the first author [6].

Keywords: Free loop spaces; Koszul algebras; string topology; BV-algebras; Hochschild cohomology

MSC 2010: 55P50; 16S37; 55P35; 16E40

Communicated by Frederick R. Cohen

A Homological perturbation theory

Definition A.1

Suppose (C,dC) and (D,dD) are chain complexes with maps f:C→D, g:D→C, and a map h:C→C with |f|=|g|=0 and |h|=1,

Suppose moreover that f and g are chain maps and that

dC⁢h+h⁢dC=g⁢f-idC,f⁢g=idD,

and

f⁢h=0,h⁢h=0,h⁢g=0.

Call a diagram like this a contraction with data (C,D,dC,dD,f,g,h).

Remark A.2

It is harmless to assume the extra identities

f⁢h=0,h⁢h=0,h⁢g=0.

Suppose we have data satisfying all the above identities except these. In [28] it is noted that we can always redefine h such that these are satisfied.

Definition A.3

Given a complex with differential d, we say that a perturbation of d is a map t of degree -1 on the same complex such that (d+t)2=0.

Theorem A.4

Theorem A.4 (Basic perturbation lemma)

Suppose given a contraction as in Definition A.1 and a perturbation t of dC. If 1-h⁢t is invertible, then, setting Σ=t⁢(1-h⁢t)-1, there is a new contraction with data (C,D,dC+t,dD+t′,f′,g′,h′),

where

t′=f⁢Σ⁢g,f′=f+f⁢Σ⁢h,g′=g+h⁢Σ⁢g,h′=h+h⁢Σ⁢h.

Proof.

See [8], [21] and [2]. ∎

B A∞-structures and formality

Definition B.1

Let 𝕜 be a commutative ring. An A∞-algebra structure on a graded 𝕜-module V consists of a collection of maps mk:A⊗k→A of degree k-2 such that the following identity is satisfied for every k≥1:

∑(-1)r+s⁢t⁢mr+1+t⁢(id⊗r⊗ms⊗id⊗t)=0.

The sum is over all r,s,t such that r+s+t=k.

Remark B.2

Note that if mk=0 for all k≥3, this is equivalent to the data of a usual dg-algebra (with d=m1).

Theorem B.3

Theorem B.3 (Homotopy transfer theorem)

Given a contraction

where A is a dg-algebra with multiplication m, there is an A∞-structure {mk}k≥1 on the homology H*⁢(A), where mk is given by an alternating sum over all rooted trees with k leaves as described in [27]. If mk=0 for every k≥3, then A is a formal dg-algebra.

Proof.

See [27] for a direct proof, or [5] for a proof using homological perturbation theory. That A is formal if the higher products vanish follows from [25]. ∎

Example B.4

The map m3 is described by the following expression:

The formulas for m4,m5,… are similar.

References

[1] Ballmann W. and Ziller W., On the number of closed geodesics on a compact Riemannian manifold, Duke Math. J. 49 (1982), no. 3, 629–632. 10.1215/S0012-7094-82-04932-8Suche in Google Scholar

[2] Barnes D. W. and Lambe L. A., A fixed point approach to homological perturbation theory, Proc. Amer. Math. Soc. 112 (1991), no. 3, 881–892. 10.1090/S0002-9939-1991-1057939-0Suche in Google Scholar

[3] Basu S. and Basu S., Homotopy groups and periodic geodesics of closed 4-manifolds, Internat. J. Math. 26 (2015), no. 8, Article ID 1550059. 10.1142/S0129167X15500597Suche in Google Scholar

[4] Beben P. and Seeliger N., Free loop space homology of (n-1)-connected 2⁢n-manifolds, preprint 2012, http://arxiv.org/abs/1207.2344. Suche in Google Scholar

[5] Berglund A., Homological perturbation theory for algebras over operads, Algebr. Geom. Topol. 14 (2014), no. 5, 2511–2548. 10.2140/agt.2014.14.2511Suche in Google Scholar

[6] Berglund A., Koszul spaces, Trans. Amer. Math. Soc. 366 (2014), no. 9, 4551–4569. 10.1090/S0002-9947-2014-05935-7Suche in Google Scholar

[7] Bøgvad R., Some elementary results on the cohomology of graded Lie algebras, Algebraic Homotopy and Local Algebra (Luminy 1982), Astérisque 113, Société Mathématique de France, Paris (1984), 156–166. Suche in Google Scholar

[8] Brown R., The twisted Eilenberg–Zilber theorem, Simposio di Topologia (Messina 1964), Edizioni Oderisi, Gubbio (1965), 33–37. Suche in Google Scholar

[9] Chas M. and Sullivan D., String topology, preprint 1999, http://arxiv.org/abs/math/9911159. Suche in Google Scholar

[10] Chataur D. and Le Borgne J.-F., On the loop homology of complex projective spaces, Bull. Soc. Math. France 139 (2011), no. 4, 503–518. 10.24033/bsmf.2616Suche in Google Scholar

[11] Cohen R. L. and Jones J. D. S., A homotopy theoretic realization of string topology, Math. Ann. 324 (2002), no. 4, 773–798. 10.1007/s00208-002-0362-0Suche in Google Scholar

[12] Cohen R. L., Jones J. D. S. and Yan J., The loop homology algebra of spheres and projective spaces, Categorical Decomposition Techniques in Algebraic Topology (Isle of Skye 2001), Progr. Math. 215, Birkhäuser, Basel (2004), 77–92. 10.1007/978-3-0348-7863-0_5Suche in Google Scholar

[13] Deligne P., Griffiths P., Morgan J. and Sullivan D., Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975), no. 3, 245–274. 10.1007/BF01389853Suche in Google Scholar

[14] Félix Y., Menichi L. and Thomas J.-C., Gerstenhaber duality in Hochschild cohomology, J. Pure Appl. Algebra 199 (2005), no. 1–3, 43–59. 10.1016/j.jpaa.2004.11.004Suche in Google Scholar

[15] Félix Y., Oprea J. and Tanré D., Algebraic Models in Geometry, Oxf. Grad. Texts Math. 17, Oxford University Press, Oxford, 2008. 10.1093/oso/9780199206513.001.0001Suche in Google Scholar

[16] Félix Y. and Thomas J.-C., Rational BV-algebra in string topology, Bull. Soc. Math. France 136 (2008), no. 2, 311–327. 10.24033/bsmf.2558Suche in Google Scholar

[17] Gerstenhaber M., The cohomology structure of an associative ring, Ann. of Math. (2) 78 (1963), 267–288. 10.2307/1970343Suche in Google Scholar

[18] Goresky M. and Hingston N., Loop products and closed geodesics, Duke Math. J. 150 (2009), no. 1, 117–209. 10.1215/00127094-2009-049Suche in Google Scholar

[19] Gromoll D. and Meyer W., Periodic geodesics on compact riemannian manifolds, J. Differential Geom. 3 (1969), 493–510. 10.4310/jdg/1214429070Suche in Google Scholar

[20] Gromov M., Homotopical effects of dilatation, J. Differential Geom. 13 (1978), no. 3, 303–310. 10.4310/jdg/1214434601Suche in Google Scholar

[21] Gugenheim V. K. A. M., On the chain-complex of a fibration, Illinois J. Math. 16 (1972), 398–414. 10.1215/ijm/1256065766Suche in Google Scholar

[22] Hatcher A., Algebraic Topology, Cambridge University Press, Cambridge, 2002. Suche in Google Scholar

[23] Hepworth R. A., String topology for Lie groups, J. Topol. 3 (2010), no. 2, 424–442. 10.1112/jtopol/jtq012Suche in Google Scholar

[24] Husemoller D., Moore J. C. and Stasheff J., Differential homological algebra and homogeneous spaces, J. Pure Appl. Algebra 5 (1974), 113–185. 10.1016/0022-4049(74)90045-0Suche in Google Scholar

[25] Kadeishvili T. V., The algebraic structure in the homology of an A⁢(∞)-algebra, Soobshch. Akad. Nauk Gruzin. SSR 108 (1982), no. 2, 249–252. Suche in Google Scholar

[26] Kallel S. and Salvatore P., The free loop space, coHochschild models and Koszul spaces, in preparation. Suche in Google Scholar

[27] Kontsevich M. and Soibelman Y., Homological mirror symmetry and torus fibrations, Symplectic Geometry and Mirror Symmetry (Seoul 2000), World Scientific, Singapore (2001), 203–263. 10.1142/9789812799821_0007Suche in Google Scholar

[28] Lambe L. and Stasheff J., Applications of perturbation theory to iterated fibrations, Manuscripta Math. 58 (1987), no. 3, 363–376. 10.1007/BF01165893Suche in Google Scholar

[29] Lambrechts P., On the Betti numbers of the free loop space of a coformal space, J. Pure Appl. Algebra 161 (2001), no. 1–2, 177–192. 10.1016/S0022-4049(00)00098-0Suche in Google Scholar

[30] Lambrechts P., The Betti numbers of the free loop space of a connected sum, J. Lond. Math. Soc. (2) 64 (2001), no. 1, 205–228. 10.1017/S0024610701002198Suche in Google Scholar

[31] Loday J.-L. and Vallette B., Algebraic Operads, Grundlehren Math. Wiss. 346, Springer, Berlin, 2012. 10.1007/978-3-642-30362-3Suche in Google Scholar

[32] Mac Lane S., Homology, Classics Math., Springer, Berlin, 1995. Suche in Google Scholar

[33] Malm E., String topology and the based loop space, Ph.D. thesis, Stanford University, Stanford, 2010. Suche in Google Scholar

[34] Menichi L., String topology for spheres, Comment. Math. Helv. 84 (2009), no. 1, 135–157. 10.4171/CMH/155Suche in Google Scholar

[35] Milnor J. and Husemoller D., Symmetric Bilinear Forms, Ergeb. Math. Grenzgeb. 73, Springer, Heidelberg, 1973. 10.1007/978-3-642-88330-9Suche in Google Scholar

[36] Neisendorfer J., Algebraic Methods in Unstable Homotopy Theory, New Math. Monogr. 12, Cambridge University Press, Cambridge, 2010. 10.1017/CBO9780511691638Suche in Google Scholar

[37] Neisendorfer J. and Miller T., Formal and coformal spaces, Illinois J. Math. 22 (1978), no. 4, 565–580. 10.1215/ijm/1256048467Suche in Google Scholar

[38] Polishchuk A. and Positselski L., Quadratic Algebras, Univ. Lecture Ser. 37, American Mathematical Society, Providence, 2005. 10.1090/ulect/037Suche in Google Scholar

[39] Priddy S. B., Koszul resolutions, Trans. Amer. Math. Soc. 152 (1970), 39–60. 10.1090/S0002-9947-1970-0265437-8Suche in Google Scholar

[40] Reutenauer C., Free Lie Algebras, London Math. Soc. Monogr. (N. S.) 7, Clarendon Press, New York, 1993. 10.1093/oso/9780198536796.001.0001Suche in Google Scholar

[41] Stasheff J., The intrinsic bracket on the deformation complex of an associative algebra, J. Pure Appl. Algebra 89 (1993), no. 1–2, 231–235. 10.1016/0022-4049(93)90096-CSuche in Google Scholar

[42] Szczarba R. H., The homology of twisted cartesian products, Trans. Amer. Math. Soc. 100 (1961), 197–216. 10.1090/S0002-9947-1961-0137111-4Suche in Google Scholar

[43] Tamanoi H., Batalin–Vilkovisky Lie algebra structure on the loop homology of complex Stiefel manifolds, Int. Math. Res. Not. IMRN 2006 (2006), Article ID 97193. 10.1155/IMRN/2006/97193Suche in Google Scholar

[44] Tradler T., The Batalin–Vilkovisky algebra on Hochschild cohomology induced by infinity inner products, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 7, 2351–2379. 10.5802/aif.2417Suche in Google Scholar

[45] Vaintrob D., The string topology BV algebra, Hochschild cohomology and the Goldman bracket on surfaces, preprint 2007, http://arxiv.org/abs/math/0702859. Suche in Google Scholar

[46] Whitehead G. W., Elements of Homotopy Theory, Grad. Texts in Math. 61, Springer, New York, 1978. 10.1007/978-1-4612-6318-0Suche in Google Scholar

Received: 2015-4-22

Revised: 2016-3-21

Published Online: 2016-6-14

Published in Print: 2017-1-1

Sie haben derzeit keinen Zugang zu diesem Inhalt.

Artikel in diesem Heft

https://doi.org/10.1515/forum-2015-0074

Schlagwörter für diesen Artikel

Free loop spaces; Koszul algebras; string topology; BV-algebras; Hochschild cohomology