Abstract
Let Λ be a commutative ring, A an augmented differential graded algebra over Λ (briefly, DGA-algebra) and X be a relatively free resolution of Λ over A. The standard bar resolution of Λ over A, denoted by B(A), provides an example of a resolution of this kind. The comparison theorem gives inductive formulae f : B(A)→X and g : X→B(A) termed comparison maps. In case that fg=1 X and A is connected, we show that X is endowed a A ∞ -tensor product structure. In case that A is in addition commutative then (X,μ X ) is shown to be a commutative DGA-algebra with the product μ X =f*(g⊗g) (* is the shuffle product in B(A)). Furthermore, f and g are algebra maps. We give an example in order to illustrate the main results of this paper.
This work was partially supported by the PAICYT research project FQM–296 from Junta de Andalucía (Spain).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Álvarez, V., Armario, J.A., Frau, M.D., Real, P.: Transferring TTP-structures via contraction. Homology, Homotopy Appl. 7(2), 41–54 (2005)
Armario, J.A., Real, P., Silva, B.: On p–minimal homological models of twisted tensor products of elementary complexes localized over a prime. In: McCleary, J. (ed.) Higher Homotopy Structures in Topology and Mathematical Physics (Poughkeepsie, NY, 1996), pp. 303–314. Contemp. Math., AMS, Providence, RI (1999)
Barnes, D.W., Lambe, L.A.: A fixed point approach to homological perturbation theory. Proc. Amer. Math. Soc. 112(3), 881–892 (1991)
Brown, R.: The twisted Eilenberg-Zilber theorem. Celebrazioni Archimedee del secolo XX, Simposio di topologia, pp. 34–37 (1967)
Cartan, H.: Algèbres d’Eilenberg-Mac Lane. Séminaire H. Cartan 1954/55 (exposé 2 à 11). Ecole Normale Supérieure, Paris (1956)
Eilenberg, S., Mac Lane, S.: On the groups H(π,n), I. Annals of Math. 58, 55–106 (1953)
Gugenheim, V.K.A.M., Lambe, L.A.: Perturbation theory in Differential Homological Algebra I. Illinois J. Math. 33(4), 566–582 (1989)
Gugenheim, V.K.A.M., Lambe, L.A., Stasheff, J.D.: Perturbation theory in Differential Homological Algebra II. Illinois J. Math. 35(3), 357–373 (1991)
Huebschmann, J., Kadeishvili, T.: Small models for chain algebras. Math. Z. 209, 245–280 (1991)
Johansson, L., Lambe, L.A.: Transferring algebra structures up to homology equivalence. Math. Scan. 88(2), 181–200 (2001)
Johansson, L., Lambe, L.A., Sköldberg, E.: On constucting resolutions over the polynomial algebra. Homology, Homotopy Appl. 4(2), 315–336 (2002)
Lambe, L.A.: Resolutions via homological perturbation. J. Symbolic Comp. 12, 71–87 (1991)
Lambe, L.A.: Homological perturbation theory. Hochschild homology and formal groups. In: Proc. Conference on Deformation Theory and Quantization with Applications to Physics, Amherst, MA, pp. 183–218. American Mathematical Society, Providence (1992)
Lambe, L.A.: Resolutions which split off of the bar construction. J. Pure Appl. Algebra 84, 311–329 (1993)
Lambe, L.A., Stasheff, J.D.: Applications of perturbation theory to iterated fibrations. Manuscripta Math. 58, 367–376 (1987)
Mac Lane, S.: Homology. Classics in Mathematics. Springer, Berlin (1995); Reprint of the 1975 edition
May, J.P.: The cohomology of restricted Lie algebras and of Hopf algebras. J. Algebra 3, 123–146 (1966)
Prouté, A.: Algèbres différentielles fortement homotopiquement associatives (A ∞ -algèbre). Ph.D. Thesis, Université Paris VII (1984)
Real, P.: Homological Perturbation Theory and Associativity. Homology, Homotopy Appli. 2, 51–88 (2000)
Stasheff, J.D.: Homotopy Associativity of H-spaces I, II. Trans. A.M.S. 108, 275–312 (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Álvarez, V., Armario, J.A., Frau, M.D., Real, P. (2006). Comparison Maps for Relatively Free Resolutions. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2006. Lecture Notes in Computer Science, vol 4194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11870814_1
Download citation
DOI: https://doi.org/10.1007/11870814_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45182-2
Online ISBN: 978-3-540-45195-2
eBook Packages: Computer ScienceComputer Science (R0)