nLab simplicial Quillen adjunction

Redirected from "simplicial Quillen adjunctions".
Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Enriched category theory

Contents

Definition

A simplicial Quillen adjunction is an sSet-enriched Quillen adjunction: an enriched adjunction

(LR):CD (L \dashv R) : C \stackrel{\leftarrow}{\to} D

of sSet-enriched functors between simplicial model categories CC and DD, such that the underlying adjunction of ordinary functors is a Quillen adjunction between the model category structures underlying the simplicial model categories.

Properties

Presentation of \infty-adjunctions

Simplicial Quillen adjunctions model pairs of adjoint (∞,1)-functors in a fairly immediate manner: their restriction to fibrant-cofibrant objects is the sSet-enriched functor that presents the (,1)(\infty,1)-derived functor under the model of (∞,1)-categories by simplicially enriched categories.

Proposition

Let CC and DD be simplicial model categories and let

(LR):CRLD (L \dashv R) \;\colon\; C \stackrel{\overset{L}{\leftarrow}}{\underset{R}{\to}} D

be an sSet-enriched adjunction whose underlying ordinary adjunction is a Quillen adjunction. Let C C^\circ and D D^\circ be the (∞,1)-categories presented by CC and DD (the Kan complex-enriched full sSet-subcategories on fibrant-cofibrant objects). Then the Quillen adjunction lifts to a pair of adjoint (∞,1)-functors

(𝕃):C D . (\mathbb{L} \dashv \mathbb{R}) \;\colon\; C^\circ \stackrel{\leftarrow}{\to} D^{\circ} \,.

On the decategorified level of the homotopoy categories these are the total left and right derived functors, respectively, of LL and RR.

Proof

This is proposition 5.2.4.6 in HTT.

Recognition

The following proposition states conditions under which a simplicial Quillen adjunction may be detected already from knowing of the right adjoint only that it preserves fibrant objects (instead of all fibrations).

Proposition

(recognition of simplicial Quillen adjunctions)
If

  1. 𝒞\mathcal{C} and 𝒟\mathcal{D} are simplicial model categories

  2. 𝒟\mathcal{D} is a left proper model category,

then for an sSet-enriched adjunction

(LR):𝒞RL𝒟 (L \dashv R) \;\colon\; \mathcal{C} \underoverset {\underset{R}{\longrightarrow}} {\overset{L}{\longleftarrow}} {\;\;\;\bot\;\;\;} \mathcal{D}

to be a Quillen adjunction it is already sufficient that

  1. LL preserves cofibrations

  2. RR preserves fibrant objects.

This appears as HTT, cor. A.3.7.2.

Remark

Prop. is particularly useful for finding simplicial Quillen adjunctions into left Bousfield localizations of left proper model categories: the left Bousfield localization keeps the cofibrations unchanged and preserves left properness, and the fibrant objects in the Bousfield localized structure have a good characterization: they are the fibrant objects in the original model structure that are also local objects with respect to the set of morphisms at which one localizes.

Therefore for DD the left Bousfield localization of a simplicial left proper model category EE at a class SS of morphisms, for checking the Quillen adjunction property of (LR)(L \dashv R) it is sufficient to check that LL preserves cofibrations, and that RR takes fibrant objects cc of CC to such fibrant objects of EE that have the property that for all fSf \in S the derived hom-space map Hom(f,R(c))\mathbb{R}Hom(f,R(c)) is a weak equivalence.

References

On the enhancement of plain Quillen adjunctions between left proper combinatorial model categories to simplicial Quillen adjunctions:

Last revised on July 4, 2022 at 16:39:18. See the history of this page for a list of all contributions to it.