Spherical objects E in the derived category of coherent sheaves over a K3 surface satisfy:
- Hom(E,E)=C
- Ext^2(E,E)=C 3 Ext^i=0 otherwise.
Are the structure sheaf O_X and the sheaves associated with the exceptional divisors the only spherical objects on a Kummer surface?