Lemma 56.15.6. Let $k$ be a field. Let $X$ be a smooth proper scheme over $k$. Let $F : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ X)$ be a $k$-linear exact functor. Assume for every coherent $\mathcal{O}_ X$-module $\mathcal{F}$ with $\dim (\text{Supp}(\mathcal{F})) = 0$ there is an isomorphism $\mathcal{F} \cong F(\mathcal{F})$. Then there exists an automorphism $f : X \to X$ over $k$ which induces the identity on the underlying topological space^{1} and an invertible $\mathcal{O}_ X$-module $\mathcal{L}$ such that $F$ and $F'(M) = f^*M \otimes _{\mathcal{O}_ X}^\mathbf {L} \mathcal{L}$ are siblings.

Email from Noah Olander of Jun 8, 2020

**Proof.**
By Lemma 56.14.5 the functor $F$ is fully faithful. We claim that Lemma 56.15.4 applies to $F$. Namely, for every coherent $\mathcal{O}_ X$-module $\mathcal{F}$ with $\dim (\text{Supp}(\mathcal{F})) = 0$ there is an isomorphism of $k$-vector spaces

functorial in $M$ in $D_{perf}(\mathcal{O}_ X)$. The first equality because $F$ is fully faithful. $\square$

**Second proof.**
The proof is similar to the proof of Lemma 56.15.4 and we only sketch the arguments.

Step 1. By Lemma 56.14.5 the functor $F$ is fully faithful.

Step 2. For a closed point $x \in X$ we denote $\mathcal{O}_ x$ the skyscraper sheaf with value $\kappa (x)$ at $x$. An object $K$ of $D_{perf}(\mathcal{O}_ X)$ is isomorphic to a locally free $\mathcal{O}_ X$-module of rank $r$ placed in degree $0$ if and only if

Since $F(\mathcal{O}_ x) \cong \mathcal{O}_ x$ and $F$ is fully faithful we find

for all $i \in \mathbf{Z}$. Thus, if $\mathcal{E}$ is a locally free $\mathcal{O}_ X$-module of rank $r$, then $F(\mathcal{E})$ is a locally free $\mathcal{O}_ X$-module of rank $r$ placed in degree $0$. In particular, we have $F(\mathcal{O}_ X) = \mathcal{L}[0]$ for some invertible $\mathcal{O}_ X$-module $\mathcal{L}$.

Step 3. Let $U \subset X$ be a dense affine open with complement $D \subset X$. Then $D = \sum _{i = 1, \ldots , r} D_ i$ is a sum of prime divisors each of which is an effective Cartier divisor, see Divisors, Lemma 31.16.7 and its proof. By Step 2 we have invertible modules $\mathcal{L}_ n$ such that $F(\mathcal{O}_ X(-nD)) = \mathcal{L}_ n[0]$. The functor $F$ transforms the maps

into maps $\mathcal{L}_{n + 1} \to \mathcal{L}_ n$ such that the induced map

is nonzero if $x \in U$ and zero if $x \in D$. We conclude that we may write

with $e_ i(n + 1) < e_ i(n) < \ldots < e_ i(0) = 0$. It follows that for $K \in D_{perf}(\mathcal{O}_ X)$ we have

The first and last isomorphisms follow from Cohomology of Schemes, Lemma 30.10.4 (details omitted). The second isomorphism holds because $F$ is fully faithful. The third isomorphism holds by comparing the system of divisors $-nD$ for varying $n$ with the system of divisors $\sum e_ i(n) D_ i$ for varying $n$.

Step 4. The functor $F$ sends $\textit{Coh}(\mathcal{O}_ X)$ to $\textit{Coh}(\mathcal{O}_ X)$. Namely, this is clear from the formula in Step 3.

Step 5. By Lemma 56.15.2 we find $F$ is a sibling to the Fourier-Mukai functor $F'$ given by a coherent $\mathcal{O}_{X \times X}$-module $\mathcal{K}$ flat over $X$ via $\text{pr}_1$ and finite over $X$ via $\text{pr}_2$. Since $F(\mathcal{O}_ X) = \mathcal{L}[0]$ we see that

Thus by Lemma 56.12.4 there is a morphism $s : X \to X \times X$ with $\text{pr}_2 \circ s = \text{id}_ X$ such that $\mathcal{K} = s_*\mathcal{L}$. Set $f = \text{pr}_1 \circ s$. Then we have

where we have used Derived Categories of Schemes, Lemma 36.22.1 in the third step. Since for all closed points $x \in X$ the module $F(\mathcal{O}_ x)$ is supported at $x$, we see that $f$ induces the identity on the underlying topological space of $X$.

Step 6. Let $x \in X$ be a closed point. For $n \geq 1$ denote $\mathcal{O}_{x, n}$ the skyscaper sheaf at $x$ with value $\mathcal{O}_{X, x}/\mathfrak m_ x^ n$. Then $\text{End}_ X(\mathcal{O}_{x, n}) = \mathcal{O}_{X, x}/\mathfrak m_ x^ n$. Since $F$ and $F'$ are siblings and since $F$ is fully faithful we see that

are bijections. We conclude that $f^\sharp : \mathcal{O}_{X, x}/\mathfrak m_ x^ n \to \mathcal{O}_{X, x}/\mathfrak m_ x^ n$ is bijective for all $n$. Thus $f$ induces isomorphisms on complete local rings at closed points and hence is étale (Étale Morphisms, Lemma 41.11.3). Looking at closed points we see that $\Delta _ f : X \to X \times _{f, X, f} X$ (which is an open immersion as $f$ is étale) is bijective hence an isomorphism. Hence $f$ is a monomorphism. Finally, we conclude $f$ is an isomorphism as Descent, Lemma 35.22.1 tells us it is an open immersion. $\square$

## 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.

## Comments (0)