arXiv subjects
Publications and source records attributed to Giuseppe Pareschi.
By a theorem of Wahl, the canonically embedded curves which are hyperplane section of K3 surfaces are distinguished by the non-surjectivity of their Wahl map. In this paper we address the problem of distinguishing hyperplane sections of abelian surfaces. The somewhat surprising result is that the Wahl map of such curves is (tendentially) surjective, but their second Wahl map has corank at least 2 (in fact a more precise result is proved).
We use homological methods to establish a formal criterion for Generic Vanishing, in the sense originated by Green and Lazarsfeld and pursued further by Hacon and the first author, but in the context of an arbitrary Fourier-Mukai correspondence. For smooth projective varieties we apply this to deduce a Kodaira-type generic vanishing theorem for adjoint bundles of the form $K_X + L$ with $L$ a nef line bundle, and in fact a more general generic Nadel-type vanishing theorem for multiplier ideal sheaves. Still in the context of the Picard variety, the same method generates various other generic vanishing results, by reduction to standard vanishing theorems. We further use the formal criterion in order to address examples related to generic vanishing on higher rank moduli spaces (on curves and on some threefold Calabi-Yau fiber spaces).
From the point of view of uniform bounds for the birationality of pluricanonical maps, irregular varieties of general type and maximal Albanese dimension behave similarly to curves. In fact Chen-Hacon showed that, at least when their holomorphic Euler characteristic is positive, the tricanonical map of such varieties is always birational. In this paper we study the bicanonical map. We consider the natural subclass of varieties of maximal Albanese dimension formed by primitive varieties of Albanese general type. We prove that the only such varieties with non-birational bicanonical map are the natural higher-dimensional generalization to this context of curves of genus 2: varieties birationally equivalent to the theta-divisor of an indecomposable principally polarized abelian variety. The proof is based on the (generalized) Fourier-Mukai transform.
We extend to manifolds of arbitrary dimension the Castelnuovo-de Franchis inequality for surfaces. The proof is based on the theory of Generic Vanishing and higher regularity, and on the Evans-Griffith Syzygy Theorem in commutative algebra. Along the way we give a positive answer, in the setting of Kähler manifolds, to a question of Green-Lazarsfeld on the vanishing of higher direct images of Poincaré bundles. We indicate generalizations to arbitrary Fourier-Mukai transforms.
We describe the relationship between the notions of $M$-regular sheaf and $GV$-sheaf in the case of abelian varieties. The former is a natural strengthening of the latter, and we provide an algebraic criterion characterizing it among the larger class. Based on this we deduce new basic properties of both $M$-regular and $GV$-sheaves. In the second part we give a number of applications of generation criteria for $M$-regular sheaves to the study of Seshadri constants, Picard bundles, pluricanonical maps on irregular varieties, and semihomogeneous vector bundles. This second part of the paper is based on our earlier preprint math.AG/0306103, with some improved statements and shortened arguments.
We prove and conjecture results which show that Castelnuovo theory in projective space has a close analogue for abelian varieties. This is related to the geometric Schottky problem: our main result is that a principally polarized abelian variety satisfies a precise version of the Castelnuovo Lemma if and only if it is a Jacobian. This result has a surprising connection to the Trisecant Conjecture. We also give a genus bound for curves in abelian varieties.
We establish a, and conjecture further, relationship between the existence of subvarieties representing minimal cohomology classes on principally polarized abelian varieties, and the generic vanishing of certain sheaf cohomology. The main ingredient is the Generic Vanishing criterion of math.AG/0608127, based on the Fourier-Mukai transform.
This is a survey of M-regularity for coherent sheaves on abelian varieties and its applications, based on lectures given by the second author at the Seattle conference, in August 2005, and at the Luminy GAC workshop in October 2005. Section 3 contains some brief indications of upcoming work.
In the present sequel to our previous two papers on regularity on abelian varieties, we give a number of new applications of the theory of $M$-regularity to the study of Seshadri constants, Picard bundles, pluricanonical maps on irregular varieties, and semihomogeneous vector bundles.
We introduce the notion of Mukai regularity (M-regularity) for coherent sheaves on abelian varieties. The definition is based on the Fourier-Mukai transform, and in a special case depending on the choice of a polarization it parallels and strenghtens the usual Castelnuovo-Mumford regularity. Mukai regularity has a large number of applications, ranging from basic properties of linear series on abelian varieties and defining equations for their subvarieties, to higher dimensional type statements and to a study of special classes of vector bundles. Some of these applications are explained here, while others make the subject of upcoming papers.
This paper is mainly concerned with applying the theory of M-regularity developed in the previous math.AG/0110003 to the study of linear series given by multiples of ample line bundles on abelian varieties. We define a new invariant of a line bundle, called M-regularity index, which is seen to govern the higher order properties and (partly conjecturally) the defining equations of such embeddings. We prove a general result on the behavior of higher syzygies in embeddings given by multiples of ample bundles whose base locus has no fixed components, extending a conjecture of Lazarsfeld known to be true by work of the first author. This approach also unifies essentially all the previously known results in this direction and is mainly based on vanishing theorems rather than representations of theta groups.