The main purpose of this paper is twofold. We first want to analyze in details the meaningful geometric aspect of the method introduced in the previous paper [12], concerning regularity of families of irreducible, nodal "curves" on a smooth, projective threefold $X$. This analysis highlights several fascinating connections with families of other singular geometric "objects" related to $X$ and to other varieties.
Then, we generalize this method to study similar problems for families of singular divisors on ruled fourfolds suitably related to $X$.
We construct two small resolutions of singularities of the Coble fourfold (the double cover of the four-dimensional projective space branched over the Igusa quartic). We use them to show that all $S_6$-invariant three-dimensional quartics are birational to conic bundles over the quintic del Pezzo surface with the discriminant curves from the Wiman-Edge pencil. As an application, we check that $S_6$-invariant three-dimensional quartics are unirational, obtain new proofs of rationality of four special quartics among them and irrationality of the others, and describe their Weil divisor class grou…
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.
In this paper, we apply Borcea-Voisin's construction and give new examples of fourfolds containing a del Pezzo surface of degree six, which admit an elliptic fibration on a smooth threefold. Some of these fourfolds are Calabi-Yau varieties, which are relevant for the $N=1$ compactification of Type IIB string theory known as $F$-Theory. As a by-product, we provide a new example of a Calabi--Yau threefold with Hodge numbers $h^{1,1}=h^{2,1}=10$.
We strengthen a conjecture by the author. This conjecture is a Bogomolov-Gieseker type inequality involving the third Chern character of mixed tilt-stable complexes on fibred threefolds. We extend it from complexes of mixed tilt-slope zero to arbitrary relative tilt-slope. We show that this stronger conjecture implies the support property of Bridgeland stability conditions, and the existence of explicit stability conditions. We prove our conjecture for ruled threefolds, hence improving a previous result by the author.
We first prove an isomorphism between the moduli space of smooth cubic threefolds and the moduli space of hyperkaehler fourfolds of K3^{[2]}-type with a non-symplectic automorphism of order three, whose invariant lattice has rank one and is generated by a class of square 6, both these spaces are uniformized by the same 10-dimensional arithmetic complex ball quotient. We then study the degeneration of the automorphism along the loci of nodal or chordal degenerations of the cubic threefold, showing the birationality of these loci with some moduli spaces of hyperkaehler fourfolds of K3^{[2]}-type…
We construct new families of smooth Fano fourfolds with Picard rank 1, which contain cylinders, i.e., Zariski open subsets of form $Z\times A^1$, where $Z$ is a quasiprojective variety. The affine cones over such a fourfold admit effective $G_a$-actions. Similar constructions of cylindrical Fano threefolds and fourfolds were done previously in [KPZ11, KPZ14, PZ15].
We derive a formula for the unramified Brauer group of a general class of rationally connected fourfolds birational to conic bundles over smooth threefolds. We produce new examples of conic bundles over P^3 where this formula applies and which have nontrivial unramified Brauer group. The construction uses the theory of contact surfaces and, at least implicitly, matrix factorizations and symmetric arithmetic Cohen--Macaulay sheaves, as well as the geometry of special arrangements of rational curves in P^2. We also prove the existence of universally CH_0-trivial resolutions for the general class…
We construct 4 di erent families of smooth Fano fourfolds with Picard rank 1, which contain cylinders, i.e., Zariski open subsets of the form Z x A1, where Z is a quasiprojective variety. The affi ne cones over such a fourfold admit eff ective Ga-actions. Similar constructions of cylindrical Fano threefolds were done previously in our papers jointly with Takashi Kishimoto.
We describe pretty examples of derived equivalences and autoequivalences of Calabi-Yau threefolds arising from pencils of cubic fourfolds. The cubic fourfolds are chosen to be special, so they have an associated K3 surface. Thus a pencil gives rise to two different Calabi-Yau threefolds: the associated pencil of K3 surfaces, and the baselocus of the original pencil - the intersection of two cubic fourfolds. They both have crepant resolutions which are derived equivalent.
We prove that (not necessarily rigid) Calabi-Yau threefolds defined over the rationals which contain sufficiently many elliptic ruled surfcaes are modular (under mild restrictions on the primes of bad reduction). Our proof uses the results of Dieulefait and Manoharmayum who proved modularity of rigid Calabi-Yau threefolds.
In this paper, we prove a general principle of lifting an automorphism from positive characteristic to zero characteristic. We based on the principle to prove the automorphism group of Fano variety of cubic threefold (fourfold) acts on its cohomology group faithfully. We also prove the same result for a singular cubic threefold (fourfold) with one ordinary double singularity. As an application, we classify the automorphism groups of cubic fourfolds with small middle Picard number over complex numbers.
In this paper, we explicitly construct the smooth compact base threefold for the elliptic Calabi-Yau fourfold with the largest known $h^{1,1}=303\,148$. It is generated by blowing up a smooth toric "seed" base threefold with $(E_8,E_8,E_8)$ collisions. The 4d F-theory compactification model over it has the largest geometric gauge group, $E_8^{2\,561}\times F_4^{7\,576}\times G_2^{20\,168}\times SU(2)^{30\,200}$, and the largest number of axions, $181\,820$, in the known 4d $\mathcal{N}=1$ supergravity landscape. We also prove that there are at least $1100^{15\,048}\approx 7.5\times 10^{45\,766…
We study (2,2) divisors in $P^2 \times P^2$ giving rise to pairs of non-isomorphic, derived equivalent and L-equivalent K3 surfaces of degree 2. In particular, we confirm the existence of such fourfolds as predicted by Kuznetsov and Shinder in \cite{KS}.
In this paper we study properties of the locus of second type lines of a general cubic threefold and fourfold. By analysing the geometry of the Fano scheme of lines of the Fermat cubic fourfold and in particular giving an explicit description of the locus of second type lines, we deduce that the Voisin map is birational over the second type locus. For a general cubic threefold, by studying properties of the second type locus again, we compute that various natural geometric monodromy groups are the full symmetric group.
We develop a vertex formalism for topological string amplitudes on ruled surfaces with an arbitrary number of reducible fibers embedded in a Calabi-Yau threefold. Our construction is based on large N duality and localization with respect to a degenerate torus action. We also discuss potential generalizations of our formalism to a broader class of Calabi-Yau threefolds using the same underlying principles.
We explicitly find lower bounds on the volume of threefolds and fourfolds of general type in order to have nonvanishing of pluricanonical systems and birationality of pluricanonical maps. In the case of threefolds of large volume, we also give necessary and sufficient conditions for the fourth canonical map to be birational.
The existence is proved of two new families of locally Cohen-Macaulay sextic threefolds in $\mathbb{P}^5$, which are not quadratically normal. These threefolds arise naturally in the realm of first order congruences of lines as focal loci and in the study of the completely exceptional Monge-Ampère equations. One of these families comes from a smooth congruence of multidegree $(1,3,3)$ which is a smooth Fano fourfold of index two and genus 9.
We show that the generic fiber of a family of smooth $\mathbb{A}^{1}$-ruled affine surfaces always carries an $\mathbb{A}^{1}$-fibration, possibly after a finite extension of the base. In the particular case where the general fibers of the family are irrational surfaces, we establish that up to shrinking the base, such a family actually factors through an $\mathbb{A}^{1}$-fibration over a certain scheme, induced by the MRC-fibration of a relative smooth projective model of the family. For affine threefolds fibered by irrational $\mathbb{A}^{1}$-ruled surfaces, this induced $\mathbb{A}^{1}$-fib…
We study log canonical thresholds on quartic threefolds, quintic fourfolds, and double spaces. As an application, we show that they have a Kaehler-Einstein metric if they are general.
Let the threefold X be a general smooth conic bundle over the projective plane P(2), and let (J(X), Theta) be the intermediate jacobian of X. In this paper we prove the existence of two natural families C(+) and C(-) of curves on X, such that the Abel-Jacobi map F sends one of these families onto a copy of the theta divisor (Theta), and the other -- onto the jacobian J(X). The general curve C of any of these two families is a section of the conic bundle projection, and our approach relates such C to a maximal subbundle of a rank 2 vector bundle E(C) on C, or -- to a minimal section of the rule…
We systematically analyze a broad class of dual heterotic and F-theory models that give four-dimensional supergravity theories, and compare the geometric constraints on the two sides of the duality. Specifically, we give a complete classification of models where the heterotic theory is compactified on a smooth Calabi-Yau threefold that is elliptically fibered with a single section and carries smooth irreducible vector bundles, and the dual F-theory model has a corresponding threefold base that has the form of a P^1 bundle. We formulate simple conditions for the geometry on the F-theory side to…
