First, we transform the problem to some realization problems under different conditions, and also give some general criterion using the derivations of the Sullivan model of the fibre.
In addition, we consider the problem with the base space being a formal space. It turns out that the existence of a section is equivalent to the realization of some commutative differential graded algebra constructed from the minimal model of p.
Finally, we construct a Lie model for the space of the sections of p using the localization method, which is also used to study the sections of Lie epimorphisms.