nLab
homotopy exact square

Idea

A homotopy exact square is the analogue of an exact square which applies to homotopy Kan extensions, or equivalently to (∞,1)-Kan extensions. It is especially important in the theory of derivators, which provide a calculus for computing with homotopy Kan extensions whose primary tool is the use of homotopy exact squares.

Definition

Let $A$, $B$, $C$, and $D$ be small categories, and consider a square of functors

$$\begin{array}{ccc}A& \stackrel{f}{\to }& B\\ {}^u\downarrow & ⇙& {\downarrow }^v\\ C& \underset{g}{\to }& D\end{array}$$\array{A & \overset{f}{\to} & B\\ ^u\downarrow & \swArrow & \downarrow^v\\ C& \underset{g}{\to} & D}

which is inhabited by a natural transformation (which might be an identity). Let $M$ be either

• a model category,
• a simplicially enriched category (or a topologically enriched category, or a dg-category),
• an (∞,1)-category (of any sort), or
• a derivator.

We write $M^A$, $M^B$, etc. for the model categories, simplicial categories, $(\mathrm{\infty },1)$-categories, or homotopy categories of diagrams in $M$ of whatever shape. We write $f^{*}:M^B\to B^A$, $g^{*}:M^D\to M^C$, and so on for precomposition functors, which are always homotopically meaningful, and we write $u_{!}:M^A\to M^C$, $v_{!}:M^B\to M^D$ and so on for the homotopically meaningful notions of pointwise left Kan extension. Specifically:

• If $M$ is a model category, then $u_{!}$ denotes the left derived functor of pointwise Kan extension along $u$.
• If $M$ is a simplicially enriched category, then $u_{!}$ is the coherent pointwise homotopy left Kan extension along $u$, which may be defined explicitly in various ways, such as using a bar construction.
• If $M$ is an $(\mathrm{\infty },1)$-category, then $u_{!}$ denotes the pointwise (∞,1)-Kan extensions along $u$.
• If $M$ is a derivator, then $u_{!}$ simply denotes the left adjoint of $u^{*}$ (which is assumed to exist and to “be pointwise” by the derivator axioms).

Assume that $M$ is such that the relevant extensions $u_{!}$ and $v_{!}$ exist. Then there is a canonical Beck-Chevalley transformation

$$u_{!}{f}^{*}\to g^{*}{v}_{!}$$u_! f^* \to g^* v_!

defined as the composite

$$u_{!}{f}^{*}\to u_{!}{f}^{*}{v}^{*}{v}_{!}\to u_{!}{u}^{*}{g}^{*}{v}_{!}\to g^{*}{v}_{!}.$$u_! f^* \to u_! f^* v^* v_! \to u_! u^* g^* v_! \to g^* v_!.

and we say that the given square is $M$-exact if this transformation is an equivalence. If the square is $M$-exact for all $M$, we say it is homotopy exact. Note that by the general calculus of mates, this is equivalent to requiring that the dual transformation

$$v^{*}{g}_{*}\to f_{*}{u}^{*}$$v^* g_* \to f_* u^*

is an equivalence, where $f_{*}$ and $g_{*}$ denote the analogous sort of right Kan extension.

Of course when we say “for all $M$” we need to specify what sorts of $M$ we consider. However, we actually get the same definition regardless of whether we mean “for all model categories $M$” or “for all simplicially enriched categories $M$” or “for all $(\mathrm{\infty },1)$-categories $M$” or “for all derivators $M$”. This is a nontrivial theorem, especially in the case of derivators.

Remarks

Since any 1-category is a degenerate sort of $(\mathrm{\infty },1)$-category, any homotopy exact square is exact in the usual 1-categorical sense, but the converse is not true. This also implies that a square can be $M$-exact for some particular $M$ without being homotopy exact. However, there exists a “universal” $M$ such that $M$-exactness is equivalent to homotopy exactness, namely $M=\mathrm{\infty }\mathrm{Gpd}$.

Characterization

Of course, the above definition is “functional”, while in practice we want some more combinatorial characterization which is easier to check. This can be done completely analogously to the characterization of ordinary exact squares using comma objects, except that at the last step we need to consider a more restricted notion of “equivalence” (i.e. a more restricted basic localizer).

The characterization is the following. Given $b\in B$ and $c\in C$ and $\phi :v(b)\to g(c)$, let $(b/A/c{)}_{\phi }$ denote the category whose objects are triples $(a,\alpha ,\beta )$ with $\alpha :u(a)\to c$ and $\beta :b\to f(a)$ such that $g(\alpha )\circ v(\beta )=\phi$, and whose morphisms are morphisms $a\to a\prime$ making two triangles commute.

Theorem

A square is homotopy exact if and only if each category $(b/A/c{)}_{\phi }$ has a contractible nerve.

• See exact square for the proof that is being generalized.
• See derivator for the proof in the case of derivators, which relies on Cisinski’s characterization of basic localizers.
• The proof in the (∞,1)-categorical case generalizes the characterization of final (∞,1)-functors.

Examples

Comma squares

Any comma square is homotopy exact. In other words, if $A=(v/g)$ is the comma category with $f$ and $u$ the canonical projections, then the square is homotopy exact. If in addition $C=*$ is the terminal category, then $g$ just picks out an object $d\in D$ and $A$ is the comma category $(v/d)$; thus this says that (pointwise) homotopy Kan extensions can be computed pointwise as homotopy limits over such comma categories.

Fully faithful functors

If $u:A\to B$ is a fully faithful functor, then the square

$$\begin{array}{ccc}A& \stackrel{\mathrm{id}}{\to }& A\\ {}^{\mathrm{id}}\downarrow & & {\downarrow }^u\\ A& \underset{u}{\to }& B\end{array}$$\array{A & \overset{id}{\to} & A\\ ^{id}\downarrow && \downarrow^u\\ A & \underset{u}{\to} & B}

is homotopy exact. This just says that the unit ${\mathrm{Id}}_A\to u^{*}{u}_{!}$ is an isomorphism, i.e. that left (and equivalently right) homotopy Kan extensions along $u$ are “honest” extensions.

Final functors

A functor $u:A\to B$ is a homotopy final functor if and only if the square

$$\begin{array}{ccc}A& \stackrel{u}{\to }& B\\ \downarrow & & \downarrow \\ *& \underset{}{\to }& *\end{array}$$\array{A & \overset{u}{\to} & B\\ \downarrow && \downarrow\\ *& \underset{}{\to} & *}

is homotopy exact. Homotopy exactness of this square says that for $F:B\to M$, the canonical map ${\mathrm{hocolim}}_A{u}^{*}F\to {\mathrm{hocolim}}_{B}F$ is an isomorphism, which is one equivalent definition of when $u$ is homotopy final. In this case, the characterization theorem reduces to saying that $u$ is homotopy final if and only if each comma category $b/u$ has a contractible nerve, which is a known characterization of homotopy final functors.

Pullbacks of fibrations

This example is due to Moritz Groth. Let $p:C\to D$ be a Grothendieck opfibration, and suppose that

$$\begin{array}{ccc}A& \stackrel{u}{\to }& C\\ {}^v\downarrow & & {\downarrow }^p\\ B& \stackrel{q}{\to }& D\end{array}$$\array{ A & \xrightarrow{u} & C \\ ^v\downarrow && \downarrow^p\\ B & \xrightarrow{q} & D }

is a pullback in Cat. Then we claim that this square is homotopy exact.

For a proof, suppose given $b\in B$ and $c\in C$ and a morphism $\varphi :p(c)\to q(b)$, and let $X$ be the category whose contractibility we must check. By definition, since $A=B{\times }_{D}C$, an object of $X$ consists of objects $c\prime \in C$ and $b\prime \in B$ such that $p(c\prime )=q(b\prime )$, and morphisms $\alpha :c\to c\prime$ and $\beta :b\prime \to b$ such that $q(\beta ).p(\alpha )=\varphi$.

Let $Y$ be the full subcategory of $X$ consisting of those objects with $b\prime =b$ and $\beta$ the identity, so that an object of $Y$ is an object $c\prime \in C$ such that $p(c\prime )=q(b)$ together with a morphism $\alpha :c\to c\prime$ such that $p(\alpha )=\varphi$. Then the inclusion $Y\hookrightarrow X$ has a left adjoint, which sends $(b\prime ,c\prime ,\alpha ,\beta )$ to $(b,q(\beta {)}_{!}(c\prime ),\overline{q(\beta )}.\alpha ,1_b)$, where $\overline{q(\beta )}:c\prime \to q(\beta {)}_{!}(c\prime )$ is an opcartesian arrow over $q(\beta )$. Therefore, the nerves of $Y$ and $X$ are homotopy equivalent.

But $Y$ has an initial object, namely $({\varphi }_{!}(c),\overline{\varphi })$, where $\overline{\varphi }:c\to {\varphi }_{!}(c)$ is an opcartesian arrow over $\varphi$. Thus the nerve of $Y$ is contractible, and thus so is the nerve of $X$.

Groth has also proved that homotopy-exactness of such squares can be used to replace that of comma squares in the definition of a derivator.

References

• An nCafé post about (mostly ordinary) exact squares

• Moritz Groth, “Derivators, pointed derivators, and stable derivators” PDF