homological perturbation theory


Homological algebra

homological algebra


nonabelian homological algebra


Basic definitions

Stable homotopy theory notions



diagram chasing

Homology theories




The aim of Homological Perturbation Theory is to construct small chain complexes from large ones. It was originally developed for the calculation of chain models of the total spaces of fiber bundles, but has since developed into a useful general computational tool.

Homological perturbation lemma

Let (X,d),(Y,d)(X,d), (Y,d) be chain complexes over a ring RR and let f:XY,:YXf: X \to Y, \nabla: Y \to X be chain maps, and Φ:XX\Phi: X \to X a chain homotopy such that

f=1,f=1+dΦ+ϕd, f \nabla=1, \quad \nabla f= 1 + d\Phi + \phi d,
fΦ=0,Φ=0,Φ 2=0,ΦdΦ=Φ. f\Phi = 0, \Phi \nabla=0, \Phi^2=0, \Phi d \Phi= - \Phi.

Let X,YX,Y have filtrations F *F^* bounded below by 00 and preserved by ,f,Φ\nabla,f, \Phi and the differentials on X,YX,Y. Suppose XX has another differential d τd^\tau with the property that

(d τd)F pXF p1X (d^\tau -d)F^p X \subseteq F^{p-1} X

for all p0p \geq 0. The Homological Perturbation Lemma states that YY can be given a new differential d τd^\tau such that there is a chain equivalence (Y,d τ)(X,d τ)(Y, d^\tau) \to (X, d^\tau).

The main point is that there is an explicit formula for the new chain homotopy as

Φ τ= r=0 Φ(1+d τΦ) r.\Phi^\tau= \sum _{r=0}^\infty \Phi (1+ d^\tau \Phi)^r.

There is considerable interest in describing the new differential in terms of a twisting cochain.

This result derived from earlier work of G. Hirsch, E.H. Brown, Weishu Shih, and has been widely developed into a useful theoretical and computational tool by Guggenheim, Lambe, Stasheff and others.


BV-complexes and Wick’s lemma

Homological perturbation theory is a key tool in the construction of BRST-BV complexes, where the quantum BV complex is a perturbation of a classical BV-complex. See (Gwilliam, section 2.5). In this context Wick's lemma in quantum field theory is a direct consequence of the homological perturbation lemma (Gwilliam, section 2.5.2).



The homological perturbation lemma is discussed in

Notes from an introductory survey talk are in

Other references include

  • Ronnie Brown, The twisted Eilenberg-Zilber Theorem, Simposio di Topologia (Messina, 1964) pp. 33–37 Edizioni Oderisi, Gubbio. (pdf)

  • Donald W. Barnes, (5-SYD-PM); Larry A. Lambe, (5-SYD-PM) A fixed point approach to homological perturbation theory. Proc. Amer. Math. Soc. 112 (1991), no. 3, 881–892.

Discussion with an eye towards Hochschild cohomology and cyclic cohomology is in

  • Larry A. Lambe, Homological Perturbation Theory Hochschild Homology and Formal Groups Cont. Math., vol 189, AMS, 1992 (pdf)

  • V. Álvarez , J.A. Armario , P. Real , B. Silva , Homological Perturbation Theory And Computability Of Hochschild And Cyclic Homologies Of Cdgas (pdf)

For BV-formalism

Discussion in the context of BV-quantization is in section 2.5 of

  • Owen Gwilliam, Factorization algebras and free field theories PhD thesis (pdf)

For applications to “make computable” a bicategory

of isolated hypersurface singularities and matrix factorisations comp that has been studied in the context of topological field theory?, using the Barnes-Lambe formulation, see:

  • Daniel Murfet, Computing with cut systems, arXiv:1402.4541

Revised on August 22, 2014 07:24:04 by Ronnie Brown (