In this note, we study the normal compact Kähler (possibly singular) threefold $X$ admitting the action of a free abelian group $G$ of maximal rank, all the non-trivial elements of which are of positive entropy. If such $X$ is further assumed to have only terminal singularities, then we prove that it is either a rationally connected projective threefold or bimeromorphic to a quasi-étale quotient of a complex $3$-torus.
Let $X$ be a compact K{ä}hler manifold of dimension three. We prove that there exists a projective manifold $Y$ such that $π\_1(X)\simeq π\_1(Y)$. We also prove the bimeromorphic existence of algebraic approximations for compact K{ä}hler manifolds of algebraic dimension $\dim(X)-1$. Together with the work of Graf and the third author, this settles in particular the bimeromorphic Kodaira problem for compact K{ä}hler threefolds.
We survey the foundations for Donaldson-Thomas invariants for stable sheaves on algebraic threefolds with trivial canonical bundle, with emphasis on the case of abelian threefolds.
In this paper, we prove BG-type inequality conjecture for threefolds in the title. In particular, there exist Bridgeland stability conditions on these threefolds.
We modify the standard perfect symmetric obstruction theory for moduli spaces of simple perfect complexes, to the situation of complexes on abelian threefolds with fixed determinant and Fourier-Mukai determinant. As outcome we attach nontrivial Donaldson-Thomas invariants to moduli spaces for complexes modulo twist and translation.
In this article, we show that very ample line bundles of type (1,1,d) on an abelian threefold A, with NS(A)\simeq \ze, give projectively normal embeddings, if d=22,26 or when d\geq 28.
Let A be a principally polarized abelian threefold over a perfect field k, not isomorphic to a product over the algebraic closure of k. There exists a canonical extension k' of k, of degree 1 or 2, such that A becomes isomorphic to a Jacobian over k'. The aim of this note is to give a geometric construction of this extension.
We describe a connected component of the space of stability conditions on abelian threefolds, and on Calabi-Yau threefolds obtained as (the crepant resolution of) a finite quotient of an abelian threefold. Our proof includes the following essential steps: 1. We simultaneously strengthen a conjecture by the first two authors and Toda, and prove that it follows from a more natural and seemingly weaker statement. This conjecture is a Bogomolov-Gieseker type inequality involving the third Chern character of "tilt-stable" two-term complexes on smooth projective threefolds; we extend it from complex…
Let $X$ be an Abelian threefold. We prove a formula, conjectured by the first author, expressing the Euler characteristic of the generalized Kummer schemes $K^nX$ of $X$ in terms of the number of plane partitions. This computes the Donaldson-Thomas invariant of the moduli stack $[K^nX/X_n]$.
We give examples of stable rank 2 vector bundles on principally polarized abelian threefolds, and study their deformations. The starting point is the Serre construction, which gives a source of examples, and which we rephrase in terms of Barth--Hulek like monads. Using the monad description, we compute the dimension of the space of first order infinitesimal deformations of these bundles. Moreover, we obtain a birational description of a 13-dimensional component of the moduli space for stable vector bundles.
We realize explicit symmetries of Bridgeland stability conditions on any abelian threefold given by Fourier-Mukai transforms. In particular, we extend the previous joint work with Maciocia to study the slope and tilt stabilities of sheaves and complexes under the Fourier-Mukai transforms, and then to show that certain Fourier-Mukai transforms give equivalences of the stability condition hearts of bounded t-structures which are double tilts of coherent sheaves. Consequently, we show that the conjectural construction proposed by Bayer, Macri and Toda gives rise to Bridgeland stability conditions…
We show that the construction of Bayer, Bertram, Macri and Toda gives rise to a Bridgeland stability condition on a principally polarized abelian threefold with Picard rank one by establishing their conjectural generalized Bogomolov-Gieseker inequality for certain tilt stable objects. We do this by proving that a suitable Fourier-Mukai transform preserves the heart of a particular conjectural stability condition. We also show that the only reflexive sheaves with zero first and second Chern classes are the flat line bundles.
In this article, we give a reformulation of a result from Howe, Leprevost and Poonen on a three dimensional family of abelian threefolds. We also link their result to a conjecture of Serre on a precise form of Torelli theorem for genus 3 curves.
For a polarized abelian variety, Z. Jiang and G. Pareschi introduce an invariant and show that the polarization is basepoint free or projectively normal if the invariant is small. Their result is generalized to higher syzygies by F. Caucci, that is, the polarization satisfies property $(N_p)$ if the invariant is small. In this paper, we study a relation between the invariant and degrees of abelian subvarieties with respect to the polarization. For abelian threefolds, we give an upper bound of the invariant using degrees of abelian subvarieties. In particular, we affirmatively answer some quest…
This paper proves the following converse to a theorem of Mumford: Let $A$ be a principally polarized abelian variety of dimension five, whose theta divisor has a unique singular point, and suppose that the multiplicity of the singular point is three. Then $A$ is isomorphic as a principally polarized abelian variety to the intermediate Jacobian of a smooth cubic threefold. The method of proof is to analyze the possible singularities of the theta divisor of $A$, and eventually to show that $A$ is the Prym variety of a possibly singular plane quintic.
We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the curves can be obtained explicitly.
Finite abelian groups acting on rationally connected threefolds II: groups of K3 type
Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）；Center of Pure Mathematics, MIPT（莫斯科物理技术学院纯数学中心）；Laboratory of Algebraic Geometry, National Research University Higher School of Economics（国立高等经济大学代数几何实验室）；School of Mathematics, University of Edinburgh（爱丁堡大学数学学院）；Courant Institute（库朗数学科学研究所）
We describe birational models and decide the rationality/unirationality of moduli spaces AA_{d} (and AA^{lev}_{d}) of (1,d)-polarized abelian surfaces (with canonical level structure, respectively) for small values of d. The projective lines identified in the rational/unirational moduli spaces correspond to pencils of abelian surfaces traced on nodal threefolds living naturally in the corresponding ambient projective spaces, and whose small resolutions are new Calabi-Yau threefolds with Euler characteristic zero.
The present work deals with the canonical map of smooth, compact complex surfaces of general type in a polarization of type $(1,2,2)$ on an abelian threefold. A natural and classical question is whether the canonical system of such surfaces is very ample in the general case. In this work, we provide a positive answer to this question. First, we describe the structure of the canonical map of those smooth ample surfaces of type $(1,2,2)$ in an abelian threefold which are bidouble cover of principal polarizations. Then, we study the general behavior of the canonical map of general ample surfaces …
(1,d)-polarized abelian surfaces in P^(d-1) with two plane cubic curve fibrations lie in two elliptic P^2-scrolls. The union of these scrolls form a reducible Calabi-Yau 3-fold. In this paper we show that this occurs when d<10 and analyse the family of such surfaces and 3-folds in detail when d=6. In particular, the reducible Calabi-Yau 3-folds deform in that case to irreducible ones with non-normal singularities.
Using the theory of polarised flag type quotients, we determine mass formulae for all principally polarised supersingular abelian threefolds defined over an algebraically closed field $k$ of characteristic $p$. We combine these results with computations of the automorphism groups to study Oort's conjecture; we prove that every generic three-dimensional principally polarised supersingular abelian variety over $k$ of characteristic $\neq 2$ has automorphism group $\{ \pm 1 \}$.
We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In genus 2, the counts in all classes are proven. Special counts match the Euler characteristic calculations of the moduli spaces of stable pairs on abelian surfaces by Göttsche-Shende. A formula for hyp…
We provide numerical conditions for a polarized abelian threefold $(A,L)$ to have simple syzygies, in terms of property $(N_p)$ and the vanishing of Koszul cohomology groups $K_{p,1}$. We rely on a reduction method of Lazarsfeld-Pareschi-Popa, convex geometry of Newton-Okounkov bodies, inversion of adjunction techniques from work on Fujita's conjecture, and the use of differentiation by Ein-Lazarsfeld-Nakamye. As a by-product, we construct effective divisors in any ample class of high self-intersetion, whose singularities are all concentrated on an abelian subvariety. This can be seen as the d…
The aim of this paper is to find all algebraic threefolds admitting quasi-regular Poisson structure. There are three types of such varieties: abelian varieties, smooth flat conic bundles over abelian surfaces and quotients of the product of a curve and a symplectic surface by a finite group.
We give a classification of maximal elements of the set of finite groups that can be realized as the automorphism groups of polarized abelian threefolds over finite fields.
We show that the conjectural construction proposed by Bayer, Bertram, Macrí and Toda gives rise to Bridgeland stability conditions for a principally polarized abelian three-fold with Picard rank one by proving that tilt stable objects satisfy the strong Bogomolov-Gieseker type inequality. This is done by showing any Fourier-Mukai transform gives an equivalence of abelian categories which are double tilts of coherent sheaves.
We study the reduced Donaldson-Thomas theory of abelian threefolds using Bridgeland stability conditions. The main result is the invariance of the reduced Donaldson-Thomas invariants under all derived autoequivalences, up to explicitly given wall-crossing terms. We also present a numerical criterion for the absence of walls in terms of a discriminant function. For principally polarized abelian threefolds of Picard rank one, the wall-crossing contributions are discussed in detail. The discussion yield evidence for a conjectural formula for curve counting invariants by Bryan, Pandharipande, Yin,…
This paper extends joint work with R. Friedman to show that the closure of the locus of intermediate Jacobians of smooth cubic threefolds, in the moduli space of principally polarized abelian varieties (ppav's) of dimension five, is an irreducible component of the locus of ppav's whose theta divisor has a point of multiplicity three or more. This paper also gives a sharp bound on the multiplicity of a point on the theta divisor of an irreducible ppav of dimension less than or equal to five; for dimensions four and five, this improves the bound due to J. Kollár, R. Smith-R. Varley, and L. Ein-R…
We prove that the moduli spaces A_3(D) of polarized abelian threefolds with polarizations of types D=(1,1,2), (1,2,2), (1,1,3) or (1,3,3) are unirational. The result is based on the study of families of simple coverings of elliptic curves of degree 2 or 3 and on the study of the corresponding period mappings associated with holomorphic differentials with trace 0. In particular we prove the unirationality of the Hurwitz space H_{3,A}(Y) which parameterizes simply branched triple coverings of an elliptic curve Y with determinants of the Tschirnhausen modules isomorphic to A^{-1}.
In this paper we determine the structure of the Chow ring of the Delaunay-Voronoi compactification $\tilde{\cal A}_3$ of the moduli space of principally polarized abelian threefolds. This compactification was introduced by Namikawa and studied by Tsushima. We use equivariant classes on level coverings of $\tilde{\cal A}_3$. We also compare this ring with the Chow ring of the moduli space of stable genus 3 curves as determined by Faber.
We prove that the moduli space A_3(1,1,4) of polarized abelian threefolds with polarization of type (1,1,4) is unirational. By a result of Birkenhake and Lange this implies the unirationality of the isomorphic moduli space A_3(1,4,4). The result is based on the study the Hurwitz space H_{4,n}(Y) of quadruple coverings of an elliptic curve Y simply branched in n points. We prove the unirationality of its codimension one subvariety H^{0}_{4,A}(Y) which parametrizes quadruple coverings π:X --> Y with Tschirnhausen modules isomorphic to A^{-1}, where A\in Pic^{n/2}Y, and for which π^*:J(Y)--> J(X)…
It has long been known that to a complex cubic surface or threefold one can canonically associate a principally polarized abelian variety. We give a construction which works for cubics over an arithmetic base. This answers, away from the prime 2, an old question of Deligne and a recent question of Kudla and Rapoport. We further classify the Mumford-Tate groups of the abelian varieties which arise, and give additional arithmetic applications.
We prove two results about the natural representation of a group G of automorphisms of a normal projective threefold X on its second cohomology. We show that if X is minimal then G, modulo a normal subgroup of null entropy, is embedded as a Zariski-dense subset in a semi-simple real linear algebraic group of real rank < 3. Next, we show that X is a complex torus if the image of G is an almost abelian group of positive rank and the kernel is infinite, unless X is equivariantly non-trivially fibred.
We show that any fibration of a 'special' compact K{ä}hler manifold X onto an Abelian variety has no multiple fibre in codimension one. This statement strengthens and extends previous results of Kawamata and Viehweg when $κ$(X) = 0. This also corrects the proof given in [2], 5.3 which was incomplete.
We announce the classification of Sato-Tate groups of abelian threefolds over number fields; there are 410 possible conjugacy classes of closed subgroups of USp(6) that occur. We summarize the key points of the "upper bound" aspect of the classification, and give a more rigorous treatment of the "lower bound" by realizing 33 groups that appear in the classification as maximal cases with respect to inclusions of finite index. Further details will be provided in a subsequent paper.
This thesis is devoted to the study of abelian automorphism groups of surfaces and $3$-folds of general type over complex number field $\Bbb C$. We obtain a linear bound in $K^3$ for abelian automorphism groups of $3$-folds of general type whose canonical divisor $K$ is numerically effective, and we improve on Xiao's results on abelian automorphism groups of minimal smooth projective surfaces of general type. More precisely, the main results in this thesis are the following. {\bf Theorem 3.0.} Let $X$ be a smooth 3-fold of general type over the complex number field, $K$ the canonical divisor o…
In this paper, the Euler characteristic formula for projective logarithmic minimal degenerations of surfaces with Kodaira dimension zero over a 1-dimensional complex disk is proved under a reasonable assumption and as its application, the singularity of logarithmic minimal degenerations are determined in the abelian or hyperelliptic case. By globalizing this local analysis of singular fibres via generalized canonical bundle formulae due to Fujino-Mori, we bound the number of singular fibres of abelian fibred Calabi-Yau threefolds from above,which was previously done by Oguiso in the potentiall…
In this paper we study Fano threefolds with a torsion divisor (Fano--Enriques). Due to this torsion divisor, they can be described as quotients of Fano threefolds by a finite abelian group action. We start from lists of Fano threefolds by Reid, Fletcher and Altınok and check which of them admit such an action with a Fano--Enriques quotient.
We investigate to what extent an abelian variety over a finite field can be lifted to one in characteristic zero with small Mumford-Tate group. We prove that supersingular abelian surfaces, respectively threefolds, can be lifted to ones isogenous to a square, respectively product, of elliptic curves. On the other hand, we show that supersingular abelian threefolds cannot be lifted to one isogenous to the cube of an elliptic curve over the Witt vectors.
We investigate field theories on the worldvolume of a D3-brane transverse to partial resolutions of a $\Z_3\times\Z_3$ Calabi-Yau threefold quotient singularity. We deduce the field content and lagrangian of such theories and present a systematic method for mapping the moment map levels characterizing the partial resolutions of the singularity to the Fayet-Iliopoulos parameters of the D-brane worldvolume theory. As opposed to the simpler cases studied before, we find a complex web of partial resolutions and associated field-theoretic Fayet-Iliopoulos deformations. The analysis is performed by …
Let k be a field and f be a Siegel modular form of weight h \geq 0 and genus g>1 over k. Using f, we define an invariant of the k-isomorphism class of a principally polarized abelian variety (A,a)/k of dimension g. Moreover when (A,a) is the Jacobian of a smooth plane curve, we show how to associate to f a classical plane invariant. As straightforward consequences of these constructions, when g=3 and k is a subfield of the complex field, we obtain (i) a new proof of a formula of Klein linking the modular form χ_{18} to the square of the discriminant of plane quartics ; (ii) a proof that one ca…
We study the locus of intermediate Jacobians of cubic threefolds within the moduli space of complex principally polarized abelian fivefolds, and its generalization to arbitrary genus - the locus of abelian varieties with a singular odd two-torsion point on the theta divisor. Assuming that this locus has expected codimension (which we show to be true for genus up to 5), we compute the class of this locus, and of is closure in the perfect cone toroidal compactification, in the Chow, homology, and the tautological ring. We work out the cases of genus up to 5 in detail, obtaining explicit expressi…
Let A be the moduli space of (1,p)-polarised abelian surfaces with a level structure, for p an odd prime. Let X be a desingularisation of any algebraic compactification of A. Then X is simply-connected.
We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups: $\mathfrak{A}_5$, $\operatorname{PSL}_2(\mathbf{F}_7)$, $\mathfrak{A}_6$, $\operatorname{SL}_2(\mathbf{F}_8)$, $\mathfrak{A}_7$, $\operatorname{PSp}_4(\mathbf{F}_3)$, $\operatorname{SL}_2(\mathbf{F}_{7})$, $2.\mathfrak{A}_5$, $2.\mathfrak{A}_6$, $3.\mathfrak{A}_6$ or $6.\mathfrak{A}_6$. All of these groups with a possible exception of $2.\mathfrak{A}_6$ and $6.\mathfrak{A}_6$ indeed act on some rationally connected threefolds.
Let $k$ be a field of characteristic zero containing a primitive fifth root of unity. Let $X/k$ be a smooth cubic threefold with an automorphism of order five, then we observe that over a finite extension of the field actually the dihedral group $D_5$ is a subgroup of ${\rm Aut}(X)$. We find that the intermediate Jacobian $J(X)$ of $X$ is isogenous to the product of an elliptic curve $E$ and the self-product of an abelian surface $B$ with real multiplication by $\mathbb{Q}(\sqrt{5})$. We give explicit models of some algebraic curves related to the construction of $J(X)$ as a Prym variety. This…
We study the moduli space of abelian threefolds with Iwahori level structure in positive characteristic. We explicitly determine the fibers of the canonical projection to the moduli space of principally polarized abelian varieties and draw conclusions about the relationship between the Ekedahl-Oort, the Kottwitz-Rapoport and the Newton stratification on these spaces.
The Tannakian formalism allows to attach to any subvariety of an abelian variety an algebraic group in a natural way. The arising groups are closely related to moduli questions such as the Schottky problem, but their geometric interpretation is still mysterious. We show that for the theta divisor on the intermediate Jacobian of a cubic threefold, the Tannaka group is an exceptional group of type E_6. This is the first known exceptional case, and it suggests a connection with the monodromy of the Gauss map.
We present the first examples of smooth elliptic Calabi-Yau threefolds with Mordell-Weil rank 10, the highest currently known value. They are given by the Schoen threefolds introduced by Namikawa; there are six isolated fibers of Kodaira Type IV. We explicitly compute the Shioda homomorphism for the generators of the Mordell-Weil group and their induced height pairing. Compactification of F-theory on these threefolds gives an effective theory in six dimensions which contains ten abelian gauge group factors. We compute the massless matter spectrum. In particular, we show that the charged single…
