Skip to main content
1 of 3
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

I am writing up as one answer the comments by @Johan, by @Libli, and by myself. If either of them prefers to write an answer, I am happy to delete this answer.

Let $A$ be an Abelian variety. For every scheme $S$ and every $S$-valued point $x\in A(S)$, denote by $\mu_x$ the associated translation automorphism of the $S$-scheme $S\times A$, i.e., $\mu_x(y) = x+y$.

Denote by $\widehat{A}$ together with the invertible sheaf $\mathcal{P}$ on $\widehat{A}\times A$ the relative $\text{Pic}^0$ of $A$, normalized so that $\mathcal{P}|_{\widehat{A}\times\{0\}}$ is the structure sheaf on $\widehat{A}$. Of course $\widehat{A}\times A$ is a commutative group scheme with its structure as the product of two commutative group schemes. Denote by $G$ the noncommutative group scheme structure on $\widehat{A}\times A$ defined by $$ ([\mathcal{L}],x)\bullet([\mathcal{M}],y) = ([\mathcal{L}\otimes \mu_x^*\mathcal{M}],x+y).$$ There is an "action" of $G$ on the bounded derived category of coherent sheaves on $A$ that associates to each $([\mathcal{L}],x)$ in $G$ and each bounded complex $C^\bullet$ of coherent sheaves on $A$ the associated bounded complex of coherent sheaves, $\mathcal{L}\otimes \mu_x^*(C^\bullet).$

If $C^\bullet$ is not quasi-isomorphic to the zero complex, i.e., if it is not an exact complex, there there exists an integer $p$ such that the cohomology sheaf $h^p(C^\bullet)$ is nonzero. Since $C^\bullet$ is a bounded complex, the set of such integers is finite. Let $s$ be the largest such integer, and let $r$ be the smallest such integer. Then the "good truncation" $\tau_{\geq r}(\tau_{\leq s}(C^\bullet))$ is quasi-isomorphic to $C^\bullet$. Thus, without loss of generality, assume that $C^\bullet$ is concentrated in degrees $[r,s]$.

Now consider the canonical distinguished triangle, $$h^r(C^\bullet)[-r] \to C^\bullet \to \tau_{\geq r+1}(C^\bullet) \to h^r(C^\bullet)[-r+1].$$ By hypothesis, the coherent sheaf $h^r(C^\bullet)$ on $A$ is nonzero. If the rank is positive, then the action of the normal subgroup $\widehat{A}\times\{0\}$ of $G$ on this sheaf is nontrivial. If the rank of the sheaf is zero, i.e., if the support of the sheaf is a proper closed subscheme of $A$, then the action of the subgroup $\{[\mathcal{O}_A]\}\times A$ of $G$ on the sheaf is nontrivial. Either way, the action of the group scheme $G$ on the sheaf is nontrivial.

Since there are nontrivial deformations of the sheaf $h^r(C^\bullet)$, there are nontrivial deformations of the complex $C^\bullet$. Thus, the only rigid complexes in the bounded derived category of $A$ are quasi-isomorphic to zero.

Jason Starr
  • 4.1k
  • 1
  • 93
  • 111