We give a criterion for a continuous family of curves on a nodal $K$-trivial threefold $X_0$ to contribute geometrically rigid curves to a general smoothing of $X_0$. As an application, we prove the existence of geometrically rigid curves of arbitrary degree and explicitly bounded genus on general complete intersection Calabi-Yau threefolds.
We show that the Makar-Limanov invariant of the cylinder over the Koras-Russell cubic affine threefold is trivial. This means that regular functions which are invariant under all algebraic actions of the additive group on this variety are constants.
This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.
On a threefold with trivial canonical bundle, Kuranishi theory gives an algebro-geometry construction of the (local analytic) Hilbert scheme of curves at a smooth holomorphic curve as a gradient scheme, that is, the zero-scheme of the exterior derivative of a holomorphic function on a (finite-dimensional) polydisk. (The corresponding fact in an infinite dimensional setting was long ago discovered by physicists.) An analogous algebro-geometric construction for the holomorphic Chern-Simons functional is presented giving the local analytic moduli scheme of a vector bundle. An analogous gradient s…
In this paper, we prove that the group $\mathrm{Aut}_\mathbb{Q}(X)$ of numerically trivial automorphisms are uniformly bounded for smooth projective threefolds $X$ of general type which either satisfy $q(X)\geq 3$ or have a Gorenstein minimal model. If $X$ is furthermore of maximal Albanese dimension, then $|\mathrm{Aut}_\mathbb{Q}(X)|\leq 4$, and equality can be achieved by an unbounded family of threefolds previously constructed by the third author. Along the way we prove a Noether type inequality for log canonical pairs of general type with the coefficients of the boundary divisor from a gi…
We prove the following statement, predicted by Clemens' conjecture: A generic quintic threefold contains only finitely many smooth rational curves of degree 12.
Using the geometry of an almost del Pezzo threefold, we show that the moduli space of genus $g$ one-pointed ineffective spin hyperelliptic curves is rational for every $g\geq 2$.
We describe the Hilbert schemes parametrizing curves on a cubic threefold of degree at most 5. In a forthcoming paper, we use this description to give a new proof and extension of a theorem of Iliev, Markushevich and Tikhimirov.
We give some necessary conditions for a smooth irreducible curve $C\subset \mathbb{P}^4$ to be isolated in a smooth quintic threefold, and also find a lower bound for $h^1(\mathcal{N}_{C/{\mathbb{P}^4}})$. Combining these with beautiful results in Castelnuovo theory, we prove certain non-existence results on smooth curves in smooth quintic threefolds. As an application, we can prove Knutsen's list of examples of smooth isolated curves in general quintic threefolds is complete up to degree 9.
We prove the irreducibility of moduli spaces of rational curves on a general del Pezzo threefold of Picard rank $1$ and degree $1$. As corollaries, we confirm Geometric Manin's conjecture and enumerativity of certain Gromov-Witten invariants for these threefolds.
Building on results of Clemens and Kley, we find criteria for a continuous family of curves in a nodal $K$-trivial threefold $Y_0$ to deform to a scheme of finitely many smooth isolated curves in a general deformation $Y_t$ of $Y_0$. As an application, we show the existence of smooth isolated curves of bounded genera and unbounded degrees in Calabi-Yau complete intersections threefolds.
We study locally Cohen-Macaulay curves of low degree in the Segre threefold with Picard number three and investigate the irreducible and connected components respectively of the Hilbert scheme of them. We also discuss the irreducibility of some moduli spaces of purely one-dimensional stable sheaves and apply the similar argument to the Segre threefold with Picard number two.
In this paper, the numbers of rational curves on general complete intersection Calabi-Yau threefolds in complex projective spaces are computed up to degree six. The results are all in agreement with the predictions made from mirror symmetry.
In this paper, we describe the simple isotropic decompositions of the curve sections of the known Enriques-Fano threefolds. The simple isotropic decompositions allow us to identify the irreducible components of the moduli space of the polarized Enriques surfaces. Thus, our analysis will enable us to show to which families of polarized Enriques surfaces the hyperplane sections of the Enriques-Fano threefolds belong.
An extremal curve germ is the analytic germ of a threefold with terminal singularities along a reduced complete curve admitting a contraction whose fibers have dimension at most one. The aim of the present paper is to review the results concerning those contractions whose central fiber is irreducible and contains only one non-Gorenstein point.
Recently Knutsen found criteria for the curves in a complete linear system $|\mathcal{L}|$ on a smooth surface $X$ in a nodal K-trivial threefold $Y_0$ to deform to a scheme of finitely many smooth isolated curves in a general deformation $Y_t$ of $Y_0$. In this article we develop new methods to check whether the set of nodes of $Y_0$ imposes independent conditions on $|\mathcal{L}|$. As an application, we find new smooth isolated curves in complete intersection Calabi-Yau threefolds.
For a minimal $3$-fold $X$ with $K_X\equiv 0$ and a nef and big Weil divisor $L$ on $X$, we investigate the birational geometry inspired by $L$. We prove that $|mL|$ and $|K_X+mL|$ give birational maps for all $m\geq 17$. The result remains true under weaker assumption that $L$ is big and has no stable base components.
We study the moduli spaces of rational curves on prime Fano threefolds of index 1. For general threefolds of most genera we compute the dimension and the number of irreducible components of these moduli spaces. Our results confirm Geometric Manin's Conjecture in these examples and show the enumerativity of certain Gromov-Witten invariants.
In this short note we show that the closed cone of moving curves of a smooth Fano-threefold is polyhedral. The proof relies on a famous result of Bucksom, Demailly, Paun and Peternell which says that the strongly movable cone is dual to the cone of pseudoeffective divisors. Finally, we relate the extremal rays of the cone of moving curves on a threefold with extremal rays in the cone of strongly movable curves on a birational model obtained by a Mori contraction.
We show that a general prime Fano threefold X of genus 8 can be reconstructed from the pair $(Γ,L)$, where $Γ$ is its Fano curve of lines and $L=O_Γ(1)$ is the theta-characteristic which gives a natural embedding $Γ\subset \matbb{P}^5$.
We give a class of examples of reducible (d-semistable) threefolds of CY type with two irreducible components for which (it is reasonably easy to prove that) no family of admissible genus zero stable maps sweeps out a surface, yet such stable maps occur in infinitely many degrees.
Let X be a (possibly nodal) K-trivial threefold moving in a fixed ambient space P. Suppose X contains a continuous family of curves, all of whose members satisfy certain unobstructedness conditions in P. A formula is given for computing the corresponding virtual number of curves, that is, the number of curves on a generic deformation of X "contributed by" the continuous family on X.
We prove several classification results for the components of the moduli space of rational curves on a smooth Fano threefold. In particular, we prove a conjecture of Batyrev on the growth of the number of components as the degree increases. The key to our approach is Geometric Manin's Conjecture which predicts the number of components parameterizing free curves.
We study threefolds fibred by Kummer surfaces associated to products of elliptic curves, that arise as resolved quotients of threefolds fibred by certain lattice polarized K3 surfaces under a fibrewise Nikulin involution. We present a general construction for such surfaces, before specializing our results to study Calabi-Yau threefolds arising as resolved quotients of threefolds fibred by mirror quartic K3 surfaces. Finally, we give some geometric properties of the Calabi-Yau threefolds that we have constructed, including expressions for Hodge numbers.
We prove the "strong form" of the Clemens conjecture in degree 10. Namely, on a general quintic threefold F in P^4, there are only finitely many smooth rational curves of degree 10, and each curve is embedded in F with normal bundle O(-1)^2. Moreover, in degree 10, there are no singular, reduced, and irreducible rational curves, nor any reduced, reducible, and connected curves with rational components in F.
A threefold isogenous to a product of curves $X$ is a quotient of a product of three compact Riemann surfaces of genus at least two by the free action of a finite group. In this paper we study these threefolds under the assumption that the group acts diagonally on the product. We show that the classification of these threefolds is a finite problem, present an algorithm to classify them for a fixed value of $χ(\mathcal O_X)$ and explain a method to determine their Hodge numbers. Running an implementation of the algorithm we achieve the full classification of threefolds isogenous to a product of…
We show that if X is a smooth rationally connected threefold and C is a smooth projective curve then C can be embedded in X. Furthermore, a version of this property characterises rationally connected varieties of dimension at least 3. We give some details about the toric case.
We study the set of rational curves of a certain topological type in general members of certain families of Calabi-Yau threefolds. For some families we investigate to what extent it is possible to conclude that this set is finite. For other families we investigate whether this set contains at least one point representing an isolated rational curve.
We prove that for a smooth projective irregular $3$-fold $X$ with $K_X\equiv 0$ and a nef and big divisor $L$ on $X$, $|mL+P|$ gives a birational map for all $m\geq 3$ and all $P\in \text{Pic}^0(X)$. We also use the same method to deal with $4$-folds, and prove that for a smooth projective irregular $4$-fold $X$ with $K_X\equiv 0$ and an ample divisor $L$ on $X$, $|mL+P|$ gives a birational map for all $m\geq 5$ and all $P\in \text{Pic}^0(X)$. These results are also optimal.
We prove that any arithmetically Gorenstein curve on a smooth, general hypersurface $X\subset \bbP^{4}$ of degree at least 6, is a complete intersection. This gives a characterisation of complete intersection curves on general type hypersurfaces in $\bbP^4$. We also verify that certain 1-cycles on a general quintic hypersurface are non-trivial elements of the Griffiths group.
In this paper we derive a list of all the possible indecomposable normalized rank--two vector bundles without intermediate cohomology on the prime Fano threefolds and on the complete intersection Calabi Yau threefolds, say $V$, of Picard number $ρ=1$. For any such bundle $\E$, if it exists, we find the projective invariants of the curves $C \subset V$ which are the zero-locus of general global sections of $\E$. In turn, a curve $C \subset V$ with such invariants is a section of a bundle $\E$ from our lists. This way we reduce the problem for existence of such bundles on $V$ to the problem for …
Birational Calabi-Yau threefolds in the same deformation family provide a `weak' counterexample to the global Torelli problem, as long as they are not isomorphic. In this paper, it is shown that deformations of certain desingularized weighted complete intersections provide examples of families containing birational varieties. The constructed examples are shown to be non-isomorphic using a specialization argument.
Let $X_0$ be a generic quintic threefold in projective space $\mathbf P^4$ over complex numbers and $C_0$ be an irreducible rational curve on $X_0$. Let $$c_0: \mathbf P^1\to C_0\subset X_0$$ be its normalization. In this paper, we show (1) $c_0$ must be an immersion, i.e. the differential $(c_0)_\ast: T_{t}\mathbf P^1 \to T_{c_0(t)} X_0$ is injective at each $t\in \mathbf P^1$, (2) the normal bundle of $c_0$ satisfies $$H^1(N_{c_0/X_0})=0.$$
According to Mukai, any prime Fano threefold X of genus 7 is a linear section of the spinor tenfold in the projectivized half-spinor space of Spin(10). It is proven that the moduli space of stable rank-2 vector bundles with Chern classes c_1=1,c_2=5 on a generic X is isomorphic to the curve of genus 7 obtained by taking an orthogonal linear section of the spinor tenfold. This is an inverse of Mukai's result on the isomorphism of a non-abelian Brill--Noether locus on a curve of genus 7 to a Fano threefold of genus 7. An explicit geometric construction of both isomorphisms and a similar result f…
This article constructs a smooth weak Fano threefold of Picard number two with small anti-canonical morphism that arises as a blowup of a smooth curve of genus 5 and degree 8 in $\mathbb{P}^3$. While the existence of this weak Fano was known as a numerical possibility in \cite{CM13} and constructed in BL12, this paper removes the dependencies on the results in \cite{JPR11} needed in the construction of BL12 and constructs the link in the style of ACM17.
The present paper deals with lines contained in a smooth complex cubic threefold. It is well-known that the set of lines of the second type on a cubic threefold is a curve on its Fano surface. Here we give a description of the singularities of this curve.
We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $ν(D)\neq 1$, then $D$ is ample; we also show that if there exists a nef non-ample divisor $D$ with $D\not\equiv 0$, then $X$ contains a rational curve when its topological Euler characteristic is not $0$.
We show the existence of smooth isolated curves of different degrees and genera in Calabi-Yau threefolds that are complete intersections in homogeneous spaces. Along the way, we classify all degrees and genera of smooth curves on BN general K3 surfaces of low genera. By results of Mukai, these are the K3 surfaces that can be realised as complete intersections in certain homogeneous spaces.
(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.
We characterise smooth curves in P^3 whose blow-up produces a threefold with anticanonical divisor big and nef. These are curves C of degree d and genus g lying on a smooth quartic, such that (i) $4d-30 \le g\le 14$ or $(g,d) = (19,12)$, (ii) there is no 5-secant line, 9-secant conic, nor 13-secant twisted cubic to C. This generalises the classical similar situation for the blow-up of points in P^2. We describe then Sarkisov links constructed from these blow-ups, and are able to prove the existence of Sarkisov links which were previously only known as numerical possibilities.
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}.
We study sections of a Calabi-Yau threefold fibered over a curve by K3 surfaces. We show that there exist infinitely many isolated sections on certain K3 fibered Calabi-Yau threefolds and the subgroup of the Néron-Severi group generated by these sections is not finitely generated. This also gives examples of K3 surfaces over the function field F of a complex curve with Zariski dense F-rational points, whose geometric model is Calabi-Yau.
Maschke's Calabi-Yau threefold is the double cover of projective three space branched along Maschke's octic surface. This surface is defined by the lowest degree invariant of a certain finite group acting on a four dimensional vector space. Using this group, we show that the middle Betti cohomology group of the threefold decomposes into the direct sum of 150 two-dimensional Hodge substructures. We exhibit one dimensional families of rational curves on the threefold and verify that the associated Abel-Jacobi map is non-trivial. By counting the number of points over finite fields, we determine t…
A V_{12} Fano threefold is a smooth Fano threefold X of index 1 with Pic X = Z and (-K_X)^3=12. We show that the bounded derived category of coherent sheaves on any V_{12} threefold X admits a semiorthogonal decomposition consisting of two exceptional bundles and of the derived category of a curve of genus 7. As an application we show that the Fano surface of X (the surface parameterizing conics on X) is canonically isomorphic to the symmetric square of the associated genus 7 curve.
A complex contact threefold is a threefold with a two-dimensional non-integrable holomorphic distribution. A contact curve on a contact threefold is an integrable curve of the distribution. This work was inspired by two papers of Bryant, in which he used complex contact geometry to study superminimal surfaces in four-sphere and to investigate exotic holonomies. The present paper is devoted to systematical studies of contact threefold and contact curves on them. We generalize a result of Bryant and answer a question of his.
Let $X_0$ be a generic quintic threefold in projective space $\mathbf P^4$ over the complex numbers. For a fixed natural number $d$, let $R_d(X_0)$ be the open sub-scheme of the Hilbert scheme, parameterizing irreducible rational curves of degree $d$ on $X_0$. In this paper, we show that (1) $R_d(X_0)$ is smooth and of expected dimension, \par (2) Combining the Calabi-Yau condition on $X_0$, we further show that it consists of immersed rational curves. (3) Parts (1) and (2) imply a statement of Clemens' conjecture: if $C_0\in R_d(X_0)$ and $c_0:\mathbf P^1\to C_0$ is the normalization, the \pa…