Rigid and exceptional sheaves on Fano varieties

Alexei N. Rudakov (Independent University of Moscow, Moscow, RUSSIA)

A projective algebraic variety $X$ over a field $k$ is a Fano variety if its anticanonical divisor is ample (an ample $Q$-Cartier divisor if one means to have some singular varieties under consideration). An algebraic coherent sheaf $F$ on $X$ is called rigid if a tangent space of a deformation functor is zero which means that ${\rm Ext}^i(F,F)=0$.

It happens to be that in order to study rigid sheavs on Fano varieties one whould look closely on a particular case of exceptional sheaves. A sheaf $E$ is called exceptional if ${\rm Ext}^i(F,F)=0$ for $i>0$ and ${\rm Hom}(E,E)=k$. The reason for this is that when $X$ is smooth and $\dim X=2$ then any rigid sheaf $F$ on $X$ is a direct sum of exceptional sheaves $$F=\bigopus n_iE_i.$$ (multiplicities $n_i$ are possible). This is proved by S. Kuleshov in general ([5]) and by J.-M. Drezet for $X=P^2$ ([1]). Not any set of exceptional sheaves are good here but the members $\{E_i\}$ of a sum should meet some conditions. Appropriate sets $\{E_i\}$ are related to so called exceptional systems.

The system $(E_1,\cdots, E_m)$ of exceptional sheaves is called exceptional system if $${\rm Ext}^i(E_\alpha,E_\beta)=0\ {\rm for}\ i\geq 0}\ {\rm and}\ \alpha>\beta.$$ This is quite a general definition and it is especially good for a derived category because a braid group action exists on the set of exceptional systems of a given length $m$ in a derived category ([6]).

On the other hand exceptional systems appears to be behind Beilinson type spectral sequences theorems for sheaves on projective spaces ([8]), quadrics, grassmannians, flag varieties et al. ([2]), and their algebraic generalizations ([3]).

The braid group action stated above was found first as fairly constructive way to produce exceptional sheaves and exceptional systems. It is because for many varieties among Fano ones the action provides us with transformations which operator with sheaves themselves besides objects of a derived category ([6], [8]). Those transformations were called mutations and their properties were studied under the name of a helix theory.

On the other hand it was realized that there are reach and interesting algebraic structures involved with exceptional sheaves ([3], [4], [7]) which could be interesting in a much broader context that a study of rigid sheaves on a variety and which appear to be a good source of conjectures.

Bibliography:

  1. J.-M. Drezet, Fibres exceptionnels et le suite spectral de Beilinson generalisee sur $P_2(C)$, Math. Ann., 275, h. 1, 25--48 (1986).
  2. M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous spaces, Invent. Math. 92, 479--508 (1988).
  3. D. Baer, Tiling sheaves on representation theory of algebras, Manuscripta Math., 60, 323--347 (1988). \bibitem [4] A. L. Bondal, Representations of associative algebras and coherent sheaves. Izv. Akad. Nauk SSSR Ser. Mat., 53, 25--44 (1989), In English: Mathematics of the USSR, IZVESTIA, 34 (1990).
  4. S. A. Kuleshov, D. O. Orlov, Exceptional sheaves on Del Pezzo surfaces, to be published in Izv. Akad. Nauk SSSR, Ser. Mat.
  5. A. L. Gorodentsev, Exceptional objects and mutations in derived categories, In: Helices and Vector Bundles: Seminaire Rudakov. Cambridge Univ. Press 1990, 57--74.
  6. J.-M. Drezet, J. Le Potier, Fibres stables et fibres exceptionnels sur $P_2$. Ann. ENS, 18, 193--244 (1985).
  7. A. L. Gorodentsev, An. N. Rudakov, Exceptional vector bundles on projective spaces, Duke Math. J., 54 No. 1, 115--130 (1987).