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 study the variety of Poisson structures and compute Poisson cohomology for two families of Fano threefolds - smooth cubic threefolds and the del Pezzo quintic threefold. Along the way we reobtain by a different method earlier results of Loray, Pereira and Touzet in the special case we are considering.
Adapting focal loci techniques used by Chiantini and Lopez, we provide lower bounds on the genera of curves contained in very general surfaces in Gorenstein toric threefolds. We illustrate the utility of these bounds by obtaining results on algebraic hyperbolicity of very general surfaces in toric threefolds.
In the present work, we investigate existence of deformations and algebraic approximability for certain uniruled Kähler threefolds. In the first part, we establish existence of infinitesimal deformations for all conic bundles with relative Picard number one over a non-algebraic compact Kähler surface S and existence of positive-dimensional families of deformations in all but some special cases. In the second part, we study the question of algebraic approximability for projective bundles over S and threefolds bimeromorphic to P_1 x S.
We study links between algebraic cycles on threefolds and finite-dimensionality of their motives with coefficients in Q. We decompose the motive of a non-singular projective threefold X with representable algebraic part of CH_0(X) into Lefschetz motives and the Picard motive of a certain abelian variety, isogenous to the corresponding intermediate Jacobian J^2(X) when the ground field is C. In particular, it implies motivic finite-dimensionality of Fano threefolds over a field. We also prove representability of zero-cycles on several classes of threefolds fibered by surfaces with algebraic H^2…
We study some conjectures about Chow groups of varieties of geometric genus one. Some examples are given of Calabi-Yau threefolds where these conjectures can be verified, using the theory of finite-dimensional motives.
This is the fourth of a series of papers studying real algebraic threefolds, but the methods are mostly independent from the previous ones. Let $f:X\to C$ be a map of a smooth projective real algebraic 3-fold to a curve $C$ whose general fibers are rational surfaces. Assume that the set of real points of $X$ is an orientable 3-manifold $M$. The aim of the paper is to give a topological description of $M$.
The affine line minus one point is the underlying space of the algebraic torus of dimension one. However the fibration of an affine algebraic threefold by the affine line minus one point is not always the quotient morphism of the threefold by the algebraic torus. We investigate the structure of affine algebraic threefolds having fibrations by the affine line minus one point. Our results cover not only algebro-geometric but also topological properties of the threefolds. We also consider when the fibration by the affine line minus one point becomes the quotient morphism by an algebraic torus of …
We show that prime Fano threefolds $Y$ of genus 8 have a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of $Y$ injects into cohomology.
We prove the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field.
This is the third of a series of papers studying real algebraic threefolds, but the methods are mostly independent from the previous two. Let $f:X\to S$ be a map of a smooth projective real algebraic 3-fold to a surface $S$ whose general fibers are rational curves. Assume that the set of real points of $X$ is an orientable 3-manifold $M$. The aim of the paper is to give a topological description of $M$. It is shown that $M$ is either Seifert fibered or a connected sum of lens spaces. Much stronger results hold if $S$ is rational.
Let $X$ be a smooth contractible affine algebraic threefold with a nontrivial algebraic ${\bf C}_+$-action on it. We show that $X$ is rational and the algebraic quotient $X//{\bf C}_+$ is a smooth contractible surface $S$ which is isomorphic to ${\bf C}^2$ in the case when $X$ admits a dominant morphism from a threefold of form $C \times {\bf C}^2$. Furthermore, if the action is free then $X$ is isomorphic to $S \times {\bf C}$ and the action is induced by translation on the second factor. In particular, we have the following criterion: if a smooth contractible affine algebraic threefold $X$ w…
A conjecture of Orlov predicts that derived equivalent smooth projective varieties over a field have isomorphic Chow motives. The conjecture is known for curves, and was recently observed for surfaces by Huybrechts. In this paper we focus on threefolds over perfect fields, and unconditionally secure results, which are implied by Orlov's conjecture, concerning the geometric coniveau filtration, and abelian varieties attached to smooth projective varieties.
In this short note, we give a refinement of our previous work (arXiv:1803.05553) stating that for a projective $3$-fold $X$ of general type with either $p_g(X)\leq 4$ or $p_g(X)\geq 11$, $$\text{vol}(X)\geq \frac{4}{3}p_g(X)-{\frac{10}{3}}.$$
Let $X$ be a non-singular projective threefold over an algebraically closed field of any characteristic, and let $A^2(X)$ be the group of algebraically trivial codimension 2 algebraic cycles on $X$ modulo rational equivalence with coefficients in $\mathbb Q$. Assume $X$ is birationally equivalent to another threefold $X'$ admitting a fibration over an integral curve $C$ whose generic fiber $X'_{\bar η}$, where $\bar η=Spec(\bar {k(C)})$, satisfies the following three conditions: (i) the motive $M(X'_{\bar η})$ is finite-dimensional, (ii) $H^1_{et}(X_{\bar η},\mathbb Q_l)=0$ and (iii) $H^2_{et}…
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.
We compute the integral homology (including torsion), the topological K-theory, and the Hodge structure on cohomology of Calabi-Yau threefold hypersurfaces and complete intersections in Gorenstein toric Fano varieties. The methods are purely topological.
In his work on birational classification of foliations on projective surfaces, Brunella showed that every regular foliation on a rational surface is algebraically integrable with rational leaves. This led Touzet to conjecture that every regular foliation on a rationally connected manifold is algebraically integrable with rationally connected leaves. Druel proved this conjecture for the case of weak Fano manifolds. In this paper, we extend this result showing that Touzet's conjecture is true for codimension one foliations on threefolds with nef anti-canonical bundle.
In this article we present a 3-dimensional analogue of a well-known theorem of E. Bombieri (in 1973) which characterizes the bi-canonical birationality of surfaces of general type. Let $X$ be a projective minimal 3-fold of general type with $\mathbb{Q}$-factorial terminal singularities and the geometric genus $p_g(X)\ge 5$. We show that the 4-canonical map $ϕ_4$ is {\it not} birational onto its image if and only if $X$ is birationally fibred by a family $\mathscr{C}$ of irreducible curves of geometric genus 2 with $K_X\cdot C_0=1$ where $C_0$ is a general irreducible member in $\mathscr{C}$.
This is the first of a series of papers studying real algebraic threefolds using the minimal model program. The main results are outlined in Part II. The present part I. contains the necessary preliminary work concerning terminal singularities. First I give standard forms for 3-dimensional terminal singularities over arbitrary fields. This is then used to develop a fairly complete topological classification over the reals.
We prove that every compact Kähler threefold $X$ of Kodaira dimension $κ= 0$ or $1$ has a $\mathbf{Q}$-factorial bimeromorphic model $X'$ with at worst terminal singularities such that for each curve $C \subset X'$, the pair $(X',C)$ admits a locally trivial algebraic approximation such that the restriction of the deformation of $X'$ to some neighborhood of $C$ is a trivial deformation. As an application, we prove that every compact Kähler threefold with $κ= 0$ or $1$ has an algebraic approximation.
We consider the structure of the derived categories of coherent sheaves on Fano threefolds with Picard number 1 and describe a strange relation between derived categories of different threefolds. In the Appendix we discuss how the ring of algebraic cycles of a smooth projective variety is related to the Grothendieck group of its derived category.
Let X be a projective 3-fold with at most Q-factorial terminal singularities on which K_X is nef and big. Suppose the canonical index r(X)>1. For any positive integer m, it is interesting to consider the base point freeness and birationality of the divisor mK_X. For example, we know the following results: (1) the system |5rK_X| is base point free (Ein-Lazarsfeld-Lee); (2) |mK_X| gives a birational map for all m>4r+2 (M. Hanamura). This article aims to present a better result in direction (2). As far as our method can tell here, |mK_X| gives a birational map for all m>2r+5. (Q-divisor method + …
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.
This is the second of a series of papers studying real algebraic threefolds using the minimal model program. The main result is the following. Let $X$ be a smooth projective real algebraic 3-fold. Assume that the set of real points is an orientable 3-manifold (this assumption can be weakened considerably). Then there is a fairly simple description on how the topology of real points changes under the minimal model program. The first application is to study the topology of real projective varieties which are birational to projective 3-space (Nash conjecture). The second application is a factoriz…
The solutions to the Kadomtsev-Petviashvili equation that arise from a fixed complex algebraic curve are parametrized by a threefold in a weighted projective space, which we name after Boris Dubrovin. Current methods from nonlinear algebra are applied to study parametrizations and defining ideals of Dubrovin threefolds. We highlight the dichotomy between transcendental representations and exact algebraic computations. Our main result on the algebraic side is a toric degeneration of the Dubrovin threefold into the product of the underlying canonical curve and a weighted projective plane.
We establish the Noether inequality for projective $3$-folds. More precisely, we prove that the inequality $${\rm vol}(X)\geq \tfrac{4}{3}p_g(X)-{\tfrac{10}{3}}$$ holds for all projective $3$-folds $X$ of general type with either $p_g(X)\leq 4$ or $p_g(X)\geq 21$, where $p_g(X)$ is the geometric genus and ${\rm vol}(X)$ is the canonical volume. This inequality is optimal due to known examples found by M. Kobayashi in 1992.
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.
It is known that the optimal Noether inequality $\mathrm{vol}(X) \ge \frac{4}{3}p_g(X) - \frac{10}{3}$ holds for every $3$-fold $X$ of general type with $p_g(X) \ge 11$. In this paper, we give a complete classification of $3$-folds $X$ of general type with $p_g(X) \ge 11$ satisfying the above equality by giving the explicit structure of a relative canonical model of $X$. This model coincides with the canonical model of $X$ when $p_g(X) \ge 23$. We also establish the second and third optimal Noether inequalities for $3$-folds $X$ of general type with $p_g(X) \ge 11$. These results answer two op…
In this article, we construct a Hecke-equivariant Chow motive whose realizations equal intersection cohomology of Siegel threefolds with regular algebraic coefficients. As a consequence, we are able to define Grothendieck motives for Siegel modular forms.
We study local, global and local-to-global properties of threefolds with certain singularities. We prove criteria for these threefolds to be rational homology manifolds and conditions for threefolds to satisfy rational Poincaré duality. We relate the topological Euler characteristic of elliptic Calabi-Yau threefolds with $\mathbb Q$-factorial terminal singularities to dimensions of Lie algebras and certain representations, Milnor and Tyurina numbers and other birational invariants of an elliptic fibration. We give an interpretation in terms of complex deformations. We state a conjecture on the…
We prove that for a compact Kähler threefold with canonical singularities and vanishing first Chern class, the projective fibres are dense in the semiuniversal deformation space. This implies that every Kähler threefold of Kodaira dimension zero admits small projective deformations after a suitable bimeromorphic modification. As a corollary, we see that the fundamental group of any Kähler threefold is a quotient of an extension of fundamental groups of projective manifolds, up to subgroups of finite index. In the course of the proof, we show that for a canonical threefold with $c_1 = 0$, the A…
We investigate compact complex manifolds of dimension three and second Betti number $b_2(X) = 0$. We are interested in the algebraic dimension $a(X)$, which is by definition the transcendence degree of the field of meromorphic functions over the field of complex numbers. The topological Euler characteristic $χ_{\mathrm{ top}}(X) $ equals the third Chern class $c_3(X)$ by a theorem of Hopf. Our main result is that, if $X$ is a compact 3-dimensional complex manifold with $b_2(X) = 0$ and $a(X) > 0$, then $c_3(X) = χ_{\rm top}(X) = 0$, that is, we either have $b_1(X) = 0, \ b_3(X) = 2$ or $b_1(X)…
This paper has two aims. The former is to give an introduction to our earlier work on the Hodge theory of algebraic maps and more generally to some of the main themes of the theory of perverse sheaves and to some of its geometric applications. Particular emphasis is put on the topological properties of algebraic maps. The latter is to prove a motivic version of the decomposition theorem for the resolution of a threefold Y. This result allows to define a pure motive whose Betti realization is the intersection cohomology of Y. We provide a few explicit computations of perverse truncations and in…
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 describe a Lie Algebra on the moduli space of Calabi-Yau threefolds enhanced with differential forms and its relation to the Bershadsky-Cecotti-Ooguri-Vafa holomorphic anomaly equation. In particular, we describe algebraic topological string partition functions $F_g^{alg}, g\geq 1$, which encode the polynomial structure of holomorphic and non-holomorphic topological string partition functions. Our approach is based on Grothendieck's algebraic de Rham cohomology and on the algebraic Gauss-Manin connection. In this way, we recover a result of Yamaguchi-Yau and Alim-Länge in an algebraic conte…
For a general K3 surface of genus g = 2,3,...,10, we prove that the intermediate jacobians of the family of prime Fano threefolds of genus g containing S as a hyperplane section, form generically an algebraic completely integrable system.
We consider a compact Kaehler manifold whose dual Kaehler cone contains a rational interior point. The general problem we have in mind is how far the manifold is from being projective; i.e. we ask for the algebraic dimension. We prove e.g. that if the interior point is represented by an effective curve in dimension 3, then the manifold has algebraic dimension at least 2 unless the variety is a so-called simple non-Kummer 3-fold. We also investigate 3-folds containing curves with ample normal bundle. It seems likely that examples with algebraic dimension 2 really exist.
Motivated by the study of the structure of algebraic actions the additive group on affine threefolds X, we consider a special class of such varieties whose algebraic quotient morphisms X $\rightarrow$ X//Ga restrict to principal homogeneous bundles over the complement of a smooth point of the quotient. We establish basic general properties of these varieties and construct families of examples illustrating their rich geometry. In particular, we give a complete classification of a natural subclass consisting of threefolds X endowed with proper Ga-actions, whose algebraic quotient morphisms $π$ :…
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety $X$ is less than or equal to $deg(X)-codim(X)+1$. This regularity conjecture (including classification of examples on the boundary) was verified for integral curves (Castelnuovo, Gruson, Lazarsfeld and Peskine), and for smooth surfaces (Pinkham, Lazarsfeld). In this paper we prove that $reg(X) \le deg(X)-1$ for smooth threefolds $X$ …
In this paper we investigate the mathematical properties of the integrability of the symmetric six-vertex model towards the view of Algebraic Geometry. We show that the algebraic variety originated from Baxter's commuting transfer method is birationally isomorphic to a ubiquitous threefold known as Segre cubic primal. This relation makes it possible to present the most generic solution for the Yang-Baxter triple associated to this lattice model. The respective $\mathrm{R}$-matrix and Lax operators are parametrized by three independent affine spectral variables.
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.