Abstract

In this paper, we prove various results concerning DGA-algebras in the context of the Homological Perturbation Theory. We distinguish two class of contractions for algebras: full algebra contractions and semi-full algebra contractions. A full algebra contraction is, in particular, a semi-full algebra contraction. Taking a full algebra contraction and an "algebra perturbation" as data of the Basic Perturbation Lemma, the Algebra Perturbation Lemma (or simply, F-APL) of [20] and [29] appears in a natural way. We establish here a perturbation machinery, the Semi-Full Algebra Perturbation Lemma (or, simply, SFAPL) that is a generalization of the previous one in the sense that the application range of SF-APL is wider than that of F-APL. We show four important applications in which this result is essential for the construction of algebra or coalgebra structures in various chain complexes.

Citations

357	An introduction to homological algebra, Cambridge - Weibel - 1994
63	Applications of perturbation theory to differential homological algebra - Gugenheim, Lambe, et al. - 1990
47	T.: Small models for chain algebras - Huebschmann, Kadeishvili - 1991
45	Stasheff J.: Obstructions to homotopy equivalences - Halperin - 1979
42	E.H.: Twisted tensor products - Brown - 1959
32	Applications of perturbation theory to iterated fibrations - Lambe, Stasheff - 1987
30	The twisted Eilenberg–Zilber theorem. Celebrazioni Archimedee del Secolo XX, Simposio di topologia - Brown - 1964
25	Hopf algebras up to homotopy - Anick - 1989
23	Lambe: A fixed point approach to homological perturbation theory - Barnes, A - 1991
21	The Eilenberg-Moore spectral sequence and strongly homotopy multiplicative maps - Munkholm - 1976
20	On the homology theory for fibre spaces - Kadeishvili - 1980
19	The computability problem in algebraic topology - Sergeraert - 1994
16	MacLane S.: On the groups H(; n - Eilenberg - 1954
16	Perturbation theory and free resolutions for nilpotent groups of class 2 - Huebschmann - 1989
15	Real P.: A combinatorial method for computing Steenrod squares - Gonz'alez-D'iaz - 1999
14	Homologie cyclique, caract`ere de Chern et lemme de perturbation - Kassel - 1990
13	L.:Resolutions via homological perturbation - Lambe - 1991
10	Homologie des espaces fibrés - Shih - 1962
8	Homologie effective des espaces de lacets it'er'es: un logiciel. Th`ese de Math. de l'Universit'e - Rubio - 1991
8	Infinitesimal computations in Topology, Publications de l'IHES 47 - Sullivan
6	Resolutions which split off of the bar construction - Lambe - 1993
6	On the computability of Steenrod squares. Annali dell'Universit`a di - Real - 1996
5	Perturbation and Transfer of Generic Algebraic Structure - Hess - 1999
5	Sergeraert F.: A program computing the homology groups of loop spaces - Rubio, F - 1991
4	Hess K.: Twisted tensor models for fibrations - Dupont - 1994
4	Staheff J.D.: Perturbation theory in Differential Homological Algebra - Gugenheim, Lambe - 1991
4	On the homotopy classification of spaces by the fixed loop space homology - Saneblidze - 1999
3	On p-minimal homological models of TTPs of elementary complexes localized at a prime - Armario, Real, et al. - 1999
3	Sergeraert F.: A conjecture of Eilenberg-MacLane. Preprint de l'Institut Fourier - Real
2	Haouari M.: p-formalit'e des espaces - El - 1992
2	Stasheff J.D.: Algebraic aspect of Chen's twisting cochain - Gugenheim, Lambe - 1990
2	Algoritmos de c'alculo de homolog'ia efectiva de los espacios clasificantes - Real - 1993
2	Sur le calcul de groupes d'homotopie - Real - 1994
1	Silva B.: HTP and computability of Hochschild and cyclic homologies of CDGAs - Alvarez, Armario, et al. - 1997
1	Real P.: On the computability of the p-local homology of TCPs of Eilenberg-Mac Lane spaces - Alvarez, Armario - 1997
1	Armario J.A. and Real P.: On the multiplicative behavior of the twisted Eilenberg-Zilber contraction - Alvarez
1	A model of Adams-Hilton type for fibre squares - Anick - 1985
1	Alg`ebres d' Eilenberg-MacLane - Cartan - 1956
1	Zilber J.A.: On products of complexes - Eilenberg - 1959
1	Munkholm H.J.: On the extended functoriality of Tor and Cotor - Gugenheim - 1974
1	Stasheff J.D.: On perturbations and A1 -structures - M - 1986
1	Lectures on Minimal Models, Publication interne de l'U.E.R. de Math'ematiques, Universit'e de Lille - Halperin
1	The homotopy type of F \Phi q . The complex and symplectic cases. In: Applications of Algebraic K-Theory to Algebraic Geometry - Huebschmann - 1983
1	Homological perturbation theory, Hochschild homology, and formal groups - unknown authors - 1992
1	Cochaine de Brown et transformation d'Eilenberg-MacLane, r'e'ecriture en dimension deux et homologie. Th`ese Universit'e Paris 7 - Morace - 1994
1	On the homology of K(; n - Moore - 1957
1	Cartan's constructions ,the homology of K(; n)'s, and some later developments. Colloque "Analyse et Topologie" en l'Honneur de Henri Cartan - Moore - 1974
1	Prout'e A.: Sur la transformation d'Eilenberg-MacLane - Paris, t - 1983
1	C.: Comparison between the reduced bar construction and the reduced W - construction - Wong - 1985