Abstract
According to the minimality theorem (Kadeishvili, Russ Math Surv 35(3):231–238, 1980), on the cohomology H ∗(X) of a topological space X there exists a sequence of operations m i : H ∗(X)⊗i → H ∗(X), i = 2, 3, … which form a minimal A ∞ -algebra (H ∗(X), {m i }). This structure defines on the bar construction BH ∗(X) a correct differential d m so that (BH ∗(X), d m ) gives cohomology modules of the loop space H ∗(ΩX). In this paper we construct algebraic operations E p, q : H ∗(X)⊗p ⊗ H ∗(X)⊗q → H ∗(X), p, q = 0, 1, 2, 3, … which turn (H ∗(X), {m i }, {E p, q }) into a B ∞ -algebra. This structure defines on BH ∗(X) a correct multiplication, thus determines a cohomology algebra H ∗(ΩX).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
J. Adams, On the non-existence of elements of Hpof invariant one. Ann. Math. 72, 20–104 (1960)
H. Baues, The double bar and cobar construction. Compos. Math. 43, 331–341 (1981)
N. Berikashvili, On the differentials of spectral sequence. Proc. Tbil. Math. Inst. 51, 1–105 (1976)
E. Brown, Twisted tensor products. Ann. Math. 69, 223–246 (1959)
M. Franz, Tensor product of homotopy Gerstenhaber algebras (2011). ArXiv:1009.1116v2 [math.AT]
M. Gerstenhaber, A. Voronov, Higher-order operations on the Hochschild complex. Funct. Anal. i Prilojen. 29(1), 1–6 (1995)
E. Getzler, Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology. Isr. Math. Conf. Proc. 7, 65–78 (1993)
E. Getzler, J.D. Jones, Operads, homotopy algebra, and iterated integrals for double loop spaces. Preprint (1994)
T. Kadeishvili, On the homology theory of fibrations. Russ. Math. Surv. 35(3), 231–238 (1980)
T. Kadeishvili, Predifferential of a fiber bundle. Russ. Math. Surv. 41(6), 135–147 (1986)
T. Kadeishvili, The A(∞)-algebra structure and cohomology of Hochschild and Harrison. Proc. Tbil. Math. Inst. 91, 19–27 (1988)
T. Kadeishvili, A(∞) -algebra structure in cohomology and rational homotopy type. Proc. Tbil. Mat. Inst. 107, 1–94 (1993)
T. Kadeishvili, Measuring the noncommutativity of DG-algebras. J. Math. Sci. 119(4), 494–512 (2004)
T. Kadeishvili, On the cobar construction of a bialgebra. Homol. Homotopy Appl. 7(2), 109–122 (2005). Preprint at math.AT/0406502
T. Kadeishvili, Twisting elements in homotopy G-algebras, in Higher Structures in Geometry and Physics. Honor of Murray Gerstenhaber and Jim Stasheff. Progress in Mathematics, vol. 287 (Birkhauser, Boston, 2011), pp. 181–200. arXiv:math/0709.3130
T. Kadeishvili, Homotopy Gerstenhaber algebras: examples and applications. J. Math. Sci. 195(4), 455–459 (2013)
J. McLure, J. Smith, A solution of Deligne’s conjecture. Preprint (1999). math.QA/9910126
V. Smirnov, Homology of fiber spaces. Russ. Math. Surv. 35(3), 294–298 (1980)
J.D. Stasheff, Homotopy associativity of H-spaces. I, II. Trans. Am. Math. Soc. 108, 275–312 (1963)
A. Voronov, Homotopy Gerstenhaber algebras (1999). QA/9908040
Acknowledgements
The author was supported by the European Union’s Seventh Framework Programme (FP7/2007–2013) under grant agreement no. 317721.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Kadeishvili, T. (2017). Cohomology Operations Defining Cohomology Algebra of the Loop Space. In: Falcone, G. (eds) Lie Groups, Differential Equations, and Geometry. UNIPA Springer Series. Springer, Cham. https://doi.org/10.1007/978-3-319-62181-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-62181-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62180-7
Online ISBN: 978-3-319-62181-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)