# Homological perturbation theory

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A theory concerning itself with a collection of techniques for deriving chain complexes which are both smaller and chain homotopy equivalent to a given chain complex (cf. also Complex (in homological algebra)). It is motivated by the desire to find effective algorithms in homological algebra. The cornerstone of the theory is an important algorithm which, when convergent, is commonly called the "perturbation lemma" . To understand the statement of the perturbation lemma, some preliminary notation is needed.

### Strong deformation retraction data.

It will be assumed that is a commutative ring with unit and that all chain complexes are over and free (cf. also Simplicial complex). A strong deformation retract from to consists of two chain complexes and such that there are chain mappings , , and a chain homotopy such that (the identity mapping on ) and (cf. also Complex (in homological algebra)). Here it is assumed that the differentials and of and , respectively, are of degree , the degree of is and , i.e. is a chain homotopy between the identity and , while is the identity. A standard notation for an strong deformation retract is the following:

 (a1)

The notion of a strong deformation retract is essentially equivalent to what is called a contraction in [a5].

### Side conditions.

There are three additional conditions for a strong deformation retract which are needed to achieve both theoretical and computational results. They are called the side conditions: , , and . Fortunately, these may always be satisfied as follows: if the first two conditions do not hold, replace by , then the new data given by , , and defines a strong deformation retract in which the first two conditions hold. If the third condition does not hold, and the first two do, replace by and the new data given by , , and defines a strong deformation retract in which all conditions hold [a17].

## Transference problem.

A transference problem consists of a strong deformation retract (a1) together with another differential on . The difference is called the initiator. The problem is to determine changes , , , and such that

is a strong deformation retract. A useful variation of the transference problem, equivalent to it, is stated in terms of splitting homotopies. A splitting homotopy for a complex is a degree- mapping such that and . It is not difficult to see that complexes with a splitting homotopy are in bijective correspondence (up to chain equivalence) with strong deformation retracts (a1). The correspondence is given by noting that if one has a strong deformation retract, is indeed a splitting homotopy. Conversely, given a splitting homotopy , if , then one has and setting, , a strong deformation retract results by taking to be the restriction of to , to be the inclusion mapping, and to be the projection. The transference problem in these terms is as follows.

Given a splitting homotopy , and a new differential on , find a new splitting homotopy on (relative to ) such that, as -modules, is isomorphic to (where and ). See [a1] for full details.

### Solution to the transference problem.

The perturbation lemma gives conditions under which the transference problem can be solved. In terms of splitting homotopies, it can be stated quite simply, as follows.

Suppose that is a chain complex and is a splitting homotopy. If is nilpotent in each homogeneous degree , then

 (a2)

(which is well-defined since is nilpotent in each degree) is a splitting homotopy which solves the transference problem. Furthermore, under mild assumptions, any solution to the transference is conjugate to this solution by a chain homotopy equivalence [a1].

Originally, this was stated in terms of strong deformation retracts [a2], [a6] (although the uniqueness result first appears in [a1]). These early works were influenced by [a19]. For that setting, let . It is easy to see that in terms of strong deformation retracts, if the hypotheses of the perturbation lemma hold, the mappings , , , and solve the transference problem, using the fact that is exactly from above along with the correspondence between strong deformation retracts and splitting homotopies.

The formula (a2) and the uniqueness result have far-reaching consequences in homological algebra and topology. Many seemingly unrelated results may be consolidated by these methods and it can also be used to find new results. The main technique is to set up a transference problem and prove convergence of (a2).

## Applications.

An application is given in [a2] to explain the Hirsch complex, and in [a6] to obtain twisted tensor product complexes in the sense of [a3] for (simplicial) fibrations. The application in [a6] was generalized to iterated fibrations in [a11] and these applications were further generalized to obtain much smaller complexes for iterated fibrations in [a17].

Applications to the derivation of "small" resolutions over group rings of nilpotent groups and certain solvable groups and monoids are given in [a14]. Applications to resolutions over certain filtered algebras are given in [a15], as well as the observation that the perturbation lemma gives rise to an exact formula for all the differentials in a wide class of spectral sequences (involving filtered algebras). Computer algebra has been used to obtain concrete calculations using these results [a16], [a14]. To give a quick and rough idea of how this can be done, think of a given filtered augmented algebra such that, as -modules, the associated graded object is isomorphic to (e.g. is a field) and one has a resolution of the form of over with the property that is a strong deformation retract of the bar-construction resolution [a20] (cf. also Standard construction). Since as -modules, is isomorphic to , one can see two differentials on the underlying -module structure of : The one coming from and the one coming from . Taking the initiator to be the difference of the two differentials, one has a transference problem. When the hypothesis of the perturbation lemma is satisfied, this gives a resolution of over which is as small as the original one over . The requirements for all of this are not at all uncommonly found to hold.

Applications to the derivation of (co-) -structures were given in [a7], [a8], and in [a12]. These applications proceed by setting up a transference problem involving a strong deformation retract of into , where is a differential graded augmented algebra and is the tensor module functor. The point is that the underlying module structure for both ordinary Tor and differential Tor [a4] is given by , the only difference being the differentials. Taking the difference of these differentials to be the initiator, and showing that (a2) converges in this case, one obtains a differential on and a strong deformation retract of this new complex into the differential Tor bar-construction . In this case it was shown in [a8], and independently in [a12], that is actually a co-derivation (the proof of this fact is non-trivial). Thus, the perturbation lemma gives, in this case, an algorithm for deriving an -structure on which is equivalent to . This application has come to be known as the tensor trick. Applications to the homology of loop spaces can be obtained by these methods [a9], [a12].

## Generalized Gugenheim–Munkholm construction.

As hinted at above, homological perturbation theory also involves the consolidation of sometimes apparently unrelated techniques and results. For example, in [a10] it was shown that if one has a strong deformation retract (a1) where both and are differential graded augmented algebras and the mapping is an algebra mapping, any twisting cochain [a10] for a differential co-algebra can be lifted to (with ). V.K.A.M. Gugenheim and H.J. Munkholm give an inductive formula:

where is the convolution product for mappings (, where is the product in and is the co-product in ). The mapping is (conditions for convergence are given in [a10]).

Staying in the special setting of [a10], and furthermore assuming that is the homology of the differential graded augmented algebra , puts one in the (general) formal setting (see [a18] for the characteristic zero case). In this case, the universal twisting cochain lifts to a twisting cochain . It was shown in [a7] that, in this case, not only does the -structure on collapse to the bar-construction (as it must by formality), but the induced mapping followed by the universal twisting cochain , is exactly the mapping above.

The construction given in [a10] can be applied in a purely combinatorial way for any strong deformation retract (a1) for any degree- mapping . Of course, one cannot even talk about twisting cochains in this context since might not be an algebra (much less be an algebra mapping). Nevertheless, if this construction is applied to the case when and is an algebra (no extra assumptions on or ) and is the module mapping defined combinatorially in exactly the same way as the universal twisting cochain, then the result of [a7] generalizes to this case, i.e. the composite of the mapping followed by the universal twisting cochain is exactly the mapping . But in fact, more is known. By a small alteration of the construction, one can actually obtain the -structure as well:

Thus, the -structure of the tensor trick is completely determined by the generalized construction . The proof of this, which is not immediate, as well as additional results are given in [a13].

All of the references in the papers cited below should be perused for a more complete picture of the applications, but one should keep in mind that this is presently (1998) an active field and new results are constantly evolving.

#### References

 [a1] D. Barnes, L. Lambe, "Fixed point approach to homological perturbation theory" Proc. Amer. Math. Soc. , 112 (1991) pp. 881–892 [a2] R. Brown, "The twisted Eilenberg–Zilber theorem" , Celebrazioni Archimedee del Secolo XX, Simposio di Topologia (1967) pp. 34–37 [a3] E.H. Brown, "Twisted tensor products" Ann. of Math. , 1 (1959) pp. 223–246 [a4] H. Cartan, "Algèbres d'Eilenberg–MacLane et homotopie" Sém. Henri Cartan (1954/5) [a5] S. Eilenberg, S. MacLane, "On the groups I" Ann. of Math. , 58 (1953) pp. 55–106 [a6] V.K.A.M. Gugenheim, "On the chain complex of a fibration" Illinois J. Math. , 3 (1972) pp. 398–414 [a7] V.K.A.M. Gugenheim, L. Lambe, "Perturbation theory in differential homological algebra I" Illinois J. Math. , 33 (1989) pp. 566–582 [a8] V.K.A.M. Gugenheim, L. Lambe, J. Stasheff, "Perturbation theory in differential homological algebra II" Illinois J. Math. , 35 (1991) pp. 359–373 [a9] V.K.A.M. Gugenheim, L. Lambe, J. Stasheff, "Algebraic aspects of Chen's iterated integrals" Illinois J. Math. , 34 (1990) pp. 485–502 [a10] V.K.A.M. Gugenheim, H.J. Munkholm, "On the extended functoriality of Tor and Cotor" J. Pure Appl. Algebra , 4 (1974) pp. 9–29 [a11] J. Hübschmann, "The homotopy type of , the complex and symplectic cases" Contemp. Math. , 55 (1986) pp. 487–518 [a12] J. Hübschmann, T. Kadeishvili, "Small models for chain algebras" Math. Z. , 207 : 2 (1991) pp. 245–280 [a13] J. Johansson, L. Lambe, "Transferring algebra structures up to homology equivalence" Math. Scand. , 88 : 2 (2001) [a14] L. Lambe, "Resolutions that split off of the bar construction" J. Pure Appl. Algebra , 84 (1993) pp. 311–329 [a15] L. Lambe, "Homological perturbation theory, Hochschild homology and formal groups" Contemp. Math. , 134 (1992) [a16] L. Lambe, "Resolutions via homological perturbation" J. Symbolic Comp. , 12 (1991) pp. 71–87 [a17] L. Lambe, J. Stasheff, "Applications of perturbation theory to iterated fibrations" Manuscripta Math. , 58 (1987) pp. 363–376 [a18] D. Sullivan, "Infinitesimal computations in topology" Publ. Math. IHES , 47 (1977) pp. 269–331 [a19] W. Shih, "Homology des espaces fibrés" Publ. Math. IHES , 13 (1962) pp. 93–176 [a20] S. MacLane, "Homology" , Grundl. Math. Wissenschaft. , 114 , Springer (1967)
How to Cite This Entry:
Homological perturbation theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Homological_perturbation_theory&oldid=14253
This article was adapted from an original article by Larry A. Lambe (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article