Some New Rational Gushel Fourfolds

We provide explicit equations and parameterizations of some new rational Gushel–Mukai fourfolds of special type.


Introduction
The problem of rationality of Fano fourfolds, with particular regard to the cases of cubic fourfolds and Gushel-Mukai fourfolds, dates back to classical works; see e.g. [10,23,26] (see also Table 2 Gushel-Mukai fourfolds. This is achieved by determining their equations through calculations with Macaulay2 [13], using mainly the packages SpecialFanoFourfolds [34] and Cremona [31]. In particular, these packages provide the tools needed to verify the claims in the paper. Recall that by a result of Mukai [24] (extending to all dimensions a result of Gushel proved in [14] only in dimension three), a complex smooth prime Fano fourfold X of degree 10 and genus 6, also known as Gushel-Mukai fourfold, can be embedded in P 8 as a quadratic section of a 5-dimensional linear section Y ⊂ P 8 of the cone C(G(1, 4)) ⊂ P 10 over the Grassmannian G(1, 4) ⊂ P 9 of lines in P 4 . There are two cases: • either Y does not contain the vertex of the cone C(G (1,4)), in which case Y is isomorphic to a hyperplane section of G(1, 4), and we have an embedding γ X : X → G(1, 4); • or otherwise Y is isomorphic to a cone over a 4-dimensional linear section Y 0 of G(1, 4), and we have a double cover γ X : X → Y 0 ⊂ G (1,4).
The fourfolds in the second case are called Gushel fourfolds, and they are specializations of fourfolds in the first case, called Mukai (or ordinary) fourfolds.
In both cases, the map γ X from X to G(1, 4) is called the Gushel map.

MJOM
By results proved in [3] (see also [4][5][6]), Fano fourfolds as above are parameterized (up to isomorphism) by the points of a coarse moduli space M 4 of dimension 24, where the Gushel fourfolds correspond to the points of a closed irreducible subvariety M G 4 ⊂ M 4 of codimension 2. A fourfold [X] ∈ M 4 is said to be special (or Hodge-special ) if it contains a surface whose cohomology class does not lie in γ * X (H 4 (G(1, 4), Z)); equivalently, [X] is special if and only if rk(H 2,2 (X) ∩ H 4 (X, Z)) ≥ 3. A fourfold which corresponds to a very general point in M 4 or in M G 4 is not special. More precisely, special fourfolds are parametrized by an infinite countable union of hypersurfaces d (M 4 ) d ⊂ M 4 , labelled by the integers d ≥ 10 with d ≡ 0, 2, or 4 (mod 8). If d ≡ 0 (mod 4) then the hypersurface ( When a fourfold [X] corresponds to a very general point of a component of (M 4 ) d , then the lattice H 2,2 (X) ∩ H 4 (X, Z) has rank 3 and discriminant d.
Suppose we have a fourfold [X] ∈ M 4 containing an irreducible surface S of degree deg(S) and (sectional) genus g(S), which has smooth normalization and only a finite number δ of nodes as singularities. Let aσ 3,1 + bσ 2,2 be the class of γ X * (S) in the Chow ring of G(1, 4). The double point formula (see [12,Theorem 9.3] and also [3,Section 7]) gives the value of the self-intersection of S in X: The rationality for fourfolds in (M 4 ) 10 is easy to show (see [3,Proposition 7.3], [29,Section 4.4], and also [19, Example 1.1]), and moreover the associated K3 surface of degree 10 appears naturally in the construction of the birational map P 4 X. The rationality for the fourfolds in (M 4 ) 10 is classical: it is achieved by Roth in [26] as a consequence of a result of Enriques [9,30]; see also [3,Proposition 7.5]. In this last case, however, the role of the associated K3 surface is not so clear. In the recent paper [19], it is showed that a general fourfold in (M 4 ) 20 (and hence every by the main result in [20]) is rational. Again, the associated K3 surface of degree 20 appears in the explicit construction leading to rationality. In conclusion, we have that every fourfold in the first three components of (0.3) is rational.
Restricting attention to the case of Gushel fourfolds, we point out that using the same method presented in [32], just by replacing the role of the smooth cubic scroll surface in [32, Table 2] with that of a cone over a twisted cubic curve, one can find explicit Gushel fourfolds in (M 4 ) 10 , (M 4 ) 10 , and (M 4 ) 20 . In particular, the following three intersections are not empty, and hence they parametrize rational fourfolds. As far as the author knows, no other fourfolds in M 4 as well as in M G 4 are known to be rational. In the following of this paper, we explain how to find explicit equations and parameterizations of rational fourfolds in (M 4 ) 26 ∩ M G 4 and (M 4 ) 26 \ M G 4 ; see also Table 1 for a summary.

Construction of New Rational Gushel Fourfolds
In this section, we construct rational fourfolds in (M 4 ) 26 ∩ M G 4 . Here we briefly summarize the construction. In Sect. 1.1, starting with a general cubic fourfold C in C 26 , we explain how to determine the equations of a smooth surface S ⊂ P 8 of degree 17 and sectional genus 11, which is isomorphic to a triple projection of a minimal K3 surface of degree 26 in P 14 . In Sect. 1.2, we embed the surface S into a smooth quadratic section X of a cone Y over a smooth 4-dimensional linear section of G(1, 4). Then we deduce that X is a fourfold in (M 4 ) 26 ∩ M G 4 since γ X * ([S]) = 11σ 3,1 + 6σ 2,2 in the Chow ring of G(1, 4). In Sect. 1.3, we remark that the fourfold X may not be a general point in (M 4 ) 26 ∩ M G 4 . In Sect. 1.4, we illustrate two different methods to deduce that the surface S admits inside the cone Y a congruence of 9-secant rational normal quintic curves: through a general point of Y there passes a unique rational normal quintic curve which is 9-secant to S and contained in Y . In Sect. 1.5, we show how from this congruence of quintic curves, using in an essential way that Y is not smooth, we can deduce that X is rational.     Table 1 See Table 1 Linear section in P 9 of the spinorial S 10 ⊂ P 15

No
All [26] Projection from a tangent space Linear section in

No
All [26] Projection from the linear span of a quintic del Pezzo surface contained in it Linear section in P 11 of the Lagrangian Grass.

No
All [26] Linear system of hyperplane sections through a line and with one double point Fourfold of degree 18, genus 10, and coindex 3 in

No
All [26] Linear system of hyperplane sections through a conic and with one double point 182 Page 6 of 17

MJOM
In Sect. 1.6, we describe an explicit birational map between X and the cubic fourfold C.

Rationality of Cubic Fourfolds in C 26
Here we recall some results from [27,28] (see also [29]) about the rationality of special cubic fourfolds of discriminant 26; see also [15][16][17] for general facts on cubic fourfolds. Let D ⊂ P 5 be a septimic surface with one node, which is the projection of a smooth del Pezzo surface of degree seven D ⊂ P 7 from a general line intersecting the secant variety of D at one point. A cubic fourfold C ⊂ P 5 containing the surface D has discriminant 26, and more precisely the locus C 26 of cubic fourfolds of discriminant 26 can be described as the closure inside the moduli space C of cubic fourfolds of the locus of fourfolds containing such a surface.
The surface D ⊂ P 5 admits a congruence of 5-secant conics: through a general point in P 5 there passes a unique 5-secant conic to D. Moreover, the linear system |H 0 (I 2 D,P 5 (5))| of hypersurfaces of degree 5 with points of multiplicity 2 along D gives a dominant map whose general fibers are the conic curves of the congruence, and where Y 0 is a smooth 4-dimensional linear section of G(1, 4) ⊂ P 9 . The restriction of the map (1.1) to a general cubic fourfold C through D induces a birational map C Y 0 , whose inverse is defined by the linear system |H 0 (I 2 S0,Y0 (5))| of hypersurfaces in Y 0 of degree 5 having points of multiplicity 2 along an irreducible surface S 0 ⊂ Y 0 ⊂ P 7 of degree 17 and sectional genus 11 cut out by the 5 quadrics defining Y 0 and 13 cubics.
It turns out that S 0 is the projection of a surface S ⊂ P 8 from a special point p on the secant variety of S, where S is a smooth surface of degree 17, sectional genus 11, cut out by 12 quadrics, and isomorphic to a triple projection of a minimal K3 surface of degree 26 in P 14 . The equations of S can be determined from those of S 0 using the package IntegralClosure [8]; see also the function associatedK3surface from the package SpecialFanoFourfolds [34], which does most of this automatically.

Gushel Fourfolds in (M 4 ) 26 : Construction of a Triple S ⊂ X ⊂ Y
Continuing from the previous subsection, let ν p : P 8 P 7 denote the pro-

Congruence of 9-Secant Quintic Curves to S ⊂ Y
We claim that the surface S admits inside Y a congruence of 9-secant rational normal quintic curves: through a general point of Y there passes a unique rational normal quintic curve which is 9-secant to S and contained in Y . This can be verified by considering the rational map φ : Y P 6 defined by the linear system |H 0 (I S,Y (2))| of quadratic sections through S, which is birational onto a non-normal sextic hypersurface Z ⊂ P 6 . If p ∈ Y is a general point, then through the point φ(p) ∈ Z there pass 72 lines that are contained in Z. These 72 lines come from (2e − 1)-secant curves to S of degree e ≥ 1 which pass through p and are contained in Y . Denoting by n e the number of such degree-e curves, we have n 1 = 11, n 2 = 22, n 3 = 32, n 4 = 6, n 5 = 1, and n e = 0 for e ≥ 6. This calculation can be performed automatically using the function detectCongruence from the package SpecialFanoFourfolds.
Alternately, using tools from the package Cremona, one verifies that the linear system |H 0 (I 5 S,Y (9))| of hypersurfaces in Y of degree 9 with points of multiplicity 5 along S gives a dominant rational map whose general fibers are rational normal quintic curves, the curves of the congruence to S. The image X is a Gushel fourfold, a smooth quadratic section of a cone Y ⊂ P 8 over a smooth 4-dimensional linear section of G (1, 4). The restriction of the map (1.2) to X induces a birational map whose inverse is of the same type, i.e, it is the restriction to X of the rational map Y X defined by the linear system of hypersurfaces in Y of degree 9 with points of multiplicity 5 along a smooth triple projection S ⊂ Y of a minimal K3 surface of degree 26. In particular, the Gushel fourfold X also belongs to (M 4 ) 26 .

Rationality of X from the Rationality of a Particular Rational Singular
FourfoldX with S ⊂X ⊂ Y LetX ⊂ Y be a general quadratic section of Y containing the surface S and the vertex p of Y . ThenX has p as the only singularity and the restriction of the projection from p induces a birational mapX Y 0 , whose inverse is defined by the quadrics through a minimal K3 surface F of degree 10. Since Y 0 = G(1, 4)∩P 7 is rational (indeed, the projection from the unique σ 2,2 -plane contained in it gives a birational map onto P 4 ), we have thatX is rational. On the other hand, the restriction of the map (1.2) induces a birational map due to the fact thatX is transversal to the congruence to S: the quintic curve of the congruence passing through a general point ofX is not contained in X. Therefore we deduce that also X and hence X are rational.

Summary Construction
Summing up we have the following diagram of birational maps, connecting explicitly general cubic fourfolds in C 26 to Gushel fourfolds in (M 4 ) 26 :

Ancillary Files
We provide an ancillary file, named gushel26.m2, 1 containing explicit equations for an example of map as (1.3) over the finite field F 10000019 (this is only necessary to reduce the size of the file). After loading that file in Macaulay2, some variables will be defined as follows: X, X' two instances of the type SpecialGushelMukaiFourfold, respectively, the source and target of the map (1.3); psi, psi' two instances of the type RationalMap, respectively, the birational map (1.3) and its inverse (psi' is the same that inverse psi); Psi, Psi' two instance of the type RationalMap, respectively, the dominant rational map (1.2) from Y to X that extends psi, and the analogous map from Y to X that extends psi'. For technical details about these types of data, we refer to the documentation of the packages Cremona [31] and SpecialFanoFourfolds [34]. We now show how to load the file and extract some basic information from it (some output lines are omitted for brevity).

Rationality Without Passing Through Singular Fourfolds
A count of parameters shows that a general triple projection of a general minimal K3 surface of degree 26 is contained in a one-dimensional family of 5-dimensional linear sections of cones C (G(1, 4)) ⊂ P 10 . So one expects that the Gushel fourfolds constructed in Sect. 1 can be deformed to ordinary fourfolds. Anyway, the simple argument given in Sect. 1.5 to deduce the rationality of the fourfold X is not available in the ordinary case. In this section, we remedy this with a construction that does not involve singular Gushel fourfolds. Indeed, keeping the notation as in Sect. 1, here we construct a special Gushel fourfoldX with S ⊂X ⊂ Y , uniquely determined by the embedding S ⊂ Y , which turns out to be smooth and transversal to the congruence of 9secant quintic curves to S. We then show thatX contains another "simpler" surface T which admits inside Y a congruence of 5-secant cubic curves. So we deduce thatX is rational, and hence that X is rational.

Construction ofX and of a Dominant MapX P 2
Consider again the birational map introduced in Sect. 1.4, defined by the linear system |H 0 (I S,Y (2))|, where Z = φ(Y ) ⊂ P 6 is a sextic hypersurface. We takeX to be the top dimensional component of the (closure of the) exceptional locus of φ, and the mapX P 2 to be defined by the quadrics through the (closure of the) union of all 4-secant conics to S contained inX. Let us provide some more detail.

The FourfoldX.
Using tools from the package Cremona, one verifies that the base locus scheme of the inverse map φ −1 : Z Y is the union of the following components: • a smooth cubic fourfoldC ⊂ P 5 ⊂ P 6 (with [C] ∈ C 26 , see Remark 2.2); the fiber of φ at a general point ofC consists of two points; • a smooth cubic scroll surface Σ 3 ⊂ P 4 ⊂ P 6 , which is double; the fiber of φ at a general point of Σ 3 is an irreducible conic curve which is 4-secant to S; • a surface of degree 46 cut out in P 6 by 81 quintic hypersurfaces; the fiber of φ at a general point of this surface is a 2-secant line to S.
Then, the fourfoldX is taken to be φ −1 (C), so that the restriction of φ induces a generically finite map of degree 2 fromX toC. One sees that X is a smooth Gushel fourfold which is transversal to the congruence to S and in particular it is birational to X via the restriction of the map (1.2). Moreover, the inverse map X X is defined once again by the linear system |H 0 (I 5 S (9))|, whereS ⊂ X ⊂ Y is a smooth triple projection of a minimal K3 surface of degree 26. We stress that this surfaceS ⊂ Y and the fourfoldX are uniquely determined by the embedding S ⊂ Y .

The MapX
P 2 . The intersectionC ∩ Σ 3 is a twisted cubic curve, and the fiber of φ at a general point of this curve is a 4-secant conic curve to S contained inX. The inverse image R = φ −1 (C ∩ Σ 3 ) is an irreducible surface contained inX of degree 17 and sectional genus 6 cut out in P 8 by 9 quadrics and 7 cubics. Let be the rational map defined by the linear system |H 0 (I R,Y (2))| of quadratic sections of Y through R. Since R ⊂X, the restriction of η induces another map η|X :X P 2 ⊂ P 3 .

(2.2)
One sees that η (resp., η|X ) is a dominant map, whose general fibers are surfaces like S, that is, smooth triple projections of minimal K3 surfaces of degree 26. Moreover the surface S is recovered as a special fiber, and all these fibers share the same twisted cubic curve contained in S.
Remark 2.1. The projection of the surface S from the plane spanned by a general 4-secant conic to S contained in Y (computable as the fiber of φ at a general point on Σ 3 ) is a smooth surface in P 5 of degree 13 and sectional genus 11 cut out by 6 cubics. This surface in P 5 admits a congruence of 14-secant rational normal quintic curves from which one can deduce the rationality for cubic fourfolds of discriminant 26. (See also the example in [28, Table 1, row 15] of a nodal surface in P 5 .)

Special Fibers of the MapX
The 3-dimensional projective space, image of the map η, contains a special plane Π which intersects η(X) P 2 along a line L. The fiber of η at a general point of L (as well as of Π) is an irreducible rational surface T ⊂ Y ⊂ P 8 of degree 11, sectional genus 3, cut out in P 8 by 16 quadrics, having smooth normalization and a node as the only singularity. In the Chow ring of G(1, 4) we have [γX (T )] = 7σ 3,1 + 4σ 2,2 , so from (0.1) it follows that (T ) 2X = 19 (this is also confirmed from the fact that two fibers of η corresponding to two general points of L intersects at 19 points), and (0.2) tells us that any smooth quadratic section of Y containing T is a Gushel fourfold of discriminant 26, hence corresponding to a point of (M 4 ) 26 .
From another point of view, using the map η, we are able to obtain a degeneration of the surface S as the union of the surface T and a smooth surface Q of degree 6 and sectional genus 2 with [γX * (Q)] = 2(2σ 3,1 + σ 2,2 ) = 2σ 2 σ 2 1 and such that the intersection T ∩ Q is an irreducible curve of degree 7 with p a = 2 and p g = 1. This surface Q is contained in the base locus of η. More precisely, the support of the base locus of η is the union of Q with the surface R.
Remark 2.2. The plane Π can be calculated as the image via η of the 3dimensional linear space ν −1 p (P ), where ν p : Y Y 0 is the projection from the vertex of Y , and P is the unique σ 2,2 plane contained in Y 0 . Moreover, the intersection ν −1 p (P ) ∩X is a quadric surface which is sent birationally by φ to a one-nodal septimic surfaceD ⊂C as the surface D ⊂ C considered in Sect. 1.1. In particular, we also deduce thatC is a cubic fourfold of discriminant 26.

Count of Parameters from the Triple T ⊂X ⊂ Y
As in Sect. 1.3, we compute with Macaulay2 that h 1 (N T /Y ) = 0, h 0 (N T /Y ) = 29, and h 0 (N T /X ) = 2. Assuming that the Hilbert scheme Hilb Y of Y is smooth at [T ] (which is reasonable, but not guaranteed since T is not a local complete intersection), we have that Hilb Y contains a unique irreducible component T which contains [T ], and the dimension of T is 29. Therefore, since we have h 0 (I T,Y (2)) = 11 and this value is minimal, we deduce that inside the projective space P(H 0 (O Y (2))) of quadratic sections of Y the family of fourfolds containing a surface in T has codimension at most 39 − (29 + (11 − 1) − 2) = 2.

Congruence of 5-Secant Cubic Curves to T ⊂ Y and Rationality ofX
The surface T ⊂ Y admits inside Y a congruence of 5-secant twisted cubic curves, andX is transversal to this congruence.
Indeed one verifies that the linear system |H 0 (I 3 T,Y (5))| of hypersurfaces in Y of degree 5 with points of multiplicity 3 along T gives a dominant rational map onto a smooth 4-dimensional linear section W of G(1, 5) ⊂ P 14 , and whose general fibers are twisted cubic curves. The restriction of (2.3) toX induces a birational map Y ⊃X W ⊂ P 10 , (2.4) whose inverse is defined by the linear system of hypersurfaces of degree 5 with points of multiplicity 3 along a smooth surface U ⊂ W of degree 21 and sectional genus 13, isomorphic to a double projection of a simple projection of a minimal K3 surface of degree 26. We deduce the rationality ofX from that of W . Indeed, W must contain a quintic del Pezzo surface, and it is classically known that the linear system of hyperplanes through this surface gives a birational map W P 4 . The congruence to T ⊂ Y can be also verified by considering the map Y P 10 , defined by the linear system |H 0 (I T,Y (2))| of quadratic sections of Y through T , which turns out to be birational onto a fivefold of degree 20 cut out by 7 quadrics. Through the general point of this fivefold there pass 12 lines, which come from seven 1-secant lines to T , four 3-secant conics to T , and one single 5-secant twisted cubic to T .
There is a further way to find the congruence to T ⊂ Y . Indeed, one has that the reducible surface T ∪ Q considered in Sect. 2.2, which is a degeneration of the surface S, admits a congruence of 9-secant quintic curves, exactly as S does. In this degenerate case, the curves of the congruence split into 4-secant conics to T ∪ Q and 5-secant twisted cubics to T .

Summary Construction
With the notation above introduced, we have the following diagram involving cubic fourfolds in C 26

Ancillary Files
Continuing from Sect. 1.7, after the loading of the ancillary file in Macaulay2, some other variables are defined as following: Xtilde an instance of the type SpecialGushelMukaiFourfold, the Gushel fourfold corresponding to the pair (T,X) constructed above; Eta, eta two instances of the type RationalMap, respectively, the map Y P 3 in (2.1) and its restrictionX P 2 ⊂ P 3 in (2.2). Psi2, psi2 two instances of the type RationalMap, respectively, the map Y W in (2.3) and its restrictionX W in (2.4). By way of example, we now compute a general and a special fiber of the map (2.2).

Construction of New Rational Mukai Fourfolds
In this section, we briefly explain how using the same method given in [32], one can directly construct a rational one-nodal surface T ⊂ Y of degree 11 and sectional genus 3 as the one constructed in Sect. 2. Actually, we do better than this: We are able to construct a rational one-nodal surfaceT of degree 11 and sectional genus 3 inside a smooth hyperplane sectionY of G (1,4). This leads us to find out rational ordinary fourfolds in (M 4 ) 26 .

Construction ofT ⊂Y
Let E ⊂ P 6 be the image of the plane via the linear system of quartic curves with one double point q 0 and 5 simple base points q 1 , . . . , q 5 . Then E is a smooth surface of degree 7 and sectional genus 2 cut out by 8 quadrics. 2 Let E ⊂ P 5 be the projection of E from a general point on the secant variety of E . Then E is an irreducible surface of degree 7, sectional genus 2, cut out by 2 quadrics and 5 cubics, with a single node as the only singularity, and having normalization isomorphic to E . Take B ⊂ P 5 to be a general smooth cubic scroll surface which cuts E along a quintic elliptic curve (such a curve