In rational homotopy theory, the Halperin conjecture concerns the Serre spectral sequence of certain fibrations.
It is named after the Canadian mathematician Stephen Halperin.
is a fibration of simply connected spaces such that
has non-zero Euler characteristic), then the Serre spectral sequence associated to the fibration collapses at the
Gregory Lupton has reformulated the conjecture in terms of formality relations.