×

zbMATH — the first resource for mathematics

A derived category approach to generic vanishing. (English) Zbl 1137.14012
Let \(X\) be a smooth complex variety, \(A\) its Albanese variety, and let \(a_X: X\to A\) denote the Albanese morphism. The so-called “generic vanishing theorem” by M. Green and R. Lazarsfeld [Invent. Math. 90, 389–407 (1987; Zbl 0659.14007)] states that then every irreducible component of the subvariety \[ V^i(\omega_X):= \{P\in \text{Pic}^0(X)\mid h^i(X,\omega_X\otimes P)\neq 0\}\text{ of }\text{Pic}^0(X) \] is a translate of a subtorus of \(\text{Pic}^0(X)\) of codimension at least \(i- (\dim(X)-\dim(a_X(X))\). Moreover, if \(\dim(X)= \dim(a_X(X))\) then there is a filtration \[ \{{\mathcal O}_X\}= V^{\dim(X)}(\omega_X)\subset\cdots\subset V^1(\omega_X)\subset V^0(\omega_X). \] The proof of this crucial theorem (and of its further generalizations) made essential use of transcendental methods, including Hodge theory.
In the paper under review, the author investigates the natural question of to what extent this result is of purely algebraic nature, and what transcendental aspects of its so far existing proof can be replaced by an algebraic approach in the spirit of H. Esnault and E. Viehweg [Lectures on vanishing theorems. DMV Seminar. 20. Basel: Birkhäuser Verlag (1992; Zbl 0779.14003)].
In fact, using relatively simple methods from the theory of derived categories, amongst them being Grothendieck duality, the projection formula, base change techniques, and the Fourier-Mukai transform, the author proves a very general generic vanishing theorem for coherent sheaves on abelian varieties. His general generic vanishing theorem implies the following concrete geometric results:
(1) For any coherent sheaf \(F\) on an abelian variety \(A\), every irreducible component of the subvariety \[ V^i(A, F\otimes P):= \{P\in \text{Pic}^0(A)\mid h^i(A, F\otimes P)\neq 0\} \] has codimension at least \(i\) in the dual abelian variety \(\widehat A= \text{Pic}^0(A)\), \(0\leq i\leq \dim(A)\).
(2) If \(X\) is a smooth projective variety with Albanese variety \(A\), and if \(F\) is taken to be the higher direct image sheaf \(R^i(a_X)_*)\omega_X)\), then a generalization of the generic vanishing results of Green-Lazarsfeld is obtained in a straightforward manner.
Moreover, a more general version of a long-standing conjecture of Green-Lazarsfeld is proved in the following form:
(3) If \(X\) is a smooth projective variety with \(\dim(a_X(X))= \dim(X)\) for the Albanese map then for the universal family of topological trivial line bundles \({\mathcal P}\to X\times\text{Pic}^0(X)\) with Poincaré bundle \({\mathcal P}\), the vanishing property \(R^i(\pi_{\widehat A})_*({\mathcal P}_= 0\) holds for all \(i<\dim(X)\).
Finally, as a further application of his algebraic approach developed in the current paper, the author extends an earlier result of his and J. A. Chen [Duke Math. J. 111, No. 1, 159–175 (2002; Zbl 1055.14010)] as follows: Let \(a: X\to A\) be a surjective morphism with connected fibers from a smooth complex variety \(X\) with Kodaira dimension zero to an abelian variety \(A\). Then, for all \(N> 0\) there exists a unipotent vector bundle \(V_N\) on \(A\) and an inclusion \(V_N\hookrightarrow R^0 a_*(\omega^{\otimes N}_X)\) which is generically an isomorphism and induces an isomorphism on the spaces of global sections.

MSC:
14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
14K05 Algebraic theory of abelian varieties
18E30 Derived categories, triangulated categories (MSC2010)
14F17 Vanishing theorems in algebraic geometry
14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
PDF BibTeX XML Cite
Full Text: DOI arXiv
References:
[1] Chen J. A., Invent. Math. 143 pp 435– (2001)
[2] [CH2] Chen, J. A. and Hacon, C. D., On algebraic fiber spaces over varieties of maximal albanese dimension.Duke Math. J.111, No. 1 (2002). · Zbl 1055.14010
[3] [EV] Esnault, H. and Viehweg, W., Lectures on Vanishing Theorems, DMV Seminar20, Birkh user Verlag, 1992. · Zbl 0779.14003
[4] Green M., Invent. Math. 90 pp 389– (1987)
[5] Green M., J. Amer. Math. Soc. 4 pp 1– (1991)
[6] [EGA] Grothendieck, A. and Dieudonne, J., Elements de Geometrie Algebrique III, Eatude cohomologique des faisceaux coherents.Publ. Math. IHES 17 (1963).
[7] Hartshorne R., Grad. Texts Math. 52 pp 1977–
[8] Hartshorne R., Lect. Notes Math. 20 pp 1996–
[9] Kawamata Y., Compos. Math. 43 pp 253– (1981)
[10] Kawamata Y., Invent. Math. 66 pp 57– (1982)
[11] Kollar J., Ann. Math. 123 pp 11– (1986)
[12] Kollar J., Ann. Math. 124 pp 171– (1986)
[13] [Ko3] Kollar, J., Shafarevich maps and automorphic forms, M. B. Porter Lectures, Princeton Univ. Press, Princeton 1995.
[14] Kollar J., Invent. Math. 113 pp 177– (1993)
[15] [Mo] Mori, S., Classification of higher dimensional varieties, Algebraic Geometry (Brunswick, Maine, 1985), Proc. Sympos. Pure Math. 46, Amer. Math. Soc., Providence (1987), 269-331.
[16] Mukai S., Nagoya Math. J. 81 pp 153– (1981)
[17] Pareschi G., J. Amer. Math. Soc. 16 pp 2– (2003)
[18] Viehweg E., Adv. Stud. Pure Math. 1 pp 329– (1983)
[19] Viehweg E., Ergebn. Math. pp 30– (1995)
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.