Filtered model of a fibration and rational obstruction theory (Q1201426)

Let \(F\to E\to X\) be a fibration, \((RH(X),d)\) and \((RH(F),d)\) be Halperin Stasheff filtered models. A filtered model of a fibration is constructed: a twisting cochain \(h\in RH(X)\otimes \text{Der }RH(F)\) and a weak equivalence \((RH(X)\otimes RH(F), d_ h=d+h)\to A(E)\). The perturbation \(h\) is determined uniquely up to some equivalence, if \(h\) and \(h'\) are two perturbations, then there exists an isomorphism \(p\) of suitable filtered models satisfying some grading conditions. Thus a fibration defines the element, called the multiplicative predifferential, \(d(\xi)\in D_ k(X,H(F))=M(X,H(X))/\sim\), the factor of the set of all twisting cochains \(h\) by c.d.g.a. automorphisms \(p\); the functor \(D_ k\) can be considered as the multiplicative version of the functor \(D\), introduced by Berikashvili. In the rational case \(D_ k\) has the geometrical meaning: the set of rational homotopy types of Serre fibrations on simply connected \(X\) is bijective to the quotient \(D_ k(X,H(F))/\text{Aut }H(F)\). Criteria for the equivalence \(h\sim h'\) are given and a suitable obstruction theory is developed, which is used to handle some geometrical problems: the problem of rational homotopy equivalence of two Serre fibrations with a fixed \(X\) and \(H(F)\); the section problem for a fibration, in particular it is shown, that there exists a section iff there exists representative \(h\in d(\xi)\) such that its transverse terms, i.e. the components in \(RH(X)\otimes \text{Hom}(RH(F),R^ 0H^ 0(F))\) are zero; the problem of rational homotopy classification of maps; the problem of the extension of a map. As application it is investigated which components of \(h\) should be trivial for the collapsing of the Serre spectral sequence and the multiplicative Serre spectral sequence; then the collapsing implies the rational homotopy triviality of a fibration.