A cubic surface is a projective variety studied in algebraic geometry. It is an algebraic surface in three-dimensional projective space defined by a single quaternary cubic polynomial which is homogeneous of degree 3 (hence, cubic). Cubic surfaces are del Pezzo surfaces.
If has homogeneous co-ordinates , then the set of points where
is a cubic surface called the Fermat cubic surface.
The Clebsch surface is the set of points where
Cayley's nodal cubic surface is the set of points where
27 lines on a cubic surface
The Cayley-Salmon theorem (Cayley 1849) states that a smooth cubic surface over an algebraically closed field contains 27 straight lines. These can be characterized independently of the embedding into projective space as the rational lines with self-intersection number −1, or in other words the −1-curves on the surface. An Eckardt point is a point where 3 of the 27 lines meet.
A smooth cubic surface can also be described as a rational surface obtained by blowing up six points in the projective plane in general position (in this case, “general position” means no three points are aligned and no six are on a conic section). The 27 lines are the exceptional divisors above the 6 blown up points, the proper transforms of the 15 lines in which join two of the blown up points, and the proper transforms of the 6 conics in which contain all but one of the blown up points.
The 27 lines can also be identified with some objects arising in representation theory. In particular, these 27 lines can be identified with 27 vectors in the dual of the E6 lattice so their configuration is acted on by the Weyl group of E6. In particular they form a basis of the 27-dimensional fundamental representation of the group E6.
The 27 lines contain 36 copies of the Schläfli double six configuration.
The 27 lines can be identified with the 27 possible charges of M-theory on a six-dimensional torus (6 momenta; 15 membranes; 6 fivebranes) and the group E6 then naturally acts as the U-duality group. This map between del Pezzo surfaces and M-theory on tori is known as mysterious duality.
There are other ways of thinking of these 27 lines. For example, if one projects the cubic from a point which is not on any line (most points of the cubic are like this) then we obtain a double cover of the plane branched along a smooth quartic curve. The 27 lines are mapped to 27 out of the 28 bitangents to this quartic curve; the 28th line is the image of the exceptional locus of the blow-up necessary to resolve the indeterminacy of the projection. These two objects (27 lines on the cubic, 28 bitangents on a quartic), together with the 120 tritangent planes of a canonic sextic curve of genus 4, form a "trinity" in the sense of Vladimir Arnold, specifically a form of McKay correspondence, and can be related to many further objects, including E7 and E8, as discussed at trinities.
Singular cubic surfaces
An example of a singular cubic is Cayley's nodal cubic surface
with 4 nodal singular points at and its permutations. Singular cubic surfaces also contain rational lines, and the number and arrangement of the lines is related to the type of the singularity.
- Bruce, J. W.; Wall, C. T. C. (1979), "On the classification of cubic surfaces", Journal of the London Mathematical Society, 19 (2): 245–256, doi:10.1112/jlms/s2-19.2.245, ISSN 0024-6107, MR 533323
- Cayley, A. (1849), "On the triple tangent planes of surfaces of the third order", Cambridge and Dublin Math. J., 4: 118–138
- Cayley, Arthur (1869), "A Memoir on Cubic Surfaces", Philosophical Transactions of the Royal Society of London, The Royal Society, 159: 231–326, doi:10.1098/rstl.1869.0010, ISSN 0080-4614, JSTOR 108997
- Dolgachev, Igor (2012), Classical Algebraic Geometry:a modern view, Cambridge University Press, MR 2964027
- Dolgachev, Igor V. (2005), "Luigi Cremona and cubic surfaces", Luigi Cremona (1830–1903) (PDF), Incontro di Studio, 36, Istituto Lombardo di Scienze e Lettere, Milan, pp. 55–70, MR 2305952
- Henderson, Archibald (2007), The twenty-seven lines upon the cubic surface, Reprinting of Cambridge Tracts in Mathematics and Mathematical Physics, No. 13, Merchant books, ISBN 978-1-60386-066-6, MR 0119139
- Hunt, Bruce (1996), The geometry of some special arithmetic quotients, Lecture Notes in Mathematics, 1637, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0094399, ISBN 978-3-540-61795-2, MR 1438547
- Iskovskikh, V.A. (2001), "C/c027270", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Manin, Yuri Ivanovich (1986), Cubic forms, North-Holland Mathematical Library, 4 (2nd ed.), Amsterdam: North-Holland, ISBN 978-0-444-87823-6, MR 833513
- Schläfli, Dr (1863), "On the Distribution of Surfaces of the Third Order into Species, in Reference to the Absence or Presence of Singular Points, and the Reality of Their Lines", Philosophical Transactions of the Royal Society of London, The Royal Society, 153: 193–241, doi:10.1098/rstl.1863.0010, ISSN 0080-4614, JSTOR 108795
- Segre, Beniamino (1942), The Non-singular Cubic Surfaces, Oxford University Press, MR 0008171
|Wikimedia Commons has media related to Cubic surfaces.|
- Labs, Oliver, Cubic surfaces home page
- O'Connor, John J.; Robertson, Edmund F., "Cubic surface", MacTutor History of Mathematics archive, University of St Andrews.
- Weisstein, Eric W. "Cubic surface". MathWorld.