LUIGI CREMONA AND CUBIC SURFACES IGOR V. DOLGACHEV Abstract. We discuss the contribution of Luigi Cremona to the early development of the theory of cubic surfaces. 1. A brief history In 1911 Archibald Henderson wrote in his book [Hen] “While it is doubteless true that the classification of cubic surfaces is complete, the number of papers dealing with these surfaces which continue to appear from year to year furnish abundant proof of the fact that they still possess much the same fascination as they did in the days of their discovery of the twenty-seven lines upon the cubic surface.” It is amazing that a similar statement can be repeated almost a hundred years later. Searching in MathSciNet for “cubic surfaces” and their close cousins “Del Pezzo surfaces” reveals 69 and 80 papers published in recent 10 years. Here are some of the highlights in the history of classical research on cubic surfaces before the work of Cremona. A good source is Pascal’s Repertorium [Pas]. 1849: Arthur Cayley communicates to George Salmon that a general cubic surface contains a finite number of lines. Salmon proves that the number of lines must be equal to 27. Salmon’s proof is presented in Cayley’s paper [Cay]. In the same paper Cayley shows that a general cubic surface admits 45 tritangent planes, i.e. planes planes which intersect the surface along the union of three lines. He gives a certain 4-parameter family of cubic arXiv:math/0408283v1 [math.AG] 20 Aug 2004 surfaces for which the equations of tritangent planes can be explicitly found and their coefficients are rational functions in parameters. In a paper published in the same year and in the same journal [Sal1] Salmon proves that not only a general but any nonsingular surface contains exactly 27 lines. He also finds the number of lines on 11 different types of singular surfaces. The discovery of 27 lines on a general cubic surface can be considered as the first non-trivial result on algebraic surfaces of order higher than 2. In fact, it can be considered as the beginning of modern algebraic geometry. Research is partially supported by NSF grant DMS-0245203. 1 2 IGORV.DOLGACHEV 1851: John Sylvester claims without proof that a general cubic surface can be written uniquely as a sum of 5 cubes of linear forms [Syl]: 3 3 3 3 3 F3 = L1 + L2 + L3 + L4 + L5. This was proven ten years later by Alfred Clebsch [Cle3]. The union of planes Li = 0 will be known as the Sylvester pentahedron of the cubic surface. 1854: Ludwig Schl¨afli finds about the 27 lines from correspondence with Jacob Steiner [Graf]. In his letters he communicates to Steiner some of his results on cubic surfaces which were published later in 1858 [Schl1]. For example he shows that a general cubic surface has 36 double-sixes of lines. A double-six is a pair of sets of 6 skew lines (sixes) such that each line from one set is skew to a unique line from the other set making a bijection between the two sets. He introduces a new notation for the 27 lines (ai, bi, cij , 1 ≤ i < j ≤ 6). In these notations the double-sixes are a1 ... a6 a b c c c c a a a c c c , i i kl km kn kp , i k l mn mp np b1 ... b6 ak bk cil cim cin cip ckl cik cil bp bn bm 1855: Hermann Grassmann proves that three collinear nets of planes generate a cubic surface. More precisely, let N1, N2, N2 be three general two-dimensional linear systems of planes in P3. Choose an isomorphism 2 2 3 φi : P → Ni for each i = 1, 2, 3 and consider rational map Φ : P − → P defined by Φ(x)= φ1(x) ∩ φ1(x) ∩ φ1(x). Grassmann proves that its image is a cubic surface in P3. 1856: Jacob Steiner [Ste] introduces 120 subsets of 9 lines which form two pairs of triples of tritangent planes (a Triederpaar). Each triple (a Trieder) consists of tritangent planes intersecting along a line not on the surface. In Schl¨afli’s notation they are ai bj cij cij ckl cmn ai bj cij bk cjk aj , cln cim cjk , bk al ckl cik ak bi ckm cjn cil cik cjl cmn This gives 120 essentially different representation of a general cubic surface by an equation of the form L1L2L3 + L4L5L6 = 0, where Li’s are linear forms. The existence of such a representation was already pointed out by Cayley [Cay] and Salmon [Sal1]. In the same memoir Steiner relates the Sylvester pentahedron with the linear system of polar quadrics of the cubic surface. He also studies pencils of conics on a general cubic surface. Most of his results were stated without proof. 1860 Salmon [Sal2] and Clebsch [Cle1],[Cle2] find invariants of cubic forms in 4 variables. The ring of invariants is generated by invariants of degrees 8, 16, 24, 32, 40, 100 where the square of the invariant of degree 100 is a polynomial in the remaining invariants. In modern terms this implies LUIGICREMONAANDCUBICSURFACES 3 that that the GIT-quotient of the projective space of cubic surfaces mod- ulo the group of projective transformations is isomorphic to the weighted projective space P(1, 2, 3, 4, 5). 1862: Fridericus August [Aug] proves that a general cubic surface can be projectively generated by three pencils of planes. 1863: Ludwig Schl¨afli [Schl2] classifies possible types of isolated singular points on cubic surfaces and their reality. 1863: Heinrich Schr¨oter [Schr] shows how to obtain the 27 lines on a cubic surface obtained by Grassmann’s construction and shows that there are exactly 6 triples of planes which intersect along a common line. The six lines form a half of a double-six. In modern terms this implies that the cubic surfaces are isomorphic to the blow-up of six points in projective plane. 1866 Alfred Clebsch [Cle4] proves that a general cubic surface is the image of a birational map from projective plane given by the linear system of cubics through 6 points. Using this he shows that in the lines ai in Schl¨afli’s notation are the images of the exceptional curves, the lines bi are the images of conics through 5 points, and the lines cij are the images of lines through two points. 1866: Luigi Cremona and Rudolf Sturm are awarded a Prize of Berlin Academie established by Steiner for their work on cubic surfaces. A large part of their work was dedicated to supplying proof of the results announced by Steiner. 1867 The work of Sturm has been published [Stu1]. 1868 The work of Cremona has been published [Cre1]. 2. Projective generatedness Let X be a cubic surface with 3 skew lines l1, l2, l3. Let Pi, i = 1, 2, 3 be three pencils of planes through the lines. A general plane π1 ∈ P1 and a general plane π2 ∈ P2 intersect along a line l. The line l intersects the cubic surface at 3 points, one on l1, one on l2 and the third one is the intersection point of two residual conics. Let p be the third point and π3 ∈ P3 be the plane through p. Then π1 ∩ π1 ∩ π3 = {p}. Consider the rational map 1 1 1 3 Ψ : P × P × P −→ P , (π1,π2,π3) 7→ π1 ∩ π1 ∩ π3. Let R be the graph of the map (π1,π2) 7→ π3, where π3 is the plane passing through p = π1 ∩π2 ∩X. Then the image of R under Ψ is X. The subvariety R ⊂ P1 × P1 × P1 defines a relation between 3 planes which was called by August [Aug] the duplo-projective relation. Cremona wants to show that August’s generatedness of X implies the Grassmann generatedness by three nets of planes. This proves that every general cubic can be obtained by Grassmann’s construction. Here is his beautiful argument. First, using the tritangent planes through the lines l1, l2, l3, he finds the lines lij on X which intersects li and lj but not three 4 IGORV.DOLGACHEV of them. Then he takes a general plane π and a triangle of lines a1, a2, a3 on it. He chooses a projective isomorphism ai with Pi such that the vertex pij = ai ∩ aj of the triangle corresponds to the plane in Pi containing the line lij. This does not yet fix the projective isomorphism. So, he chooses a point λi ∈ ai such that the planes πi from Pi intersecting ai at λi are in the correspondence R. Let x0 = π1 ∩ π2 ∩ π3. Now the projective isomorphisms ai ↔ Pi being fixed, he takes any point x ∈ π and consider the line joining x with the vertex pij of the triangle. Each of three lines obtained in this way intersects the opposite side ak at a point λk(x) and hence defines a plane ′ πk(x) ∈ Pk. Let x be the intersection point of these planes. He asks ([Cre1], p. 70) “Quel est le lieu du point x?” and proceeds to prove that it is equal to X. For this he shows that the locus X′ is a cubic surface containing 9 lines obtained from pairwise intersections of 6 planes spanned by the lines li and ′ lij. Then he tries to show that the surface X and X has also the point x0 in common not lying on the union of the nine lines. This of course proves that ′ X = X . He uses that the line li correspond to the point x taken on the side ai of the triangle and the lines lij correspond to the vertices of the triangle.