Geometric collections and Castelnuovo-Mumford regularity. (English) Zbl 1130.14017

The authors extend the definition of Castelnuovo-Mumford regularity of coherent sheaves on a projective space to coherent sheaves on a smooth projective complex variety endowed with a geometric collection \(\sigma\). Moreover they carefully study such a regularity in the case of a quadric hypersurface \(Q_n \subset\mathbb P^{n+1}\) for \(n\) odd.
A geometric collection \(\sigma\) on a smooth projective variety of dimension \(n\) is defined to be a full exceptional collection of length \(n+1\) of coherent sheaves. We know that such collections exist in the case \(X\) is a projective space, a smooth quadric hypersurface \(Q_n\) for \(n\) odd or a Fano threefold with Picard number 1 and trivial intermediate Jacobian. If \(\sigma = \{ E_0, \dots, E_n \}\) is a geometric collection on \(X\), then a coherent sheaf \(F\) is \(m\)-regular with respect to \(\sigma\) if the groups \(\text{Ext}^q(R^{(-p)}E_{-m+p},F)\) vanish for \(q>0\) and \(-n \leq p \leq 0\). The regularity of a coherent sheaf \(F\) is the smallest integer \(m\) for which \(F\) is \(m\)-regular. If \(X\) is \(\mathbb P^n\) and \(\sigma = \{ {\mathcal O}, {\mathcal O}(1), \dots, {\mathcal O}(n)\}\), then \(F\) is \(m\)-regular if and only if it is \(m\)-regular in the sense of Castelnuovo-Mumford. Moreover, many interesting properties of Castelnuovo-Mumford regularity remain valid for this generalization.
Finally, considering a smooth projective quadric hypersurface \(Q_n\), for \(n\) odd, embedded in \(\mathbb P^{n+1}\) by \(i\), the authors relate the regularity of a coherent sheaf \(F\) on \(Q_n\) to the Castelnuovo-Mumford regularity of \(i_* F\) by giving optimal extimations. An exact calculation is performed for the elements of the geometric collection and of its dual.


14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
Full Text: DOI arXiv


[1] Orlov, Vestnik Moskov. Univ. Ser. I Mat. Mekh. 5 pp 69– (1991)
[2] DOI: 10.2307/2000764 · Zbl 0657.14006
[3] DOI: 10.1070/IM1991v037n01ABEH002060 · Zbl 0719.14026
[4] Mumford, Ann. of Math. Stud. 59 pp none– (1966)
[5] Kuznetsov, Moscow Univ. Math. Bull. 51 pp 35– (1996)
[6] DOI: 10.1007/BF01393744 · Zbl 0651.18008
[7] DOI: 10.1070/IM1989v033n01ABEH000813 · Zbl 0736.14003
[8] DOI: 10.1070/IM1985v024n01ABEH001221 · Zbl 0564.14023
[9] DOI: 10.1070/IM1989v032n01ABEH000730 · Zbl 0664.14010
[10] DOI: 10.1007/BF01084563 · Zbl 0428.14016
[11] Drezet, Ann. Sci. ?cole Norm. Sup. 18 pp 193– (1985)
[12] Hartshorne, GTM 52 pp none– (1983)
[13] DOI: 10.1090/S0002-9939-05-07846-9 · Zbl 1108.14011
[14] DOI: 10.1215/S0012-7094-87-05409-3 · Zbl 0646.14014
[15] DOI: 10.1007/s00209-004-0684-6 · Zbl 1071.14022
[16] DOI: 10.1070/IM1994v042n02ABEH001536 · Zbl 0847.16010
[17] DOI: 10.1070/IM1990v034n01ABEH000583 · Zbl 0692.18002
[18] DOI: 10.1007/BF01681436 · Zbl 0424.14003
[19] DOI: 10.1070/IM1989v033n01ABEH000817 · Zbl 0708.14012
[20] Nogin, Ann. Sc. Ec. Norm. Sup. 27 pp 129– (1994)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.