CONGRUENCES OF 5-SECANT CONICS AND THE RATIONALITY OF SOME ADMISSIBLE CUBIC FOURFOLDS arxiv: v3 [math.ag] 16 Oct 2017

Transcription

1 CONGRUENCES OF 5-SECANT CONICS AND THE RATIONALITY OF SOME ADMISSIBLE CUBIC FOURFOLDS arxiv: v3 [math.ag] 16 Oct 2017 FRANCESCO RUSSO* AND GIOVANNI STAGLIANÒ Abstract. Kuznetsov Conjecture and the work of Hassett predict that a general cubic fourfold belonging to an irreducible divisor C d parametrizing smooth cubic hypersurfaces in P 5 of discriminant d is rational if and only if d is an admissible value in the sense of Hassett, that is, if and only if d > 6 is an even integer not divisible by 4, by 9 nor by any odd prime of the form 2+3m. Our main result is the proof of this conjecture for the smallest admissible values d = 26 and d = 38 (the case d = 14 being classical), via the construction of a congruence of 5-secant conics to a surface S d contained in the general element of C d for d = 14,26,38. Introduction One of the most challenging open problems in classical and modern algebraic geometry is the rationality of smooth cubic hypersurfaces X P 5. The very general cubic fourfold is expected to be irrational although no such example is known. Recent work of Hassett via Hodge Theory in [Has99, Has00] (see also [Has16]) and of Kuznetzsov via derived categories in [Kuz10, Kuz16] lead to the consideration of infinitely many admissible values d N, corresponding to irreducible divisors C d in the moduli space C of cubic fourfolds such that a general element [X] C d has an associated K3 surface. This associated K3 surface essentially determines the Hilbert scheme of lines on X and also the derived category of X, see [AT14, Add16] for the equivalence of the two approaches. The admissible values are the even integers d > 6 not divisible by 4, by 9 and nor by any odd prime of the form 2+3m, see for example [Has16, Section 3]. So the first admissible values are d = 14,26,38,42. Classical work by Morin and subsequently by Fano showed the rationality of a general [X] C 14, see [Mor40] and [Fan43]. A fundamental conjecture regarding rationality of cubic fourfolds, which is essentially a reformulation of the original Kuznetsov Conjecture in [Kuz10], states that a general [X] C d is rational if and only if d is admissible, see [AT14, Kuz10, Kuz16, Has16]. As far as we know, this is established only for d = 14, which can be considered the classical starting point and the original motivation of the previous conjecture. Our result is the following: Theorem. A general cubic fourfold in the irreducible divisors C 26 and C 38 is rational. The Hodge theoretic definition of the divisors C d reduces to the existence of a lattice h 2,S H 2,2 (X,Z) of discriminant d N, where h is the class of a hyperplane section of X and S is the class of an algebraic 2-cycle on X. Let us recall that Hassett proved *Partially supported by the PRIN Geometria delle varietà algebriche and by the FIR2014 Aspetti geometrici e algebrici della Weak e Strong Lefschetz Property of the University of Catania; the author is a member of the G.N.S.A.G.A. of INDAM. 1

2 2 F. RUSSO AND G. STAGLIANÒ that C d if and only if d 0,2 (mod 6) with d > 6 and that a general [X] C d has H 2,2 (X,Z) =< h 2,S >, see [Has99, Has00]. Smooth cubic hypersurfaces in C d are called special since they contain algebraic surfaces not homologous to the cycles mh 2, m Z. The geometrical definition of C d for small values of d is by means of a particular surface S d X, which is obviously not unique. For example C 8 is usually described as the locus of smooth cubic fourfolds containing a plane while C 14 can be described either as the closure of the locus of cubic fourfolds containing a smooth quartic rational normal scroll or as the closure of the locus of those containing a smooth quintic del Pezzo surface, the so called Pfaffian locus. In [Nue15] there are similar descriptions for other values of d 44. Every [X] C 14 has been proved to be rational by showing that it contains either a smooth surface with one apparent double point or one of its small degenerations, see [BRS15]. The extension of this geometrical approach to rationality for other admissible values d appeared to be impossible due to the paucity of surfaces with one apparent double point, which essentially can be used only for d = 14. Ourdiscovery istheexistence ofirreduciblesurfacess d P 5 contained inageneral element of C d, for d=14, 26 or 38, admitting a four-dimensional irreducible family of 5-secant conics such that through a general point of P 5 there passes a unique conic of the family. We dubbed these families congruences of 5-secant conics to S d. Once established the existence of such a congruence one immediately deduces the rationality of every irreducible cubic in H 0 (I Sd (3)) (and hence of a general [X] C d ) by observing that such cubics are rational sections of the universal family of the congruence of 5-secant conics. In particular, they are birational to the parameter space of the congruence and hence to each other. Either the existence of singular irreducible rational cubic hypersurfaces through S d or the direct proof of the rationality of the parameter space of the congruence concludes the proof; see Theorem 1 for a precise and general formulation of this principle. For d = 26, which was the first open case, we take S 26 P 5 to be the nodal surface obtained as a general projection of a smooth del Pezzo surface of degree seven in P 7. For d = 14, we use smooth projections of rational octic surfaces in P 6 of sectional genus 3, which are the birational images of P 2 via the linear system of plane quartic curves with eight general base points. For d = 38, we consider smooth surfaces of degree 10 in P 5 of sectional genus 6, which are the birational images of P 2 via the linear system of plane curves of degree 10 having ten general base points of multiplicity three and which were also used by Nuer in [Nue15] to describe some birational properties of the divisor C 38. As far as we know, the existence of congruences of 5-secant conics to surfaces in P 5 has never been considered before, even in the classical literature. The surfaces S d P 5 with d = 14, 26, 38 we choose can be analyzed better nowadays via computational systems revealing remarkable algebraic properties of their defining equations. The classification of irreducible surfaces in P 5 admitting a congruence of 5-secant conics is an important and pressing open question we shall consider elsewhere. An obvious necessary condition is that the surface is not contained in a quadric hypersurface. This restriction plays a key role for the existence of these surfaces and it explains some geometrical aspects of the paucity of examples. Our fundamental tool for determining the existence of congruences of 5-secant conics has been the Hilbert scheme of lines passing through a general point of a projective variety and contained in the variety; see also [Rus16] for other applications to a wide range of problems.

3 5-SECANT CONICS AND THE RATIONALITY OF ADMISSIBLE FOURFOLDS 3 The study of these lines for suitable birational images of P 5 via the cubic equations defining the right S d X revealed the existence of the congruences of 5-secant conics to S d, which a posteriori have also natural geometrical constructions. To analyze the geometry of the images of P 5 via the linear system of cubics defining S d P 5 we used Macaulay2 [GS17]. The necessary ancillary files containing the scripts to verify some geometrical properties claimed throughout the paper are posted on arxiv; see also Section 5 and also [Sch13] for the philosophy behind these verifications for random surfaces or hypersurfaces (although we work over Q and not over finite fields). So far C 14, C 26 and C 38 are the only special divisors in C whose general element is known to be rational. There exist infinitely many other irreducible loci of codimension at least two in C (some of them contained in non admissible C d ) whose general element is rational, see [Has99] and [AHTVA16]. Acknowledgements. We wish to thank Ciro Ciliberto for useful and stimulating discussions. 1. Rationality via congruences of (re 1)-secant curves of degree e Let S P 5 be an irreducible surface and let H be an irreducible proper family of (rational or of fixed arithmetic genus) curves of degree e in P 5 whose general element is irreducible. Let π : D H be the universal family over H and let ψ : D P 5 be the tautological morphism. Suppose moreover that ψ is birational and that a general member [C] H is (re 1)-secant to S, that is C S is a length re 1 scheme, r N. We shall call such a family a congruence of (re 1)-secant curves of degree e to S. Let us remark that necessarily dim(h) = 4. The classification of irreducible surfaces in P 5 admitting a congruence of (re 1)-secant rational curves of degree e 2 (and with r 3) is an open problem, never considered before. In the sequel we shall construct some surfaces admitting a congruence of 5-secant conics. There exist also some singular irreducible surfaces in P 5 admitting a congruence of 8 secant twisted cubics and others admitting a congruence of 14-secant quintic rational normal curves but we are not aware of any example admitting congruences with e > 5 (and also with r > 4). The next result is almost tautological and well known at least for r = 3 and e = 1. Theorem 1. Let S P 5 be a surface admitting a congruence of (re 1)-secant curves of degree e parametrized by H. Then every irreducible hypersurface X H 0 (I S (r)) is birational to H. In particular, any two irreducible hypersurfaces X 1,X 2 H 0 (I S (r)) are birational to each other. Proof. Let notation be as above. The birationality of ψ : D P 5 and Zariski Main Theorem yield that the locus of points q P 5 through which there pass at least two (re 1)-secant curves of degree e in the family H has codimension at least two in P 5. In particular, through a general point of any irreducible X H 0 (I S (r)) there passes a unique curve of the family H. Thus X naturally becomes a rational section of the family π : D H. Indeed, we get a

4 4 F. RUSSO AND G. STAGLIANÒ rational map X D π H by associating to a general point p X the same point p C on the unique curve C = D π(p) passing through p and belonging to the family H. The inverse map ϕ : H X is defined by taking the general [C] H and setting ϕ([c]) = C (X \S) to be the unique point in X C outside S. Until now the above construction has been applied only for e = 1 and r = 3 to show that every irreducible cubic hypersurface X P 5 containing a surface S P 5 admitting a congruence of secant lines, the so called one apparent double point surfaces, is rational. Indeed, irreducible surfaces S P 5 with one apparent double point are known to be rational and H is birational to the rational fourfold S (2). The surfaces with one apparent double points are contained in cubic fourfolds belonging to C 14 and this is sufficient to prove that a general [X] C 14 is rational, see [Mor40, Fan43] and also [BRS15] for the extension of the statement to all [X] C 14. In the sequel we shall apply Theorem 1 for e = 2 and r = 3 to a general element of C d with d = 14,26,38. For d = 14,26 we shall prove that the parameter spaces H are rational while for d = 38 we shall show the existence of irreducible singular cubic hypersurfaces containing S 38 which are rational. 2. Rationality of the general cubic in C 14 via congruences of 5-secant conics Let S 14 P 5 be a smooth isomorphic projection of an octic smooth surface S P 6 of sectional genus 3 in P 6, obtained as the image of P 2 via the linear system of quartic curves with 8 general base points. Theorem 2. A surface S 14 P 5 as above admits acongruence of 5-secant conics parametrized by a rational variety birational to S (2) 14. In particular, a general [X] C 14 is rational. Proof. Let S P 6 be an octic surface of sectional genus 3 as described above. The surface S has ideal generated by seven quadratic forms defining a Cremona transformation: ψ : P 6 P 6, whose base locus scheme is exactly S and whose inverse is defined by forms of degree four, see [ST70, HKS92]. The secant variety to S, Sec(S) P 6, is an irreducible hypersurface of degree 7 by the double point formula and it is also the ramification divisor of ψ. Thus Sec(S) is contracted to a four dimensional irreducible variety W P 6, which has degree 8 and which is the base locus scheme of ψ 1 (see [ST70, HKS92]). The variety W birationally parametrizes the secant lines to S and it is thus birational to the rational variety S (2). Let q P 6 \ Sec(S) be general, let q = ψ(q), let π q : P 6 P 5 be the projection from q onto a hyperplane and let S 14 = π q (S) P 5. The map ψ 1 is given by forms of degree four and the strict transform via ψ 1 of a line L through q intersecting W transversally in a point r is a rational curve C = ψ 1 (L) of degree three, passing through q. The curve C is 5-secant to S because ψ(c) = L and ψ is given by quadratic forms. Hence the linear span of C cannot be a plane and C is a twisted cubic. The twisted cubic C projects from q into a 5-secant conic to S 14. Thus we have produced a four dimensional family of 5-secant conics to S 14, whose parameter space H is birational to the rational variety W. We claim that through a general point p P 5 there passes a unique 5-secant conic to S 14 belonging to the family H. If L p =< q,p > P 6, then L p Sec(S) = {q 1,...,q 7 } and

5 5-SECANT CONICS AND THE RATIONALITY OF ADMISSIBLE FOURFOLDS 5 D p = ψ(l p ) is a conic because ψ is given by forms of degree two and L p S =. Let P 2 p = D p P 6 and remark that D p W = {ψ(q 1 ),...,ψ(q 7 )} (ψ 1 is given by forms of degree four and ψ 1 (D p) = L p ) and that q D p. Let q 8 = (P 2 p W)\{ψ(q 1 ),...,ψ(q 7 )} and let L 8 = q,q 8. The line L 8 cuts D p in another point s D p \ W. Otherwise, suppose that L 8 D p = ψ(q i ) for some i = 1,...7 and let L i be the unique secant line to S passing through q i. Then ψ 1 (L 8 ) would be a conic 3-secant to S and passing through q and ψ 1(L 8 ) L i would be a reducible degree 3 curve 5-secant to S, which project onto a reducible 5-secant conic to S 14 passing through p and belonging to H. This is impossible by the generality of p (the 5-secant conics to S passing through p, if any, are irreducible since the general element of H is irreducible). Therefore ψ 1(L 8 ) is a twisted cubic, which passes through q and cuts q,p in the point s = ψ 1 (s ) q, and the conic π q (ψ 1 (L 8 )) passes through p. Any other 5-secant conic to S 14 passing through p and belonging to H, which is necessarily irreducible by the generality of p, would determine another point of intersection of D p (and a fortiori of D p ) with W, which is impossible because deg(w) = 8. Thus S 14 admits a congruence of 5-secant conics parametrized by a rational variety H birational to S (2). In particular, each cubic hypersurface containing S 14 is rational by Theorem 1. The irreducible component S 14 of the Hilbert scheme parametrizing the surfaces S 14 P 5 has dimension 49 and it is generically smooth. Indeed, one can verify that h 1 (N S/P 5) = 0 and that h 0 (N S/P 5) = 49 for a general [S] S 14. Let h be the class of a hyperplane section of X, let h 2 be the class of 2-cycles h h and remark that h 2 h 2 = h 4 = 3 and h 2 S 14 = 8. The double point formula for S 14 X yields S14 2 = 26 and the restriction of the intersection form to h 2,S 14 has discriminant = 14. Let V H 0 (O P 5(3)) = P 55 be the open set corresponding to smooth cubic hypersurfaces. We have h 0 (I S14 (3)) = 13 so that the locus C 14 = {([S],[X]) : S X} S 14 V, has dimension = 61. The image of π 2 : C 14 V has dimension at most 54 because the general cubic does not contain any S belonging to S 14. For every [X] π 2 (C 14 ) we have dim(π 1 2 ([X])) dim(c 14) dim(π 2 (C 14 )) = 61 dim(π 2 (C 14 )) = 7. Since h 0 (N S/X ) dim [S] (π 1 2 ([X])) for every [S] π 1 2 ([X]), to show that a general X C 14 contains a surface S 14 it is sufficient to verify that h 0 (N S14 /X) = 7 for a general S 14 and for a smooth X H 0 (I S14 (3)), see also [Nue15, pp ] for a similar argument. We verified this via Maucaulay2 and we can conclude that a general [X] C 14 is rational being birational to H and hence to S (2) 14. Remark 3. Although it is well known that a general [X] C 14 is rational, the previous result has been included in order to show that there exists a uniform approach via congruences of 5-secant conics to the rationality of general smooth cubics of discriminant equal to the first three admissible values 14, 26 and 38. The existence of the congruence of 5-secant conics was firstly discovered by studying the birational map ϕ : P 5 Z P 12 given by the linear system H 0 (I S14 (3)). The image Z = ϕ(p 5 ) P 12 is an irreducible projective variety of degree 28 cut out by 16 quadrics and

6 6 F. RUSSO AND G. STAGLIANÒ such that through a general point z = ϕ(p) Z, p P 5 general, there pass 8 lines contained in Z. Since S 14 P 5 has seven secant lines through the point p by the double point formula, we deduce the existence of a congruence of (3e 1)-secant rational curves of degree e to S 14. Indeed, letting L 1,...,L 7 be the seven secant lines to S 14 passing through the general point p, they are mapped by ϕ to seven lines L 1,...,L 7 contained in Z and passing through the general point z = ϕ(p). Let L p be the unique line passing through z = ϕ(p) and different from the lines L 1,...,L 7, which all belong to an irreducible family of lines (a birational image of the family of secant lines to S 14 ). Let C p P 5 be the strict transform of L p in P 5 via ϕ 1. Then C p is a rational curve of degree e passing through p and cutting S 14 along a zero-dimensional scheme of degree 3e 1 since ϕ(c p ) = L p. One then verifies that e = 2, see Section 5, although this value is irrelevant for the rationality of the cubic fourfolds through the previous S Rationality of the general cubic in C 26 via congruences of 5-secant conics Let S P 6 be a septimic surface with a node, which is the projection of a smooth del Pezzo surface of degree seven in P 7 by a general point on its secant variety. Let S 26 P 5 be the projection of S from a general point outside the secant variety Sec(S) P 6. Theorem 4. A surface S 26 P 5 as above admits acongruence of 5-secant conics parametrized by a variety birational to a rational singular cubic hypersurface in P 5. In particular a general [X] C 26 is rational. Proof. The general septimic surface with a node S P 6 has ideal generated by seven quadratic forms and one cubic form. The linear system H 0 (I S (2)) defines a Cremona transformation: ψ : P 6 P 6, whose base locus scheme is S P, with P P 6 a plane cutting S along a cubic curve. Moreover, the inverse of ψ is defined by forms of degree four. All these facts can be easily verified using Macaulay2. Since S P has degree 8 and arithmetic sectional genus three, we can consider ψ as a degeneration of the Cremona transformation considered in the previous section. Since the Cremona transformation ψ is given by forms of degree two and since ψ 1 is given by forms of degree four, the ramification divisor E P 6 of ψ is a hypersurface of degree seven, whose equation is the fixed component the degree eight polynomials defining ψ 1 ψ. The secant variety to S, Sec(S) P 6, is an irreducible hypersurface of degree five by the double point formula and it is contracted by ψ. Therefore, there exists an irreducible quadric hypersuface Q P 6 such that E = Sec(S) Q. Since ψ is given by forms of degree two vanishing on S P, the linear join J(P,S) = < x,y > P 6 x y, x P, y S is also contracted by ψ so that Q = J(P,S) is a rank four quadric hypersurface containing the base locus of ψ. Since ψ 1 is given by forms of degree four, the hypersurface E has points of multiplicity four along S P (or better, a general point of any irreducible component is of multiplicity four for E). From E = Q Sec(S) and from the fact that Q is non singular

7 5-SECANT CONICS AND THE RATIONALITY OF ADMISSIBLE FOURFOLDS 7 at a general point of S, we deduce that Sec(S) has points of multiplicity three along S and double points along P (facts which can be also verified directly). Since ψ is defined by quadratic forms, the variety ψ(q), which has dimension four, is contained in a hyperplane H P 6 and hence it is a hypersurface in H. The secant variety is contracted to a four dimensional irreducible variety W 1 P 6 of degree five while Q is contracted to an irreducible four dimensional rational singular cubic hypersurface W 2 P 6. Moreover, W 1 W 2 is the base locus scheme of ψ 1. The rest of the proof is similar to that of Theorem 2. Let q P 6 \Sec(S) be a general point, let q = ψ(q), let π q : P 6 P 5 be the projection from q and let S 26 = π q (S) P 5. The strict transform of a line L through q intersecting W 2 transversally in a general point r is a twisted cubic C = ψ 1 (L) passing through q and 5-secant to S P. We claim that C is 5-secant to S. Indeed, let a 0 be the number of points in C S and let b 0 be the number of points in C P. Since L W 1 = and since L W 2 = r, we deduce from Bézout Theorem and from the description of the multiplicities of Q and Sec(S) along S and along P, deg(c) deg(q) 1 = 5 = a+2b and deg(c) deg(sec(s)) = 15 = 3a+2b. The unique solution of this system is (a,b) = (5,0) 1. Then the twisted cubic C projects from q into a 5-secant conic to S 26. So far we have constructed a four dimensional family H of 5-secant conics to S 26, whose parameter space H is birational to the four dimensional singular rational cubic hypersurface W 2. We claim that through a general point p P 5 there passes a unique 5-secant conic to S 26 belonging to H. If L p =< q,p > P 6, then L p Sec(S) = {q 1,...,q 5 }, L p Q = {r 1,r 2 } and D p = ψ(l p ) is a conic. Let P 2 p = D p P 6 and remark that D p W 1 = {ψ(q 1 ),...,ψ(q 5 )}, that D p W 2 = {ψ(r 1 ),ψ(r 2 )} and that q D p. Let r 3 = (P2 p W 2)\{ψ(r 1 ),ψ(r 2 )} and let L 6 = q,r 3. The line L 6 cuts D p in a point s D p \W 2 different from q (see the similar claim proved in the proof of Theorem 2). Therefore the twisted cubic ψ 1 (L 6 ) cuts q,p in the point s = ψ 1 (s ) q and the conic π q (ψ 1 (L 3 )) passes through p. As in the proof of Theorem 2 we deduce that there exists a unique conic in H through p. In conclusion, S 26 admits a congruence of 5-secant conics birationally parametrized by W 2. In particular, any cubic irreducible hypersurface containing S 26 is rational. We claim that a general [X] C 26 contains a S 26 as above. The irreducible component of the Hilbert scheme parametrizing these surfaces S 26 has dimension 42 and it is generically smooth. Using that S26 2 = 25 (which follows from the double point formula for surfaces with nodes, see [Ful98, Theorem 9.3]) and that h 0 (I S26 (3)) = 14, by reasoning exactly as in the last part of the proof of Theorem 2 to prove the claim it suffices to produce a general S 26 P 5 and a smooth X H 0 (I S26 (3)) such that h 0 (N S26 /X) = 1 = An explicit computational verification, see for example the end of Section 5, shows that this holds, proving that a general [X] C 26 is rational being birational to H and hence to W 2. Remark 5. We firstly discovered the congruence of 5-secant conics to the surfaces S 26 described above in the following way. The homogeneous ideal of S 26 P 5 is generated by 14 cubic forms defining a map ϕ : P 5 P 13 birational onto its image Z = ϕ(p 5 ) P 13. The variety Z P 13 has degree 34 and through a general point z Z there pass 6 lines contained in Z, see Section 5. By the double point formula, we deduce that through a general point p P 5 there pass five secant lines to S 26. The inverse images via ϕ 1 of the lines through 1 Similarly, the lines through q and a general point of W 1 determine twisted cubics which are 4-secant to S and cut P in one point because (4,1) is the unique solution to 6 = a+2b and 14 = 3a+2b.

8 8 F. RUSSO AND G. STAGLIANÒ a general point, not coming from secant lines to S 26, define a congruence of (3e 1)-secant curves to S 26 of degree e. By a standard computation, one sees that e = 2 although the value of e is insignificant for the rationality conclusions. The rationality of a general [X] C 26 can be also proved by taking as S 26 P 5 the rational septimic scroll with three nodes recently considered by Farkas and Verra in [FV16]. Also these surfaces admit a congruence of 5-secant conics and moreover the singular cubics containing such a scroll are easily seen to be rational. Thus also in this case we can apply Theorem Rationality of the general cubic in C 38 via congruences of 5-secant conics Let S 38 P 5 be a general degree 10 smooth surface of sectional genus 6 obtained as the image of P 2 by the linear system of plane curves of degree 10 having 10 fixed triple points, which were studied classically by Coble. Theorem 6. A general surface S 38 P 5 admits a congruence of 5-secant conics. In particular, a general [X] C 38 is rational. Proof. As shown by Nuer in [Nue15], these surfaces are contained in a general [X] C 38. Moreover h 0 (I S38 (2)) = 0 = h 1 (I S38 (3)) and the homogeneous ideal of S 38 is generated by 10 cubic forms, whose first syzygies are generated by the linear ones. By [Ver01, Proposition 2.8], the linear system H 0 (I S38 (3)) defines a birational map onto the image ϕ : P 5 Z P 9. An explicit calculation with Macaulay2, see Section 5, shows that through a general point z = ϕ(p) Z = ϕ(p 5 ) P 9 there pass 8 lines contained in Z. Since S 38 P 5 has seven secant lines passing through a general point p P 5, we deduce the existence of a congruence of (3e 1)-secant rational curves of degree e to S 38. We have, once again, e = 2 although this is irrelevant for the rationality conclusions. There exists singular rational cubic hypersurfaces through a general S 38 with a unique double point, as one can directly verify by using Macaulay2. These facts together with Theorem 1 conclude the proof. Remark 7. The irreducible boundary cubics of C 38 corresponding to singular elements in H 0 (I S38 (3)) are all rational by Theorem 1. Theserational cubic hypersurfaceswith a double point also lie on the boundary of C 44, see also [Nue15, p. 285]. Let S d P 5 with d = 44 6j and with j = 0,...,6 be the smooth surfaces constructed by Nuer to describe C d and which are deformations of S 38 P 5 (although belonging to different irreducible components of the Hilbert scheme), see [Nue15, p. 286]. The number of 5-secant conics to S d P 5 passing through a general point of P 5 is j. The first admissible value congruent to zero modulo six is d = 42. For these admissible values the general [X] C d has two associated K3 surfaces, see for example [Has16, Corollary 25]. 5. Congruences of 5-secant conics from a computational point of view In this section we illustrate how one can detect the 5-secant conic congruence property in specific examples using the computer algebra system Macaulay2 [GS17].

9 5-SECANT CONICS AND THE RATIONALITY OF ADMISSIBLE FOURFOLDS 9 We start by loading the file Cubics.m2, which is available as an ancillary file to our arxiv submission. This file contains equations for three explicit examples related to the three divisors C d, d = 14,26,38, but here, for brevity, we will consider only the case of C 26. After loading the file, the tools for working with rational maps provided by the Cremona package (included with Macaulay2) will be also available. Macaulay2, version 1.10 with packages: ConwayPolynomials, Elimination, IntegralClosure, InverseSystems, LLLBases, PrimaryDecomposition, ReesAlgebra, TangentCone i1 : loadpackage "Cubics"; The next line of code produces two rational maps, f : P 2 P 5 and ϕ : P 5 P 13, which are birational parameterizations of a del Pezzo surface of degree 7 with a node S = S 26 P 5 and of a subvariety Z P 13, respectively; here QQ specifies that we want the ground field to be Q. The base locus of ϕ is exactly the (closure of the) image of f, and the information on the projective degrees says that ϕ is birational onto a degree 34 variety. i2 : time (f,phi) = example(26,qq) -- used seconds o2 = (cubic rational map from PP^2 to PP^5, cubic rational map from PP^5 to PP^13) i3 : time (S = image f, Z = image phi); -- used 4.099e-6 seconds i4 : time (degree phi, multidegree phi) -- used seconds o4 = (1, {1, 3, 9, 20, 32, 34}) Note that the code above does not make any computation as the data are stored internally, but it is not difficult to perform this kind of computations (for instance Z can be quickly obtained with image(2,phi), see [Sta17]). Now we choose a random point 2 p P 5 and compute the locus E P 5 consisting of the union of all secant lines to S passing through p, and the locus V Z P 12 consisting of the union of all lines contained in Z and passing through ϕ(p) Z. The former is obtained using standard elimination techniques, while for the latter we use the procedure given in [Rus16, p. 57]. i5 : p = for i to 5 list random(-100,100) o5 = {79, 16, -34, -12, -40, -62} i6 : time E = secantcone(p,f); -- used seconds o6 : Ideal of QQ[x, x, x, x, x, x ] i7 : time V = coneoflines(p,phi); -- used seconds o7 : Ideal of QQ[u, u, u, u, u, u, u, u, u, u, u, u, u, u ] i8 : time (dim E - 1,degree E) -- dimension and degree of E -- used seconds o8 = (1, 5) i9 : time (dim V - 1,degree V) -- dimension and degree of V -- used seconds o9 = (1, 6) Five of the six lines in V come from lines in E. So, the extra line L = V \ϕ(e) can be determined with a saturation computation. 2 Taking the ground field to be the pure trascendental extension Q(a0,...,a 5), one could also take the most generic point of P 5, i.e. the symbolic point (a 0,...,a 5). This, however, would considerably increase the running time.

10 10 F. RUSSO AND G. STAGLIANÒ i10 : time L = saturate(v,phi E); -- used seconds o10 : Ideal of QQ[u, u, u, u, u, u, u, u, u, u, u, u, u, u ] i11 : time (dim L - 1,degree L) -- dimension and degree of L -- used seconds o11 = (1, 1) The 5-secant conic to S passing through p is the inverse image of the extra line L. i12 : time C = phi^* L; -- used seconds o12 : Ideal of QQ[x, x, x, x, x, x ] i13 : time (dim C - 1,degree C) -- used seconds o13 = (1, 2) i14 : time (dim(c+s) - 1,degree(C+S)) -- used seconds o14 = (0, 5) The conic above could also be determined with a single command. i15 : time C = fivesecantconic(p,f,phi); -- used seconds o15 : Ideal of QQ[x, x, x, x, x, x ] i16 : C == C o16 = true Finally, in the following code, we take a smooth cubic hypersurface X P 5 containing the surface S and compute h 0 (N S/X ), where N S/X is the normal sheaf of S in X. i17 : time X = ideal randomsmoothcubic S; -- used seconds o17 : Ideal of QQ[x, x, x, x, x, x ] i18 : time rank HH^0 normalsheaf(s,x) -- used seconds o18 : 1 References [Add16] N. Addington, On two rationality conjectures for cubic fourfolds, Math. Res. Lett. 23 (2016), [AHTVA16] N. Addington, B. Hassett, Y. Tschinkel, and A. Várilly-Alvarado, Cubic fourfolds fibered in sextic del Pezzo surfaces, preprint [AT14] N. Addington and R. Thomas, Hodge theory and derived categories of cubic fourfolds, Duke Math. J. 163 (2014), no. 10, [AR02] A. Alzati and F. Russo, On the k-normality of projected algebraic varieties, Bull. Braz. Math. Soc. 33 (2002), no. 1, [BRS15] M. Bolognesi, F. Russo, and G. Staglianò, Some loci of rational cubic fourfolds, preprint submitted. [Fan43] G. Fano, Sulle forme cubiche dello spazio a cinque dimensioni contenenti rigate razionali del 4 ordine, Comment. Math. Helv. 15 (1943), no. 1, [FV16] G. Farkas and S. Verra, The universal K3 surface of genus 14 via cubic fourfolds, to appear in J. Math. Pures Appl., preprint

11 5-SECANT CONICS AND THE RATIONALITY OF ADMISSIBLE FOURFOLDS 11 [Ful98] W. Fulton, Intersection theory, second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Springer-Verlag, Berlin, [GS17] D. R. Grayson and M. E. Stillman, Macaulay2 A software system for research in algebraic geometry (version 1.10), available at [Has99] B. Hassett, Some rational cubic fourfolds, J. Algebraic Geom. 8 (1999), no. 1, [Has00], Special cubic fourfolds, Comp. Math. 120 (2000), no. 1, [Has16], Cubic fourfolds, K3 surfaces, and rationality questions, Rationality Problems in Algebraic Geometry: Levico Terme, Italy 2015 (R. Pardini and G. P. Pirola, eds.), Springer International Publishing, Cham, 2016, pp [HKS92] K. Hulek, S. Katz, F. O. Schreyer, Cremona transformations and syzygies, Math. Z. 209 (1992), [Kuz10] A. Kuznetsov, Derived categories of cubic fourfolds, in Cohomological and Geometric Approaches to Rationality Problems, Progress in Mathematics, vol. 282, Birkhäuser Boston, 2010, pp [Kuz16], Derived categories view on rationality problems, Rationality Problems in Algebraic Geometry: Levico Terme, Italy 2015 (R. Pardini and G. P. Pirola, eds.), Springer International Publishing, Cham, 2016, pp [Mor40] U. Morin, Sulla razionalità dell ipersuperficie cubica dello spazio lineare S 5, Rend. Semin. Mat. Univ. Padova 11 (1940), [Nue15] H. Nuer, Unirationality of moduli spaces of special cubic fourfolds and K3 surfaces, Algebraic Geom. 4 (2017), no. 3, [Rus16] F. Russo, On the Geometry of some Special Projective Varieties, Lect. Notes Unione Mat. Ital., vol. 18, Springer International Publishing, [Sch13] F. O. Schreyer, Computer aided unirationality proofs of moduli spaces, in Handbook of Moduli, Vol. III, Adv. Lect. Math. (ALM), vol. 26 (G. Farkas and I. Morrison, eds.) Int. Press, Somerville, MA, 2013, pp [ST70] J. G. Semple, J. A. Tyrrell, The T 2,4 of S 6 defined by a rational surface 3 F 8, Proc. Lond. Math. Soc. 20 (1970), [Sta17] G. Staglianò, A Macaulay2 package for computations with rational maps, available at [Ver01] P. Vermeire, Some results on secant varieties leading to a geometric flip construction, Comp. Math. 125 (2001), no. 3, Dipartimento di Matematica e Informatica, Università degli Studi di Catania, Viale A. Doria 5, Catania, Italy address: frusso@dmi.unict.it, giovannistagliano@gmail.com