Bousfield localisations along Quillen bifunctors and applications

We describe left and right Bousfield localisations along Quillen adjunctions of two variables. These localised model structures can be used to define Postnikov sections and homological localisations of arbitrary model categories, and to study the homotopy limit model structure on the category of sections of a left Quillen presheaf of localised model structures. We obtain explicit results in this direction in concrete examples of towers and fiber products of model categories. In particular, we prove that the category of simplicial sets is Quillen equivalent to the homotopy limit model structure of its Postnikov tower, and that the category of symmetric spectra is Quillen equivalent to the homotopy fiber product of its Bousfield arithmetic square. For spectral model categories, we show that the homotopy fiber of a stable left Bousfield localisation is a stable right Bousfield localisation