The Stacks project

57.10 Sibling functors

In this section we prove some categorical result on the following notion.

Definition 57.10.1. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{D}$ be a triangulated category. We say two exact functors of triangulated categories

\[ F, F' : D^ b(\mathcal{A}) \longrightarrow \mathcal{D} \]

are siblings, or we say $F'$ is a sibling of $F$, if the following two conditions are satisfied

  1. the functors $F \circ i$ and $F' \circ i$ are isomorphic where $i : \mathcal{A} \to D^ b(\mathcal{A})$ is the inclusion functor, and

  2. $F(K) \cong F'(K)$ for any $K$ in $D^ b(\mathcal{A})$.

Sometimes the second condition is a consequence of the first.

Lemma 57.10.2. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{D}$ be a triangulated category. Let $F, F' : D^ b(\mathcal{A}) \longrightarrow \mathcal{D}$ be exact functors of triangulated categories. Assume

  1. the functors $F \circ i$ and $F' \circ i$ are isomorphic where $i : \mathcal{A} \to D^ b(\mathcal{A})$ is the inclusion functor, and

  2. for all $X, Y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ we have $\mathop{\mathrm{Ext}}\nolimits ^ q_\mathcal {D}(F(X), F(Y)) = 0$ for $q < 0$ (for example if $F$ is fully faithful).

Then $F$ and $F'$ are siblings.

Proof. Let $K \in D^ b(\mathcal{A})$. We will show $F(K)$ is isomorphic to $F'(K)$. We can represent $K$ by a bounded complex $A^\bullet $ of objects of $\mathcal{A}$. After replacing $K$ by a translation we may assume $A^ i = 0$ for $i > 0$. Choose $n \geq 0$ such that $A^{-i} = 0$ for $i > n$. The objects

\[ M_ i = (A^{-i} \to \ldots \to A^0)[-i],\quad i = 0, \ldots , n \]

form a Postnikov system in $D^ b(\mathcal{A})$ for the complex $A^\bullet = A^{-n} \to \ldots \to A^0$ in $D^ b(\mathcal{A})$. See Derived Categories, Example 13.41.2. Since both $F$ and $F'$ are exact functors of triangulated categories both

\[ F(M_ i) \quad \text{and}\quad F'(M_ i) \]

form a Postnikov system in $\mathcal{D}$ for the complex

\[ F(A^{-n}) \to \ldots \to F(A^0) = F'(A^{-n}) \to \ldots \to F'(A^0) \]

Since all negative $\mathop{\mathrm{Ext}}\nolimits $s between these objects vanish by assumption we conclude by uniqueness of Postnikov systems (Derived Categories, Lemma 13.41.6) that $F(K) = F(M_ n[n]) \cong F'(M_ n[n]) = F'(K)$. $\square$

Lemma 57.10.3. Let $F$ and $F'$ be siblings as in Definition 57.10.1. Then

  1. if $F$ is essentially surjective, then $F'$ is essentially surjective,

  2. if $F$ is fully faithful, then $F'$ is fully faithful.

Proof. Part (1) is immediate from property (2) for siblings.

Assume $F$ is fully faithful. Denote $\mathcal{D}' \subset \mathcal{D}$ the essential image of $F$ so that $F : D^ b(\mathcal{A}) \to \mathcal{D}'$ is an equivalence. Since the functor $F'$ factors through $\mathcal{D}'$ by property (2) for siblings, we can consider the functor $H = F^{-1} \circ F' : D^ b(\mathcal{A}) \to D^ b(\mathcal{A})$. Observe that $H$ is a sibling of the identity functor. Since it suffices to prove that $H$ is fully faithful, we reduce to the problem discussed in the next paragraph.

Set $\mathcal{D} = D^ b(\mathcal{A})$. We have to show a sibling $F : \mathcal{D} \to \mathcal{D}$ of the identity functor is fully faithful. Denote $a_ X : X \to F(X)$ the functorial isomorphism for $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ given to us by Definition 57.10.1. For any $K$ in $\mathcal{D}$ and distinguished triangle $K_1 \to K_2 \to K_3$ of $\mathcal{D}$ if the maps

\[ F : \mathop{\mathrm{Hom}}\nolimits (K, K_ i[n]) \to \mathop{\mathrm{Hom}}\nolimits (F(K), F(K_ i[n])) \]

are isomorphisms for all $n \in \mathbf{Z}$ and $i = 1, 3$, then the same is true for $i = 2$ and all $n \in \mathbf{Z}$. This uses the $5$-lemma Homology, Lemma 12.5.20 and Derived Categories, Lemma 13.4.2; details omitted. Similarly, if the maps

\[ F : \mathop{\mathrm{Hom}}\nolimits (K_ i[n], K) \to \mathop{\mathrm{Hom}}\nolimits (F(K_ i[n]), F(K)) \]

are isomorphisms for all $n \in \mathbf{Z}$ and $i = 1, 3$, then the same is true for $i = 2$ and all $n \in \mathbf{Z}$. Using the canonical truncations and induction on the number of nonzero cohomology objects, we see that it is enough to show

\[ F : \mathop{\mathrm{Ext}}\nolimits ^ q(X, Y) \to \mathop{\mathrm{Ext}}\nolimits ^ q(F(X), F(Y)) \]

is bijective for all $X, Y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ and all $q \in \mathbf{Z}$. Since $F$ is a sibling of $\text{id}$ we have $F(X) \cong X$ and $F(Y) \cong Y$ hence the right hand side is zero for $q < 0$. The case $q = 0$ is OK by our assumption that $F$ is a sibling of the identity functor. It remains to prove the cases $q > 0$.

The case $q = 1$: Injectivity. An element $\xi $ of $\mathop{\mathrm{Ext}}\nolimits ^1(X, Y)$ gives rise to a distinguished triangle

\[ Y \to E \to X \xrightarrow {\xi } Y[1] \]

Observe that $E \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$. Since $F$ is a sibling of the identity functor we obtain a commutative diagram

\[ \xymatrix{ E \ar[d] \ar[r] & X \ar[d] \\ F(E) \ar[r] & F(X) } \]

whose vertical arrows are the isomorphisms $a_ E$ and $a_ X$. By TR3 the distinguished triangle associated to $\xi $ we started with is isomorphic to the distinguished triangle

\[ F(Y) \to F(E) \to F(X) \xrightarrow {F(\xi )} F(Y[1]) = F(Y)[1] \]

Thus $\xi = 0$ if and only if $F(\xi )$ is zero, i.e., we see that $F : \mathop{\mathrm{Ext}}\nolimits ^1(X, Y) \to \mathop{\mathrm{Ext}}\nolimits ^1(F(X), F(Y))$ is injective.

The case $q = 1$: Surjectivity. Let $\theta $ be an element of $\mathop{\mathrm{Ext}}\nolimits ^1(F(X), F(Y))$. This defines an extension of $F(X)$ by $F(Y)$ in $\mathcal{A}$ which we may write as $F(E)$ as $F$ is a sibling of the identity functor. We thus get a distinguished triangle

\[ F(Y) \xrightarrow {F(\alpha )} F(E) \xrightarrow {F(\beta )} F(X) \xrightarrow {\theta } F(Y[1]) = F(Y)[1] \]

for some morphisms $\alpha : Y \to E$ and $\beta : E \to X$. Since $F$ is a sibling of the identity functor, the sequence $0 \to Y \to E \to X \to 0$ is a short exact sequence in $\mathcal{A}$! Hence we obtain a distinguished triangle

\[ Y \xrightarrow {\alpha } E \xrightarrow {\beta } X \xrightarrow {\delta } Y[1] \]

for some morphism $\delta : X \to Y[1]$. Applying the exact functor $F$ we obtain the distinguished triangle

\[ F(Y) \xrightarrow {F(\alpha )} F(E) \xrightarrow {F(\beta )} F(X) \xrightarrow {F(\delta )} F(Y)[1] \]

Arguing as above, we see that these triangles are isomorphic. Hence there exists a commutative diagram

\[ \xymatrix{ F(X) \ar[d]^\gamma \ar[r]_{F(\delta )} & F(Y[1]) \ar[d]_\epsilon \\ F(X) \ar[r]^\theta & F(Y[1]) } \]

for some isomorphisms $\gamma $, $\epsilon $ (we can say more but we won't need more information). We may write $\gamma = F(\gamma ')$ and $\epsilon = F(\epsilon ')$. Then we have $\theta = F(\epsilon ' \circ \delta \circ (\gamma ')^{-1})$ and we see the surjectivity holds.

The case $q > 1$: surjectivity. Using Yoneda extensions, see Derived Categories, Section 13.27, we find that for any element $\xi $ in $\mathop{\mathrm{Ext}}\nolimits ^ q(F(X), F(Y))$ we can find $F(X) = B_0, B_1, \ldots , B_{q - 1}, B_ q = F(Y) \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ and elements

\[ \xi _ i \in \mathop{\mathrm{Ext}}\nolimits ^1(B_{i - 1}, B_ i) \]

such that $\xi $ is the composition $\xi _ q \circ \ldots \circ \xi _1$. Write $B_ i = F(A_ i)$ (of course we have $A_ i = B_ i$ but we don't need to use this) so that

\[ \xi _ i = F(\eta _ i) \in \mathop{\mathrm{Ext}}\nolimits ^1(F(A_{i - 1}), F(A_ i)) \quad \text{with}\quad \eta _ i \in \mathop{\mathrm{Ext}}\nolimits ^1(A_{i - 1}, A_ i) \]

by surjectivity for $q = 1$. Then $\eta = \eta _ q \circ \ldots \circ \eta _1$ is an element of $\mathop{\mathrm{Ext}}\nolimits ^ q(X, Y)$ with $F(\eta ) = \xi $.

The case $q > 1$: injectivity. An element $\xi $ of $\mathop{\mathrm{Ext}}\nolimits ^ q(X, Y)$ gives rise to a distinguished triangle

\[ Y[q - 1] \to E \to X \xrightarrow {\xi } Y[q] \]

Applying $F$ we obtain a distinguished triangle

\[ F(Y)[q - 1] \to F(E) \to F(X) \xrightarrow {F(\xi )} F(Y)[q] \]

If $F(\xi ) = 0$, then $F(E) \cong F(Y)[q - 1] \oplus F(X)$ in $\mathcal{D}$, see Derived Categories, Lemma 13.4.11. Since $F$ is a sibling of the identity functor we have $E \cong F(E)$ and hence

\[ E \cong F(E) \cong F(Y)[q - 1] \oplus F(X) \cong Y[q - 1] \oplus X \]

In other words, $E$ is isomorphic to the direct sum of its cohomology objects. This implies that the initial distinguished triangle is split, i.e., $\xi = 0$. $\square$

Let us make a nonstandard definition. Let $\mathcal{A}$ be an abelian category. Let us say $\mathcal{A}$ has enough negative objects if given any $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ there exists an object $N$ such that

  1. there is a surjection $N \to X$ and

  2. $\mathop{\mathrm{Hom}}\nolimits (X, N) = 0$.

Let us prove a couple of lemmas about this notion in order to help with the proof of Proposition 57.10.6.

Lemma 57.10.4. Let $\mathcal{A}$ be an abelian category with enough negative objects. Let $X \in D^ b(\mathcal{A})$. Let $b \in \mathbf{Z}$ with $H^ i(X) = 0$ for $i > b$. Then there exists a map $N[-b] \to X$ such that the induced map $N \to H^ b(X)$ is surjective and $\mathop{\mathrm{Hom}}\nolimits (H^ b(X), N) = 0$.

Proof. Using the truncation functors we can represent $X$ by a complex $A^ a \to A^{a + 1} \to \ldots \to A^ b$ of objects of $\mathcal{A}$. Choose $N$ in $\mathcal{A}$ such that there exists a surjection $t : N \to A^ b$ and such that $\mathop{\mathrm{Hom}}\nolimits (A^ b, N) = 0$. Then the surjection $t$ defines a map $N[-b] \to X$ as desired. $\square$

Lemma 57.10.5. Let $\mathcal{A}$ be an abelian category with enough negative objects. Let $f : X \to X'$ be a morphism of $D^ b(\mathcal{A})$. Let $b \in \mathbf{Z}$ such that $H^ i(X) = 0$ for $i > b$ and $H^ i(X') = 0$ for $i \geq b$. Then there exists a map $N[-b] \to X$ such that the induced map $N \to H^ b(X)$ is surjective, such that $\mathop{\mathrm{Hom}}\nolimits (H^ b(X), N) = 0$, and such that the composition $N[-b] \to X \to X'$ is zero.

Proof. We can represent $f$ by a map $f^\bullet : A^\bullet \to B^\bullet $ of bounded complexes of objects of $\mathcal{A}$, see for example Derived Categories, Lemma 13.11.6. Consider the object

\[ C = \mathop{\mathrm{Ker}}(A^ b \to A^{b + 1}) \times _{\mathop{\mathrm{Ker}}(B^ b \to B^{b + 1})} B^{b - 1} \]

of $\mathcal{A}$. Since $H^ b(B^\bullet ) = 0$ we see that $C \to H^ b(A^\bullet )$ is surjective. On the other hand, the map $C \to A^ b \to B^ b$ is the same as the map $C \to B^{b - 1} \to B^ b$ and hence the composition $C[-b] \to X \to X'$ is zero. Since $\mathcal{A}$ has enough negative objects, we can find an object $N$ which has a surjection $N \to C \oplus H^ b(X)$ such that $\mathop{\mathrm{Hom}}\nolimits (C \oplus H^ b(X), N) = 0$. Then $N$ together with the map $N[-b] \to X$ is a solution to the problem posed by the lemma. $\square$

We encourage the reader to read the original [Proposition 2.16, Orlov-K3] for the marvellous ideas that go into the proof of the following proposition.

reference

Proposition 57.10.6. Let $F$ and $F'$ be siblings as in Definition 57.10.1. Assume that $F$ is fully faithful and that $\mathcal{A}$ has enough negative objects (see above). Then $F$ and $F'$ are isomorphic functors.

Proof. By part (2) of Definition 57.10.1 the image of the functor $F'$ is contained in the essential image of the functor $F$. Hence the functor $H = F^{-1} \circ F'$ is a sibling of the identity functor. This reduces us to the case described in the next paragraph.

Let $\mathcal{D} = D^ b(\mathcal{A})$. We have to show a sibling $F : \mathcal{D} \to \mathcal{D}$ of the identity functor is isomorphic to the identity functor. Given an object $X$ of $\mathcal{D}$ let us say $X$ has width $w = w(X)$ if $w \geq 0$ is minimal such that there exists an integer $a \in \mathbf{Z}$ with $H^ i(X) = 0$ for $i \not\in [a, a + w - 1]$. Since $F$ is a sibling of the identity and since $F \circ [n] = [n] \circ F$ we are already given isomorphisms

\[ c_ X : X \to F(X) \]

for $w(X) \leq 1$ compatible with shifts. Moreover, if $X = A[-a]$ and $X' = A'[-a]$ for some $A, A' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ then for any morphism $f : X \to X'$ the diagram

57.10.6.1
\begin{equation} \label{equiv-equation-to-show} \vcenter { \xymatrix{ X \ar[d]_{c_ X} \ar[r]_ f & X' \ar[d]^{c_{X'}} \\ F(X) \ar[r]^{F(f)} & F(X') } } \end{equation}

is commutative.

Next, let us show that for any morphism $f : X \to X'$ with $w(X), w(X') \leq 1$ the diagram (57.10.6.1) commutes. If $X$ or $X'$ is zero, this is clear. If not then we can write $X = A[-a]$ and $X' = A'[-a']$ for unique $A, A'$ in $\mathcal{A}$ and $a, a' \in \mathbf{Z}$. The case $a = a'$ was discussed above. If $a' > a$, then $f = 0$ (Derived Categories, Lemma 13.27.3) and the result is clear. If $a' < a$ then $f$ corresponds to an element $\xi \in \mathop{\mathrm{Ext}}\nolimits ^ q(A, A')$ with $q = a - a'$. Using Yoneda extensions, see Derived Categories, Section 13.27, we can find $A = A_0, A_1, \ldots , A_{q - 1}, A_ q = A' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ and elements

\[ \xi _ i \in \mathop{\mathrm{Ext}}\nolimits ^1(A_{i - 1}, A_ i) \]

such that $\xi $ is the composition $\xi _ q \circ \ldots \circ \xi _1$. In other words, setting $X_ i = A_ i[-a + i]$ we obtain morphisms

\[ X = X_0 \xrightarrow {f_1} X_1 \to \ldots \to X_{q - 1} \xrightarrow {f_ q} X_ q = X' \]

whose compostion is $f$. Since the commutativity of (57.10.6.1) for $f_1, \ldots , f_ q$ implies it for $f$, this reduces us to the case $q = 1$. In this case after shifting we may assume we have a distinguished triangle

\[ A' \to E \to A \xrightarrow {f} A'[1] \]

Observe that $E$ is an object of $\mathcal{A}$. Consider the following diagram

\[ \xymatrix{ E \ar[d]_{c_ E} \ar[r] & A \ar[d]_{c_ A} \ar[r]_ f & A'[1] \ar[d]^{c_{A'}[1]} \ar@{..>}@<-1ex>[d]_\gamma \ar@{..>}[ld]^\epsilon \ar[r] & E[1] \ar[d]^{c_ E[1]} \\ F(E) \ar[r] & F(A) \ar[r]^{F(f)} & F(A')[1] \ar[r] & F(E)[1] } \]

whose rows are distinguished triangles. The square on the right commutes already but we don't yet know that the middle square does. By the axioms of a triangulated category we can find a morphism $\gamma $ which does make the diagram commute. Then $\gamma - c_{A'}[1]$ composed with $F(A')[1] \to F(E)[1]$ is zero hence we can find $\epsilon : A'[1] \to F(A)$ such that $\gamma - c_{A'}[1] = F(f) \circ \epsilon $. However, any arrow $A'[1] \to F(A)$ is zero as it is a negative ext class between objects of $\mathcal{A}$. Hence $\gamma = c_{A'}[1]$ and we conclude the middle square commutes too which is what we wanted to show.

To finish the proof we are going to argue by induction on $w$ that there exist isomorphisms $c_ X : X \to F(X)$ for all $X$ with $w(X) \leq w$ compatible with all morphisms between such objects. The base case $w = 1$ was shown above. Assume we know the result for some $w \geq 1$.

Let $X$ be an object with $w(X) = w + 1$. Pick $a \in \mathbf{Z}$ with $H^ i(X) = 0$ for $i \not\in [a, a + w]$. Set $b = a + w$ so that $H^ b(X)$ is nonzero. Choose $N[-b] \to X$ as in Lemma 57.10.4. Choose a distinguished diagram

\[ N[-b] \to X \to Y \to N[-b + 1] \]

Computing the long exact cohomology sequence we find $w(Y) \leq w$. Hence by induction we find the solid arrows in the following diagram

\[ \xymatrix{ N[-b] \ar[r] \ar[d]_{c_ N[-b]} & X \ar[r] \ar@{..>}[d]_{c_{N[-b] \to X}} & Y \ar[r] \ar[d]^{c_ Y} & N[-b + 1] \ar[d]^{c_ N[-b + 1]} \\ F(N)[-b] \ar[r] & F(X) \ar[r] & F(Y) \ar[r] & F(N)[-b + 1] } \]

We obtain the dotted arrow $c_{N[-b] \to X}$. By Derived Categories, Lemma 13.4.8 the dotted arrow is unique because $\mathop{\mathrm{Hom}}\nolimits (X, F(N)[-b]) \cong \mathop{\mathrm{Hom}}\nolimits (X, N[-b]) = 0$ by our choice of $N$. In fact, $c_{N[-b] \to X}$ is the unique dotted arrow making the square with vertices $X, Y, F(X), F(Y)$ commute.

Let $N'[-b] \to X$ be another map as in Lemma 57.10.4 and let us prove that $c_{N[-b] \to X} = c_{N'[-b] \to X}$. Observe that the map $(N \oplus N')[-b] \to X$ also satisfies the conditions of Lemma 57.10.4. Thus we may assume $N'[-b] \to X$ factors as $N'[-b] \to N[-b] \to X$ for some morphism $N' \to N$. Choose distinguished triangles $N[-b] \to X \to Y \to N[-b + 1]$ and $N'[-b] \to X \to Y' \to N'[-b + 1]$. By axiom TR3 we can find a morphism $g : Y' \to Y$ which joint with $\text{id}_ X$ and $N' \to N$ forms a morphism of triangles. Since we have (57.10.6.1) for $g$ we conclude that

\[ (F(X) \to F(Y)) \circ c_{N'[-b] \to X} = (F(X) \to F(Y)) \circ c_{N[-b] \to X} \]

The uniqueness of $c_{N[-b] \to X}$ pointed out in the construction above now shows that $c_{N'[-b] \to X} = c_{N[-b] \to X}$.

Thus we can now define for $X$ of width $w + 1$ the isomorphism $c_ X : X \to F(X)$ as the common value of the maps $c_{N[-b] \to X}$ where $N[-b] \to X$ is as in Lemma 57.10.4. To finish the proof, we have to show that the diagrams (57.10.6.1) commute for all morphisms $f : X \to X'$ between objects with $w(X) \leq w + 1$ and $w(X') \leq w + 1$. Choose $a \leq b \leq a + w$ such that $H^ i(X) = 0$ for $i \not\in [a, b]$ and $a' \leq b' \leq a' + w$ such that $H^ i(X') = 0$ for $i \not\in [a', b']$. We will use induction on $(b' - a') + (b - a)$ to show the claim. (The base case is when this number is zero which is OK because $w \geq 1$.) We distinguish two cases.

Case I: $b' < b$. In this case, by Lemma 57.10.5 we may choose $N[-b] \to X$ as in Lemma 57.10.4 such that the composition $N[-b] \to X \to X'$ is zero. Choose a distuiguished triangle $N[-b] \to X \to Y \to N[-b + 1]$. Since $N[-b] \to X'$ is zero, we find that $f$ factors as $X \to Y \to X'$. Since $H^ i(Y)$ is nonzero only for $i \in [a, b - 1]$ we see by induction that (57.10.6.1) commutes for $Y \to X'$. The diagram (57.10.6.1) commutes for $X \to Y$ by construction if $w(X) = w + 1$ and by our first induction hypothesis if $w(X) \leq w$. Hence (57.10.6.1) commutes for $f$.

Case II: $b' \geq b$. In this case we choose $N'[-b'] \to X'$ as in Lemma 57.10.4. We may also assume that $\mathop{\mathrm{Hom}}\nolimits (H^{b'}(X), N') = 0$ (this is relevant only if $b' = b$), for example because we can replace $N'$ by an object $N''$ which surjects onto $N' \oplus H^{b'}(X)$ and such that $\mathop{\mathrm{Hom}}\nolimits (N' \oplus H^{b'}(X), N'') = 0$. We choose a distinguished triangle $N'[-b'] \to X' \to Y' \to N'[-b' + 1]$. Since $\mathop{\mathrm{Hom}}\nolimits (X, X') \to \mathop{\mathrm{Hom}}\nolimits (X, Y')$ is injective by our choice of $N'$ (details omitted) the same is true for $\mathop{\mathrm{Hom}}\nolimits (X, F(X')) \to \mathop{\mathrm{Hom}}\nolimits (X, F(Y'))$. Hence it suffices in this case to check that (57.10.6.1) commutes for the composition $X \to Y'$ of the morphisms $X \to X' \to Y'$. Since $H^ i(Y')$ is nonzero only for $i \in [a', b' - 1]$ we conclude by induction hypothesis. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FZS. Beware of the difference between the letter 'O' and the digit '0'.