Skip to main content
3 of 4
deleted 46 characters in body
Libli
  • 7.3k
  • 25
  • 48

Existence of rigid objects in the derived category of a smooth projective variety

Let $X$ be a smooth projective variety (say over $\mathbb{C}$). An object $F \in D^b(X)$ is said to be rigid if $\mathrm{Ext}^1(F,F)=0$. I was wondering if we can always find a rigid object on a projective variety? Ideally, I would also like the Chern character of this object to be non-zero.

In case $H^1(\mathcal{O}_X) =0$, any line bundle will do the job. On the other hand, if $H^1(\mathcal{O}_X) \neq 0$, the existence of the trace maps shows that the rank of such an object must be zero. I have some specific examples in mind (mostly structure sheaves of rigid subvarieties of some special varieties), but I would like to know if such objects exist in general on any smooth projective variety.

Edit: as Johan elliptically points out in the comment, the Grothendieck-Riemann-Roch Theorem shows that $\chi(F,F) =0$ for $F \in D^b(X)$, when $X$ is an elliptic curve. In particular, if $F$is a coherent sheaf, the non vanishing of $\mathrm{Hom}(F,F)$ implies necessarily that $\mathrm{Ext}^1(F,F) \neq 0$, as there are no higher Ext's. On the other hand, this line of reasoning doesn't yield anything for a general object, as there might be higher Ext's, even negative ones.

Libli
  • 7.3k
  • 25
  • 48