RESEARCH STATEMENT SOFIA TIRABASSI

Similar documents
Vanishing theorems and holomorphic forms

DERIVED EQUIVALENCE AND NON-VANISHING LOCI

Basic results on irregular varieties via Fourier Mukai methods

FAKE PROJECTIVE SPACES AND FAKE TORI

ON VARIETIES OF MAXIMAL ALBANESE DIMENSION

arxiv: v1 [math.ag] 10 Jun 2016

GIUSEPPE PARESCHI AND MIHNEA POPA

The diagonal property for abelian varieties

Singularities of hypersurfaces and theta divisors

arxiv: v1 [math.ag] 9 Mar 2011

M-REGULARITY AND THE FOURIER-MUKAI TRANSFORM

Holomorphic symmetric differentials and a birational characterization of Abelian Varieties

The geography of irregular surfaces

DEFORMATIONS OF MINIMAL COHOMOLOGY CLASSES ON ABELIAN VARIETIES. 1. Introduction

DUALITY SPECTRAL SEQUENCES FOR WEIERSTRASS FIBRATIONS AND APPLICATIONS. 1. Introduction

Projective Images of Kummer Surfaces

GV-SHEAVES, FOURIER-MUKAI TRANSFORM, AND GENERIC VANISHING

arxiv: v2 [math.ag] 18 Apr 2012

A NEW FAMILY OF SYMPLECTIC FOURFOLDS

DERIVED CATEGORIES: LECTURE 4. References

Non-uniruledness results for spaces of rational curves in hypersurfaces

arxiv: v3 [math.ag] 23 Jul 2012

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP

On the geometry of abelian varieties. Olivier Debarre

Chern numbers and Hilbert Modular Varieties

DERIVATIVE COMPLEX, BGG CORRESPONDENCE, AND NUMERICAL INEQUALITIES FOR COMPACT KÄHLER MANIFOLDS. Introduction

Intermediate Jacobians and Abel-Jacobi Maps

Theta divisors and the Frobenius morphism

Paolo Stellari TWISTED DERIVED CATEGORIES AND K3 SURFACES

CANONICAL COHOMOLOGY AS AN EXTERIOR MODULE. To the memory of Eckart Viehweg INTRODUCTION

Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)

Homological Mirror Symmetry and VGIT

Diagonal Subschemes and Vector Bundles

ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES. Contents 1. Introduction 1 2. Preliminaries 1 3. Main results 3 References 6

Geometry of moduli spaces

DERIVED INVARIANCE OF THE NUMBER OF HOLOMORPHIC 1-FORMS AND VECTOR FIELDS 1. INTRODUCTION

Chow Groups. Murre. June 28, 2010

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES

Singularities of divisors on abelian varieties

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

Homological mirror symmetry via families of Lagrangians

Varieties fibred over abelian varieties with fibres of log general type. Caucher Birkar and Jungkai Alfred Chen

ON A THEOREM OF CAMPANA AND PĂUN

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES

FANO VARIETIES AND EPW SEXTICS

FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES

arxiv: v1 [math.ag] 24 Apr 2015

EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION

CANONICAL BUNDLE FORMULA AND VANISHING THEOREM

Fiberwise stable bundles on elliptic threefolds with relative Picard number one

F. LAYTIMI AND D.S. NAGARAJ

Another proof of the global F -regularity of Schubert varieties

Construction problems in algebraic geometry and the Schottky problem. Dissertation

Fourier Mukai transforms II Orlov s criterion

HODGE MODULES ON COMPLEX TORI AND GENERIC VANISHING FOR COMPACT KÄHLER MANIFOLDS. A. Introduction

HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

h : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n).

arxiv:math/ v3 [math.ag] 1 Mar 2006

POSITIVITY IN VARIETIES OF MAXIMAL ALBANESE DIMENSION

CATEGORICAL ASPECTS OF ALGEBRAIC GEOMETRY IN MIRROR SYMMETRY ABSTRACTS

MA 206 notes: introduction to resolution of singularities

Math. Proc. Camb. Phil. Soc. (1999), 125,83 Printed in the United Kingdom 1999 Cambridge Philosophical Society

Structure theorems for compact Kähler manifolds

GENERIC VANISHING AND THE GEOMETRY OF IRREGULAR VARIETIES IN POSITIVE CHARACTERISTIC

BRILL-NOETHER THEORY. This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve.

On a theorem of Ziv Ran

Cohomology jump loci of quasi-projective varieties

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

Contributors. Preface

Paolo Stellari STABILITY CONDITIONS ON GENERIC K3 SURFACES

ZivRan(*) ON A THEOREM OF MARTENS

arxiv: v1 [math.ag] 3 Mar 2018

SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY

The geometry of Landau-Ginzburg models

May 17, 2012 CURVES OF LOW DEGREES ON PROJECTIVE VARIETIES

ON SOME MODULI SPACES OF STABLE VECTOR BUNDLES ON CUBIC AND QUARTIC THREEFOLDS. 1. Introduction

NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD

Generalized Tian-Todorov theorems

arxiv:alg-geom/ v1 21 Mar 1996

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

ON SURFACES WITH p g q 2, K 2 5 AND ALBANESE MAP OF DEGREE 3

a double cover branched along the smooth quadratic line complex

Isogeny invariance of the BSD conjecture

H. Lange and E. Sernesi *

The Grothendieck Ring of Varieties

RESEARCH STATEMENT FEI XU

Porteous s Formula for Maps between Coherent Sheaves

The Schottky Problem: An Update

RESEARCH STATEMENT: COMPACTIFYING RELATIVE PICARD SCHEMES

Stable maps and Quot schemes

March 2, 2012 CURVES OF LOW DEGREES ON PROJECTIVE VARIETIES

Characteristic classes in the Chow ring

The geography of irregular surfaces

Del Pezzo surfaces and non-commutative geometry

THE FOURIER TRANSFORM FOR CERTAIN HYPERKÄHLER FOURFOLDS. Contents Introduction 2

THE HITCHIN FIBRATION

Stable degenerations of symmetric squares of curves

Derived equivalences and stability conditions (mainly for K3 surfaces)

DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE

Transcription:

RESEARCH STATEMENT SOFIA TIRABASSI I have very broad research interests, all of them focusing in the areas of algebraic geometry. More precisely, I use cohomological methods and tools coming from homological algebra in order to investigate many aspects of the geometry of projective varieties. These tools, like the use of derived categories, have nowadays extensive applications to other fields, such as high energy physics (see, for example, [lpabc + ]). In my Ph-D thesis, I employed the theory of M-regularity developed by Pareschi Popa ([PP2, PP3, PP1]) in order to study the behavior of pluricanonical maps of varieties of maximal Albanese dimension. The principal outcome of this investigation, collected in the two papers [T1] and [JLT1], is an effective and sharp bound for a pluricanonical linear system to induce the Iitaka fibration. Successively, in a joint project with Z. Jiang (University of Paris-Sud) and M. Lahoz (University of Paris 11) we used a mixture of tools from birational geometry and homological algebra to the study the birational classification of higher dimensional varieties with small invariants. One of our main results is the following theorem. Theorem 1 ([JLT2]). Let X be a smooth complex projective variety of maximal Albanese dimension. Assume that χ(x, K X ) = 1 and h 1 (X, O X ) = 2 dim X 1. Then X is birational to one of the following varieties: (1) a product of smooth curves of genus 2 with the 2-dimensional symmetric product of a curve of genus 3; (2) (C 1 Z)/ τ, where C 1 is a bielliptic curve of genus 2, Z C1 C n 1 is an étale double cover of a product of smooth projective curves of genus 2, and τ is an involution acting diagonally on C 1 and Z via the involutions corresponding respectively to the double covers. More on this work and its possible developments will be explained in Section 3. However, the rough idea behind the above statement is that complex tori, i.e. quotients of C n by Λ, a discrete subgroup of rank 2n, are, perhaps, among the most understood compact complex manifolds. They have an abelian Lie group structure. In addition, the line bundles over these manifolds can be described in terms of Hermitian forms and characters of C, therefore it is remarkably easy to compute their cohomology. To any complex Kähler manifold X one can associate, in a canonical way, a complex torus Alb(X), with a holomorphic map alb X : X Alb(X), obtained by integrating 1-forms over 1-cycles. The pair (Alb(X), alb X ) satisfies the usual universal property (i.e. any map from X to another complex torus C n /Λ factors in a unique way through alb X ), and is called Albanese variety of X. If X is a projective variety, also Alb(X) is such, and therefore it is an abelian variety. It is, then, natural to ask whether it is possible to find information on the geometry of X, passing through Alb(X). 1

2 SOFIA TIRABASSI When the map alb X is nice enough, this investigation has brought, during the years, many interesting results, starting with the work of Green Lazarsfeld on generic vanishing theorems ([GL1, GL2]), passing through the results of Hacon (who in [H1] was the first to have the idea to use the derived categories in order to approach these problems), and Hacon Pardini ([HP3, HP2]). Our work stems from these papers and generalizes in higher dimension what was known to hold for surfaces. Lately I have been shifting my interests toward different problems. More precisely, together with L. Lombardi (Mathematics Institute of the University of Bonn), we approached an outstanding conjecture, due in it most generality to Debarre ([D]): Conjecture 2. Let (A, Θ) be an indecomposable complex principally polarized abelian variety of dimension g and let X be a geometrically nondegenerate closed reduced subscheme of A of pure dimension d g 2 such that it has minimal cohomology class [Θ]g d (g d)!. Then either one of the following holds: (1) (A, Θ) is a polarized Jacobian of a curve C of genus g and X is an Abel-Jacobi embedded copy of the Brill Noether loci ±W d (C); (2) g=5, d = 2, (A, Θ) is the intermediate Jacobian of a smooth cubic three-folds, and X is a translate of ±S, the Fano surface of lines. We adopted two different strategies. On one hand, we studied the infinitesimal deformation of the inclusion map ±W d (C) J(C) and showed that, if C is not hyperelliptic, they are always induced by deformations of the curve C itself. On the other hand, we focused on a cohomological condition introduced by Pareschi Popa ([PP4]), closely related to the property of having minimal cohomology class, and we drawed from it much interesting geometrical information. In Section 1 I will explain in more detail our work and I will outline further directions I intend to pursue. Up to now, a lot has been said on how much geometry can be recovered by the study of the derived category and the employment of homological methods. However, in passing from a variety X to its derived category D(X) some information is lost and there are examples of not isomorphic varieties having the same derived categories. In a joint project with K. Honigs (UC Berkeley) and L. Lombardi, we plan to quantify this information loss in the case of algebraic surfaces defined over an arbitrary algebraically closed field. This venture stems from a recent preprint of Lieblich Olsson ([LO]) in which the case of K3 surfaces is described, and aims to find a parallel with the analytic case studied by Bridgeland Maciocia ([B2, BM]). In section 2 this project will be further explained. Finally, the last topic I would like to mention her concerns syzygies of projective varieties and sit at the boarder between algebraic geometry and commutative algebra. Thanks to the work of Pareschi Popa (see [P2] for a nice survey on this matter), we have very powerful tools to study generation properties of sheaves on abelian varieties. In [T2] I applied these methodology in an equivariant setting, finding results on generation properties on Kummer varieites, i. e. quotients of abelian varieties by the involution induced by the group structure. In the last section of this research

RESEARCH STATEMENT 3 statement (section 4), I collect my achievement in this direction and I point out some of my further goals. 1. On Debarre s Conjecture Conjecture 2 has been the focus of the work of many mathematicians. Matsusaka Ran criterion tells us that it is true if dim X=1. Moreover, it is known (cfr. [D, Thm 5.1]) that the only subschemes of a polarized Jacobian having minimal cohomology class are, indeed, the Brill Noether loci appearing in the statement. Finally, in [H4], Höring proved that if (A, Θ) is a general intermediate Jacobian of a cubic three-fold, then the Fano surface of lines is essentially the only subscheme having minimal cohomology class, with the exception, of course, of the theta divisor. In collaboration with L. Lombardi, we were able to make progresses in two different directions. The starting point of our work [LT1] is a result of Debarre showing that the locus C d,g of ppav s of dimension g containing an effective cycle of dimension d having minimal cohomology class is closed in A g, the moduli space of ppav s of dimension g, and it contains both the Jacobian locus J g and the locus of the 5-dimensional intermediate Jacobians T 5 as irreducible components (cfr. [D, 2]). Our main goal was to try to exclude the possible existence of other components of C d,g intersecting either the locus J g or T 5. Our approach towards this problem is to look at the simultaneous deformations of minimal cohomology classes W d (C) together with the Jacobian J(C) in order to understand to what extents they are induced by the curve C. Our first main result in this direction regards the computation of first-order deformations of the pairs (W d (C), J(C)) consisting of a Brill Noether locus W d (C) and the Jacobian J(C) of a nonhyperelliptic curve. Theorem 3 ([LT1]). Let C be a non-hyperelliptic smooth curve of genus g and let 1 d g 2 be an integer. Then there is an isomorphism of functors Def C Def Wd (C). Going back to deformations of the inclusion W d (C) J(C), we prove the even these are induced by those of the curve itself in case of non-hyperelliptic curves, and therefore if the minimal cohomology class W d (C) deforms sideways with its Jacobian out the Jacobian locus, then W d (C) parametrizes line bundles on a hyperelliptic curve. More precisely, by denoting with Def Wd (C) J(C) the functor of infinitesimal deformations of the morphism W d (C) J(C), it follows: Theorem 4. If C is a non-hyperelliptic smooth curve of genus g and 1 d g 2 is an integer, then there is an isomorphism of functors Def Wd (C) J(C) Def C. In particular, any irreducible component Z of the locus C g,d A g, parameterizing principally polarized abelian varieties with a d-dimensional scheme representing the minimal cohomology class, different from the Jacobian locus J g, may intersect J g at most along the locus of hyperelliptic curves. The previous theorem extends [R, Corollary III.1] reaching the same conclusion, but with C g,d replaced with the locus in A g of ppav s carrying two subvarieties of complimentary dimension and representing minimal cohomology classes.

4 SOFIA TIRABASSI In order to prove this theorem we apply Ran s theory of deformations of maps between (not necessarily smooth) compact complex spaces which has the great advantage of reducing the problem to compute first-order deformations of the locus W d (C) simply viewed as an abstract scheme. On the other hand, we concentrated our attention on the paper [PP4], where the authors proposed to attack Conjecture 2 from another side, using derived category techniques. They introduced the notion of GV -subscheme of an abelian variety and they proved that these schemes have indeed minimal cohomology class. If Conjecture 2 were to be true, also the converse should hold. Using this notion they were able to prove (a weaker version of) the conjecture in codimension 2. Starting from this work of Pareschi Popa and using their Fourier Mukai based techniques, we proved the following result. Theorem 5. [LT2] Let X be a non degenerate reduced GV -subscheme of an indecomposable principally polarized abelian variety (A, Θ) such that it generates A as an abelian group. Then the inclusion map i : X A does not factor through any isogeny. Observe that if Debarre s conjecture were to be true, a subscheme of A with minimal cohomology class would be normal and A would be its Albanese. The Albanese map of a normal variety does not factor through any isogeny. Therefore one could see our results as a further proof of the validity of the conjecture. Furthermore, as an application of our Theorem 5 above, we were able to give a new proof of the celebrated result of Clemens Griffiths ([CG]) stating that the intermediate Jacobian of a smooth cubic three-fold Y is the Albanese variety of the Fano scheme of line of Y. Another result we were able to obtain is the following: Theorem 6 ([LT2]). Let X be a reduced GV -subscheme of a principally polarized abelian variety (A, Θ) such that generates a proper abelian subvariety J. Then J is principally polarized, X is GV in J, and J is a direct factor of A. Conjecture 2 is still open and it is deemed to be a very hard one. There are, however, some intermediate questions one might want to consider. For example, it would be really interesting to see that the inclusion map in Theorem 5 does not factor through any homomorphism and not just through isogenies. Are subschemes with minimal cohomology class irreducible? Is it possible to say anything about their singularities? (if the conjecture holds they should be irreducible, normal and with rational singularities). Is it possible to use integral functors to prove Matsusaka Ran criterion? What is the extent of the conjecture in positive characteristic? 2. Derived Categories of Surfaces in Positive Characteristic In this paragraph we will describe an embryonic project stemming from a recent work of Lieblich Olsson ([LO]). Let X be a smooth projective variety defined over an algebraically closed field k. To it we can associate the abelian category of coherent sheaves on X, Coh(X). While a celebrated result of Gabriel ([G1]) states that this latter object carries all the information of X (i. e. two varieties share the same

RESEARCH STATEMENT 5 category of coherent sheaves if, and only if, they are isomorphic), this is not the ideal environment in which to approach many problems. In fact many of the functors most common to algebraic geometers, such as, for example, taking cohomology, do not behave well with the abelian category structure on Coh(X). A somewhat more natural tool to study the geometry of X is the bounded derived category of coherent sheaves on X, D b (X), since the aforementioned functors can be extended to exact functors (functors preserving the triangulated structure proper of D b (X)) of this category. However, the better behavior of functors comes at the price of loss of information. It is well known, in fact, that there exist smooth, non-isomorphic, projective varieties with equivalent derived categories. The most famous example of this phenomenon is perhaps the one involving an abelian variety A and its dual abelian variety  ([M]). Thus it becomes natural to ask to what extent D b (X) determines the geometry of X. Thanks to the work of many mathematicians, such as Bridgleand, Bondal, Kawamata, Orlov and Toda, nowadays we know much in this direction. If, for example, X has (anti)ample dualizing sheaf, then any Fourier Mukai partner of X (that is any smooth projective variety Y whose derived category is equivalent to D b (X)) is indeed isomorphic to X ([BO]). We know also, thanks to Orlov ([O2]) for varieties defined over fields of characteristic 0, and to Honigs ([H3]) for an extension of this results in any characteristic, that the Fourier Mukai partners of an abelian variety A are always abelian varieties isogenous to A. Fourier Mukai partners share many birational invariants, such as dimension, Kodaira dimension, or order of the canonical bundle. Furthermore Kawamata ([K1]) showed that, for varieties of general type X and Y (defined over the complex numbers), an equivalence of the derived categories implies that the two varieties are K-equivalent, that is that there exists a variety Z and two birational maps f : Z X and g : Z Y such that the pullbacks of the canonical divisors on X and Y through f and g respectively are linearly equivalent as divisors on Z. It deserves a special mention the picture concerning complex projective surfaces, that it is now completely understood thanks to the work of Bridgeland and Bridgeland Maciocia ([B3], [BM]). They, indeed, proved that the only comlplex surfaces admitting non-trivial Fourier Mukai partners are, abelian, K3 and elliptic (but not bielliptic) surfaces. In any case, every Fourier Mukai partner of a surface X is a fine moduli space of sheaves on X. In addition, Sosna ([S]) proved that K3 surfaces and abelian surfaces arising as canonical covers of Enriques and bielliptic surfaces (the formal definition of canonical covers deferred to a later moment) do not admit non-trivial Fourier Mukai partners. Among the many questions that still await an answer, we choose to focus on the relatively unknown situation of varieties defined over fields of positive characteristic. Some of the results stated above, like the ones concerning birational invariants, are known to hold in an algebraic setting too. Other, on the contrary, have weaker statements (or no statement at all) in positive characteristic. To give an example, Orlov in [O1] gives necessary and sufficient conditions that

6 SOFIA TIRABASSI grant that two abelian varieties are Fourier Mukai partners. However, for abelian varieties defined over arbitrary fields, just one direction of the statement is known to hold. The starting point of this investigation are two recent preprints. In the first one ([LO]) the authors show that any Fourier Mukai partner of a K3 surface X, defined over a field of odd characteristic, is again a K3 surface and it is isomorphic to a moduli space of sheaves on X. Thus the positive characteristic situation seems to be not so much different from the complex one. Furthermore, after observing that the work of Bridgeland Maciocia on quotient varieties, extends easily in positive characteristic, we can already say that Proposition 7. If the characteristic of the base field is different from 2, then any Fourier Mukai partner of an Enriques surface is again an Enriques surface and the corresponding K3 covering are derived equivalent. If char(k) is greater or equal 5, then the same is true if we consider abelian varieties covering bielliptic surfaces. We propose to further investigate the picture of algebraic surfaces, starting from abelians and K3 s, and proceeding toward Enriques and bielliptic. In particular, in a joint project with L. Lombardi and K. Honigs, we formulate the following questions: Problem 1. Do algebraic K3 surfaces and abelian surfaces that covers Enriques and bielliptic surfaces have non-trivial Fourier Mukai partners? Problem 2. Describe Fourier Mukai partners of Enriques and bielliptic surfaces in positive characteristic. We expect that odd characteristic, for Enriques, and different from 2 and 3, for bielliptic, the algebraic situation should looks exactly like the complex picture. Problem 3. Look for examples where the algebraic setting might differ from the analytic one. In another recent preprint ([H3]), Honigs proves that derived equivalent abelian varieties and algebraic surfaces share the same zeta-functions. In order to extends the results to three-folds, just the invariance of the irregularity under derived equivalence is missing. In [PS] the authors proved such invariance for complex varieties. This lead us to formulate the following question: Problem 4. Do smooth algebraic three-folds who are derived equivalent share the same zeta-functions? 3. Classification of Varieties of Maximal Albanese dimension In [JLT2], together with my coauthors, we applied derived category techniques and made some progresses along two lines of research. The first one, that brought us to the formulation of Theorem 1, concerns the problem of classifying maximal Albanese dimensional varieties with small invariants. These varieties behave, in many

RESEARCH STATEMENT 7 aspects, as surfaces of general type. For example, Hacon Pardini [HP3] showed, extending in higher dimension a results of Beauville ([B1]) on surfaces, that the irregularity q(x) of a smooth complex variety X of maximal Albanese dimension and χ(x, K X ) = 1 is bounded by 2 dim X. Furthermore, equality holds if, and only if, X is birational to a product of curve of genus 2. In [HP2] and [P3] Hacon Pardini and Pirola give a complete classification of surfaces with χ = 1 and irregularity 3. Our Theorem 1 generalizes such results in higher dimension. The next obvious steps would be to attempt a classification of varieties with Euler characteristic 1 and irregularity 2n 2. However, as the classification we provided relay on Hacon Pardini and Pirola classification of surfaces with q = p g = 3, such classification would relay on the classification of surfaces with q = p g = 2 that is far to be completed. The second line we explored was opened by Hacon ([H1, H2]), and later pursued by Chen Hacon ([CH1, CH2]), Hacon Pardini ([HP1]) and is in part inspired by earlier the works of Köllar, Kawamata, Ein Lazarsfeld. It concerns the cohomological characterization of theta divisors in principally polarized abelian varieties. Theta divisors in principally polarized abelian varieties are the only known examples of ample divisor in abelian varieties whose smooth model has Euler characteristic 1. In the same way, products of theta divisors in (decomposable) principally polarized abelian varieties are the only known example of varieties with maximal Albanese dimension, Albanese image not fibered by subtori and whose smooth models has Euler characteristic 1. It is then natural to ask whether these might be the only examples. With a mixture of tools from birational geometry, Green Lazarsfeld generic vanishing theory ([GL1, GL2]), and, of course, the use of derived categories and integral functors, we were able to prove: Theorem 8. A normal subvariety X of a complex abelian variety (not assumed to be principally polarized) is a product of theta divisors if, and only if, given X X a resolution of singularities of X, χ( X, K X) = 1. Theorem 9. A smooth complex projective variety is birational to a product of theta divisors if and only if χ(x, K X ) = 1, its Albanese map is generically finite, its Albanese image is of general type and smooth in codimension 1. It is not yet clear if the hypothesis on the singularities of the Albanese image can be removed, and this matter certainly constitutes one of my further research goals. 4. Syzygies of Kummer varieties Let X an algebraic variety over an algebraically closed field k and let A an ample invertible sheaf on X, generated by its global sections. With R A we will denote the ring associated to the sheaf A : R A := n Z H 0 (X, A n )

8 SOFIA TIRABASSI while S A will be the symmetric algebra of H 0 (XA ). The ring R A is a graded S A module and admits a minimal free resolution, that looks like: where E i = j S A ( a ij ), a ij Z, a ij 0. 0 E p E 1 E 0 R A 0 Definition 10 (Property N p [L]). Let p a given integer. The line bundle A satisfies property N p if E 0 = S A when p 0 and E i = S( i 1) 1 i p. More generally, it is possible to extend Green condition as follows (cfr [P1]): we say that, given a non negative integer r, property N r 0 holds for A if, in the notation above, a 0j 1 + r for every j. Inductively we say that A satisfies property N r p if N r p 1 holds for A and a pj p + 1 + r for every j. We know that, given X and A and p as above, exist an integer n 0 = n 0 (A, p) such that for all n n 0 the sheaf A n satisfies property N p. The question that arises immediately is: can we find such n 0? Green in [G2] addressed this issue in the case in which X is a smooth curve of genus g and A a divisor of degree d 2g +1, while in [G3] he challenged the problem of finding an upper bound for the syzygies of the projective space. The case when X is an abelian variety was the object of attention of Pareschi-Popa in [PP3]. Their proof is a consequence of the powerful, Fourier-Mukai based, theory of M-regularity that they developed in [PP2]. I have been brooding over this problem when X is a (singular) Kummer variety associated to an abelian variety Y (i.e. X is the quotient of Y by the natural Z 2 action on Y ). The main results I obtained in this sense are the following. Theorem 11 ([T2]). Take p 1 and r 0 two integers such that char(k) does not divide p+1, p+2. Let A an ample line bundle on a Kummer variety X, such that its pullback π X A A 2 with A an ample symmetric invertible sheaf on X which does not have a base divisor. Then (a) A n satisfies property N p for every n Z such that n p + 1. (b) more generally A n satisfies property N r p for every n such that (r + 1)n p + 1. Theorem 12 ([T2]). Fix two non negative integers p and r such that char(k) does not divide p + 1, p + 2. Let A an ample line bundle on a Kummer variety X, then (a) A n satisfies property N p for every n Z such that n p + 2. (b) more generally A n satisfies property N r p for every n such that (r + 1)n p + 2. My work generalizes and improves results of Khaled ([K3] and [K4]) and Kempf ([K2]) on projective normality and degree of the equations of Kummer varieties. The above two statements are sharp for p = 0, 1. It is not clear if for higher p s they are so: as a matter of fact it is believed that the bound on property N p for Kummer variety should increase as p 2 rather than as p. In addition to the further goal of improving the given bound, I reckon it will be interesting to use similar techniques in order to investigate syzygies of other quotients of abelian varieties. In [CI] the

RESEARCH STATEMENT 9 authors study the étale case, but, again, it is not clear if the bound they provide is sharp. Syzygies of generalized Kummer varieties are at this moment totally unexplored. References [B1] A. Beauville, Surfaces Algébriques Complexes, Astérisque 54 (1978). [B2] T. Bridgeland, Fourier Mukai trnasforms for surfaces and moduli spaces of stable sheaves, Ph.D. Thesis, University of Edimburgh, 1998. [B3] Tom Bridgeland, Fourier-Mukai transforms for elliptic surfaces, J. Reine Angew. Math. 498 (1998), 115 133. MR1629929 (99f:14013) [BM] T. Bridgeland and A. Maciocia, Complex surfaces with equivalent derived categories, Math. Z. 236 (2001), 677 697. [BO] A. Bondal and D. O. Orlov, Reconstruction of a variety from the derived category and groups of autoequivalences, Compositio Math. 125 (2001), 327 344. [CG] C. Herbert Clemens and Phillip A. Griffiths, The intermediate Jacobian of the cubic threefold, Ann. of Math. (2) 95 (1972), 281 356. MR0302652 (46 #1796) [CH1] J. A. Chen and C. D. Hacon, Characterization of abelian varieties, Invent. Math. 143 (2001), 435 447. [CH2] J.A. Chen and C. D. Hacon, On the Irregularity of the Iitaka fibration, Comm. in Algebra 32 (2004), no. 1, 203 215. [CI] Seshadri Chintapalli and Jaya N. N. Iyer, Embedding theorems on hyperelliptic varieties, Geom. Dedicata 171 (2014), 249 264. MR3226795 [D] O. Debarre, Minimal Cohomology Classes and Jacobians, J. Alg. Geom. 4 (1995), 321 335. [G1] Pierre Gabriel, Des catégories abéliennes, Bull. Soc. Math. France 90 (1962), 323 448. MR0232821 (38 #1144) [G2] M. Green, Koszul cohomology and the geometry of projective varieties I, J. Diff. Geometry 19 (1984), 125 171. [G3], Koszul cohomology and the geometry of projective varieties II, J. Diff. Geometry 20 (1984), 279 289. [GL1] M. Green and R. Lazarsfeld, Deformation theory, generic vanishing theorems, and some conjectures of Enriques, Catanese and Beauville, Invent. Math. 90 (1987), 389 407. [GL2], Higher obstructions to deforming cohomology groups of line bundles, J. Amer. Math. Soc. 4 (1991), 87 103. [H1] C. D. Hacon, Fourier-Mukai transform, generic vanishing theorems and polarizations in abelian varieties, Mathematische Zeischrift 235 (2000), 717 726. Also preprint arxiv: 9902078v1. [H2], A derived category approach to generic vanishing, J. Reine Angew. Math. 166 (2006), no. 1, 1 25. [H3] K. Honigs, Derived equivalent surfaces and abelian varieties, and their zeta functions, 2013. Preprint arxiv:1310.4721. [H4] A. Höring, Minimal Classes on the Intermediate Jacobian of a Cubic Threefolds, Communications in Contemporary Mathematics 12 (2010), no. 01, 55 70, available at http://www.worldscientific.com/doi/pdf/ 10.1142/S0219199710003737. [HP1] C. D. Hacon and R. Pardini, On the birational geometry of varieties of maximal Albanese dimension, J. Reine Angew. Math 546 (2002). [HP2], Surfaces with p g = q = 3, Transactions of the A. M. S. 354 (2002), 2631 2638. [HP3], Birational charaterization of product of curves of genus 2, Mathematical Research Letters 12 (2005), 129 140. [JLT1] Z. Jiang, M. Lahoz, and S. Tirabassi, On the Iitaka Fibration of Varieties of Maximal Albanese Dimension, IRMN 2013 (2013), 2984 3005. Preprint available at arxiv:1111.6279. [JLT2], Characterization of products of theta divisors, Compositio Math. 150 (August 2014), no. 08, 1384 1412. Preprint available at arxiv:1303.6554.

10 SOFIA TIRABASSI [K1] Yujiro Kawamata, D-equivalence and K-equivalence, J. Differential Geom. 61 (2002), no. 1, 147 171. MR1949787 (2004m:14025) [K2] G. Kempf, Equations of Kummer varieties, Am. J. Math. 114 (n. 2) (1992), 229 232. [K3] A. Khaled, Equations des variétés de Kummer, Math. Ann. 295 (1993), 685 701. [K4], Projective normality and equations of Kummer varieties, J. reine angew. Math. 465 (1995), 197 217. [L] R. Lazarsfeld, A sampling of vector bundles techniques in the study of linear series, pp. 500 559. [LO] M. Lieblich and M. Ollson, Fourier Mukai partners of K3 surfaces in positive characteristic. Preprint ArXiv:. [lpabc + ] l P. Aspinwal, T. Bridgeland, A. Craw, M. Douglas, M. Gross, A. Kapustin, G. Moor, G. Segal, B. Szendröi, and P. Wilson, Dirichlet branes and mirror symmetry, Clay Mathematical Monograph, vol. 4, Amer. Math. Soc. & Clay. Math. Inst., 2009. [LT1] L. Lombardi and S. Tirabassi, Deformation of Minimal Cohomology Classes, 2014. Preprint. [LT2], GV -subschemes and their embeddings in Principally Polarizes Abelian Varieties, 2014. Preprint. [M] S. Mukai, Duality between D(X) and D( X) with its application to Picard sheaves, Nagoya Math. J. 81 (1981), 153 175. [O1] D. O. Orlov, Derived categories of coherent sheaves on abelian varieties and equivalences between them, Izvestiya Mathematics 66 (2002), 569 594. Traduzione in inglese pubblicata sul numero (2002) della rivista Izv. Math. pagg. 569-594. [O2], Derived categories of coherent shaves and equivalences between them, Russian Math. Surveys 58 (2003), 511 591. [P1] G. Pareschi, Syzigies of abelian varieties, J. Amer. Math. Soc. 13 (2000), no. 3, 651 664. [P2] H. Partsch, Deformation of elliptic fiber bundles in positive characteristic, 2011. Preprint arxiv:1005.2142v3. [P3] G. P. Pirola, Surfaces with p g = q = 3, Manuscripta Mathematica 108 (2002), no. 2, 163 170. [PP1] G. Pareschi and M. Popa, Regularity on abelian varieties III: relationship with Generic Vanishing and applications. Preprint ArXiv:0802.1021, to appear in the Proceedings of the Clay Mathematics Institute 14 (2011). [PP2], Regularity on abelian varieties I, J. Amer. Math. Soc. 16 (2003), 285 302. [PP3], Regularity on abelian varieties II: basic results on linear series and defining equations, J. Algebraic Geometry 13 (2004), 167 193. [PP4], Generic vanishing and minimal cohomology classes on abelian varieties, Mathematische Annalen 340 (2008), no. 1, 209 222. [PS] M. Popa and C. Shnell, Derived invariance of the number of holomorphic 1-forms and vector fields, Ann. Sci. ENS 3 (2011), 527 536. [R] Ziv Ran, On subvarieties of abelian varieties, Invent. Math. 62 (1981), no. 3, 459 479. MR604839 (82d:14024) [S] Pawel Sosna, Fourier-Mukai partners of canonical covers of bielliptic and Enriques surfaces, Rend. Semin. Mat. Univ. Padova 130 (2013), 203 213. MR3148638 [T1] S. Tirabassi, On the tetracanonical map of varieties of general type and maximal Albanese dimension, Collectanea Matematica 63 (2011), no. 3, 345 349. Also preprint available at arxiv:1103.5236. [T2], Syzygies and equations of Kummer varieties, Bull. Lond. Math. Soc. 45 (2013), no. 3, 651 665. MR3065034