nLab
sliced adjoint functors -- section

Slicing of adjoint functors

Proposition

(sliced adjoints)
Let

$$\mathcal{D} \underoverset {\underset{\;\;\;\;R\;\;\;\;}{\longrightarrow}} {\overset{\;\;\;\;L\;\;\;\;}{\longleftarrow}} {\bot} \mathcal{C}$$

be a pair of adjoint functors (adjoint ∞-functors), where the category (∞-category) $\mathcal{C}$ has all pullbacks (homotopy pullbacks).

Then:

1. For every object $b \in \mathcal{C}$ there is induced a pair of adjoint functors between the slice categories (slice ∞-categories) of the form

   (1)$$\mathcal{D}_{/L(b)} \underoverset {\underset{\;\;\;\;R_{/b}\;\;\;\;}{\longrightarrow}} {\overset{\;\;\;\;L_{/b}\;\;\;\;}{\longleftarrow}} {\bot} \mathcal{C}_{/b} \mathrlap{\,,}$$

   where:

   • $L_{/b}$ is the evident induced functor (applying $L$ to the entire triangle diagrams in $\mathcal{C}$ which represent the morphisms in $\mathcal{C}_{/b}$);

   • $R_{/b}$ is the composite

     $$R_{/b} \;\colon\; \mathcal{D}_{/{L(b)}} \overset{\;\;R\;\;}{\longrightarrow} \mathcal{C}_{/{(R \circ L(b))}} \overset{\;\;(\eta_{b})^*\;\;}{\longrightarrow} \mathcal{C}_{/b}$$

     of

     1. the evident functor induced by $R$;

     2. the (homotopy) pullback along the $(L \dashv R)$-unit at $b$ (i.e. the base change along $\eta_b$).

2. For every object $b \in \mathcal{D}$ there is induced a pair of adjoint functors between the slice categories of the form

   (2)$$\mathcal{D}_{/b} \underoverset {\underset{\;\;\;\;R_{/b}\;\;\;\;}{\longrightarrow}} {\overset{\;\;\;\;L_{/b}\;\;\;\;}{\longleftarrow}} {\bot} \mathcal{C}_{/R(b)} \mathrlap{\,,}$$

   where:

   • $R_{/b}$ is the evident induced functor (applying $R$ to the entire triangle diagrams in $\mathcal{D}$ which represent the morphisms in $\mathcal{D}_{/b}$);

   • $L_{/b}$ is the composite

     $$L_{/b} \;\colon\; \mathcal{D}_{/{R(b)}} \overset{\;\;L\;\;}{\longrightarrow} \mathcal{C}_{/{(L \circ R(b))}} \overset{\;\;(\epsilon_{b})_!\;\;}{\longrightarrow} \mathcal{C}_{/b}$$

     of

     1. the evident functor induced by $L$;

     2. the composition with the $(L \dashv R)$-counit at $b$ (i.e. the left base change along $\epsilon_b$).

The first statement appears, in the generality of (∞,1)-category theory, as HTT, prop. 5.2.5.1. For discussion in model category theory see at sliced Quillen adjunctions.

Proof

(in 1-category theory)

Recall that (this Prop.) the hom-isomorphism that defines an adjunction of functors (this Def.) is equivalently given in terms of composition with

• the adjunction unit $\;\;\eta_c \colon c \xrightarrow{\;} R \circ L(c)$

• the adjunction counit $\;\;\epsilon_d \colon L \circ R(d) \xrightarrow{\;} d$

as follows:

Using this, consider the following transformations of morphisms in slice categories, for the first case:

(1a)

(2a)

(2b)

(1b)

Here:

• (1a) and (1b) are equivalent expressions of the same morphism $f$ in $\mathcal{D}_{/L(b)}$, by (at the top of the diagrams) the above expression of adjuncts between $\mathcal{C}$ and $\mathcal{D}$ and (at the bottom) by the triangle identity.

• (2a) and (2b) are equivalent expression of the same morphism $\tilde f$ in $\mathcal{C}_{/b}$, by the universal property of the pullback.

Hence:

• starting with a morphism as in (1a) and transforming it to $(2)$ and then to (1b) is the identity operation;

• starting with a morphism as in (2b) and transforming it to (1) and then to (2a) is the identity operation.

In conclusion, the transformations (1) $\leftrightarrow$ (2) consitute a hom-isomorphism that witnesses an adjunction of the first claimed form (1).

The second case follows analogously, but a little more directly since no pullback is involved:

(1a)

(2)

(1b)

In conclusion, the transformations (1) $\leftrightarrow$ (2) consitute a hom-isomorphism that witnesses an adjunction of the second claimed form (2).

Remark

(left adjoint of sliced adjunction forms adjuncts)
The sliced adjunction (Prop. ) in the second form (2) is such that the sliced left adjoint sends slicing morphism $\tau$ to their adjuncts $\widetilde{\tau}$, in that (again by this Prop.):

$$L_{/d} \, \left( \array{ c \\ \big\downarrow {}^{\mathrlap{\tau}} \\ R(b) } \right) \;\; = \;\; \left( \array{ L(c) \\ \big\downarrow {}^{\mathrlap{\widetilde{\tau}}} \\ b } \right) \;\;\; \in \; \mathcal{D}_{/b}$$