It is well-known that a nonsingular minimal cubic surface is birationally rigid; the group of its birational selfmaps is generated by biregular selfmaps and birational involutions such that all relations between the latter are implied by standard relations between reflections on an elliptic curve. It is also known that a factorial nodal quartic threefold is birationally rigid and its group of birational selfmaps is generated by biregular ones and certain birational involutions. We prove that all relations between these involutions are implied by standard relations on elliptic curves, complete the proof of birational rigidity over a non-closed field and describe the situations when some of the birational involutions in question become regular (and, in particular, complete the proof of the initial theorem on birational rigidity, since some details were not established in the original paper of M.Mella).
In this paper we classify nodal rational non-$\mathbb{Q}$-factorial del Pezzo threefolds of degree 2 which can be $G$-birationally rigid for some subgroup $G\subset \operatorname{Aut}(X)$.
In this paper we give first examples of $\mathbb{Q}$-Fano threefolds whose birational Mori fiber structures consist of exactly three $\mathbb{Q}$-Fano threefolds. These examples are constructed as weighted hypersurfaces in a specific weighted projective space. We also observe that the number of birational Mori fiber structures does not behave upper semi-continuously in a family of $\mathbb{Q}$-Fano threefolds.
We argue that the existence of genus one fibrations with multisections of high degree on certain Calabi-Yau threefolds implies the existence of pairs of such varieties that are not birational, but are derived equivalent. It also (likely) implies the existence of non-birational counterexamples to the Torelli problem for Calabi-Yau threefolds.
We shall give an explicit pair of birational projective Calabi--Yau threefolds which are rigid, non-homeomorphic, but are connected by projective flat deformation over some connected base scheme.
We compute global log canonical thresholds, or equivalently alpha invariants, of birationally rigid orbifold Fano threefolds embedded in weighted projective spaces as codimension two or three. As an important application, we prove that most of them are weakly exceptional, $K$-stable and admit Kähler--Einstien metric.
We study the complexity of birational self-maps of a projective threefold $X$ by looking at the birational type of surfaces contracted. These surfaces are birational to the product of the projective line with a smooth projective curve. We prove that the genus of the curves occuring is unbounded if and only if $X$ is birational to a conic bundle or a fibration into cubic surfaces. Similarly, we prove that the gonality of the curves is unbounded if and only if $X$ is birational to a conic bundle.
In this article, we study birational transformations belonging to Galois points for certain plane quartic curve. In fact, we see that they can be extended to Cremona transformations. In particular, we determine the conjugacy class of them. We have that they are all conjugate to linear transformations.
We construct families of birational involutions on $\mathbb{P}^3$ or a smooth cubic threefold which do not fit into a non-trivial elementary relation of Sarkisov links. As a consequence, we construct new homomorphisms from their group of birational transformations, effectively re-proving their non-simplicity. We also prove that these groups admit a free product structure. Finally, we produce automorphisms of these groups that are not generated by inner and field automorphisms.
The paper explores the birational geometry of terminal quartic 3-folds. In doing this I develop a new approach to study maximal singularities with positive dimensional centers. This allows to determine the pliability of a Q-factorial quartic with ordinary double points, and it shows the importance of Q-factoriality in the context of birational geometry of uniruled 3-folds
This is the unabridged web version of the paper that will be published on the American Journal of Mathematics. In this paper, we study the birational geometry of certain examples of mildly singular quartic 3-folds. A quartic 3-fold is an example of a Fano variety, that is, a variety $X$ with ample anticanonical sheaf $Ø_X(-K_X)$. From the point of view of birational geometry they basically fall within two classes: either $X$ is ``close to being rational'', and then it has very many biregularly distinct birational models as a Fano 3-fold, or, at the other extreme, $X$ has a unique model and it …
We construct a determinantal family of quarto-quartic transformations of a complex projective space of dimension $3$ from trigonal curves of degree $8$ and genus $5$. Moreover we show that the variety of $(4,4)$-birational maps of $\mathbb{P}_3(\mathbb{C})$ has at least four irreducible components and describe three of them.
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 characterise smooth curves in a smooth cubic threefold whose blow-ups produce a weak-Fano threefold. These are curves $C$ of genus $g$ and degree $d$, such that (i) $2(d-5) \le g$ and $d\le 6$; (ii) $C$ does not admit a 3-secant line in the cubic threefold. Among the list of ten possible such types $(g,d)$, two were previously left as open numerical possibilities, namely $(g,d) = (0,5)$ and $(2,6)$. Using the Sarkisov link associated with a curve of type $(2,6)$, we are able to produce the first example of a pseudo-automorphism with dynamical degree greater than $1$ on a smooth threefold wi…
Bernardi and Tirabassi show the existence of full strong exceptional collections consisting of line bundles on smooth toric Fano $3$-folds under assuming Bondal's conjecture, which states that the Frobenius push-forward of the structure sheaf $\mc O_X$ generates the derived category $D^b(X)$ for smooth projective toric varieties $X$. In this article, we show Bondal's conjecture for smooth toric Fano $3$-folds and also improve their result, using birational geometry.
We find generators of the group of birational automorphisms of the Hessian surface of a general cubic surface. Its nonsingular minimal model is a K3 surface with the Picard lattice of rank 16. The latter embeds naturally in the even unimodular lattice $II^{1,25}$ of rank 26 and signature $(1,25)$ as the orthogonal complement of a root sublattice of rank 10. Our generators are related to reflections with respect to some Leech roots. A similar observation was made first in the case of quartic Kummer surfaces in the work of S. Kond$\bar {\roman o}$. We shall explain how our generators are related…
We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue characteristic p greater than five. In large enough residue characteristics, we prove a Grauert Riemenschneider theorem over threefold log canonical singularities with standard coefficients. These vanishing theorems can also be used to study the depth of log canonical singularities at non log canonical centers, as well as the singularities of the log canonical centers…
Two birational subvarieties of P^n are called Cremona equivalent if there is a Cremona modification of P^n mapping one to the other. If the codimension of the varieties is at least 2 then they are always Cremona Equivalent. For divisors the question is much more subtle and a general answer is unknown. In this paper I study the case of rational quartic surfaces and prove that they are all Cremona equivalent to a plane.
For every smooth quartic threefold, we classify all pencils on it whose general element is an irreducible surface birational to a smooth surface of Kodaira dimension zero.
We prove that a nodal quartic threefold $X$ containing no planes is $Q$-factorial provided that it has not more than 12 singular points, with the exception of a quartic with exactly 12 singularities containing a quadric surface. We give some geometrical constructions related to the latter quartic.
Three-dimensional del Pezzo varieties of degree 2 are double covers of projective space $\mathbb{P}^{3}$ branced in a quadric. In this paper we prove that if a del Pezzo variety of degree 2 has exactly 15 nodes then the corresponding quadric is a hyperplane section of the Igusa quartic or, equivalently, all such del Pezzo varieties are members of one particular linear system on the Coble fourfold. Their automorphism groups are induced from the automorphism group of Coble fourfold. Also we classify all $G$-birationally rigid varieties of such type.
In this paper we classify all potentially G-birationally rigid del Pezzo threefolds of degree 4 and their automorphism groups and prove the G-birational rigidity of one of them
In this paper we study 14 families among 85 families of anticanonically embedded Q-Fano threefolds weighted complete intersections of codimension 2 and show that every quasismooth member is birationally birigid, that is, it is birational to another Q-Fano threefold but not birational to any other Mori fiber space.
The quartic hypersurfaces in P^4 invariant under the standard representation of S_6 form a linear pencil. We prove that a general member of this pencil is not rational.
The Grassmannian Gr(2,5) is embedded in $\Bbb{P}^9$ via the Plücker embedding. The intersection of two general PGL(10)-translates of Gr(2,5) is a Calabi-Yau 3-fold X, and the intersection of the projective duals of the two translates is another Calabi-Yau 3-fold Y, deformation equivalent to X. Applying results of Kuznetsov and Jiang-Leung-Xie shows that X and Y are derived equivalent, which by a result of Addington implies that their third cohomology groups are isomorphic as polarised Hodge structures. We show that X and Y provide counterexamples to a certain "birational" Torelli statement for…
We study the Hilbert scheme of Palatini threefolds X in P^5. We prove that such a scheme has an irreducible component containing X which is birational to the Grassmannian G(3,14) and we determine the exceptional locus of the birational map.
We prove that the quartic threefolds defined by $$ \sum_{i=0}^{5}x_i=\sum_{i=0}^{5}x_i^4-t\left(\sum_{i=0}^{5}x_i^2\right)^2=0 $$ in $\mathbb{P}^5$ are rational for $t=\frac{1}{6}$ and $t=\frac{7}{10}$.
We study certain moduli spaces of stable vector bundles of rank two on cubic and quartic threefolds. In many cases under consideration, it turns out that the moduli space is complete and irreducible and a general member has vanishing intermediate cohomology. In one case, all except one component of the moduli space has such vector bundles.
We construct a gauged linear sigma model with two non-birational Kälher phases which we prove to be derived equivalent, $\mathbb{L}$-equivalent, deformation equivalent and Hodge equivalent. This provides a new counterexample to the birational Torelli problem which admits a simple GLSM interpretation.
We study threefolds fibred by mirror quartic K3 surfaces. We begin by showing that any family of such K3 surfaces is completely determined by a map from the base of the family to the moduli space of mirror quartic K3 surfaces. This is then used to give a complete explicit description of all Calabi-Yau threefolds fibred by mirror quartic K3 surfaces. We conclude by studying the properties of such Calabi-Yau threefolds, including their Hodge numbers and deformation theory.
The $\mathbb{Q}$-factoriality of a nodal quartic 3-fold implies its non-rationality. We prove that a nodal quartic 3-fold with at most 8 nodes is $\mathbb{Q}$-factorial, and we show that a nodal quartic 3-fold with 9 nodes is not $\mathbb{Q}$-factorial if and only if it contains a plane. However, there are non-rational non-$\mathbb{Q}$-factorial nodal quartic 3-folds in $\mathbb{P}^4$. In particular, we prove the non-rationality of a general non-$\mathbb{Q}$-factorial nodal quartic 3-fold that contains either a plane or a smooth del Pezzo surface of degree 4.
Let $V$ be a complex nonsingular projective 3-fold of general type. We prove $P_{12}(V)>0$ and $P_{24}(V)>1$ (which answers an open problem of J. Kollar and S. Mori). We also prove that the canonical volume has an universal lower bound $\text{Vol}(V) \geq 1/2660$ and that the pluri-canonical map $Φ_m$ is birational onto its image for all $m\geq 77$. As an application of our method, we prove Fletcher's conjecture on weighted hyper-surface 3-folds with terminal quotient singularities. Another featured result is the optimal lower bound $\text{Vol}(V)\geq {1/420}$ among all those 3-folds $V$ with …
We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
We study certain pencils of del Pezzo surfaces generated by a smooth del Pezzo surface S of degree less or equal to 3 anti-canonically embedded into a weighted projective space P and an appropriate multiple of a hyperplane H. Our main observation is that every minimal model program relative to the morphism lifting such pencil on a suitable resolution of its indeterminacies preserves the open subset P H â A^3. As an application, we obtain projective completions of A^3 into del Pezzo fibrations over P^1 of every degree less or equal to 4. We also obtain completions of A^3 into Mori conic bundles…
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.
The Abel-Jacobi maps of the families of elliptic quintics and rational quartics lying on a smooth cubic threefold are studied. It is proved that their generic fiber is the 5-dimensional projective space for quintics, and a smooth 3-dimensional variety birational to the cubic itself for quartics. The paper is a continuation of the recent work of Markushevich-Tikhomirov, who showed that the first Abel-Jacobi map factors through the moduli component of stable rank 2 vector bundles on the cubic threefold with Chern numbers $c_1=0, c_2=2$ obtained by Serre's construction from elliptic quintics, and…
We explain a classical construction of a del Pezzo surface of degree d = 4 or 5 as a smooth order two congruence of lines in 3-space whose focal surface is a quartic surface $X_{20-d}$ with 20-d ordinary double points. We also show that $X_{15}$ can be realized as a hyperplane section of the Castelnuovo-Richmond-Igusa quartic hypersurface. This leads to the proof of rationality of the moduli space of 15-nodal quartic surfaces. We discuss some other birational models of $X_{15}$: quartic symmetroids, 5-nodal quartic surfaces, 10-nodal sextic surfaces in $P^4$ and nonsingular surfaces of degree …
It is known that the moduli space of plane quartic curves is birational to an arithmetic quotient of a 6-dimensional complex ball. In this paper, we shall show that there exists a 15-dimensional space of meromorphic automorphic forms on the complex ball which gives a birational embedding of the moduli space of plane quartics with level 2 structure into 14-dimensional projective space. This map coincides with the one given by Coble by using Gopel invariants.
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 study the geometry and the period map of nodal complex prime Fano threefolds with index 1 and degree 10. We show that these threefolds are birationally isomorphic to Verra solids (hypersurfaces of bidegree $(2,2)$ in $ ¶^2\times ¶^2$). Using Verra's results on the period map for these solids and on the Prym map for double étale covers of plane sextic curves, we prove that the fiber of the period map for our nodal threefolds is birationally the union of two surfaces, for which we give several descriptions. This result is the analog in the nodal case of a result obtained in arXiv:0812.3670 fo…
This paper contains some applications of Fourier-Mukai techniques to the birational geometry of threefolds. In particular, we prove that birational Calabi-Yau threefolds have equivalent derived categories. To do this we show how flops arise naturally as moduli spaces of perverse coherent sheaves.
This is a continuation of [Og12], concerning automorphisms of smooth quartic K3 surfaces and birational automorphisms of ambient projective three spaces.
We show that the K-moduli spaces of log Fano pairs $(\mathbb{P}^3, cS)$ where $S$ is a quartic surface interpolate between the GIT moduli space of quartic surfaces and the Baily-Borel compactification of moduli of quartic K3 surfaces as $c$ varies in the interval $(0,1)$. We completely describe the wall crossings of these K-moduli spaces. As the main application, we verify Laza-O'Grady's prediction on the Hassett-Keel-Looijenga program for quartic K3 surfaces. We also obtain the K-moduli compactification of quartic double solids, and classify all Gorenstein canonical Fano degenerations of $\ma…
