Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Cubic surface
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
{{Short description|Algebraic surface defined by a cubic polynomial}} {{Use dmy dates|date=March 2024}} In [[mathematics]], a '''cubic surface''' is a surface in 3-dimensional space defined by one [[polynomial]] equation of degree 3. Cubic surfaces are fundamental examples in [[algebraic geometry]]. The theory is simplified by working in [[projective space]] rather than [[affine space]], and so cubic surfaces are generally considered in projective 3-space <math>\mathbf{P}^3</math>. The theory also becomes more uniform by focusing on surfaces over the [[complex number]]s rather than the [[real number]]s; note that a complex surface has real dimension 4. A simple example is the [[Fermat cubic surface]] :<math>x^3+y^3+z^3+w^3=0</math> in <math>\mathbf{P}^3</math>. Many properties of cubic surfaces hold more generally for [[del Pezzo surface]]s. [[File:Clebsch_Cubic.png|thumb|right|A smooth cubic surface (the Clebsch surface)]] ==Rationality of cubic surfaces== A central feature of [[smooth scheme|smooth]] cubic surfaces ''X'' over an [[algebraically closed field]] is that they are all [[rational variety|rational]], as shown by [[Alfred Clebsch]] in 1866.<ref>Reid (1988), Corollary 7.4.</ref> That is, there is a one-to-one correspondence defined by [[rational function]]s between the projective plane <math>\mathbf{P}^2</math> minus a lower-dimensional subset and ''X'' minus a lower-dimensional subset. More generally, every irreducible cubic surface (possibly singular) over an algebraically closed field is rational unless it is the [[projective cone]] over a cubic curve.<ref>Kollár, Smith, Corti (2004), Example 1.28.</ref> In this respect, cubic surfaces are much simpler than smooth surfaces of degree at least 4 in <math>\mathbf{P}^3</math>, which are never rational. In [[characteristic (algebra)|characteristic]] zero, smooth surfaces of degree at least 4 in <math>\mathbf{P}^3</math> are not even [[uniruled variety|uniruled]].<ref>Kollár, Smith, Corti (2004), Exercise 1.59.</ref> More strongly, Clebsch showed that every smooth cubic surface in <math>\mathbf{P}^3</math> over an algebraically closed field is isomorphic to the [[blowing up|blow-up]] of <math>\mathbf{P}^2</math> at 6 points.<ref name="Dnotes">Dolgachev (2012), Chapter 9, Historical notes.</ref> As a result, every smooth cubic surface over the complex numbers is [[diffeomorphic]] to the [[connected sum]] <math>\mathbf{CP}^2\# 6(-\mathbf{CP}^2)</math>, where the minus sign refers to a change of [[orientability|orientation]]. Conversely, the blow-up of <math>\mathbf{P}^2</math> at 6 points is isomorphic to a cubic surface if and only if the points are in general position, meaning that no three points lie on a line and all 6 do not lie on a [[conic]]. As a [[complex manifold]] (or an [[algebraic variety]]), the surface depends on the arrangement of those 6 points. ==27 lines on a cubic surface== Most proofs of rationality for cubic surfaces start by finding a line on the surface. (In the context of projective geometry, a line in <math>\mathbf{P}^3</math> is isomorphic to <math>\mathbf{P}^1</math>.) More precisely, [[Arthur Cayley]] and [[George Salmon]] showed in 1849 that every smooth cubic surface over an algebraically closed field contains exactly 27 lines.<ref>Reid (1988), section 7.6.</ref> This is a distinctive feature of cubics: a smooth quadric (degree 2) surface is covered by a continuous family of lines, while most surfaces of degree at least 4 in <math>\mathbf{P}^3</math> contain no lines. Another useful technique for finding the 27 lines involves [[Schubert calculus]] which computes the number of lines using the intersection theory of the [[Grassmannian]] of lines on <math>\mathbf{P}^3</math>. As the coefficients of a smooth complex cubic surface are varied, the 27 lines move continuously. As a result, a closed loop in the family of smooth cubic surfaces determines a [[permutation]] of the 27 lines. The [[group (mathematics)|group]] of permutations of the 27 lines arising this way is called the '''[[monodromy group]]''' of the family of cubic surfaces. A remarkable 19th-century discovery was that the monodromy group is neither trivial nor the whole [[symmetric group]] <math>S_{27}</math>; it is a [[E6 (mathematics)#Weyl group|group of order 51840]], acting [[Group action#Transitivity properties|transitively]] on the set of lines.<ref name="Dnotes" /> This group was gradually recognized (by [[Élie Cartan]] (1896), [[Arthur Coble]] (1915–17), and [[Patrick du Val]] (1936)) as the [[Weyl group]] of type <math>E_6</math>, a group generated by reflections on a 6-dimensional real vector space, related to the [[E6 (mathematics)|Lie group <math>E_6</math>]] of dimension 78.<ref name="Dnotes" /> The same group of order 51840 can be described in combinatorial terms, as the [[automorphism group]] of the [[graph (discrete mathematics)|graph]] of the 27 lines, with a vertex for each line and an edge whenever two lines meet.<ref>Hartshorne (1997), Exercise V.4.11.</ref> This graph was analyzed in the 19th century using subgraphs such as the [[Schläfli double six]] configuration. The complementary graph (with an edge whenever two lines are disjoint) is known as the [[Schläfli graph]]. [[File:Schläfli graph.svg|thumb|right|The Schläfli graph]] Many problems about cubic surfaces can be solved using the combinatorics of the <math>E_6</math> [[root system]]. For example, the 27 lines can be identified with the [[weight (representation theory)#Weights in the representation theory of semisimple Lie algebras|weights]] of the fundamental representation of the Lie group {{nowrap|<math>E_6</math>.}} The possible sets of singularities that can occur on a cubic surface can be described in terms of subsystems of the <math>E_6</math> root system.<ref>Bruce & Wall (1979), section 4; Dolgachev (2012), Table 9.1.</ref> One explanation for this connection is that the <math>E_6</math> lattice arises as the orthogonal complement to the [[anticanonical]] class <math>-K_X</math> in the [[Picard group]] <math>\operatorname{Pic}(X)\cong \mathbf{Z}^7</math>, with its intersection form (coming from the [[intersection theory]] of curves on a surface). For a smooth complex cubic surface, the Picard lattice can also be identified with the [[cohomology]] group <math>H^2(X,\mathbf{Z})</math>. An '''Eckardt point''' is a point where 3 of the 27 lines meet. Most cubic surfaces have no Eckardt point, but such points occur on a [[codimension]]-1 subset of the family of all smooth cubic surfaces.<ref>Dolgachev (2012), section 9.1.4.</ref> Given an identification between a cubic surface on ''X'' and the blow-up of <math>\mathbf{P}^2</math> at 6 points in general position, the 27 lines on ''X'' can be viewed as: the 6 exceptional curves created by blowing up, the birational transforms of the 15 lines through pairs of the 6 points in <math>\mathbf{P}^2</math>, and the birational transforms of the 6 conics containing all but one of the 6 points.<ref>Hartshorne (1997), Theorem V.4.9.</ref> A given cubic surface can be viewed as a blow-up of <math>\mathbf{P}^2</math> in more than one way (in fact, in 72 different ways), and so a description as a blow-up does not reveal the symmetry among all 27 of the lines. The relation between cubic surfaces and the <math>E_6</math> root system generalizes to a relation between all del Pezzo surfaces and root systems. This is one of many [[ADE classification]]s in mathematics. Pursuing these analogies, [[Vera Serganova]] and [[Alexei Skorobogatov]] gave a direct geometric relation between cubic surfaces and the Lie group <math>E_6</math>.<ref>Serganova & Skorobogatov (2007).</ref> In physics, the 27 lines can be identified with the 27 possible charges of [[M-theory]] on a six-dimensional [[torus]] (6 momenta; 15 [[branes|membrane]]s; 6 [[fivebrane]]s) and the group E<sub>6</sub> then naturally acts as the [[U-duality]] group. This map between [[del Pezzo surface]]s and [[M-theory]] on tori is known as [[mysterious duality]]. ==Special cubic surfaces== The smooth complex cubic surface in <math>\mathbf{P}^3</math> with the largest automorphism group is the Fermat cubic surface, defined by :<math>x^3+y^3+z^3+w^3=0.</math> Its automorphism group is an extension <math>3^3:S_4</math>, of order 648.<ref>Dolgachev (2012), Table 9.6.</ref> The next most symmetric smooth cubic surface is the [[Clebsch surface]], which can be defined in <math>\mathbf{P}^4</math> by the two equations :<math>x_0+x_1+x_2+x_3+x_4=x_0^3+x_1^3+x_2^3+x_3^3+x_4^3=0.</math> Its automorphism group is the symmetric group <math>S_5</math>, of order 120. After a complex linear change of coordinates, the Clebsch surface can also be defined by the equation :<math>x^2y+y^2z+z^2w+w^2x=0</math> in <math>\mathbf{P}^3</math>. [[File:Cayley_cubic_2.png|thumb|right|Cayley's nodal cubic surface]] Among singular complex cubic surfaces, [[Cayley's nodal cubic surface]] is the unique surface with the maximal number of [[node (algebraic geometry)|node]]s, 4: :<math>wxy+xyz+yzw+zwx=0.</math> Its automorphism group is <math>S_4</math>, of order 24. ==Real cubic surfaces== In contrast to the complex case, the space of smooth cubic surfaces over the real numbers is not [[connected space|connected]] in the classical [[topological space|topology]] (based on the topology of '''R'''). Its connected components (in other words, the classification of smooth real cubic surfaces up to '''isotopy''') were determined by [[Ludwig Schläfli]] (1863), [[Felix Klein]] (1865), and [[Hieronymus Georg Zeuthen|H. G. Zeuthen]] (1875).<ref>Degtyarev and Kharlamov (2000), section 3.5.2. The various types of real cubic surfaces, and the lines on them, are pictured in Holzer & Labs (2006).</ref> Namely, there are 5 isotopy classes of smooth real cubic surfaces ''X'' in <math>\mathbf{P}^3</math>, distinguished by the topology of the space of [[rational point|real points]] <math>X(\mathbf{R})</math>. The space of real points is diffeomorphic to either <math>W_7, W_5, W_3, W_1</math>, or the disjoint union of <math>W_1</math> and the 2-sphere, where <math>W_r</math> denotes the connected sum of ''r'' copies of the [[real projective plane]] <math>\mathbf{RP}^2</math>. In these five cases, the number of real lines contained in ''X'' is 27, 15, 7, 3, or 3, respectively. A smooth real cubic surface is rational over '''R''' if and only if its space of real points is connected, hence in the first four of the previous five cases.<ref>Silhol (1989), section VI.5.</ref> The average number of real lines on ''X'' is <math>6 \sqrt{2}-3</math><ref>{{Cite journal|last1=Basu|first1=S.|last2=Lerario|first2=A.|last3=Lundberg|first3=E.|last4=Peterson|first4=C.|date=2019|title=Random fields and the enumerative geometry of lines on real and complex hypersurfaces|url=https://link.springer.com/article/10.1007/s00208-019-01837-0|journal=Mathematische Annalen|volume=374|issue=3–4 |pages=1773–1810|doi=10.1007/s00208-019-01837-0|arxiv=1610.01205|s2cid=253717173 }}</ref> when the defining polynomial for ''X'' is sampled at random from the Gaussian ensemble induced by the [[Bombieri norm|Bombieri inner product]]. ==The moduli space of cubic surfaces== Two smooth cubic surfaces are isomorphic as algebraic varieties if and only if they are equivalent by some linear automorphism of <math>\mathbf{P}^3</math>. [[Geometric invariant theory]] gives a [[moduli space]] of cubic surfaces, with one point for each isomorphism class of smooth cubic surfaces. This moduli space has dimension 4. More precisely, it is an open subset of the [[weighted projective space]] P(12345), by Salmon and Clebsch (1860). In particular, it is a rational 4-fold.<ref>Dolgachev (2012), equation (9.57).</ref> ==The cone of curves== The lines on a cubic surface ''X'' over an algebraically closed field can be described intrinsically, without reference to the embedding of ''X'' in <math>\mathbf{P}^3</math>: they are exactly the '''(−1)-curves''' on ''X'', meaning the curves isomorphic to <math>\mathbf{P}^1</math> that have self-intersection −1. Also, the classes of lines in the Picard lattice of ''X'' (or equivalently the [[divisor class group]]) are exactly the elements ''u'' of Pic(''X'') such that <math>u^2=-1</math> and <math>-K_X\cdot u=1</math>. (This uses that the restriction of the [[Coherent sheaf#Examples of vector bundles|hyperplane line bundle]] O(1) on <math>\mathbf{P}^3</math> to ''X'' is the anticanonical line bundle <math>-K_X</math>, by the [[adjunction formula]].) For any projective variety ''X'', the [[cone of curves]] means the [[convex cone]] spanned by all curves in ''X'' (in the real vector space <math>N_1(X)</math> of 1-cycles modulo numerical equivalence, or in the [[singular homology|homology group]] <math>H_2(X,\mathbf{R})</math> if the base field is the complex numbers). For a cubic surface, the cone of curves is spanned by the 27 lines.<ref>Hartshorne (1997), Theorem V.4.11.</ref> In particular, it is a rational polyhedral cone in <math>N_1(X)\cong \mathbf{R}^7</math> with a large symmetry group, the Weyl group of <math>E_6</math>. There is a similar description of the cone of curves for any del Pezzo surface. ==Cubic surfaces over a field== A smooth cubic surface ''X'' over a field ''k'' which is not algebraically closed need not be rational over ''k''. As an extreme case, there are smooth cubic surfaces over the [[rational numbers]] '''Q''' (or the [[p-adic numbers]] <math>\mathbf{Q}_p</math>) with no [[rational point]]s, in which case ''X'' is certainly not rational.<ref>Kollár, Smith, Corti (2004), Exercise 1.29.</ref> If ''X''(''k'') is nonempty, then ''X'' is at least [[unirational]] over ''k'', by [[Beniamino Segre]] and [[János Kollár]].<ref>Kollár, Smith, Corti (2004), Theorems 1.37 and 1.38.</ref> For ''k'' infinite, unirationality implies that the set of ''k''-rational points is [[Zariski dense]] in ''X''. The [[absolute Galois group]] of ''k'' permutes the 27 lines of ''X'' over the algebraic closure <math>\overline{k}</math> of ''k'' (through some subgroup of the Weyl group of <math>E_6</math>). If some orbit of this action consists of disjoint lines, then X is the blow-up of a "simpler" del Pezzo surface over ''k'' at a closed point. Otherwise, ''X'' has Picard number 1. (The Picard group of ''X'' is a subgroup of the geometric Picard group <math>\operatorname{Pic}(X_{\overline{k}})\cong \mathbf{Z}^7</math>.) In the latter case, Segre showed that ''X'' is never rational. More strongly, [[Yuri Manin]] proved a birational rigidity statement: two smooth cubic surfaces with Picard number 1 over a [[perfect field]] ''k'' are [[birational]] if and only if they are isomorphic.<ref>Kollár, Smith, Corti (2004), Theorems 2.1 and 2.2.</ref> For example, these results give many cubic surfaces over '''Q''' that are unirational but not rational. == Singular cubic surfaces == In contrast to [[Smoothness|smooth]] cubic surfaces which contain 27 lines, [[Singularity (mathematics)|singular]] cubic surfaces contain fewer lines.<ref name=":1">{{Cite journal|last1=Bruce|first1=J. W.|last2=Wall|first2=C. T. C.|date=1979|title=On the Classification of Cubic Surfaces|url=https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/jlms/s2-19.2.245|journal=Journal of the London Mathematical Society|language=en|volume=s2-19|issue=2|pages=245–256|doi=10.1112/jlms/s2-19.2.245|issn=1469-7750|url-access=subscription}}</ref> Moreover, they can be classified by the type of singularity which arises in their normal form. These singularities are classified using [[Dynkin diagram]]s. === Classification === A normal singular cubic surface <math>X</math> in <math>\textbf{P}_{\mathbb{C}}^3</math> with local coordinates <math>[x_0:x_1:x_2:x_3]</math> is said to be in '''normal form''' if it is given by <math>F= x_3 f_2(x_0,x_1,x_2) -f_3(x_0,x_1,x_2) = 0</math>. Depending on the type of singularity <math>X</math> contains, it is [[Isomorphism|isomorphic]] to the projective surface in <math>\textbf{P}^3</math> given by <math>F= x_3 f_2(x_0,x_1,x_2) -f_3(x_0,x_1,x_2) = 0</math> where <math>f_2, f_3</math> are as in the table below. That means we can obtain a classification of all singular cubic surfaces. The parameters of the following table are as follows: <math>a,b,c</math> are three distinct elements of <math>\mathbb{C} \setminus\{0,1\}</math>, the parameters <math>d,e</math> are in <math>\mathbb{C} \setminus \{0,-1\}</math> and <math>u</math> is an element of <math>\mathbb{C}\setminus \{ 0\}</math>. Notice that there are two different singular cubic surfaces with singularity <math>D_4</math>.<ref name=":0">{{Cite journal|last=SAKAMAKI|first=YOSHIYUKI|title=Automorphism Groups on Normal Singular Cubic Surfaces with No Parameters|date=2010|journal=Transactions of the American Mathematical Society|volume=362|issue=5|pages=2641–2666|doi=10.1090/S0002-9947-09-05023-5|jstor=25677798|issn=0002-9947|doi-access=free}}</ref> {| class="wikitable mw-collapsible" |+Classification of singular cubic surfaces by singularity type<ref name=":0" /> ![[Singular point of an algebraic variety|Singularity]] !<math>f_2(x_0, x_1, x_2)</math> !<math>f_3(x_0, x_1, x_2)</math> |- |<math>A_1</math> |<math>x_0x_2-x_1^2</math> |<math>(x_0-ax_1)(-x_0+(b+1)x_1 - bx_2)(x_1-cx_2)</math> |- |<math>2A_1</math> |<math>x_0x_2-x_1^2</math> |<math>(x_0-2x_1+x_2)(x_0-ax_1)(x_1-bx_2)</math> |- |<math>A_1A_2</math> |<math>x_0x_2-x_1^2</math> |<math>(x_0-x_1)(-x_1+x_2)(x_0-(a+1)x_1+ax_2)</math> |- |<math>3A_1</math> |<math>x_0x_2-x_1^2</math> |<math>x_0x_2(x_0-(a+1)x_1+ax_2)</math> |- |<math>A_1A_3</math> |<math>x_0x_2-x_1^2</math> |<math>(x_0-x_1)(-x_1+x_2)(x_0-2x_1+x_2)</math> |- |<math>2A_1A_2</math> |<math>x_0x_2-x_1^2</math> |<math>x_1^2(x_0-x_1)</math> |- |<math>4A_1</math> |<math>x_0x_2-x_1^2</math> |<math>(x_0-x_1)(x_1-x_2)x_1</math> |- |<math>A_1A_4</math> |<math>x_0x_2-x_1^2</math> |<math>x_0^2x_1</math> |- |<math>2A_1A_3</math> |<math>x_0x_2-x_1^2</math> |<math>x_0x_1^2</math> |- |<math>A_12A_2</math> |<math>x_0x_2-x_1^2</math> |<math>x_1^3</math> |- |<math>A_1A_5</math> |<math>x_0x_2-x_1^2</math> |<math>x_0^3</math> |- |<math>A_2</math> |<math>x_0x_1</math> |<math>x_2(x_0+x_1+x_2)(dx_0+ex_1+dex_2)</math> |- |<math>2A_2</math> |<math>x_0x_1</math> |<math>x_2(x_1+x_2)(-x_1+dx_2)</math> |- |<math>3A_2</math> |<math>x_0x_1</math> |<math>x_2^3</math> |- |<math>A_3</math> |<math>x_0x_1</math> |<math>x_2(x_0+x_1+x_2)(x_0-ux_1)</math> |- |<math>A_4</math> |<math>x_0x_1</math> |<math>x_0^2x_2 + x_1^3 - x_1x_2^2</math> |- |<math>A_5</math> |<math>x_0x_1</math> |<math>x_0^3 + x_1^3 - x_1x_2^2</math> |- |<math>D_4(1)</math> |<math>x_0^2</math> |<math>x_1^3+x_2^3</math> |- |<math>D_4(2)</math> |<math>x_0^2</math> |<math>x_1^3+x_2^3+x_0x_1x_2</math> |- |<math>D_5</math> |<math>x_0^2</math> |<math>x_0x_2^2 + x_1^2x_2</math> |- |<math>E_6</math> |<math>x_0^2</math> |<math>x_0x_2^2 + x_1^3</math> |- |<math>\tilde{E}_6</math> |<math>0</math> |<math>x_1^2x_2-x_0(x_0-x_2)(x_0-ax_2)</math> |} In normal form, whenever a cubic surface <math>X</math> contains at least one <math>A_1</math> singularity, it will have an <math>A_1</math> singularity at <math>[0:0:0:1]</math>.<ref name=":1" /> === Lines on singular cubic surfaces === According to the classification of singular cubic surfaces, the following table shows the number of [[Projective line|lines]] each surface contains. {| class="wikitable mw-collapsible" |+Lines on singular cubic surfaces<ref name=":0" /> ![[Singular point of an algebraic variety|Singularity]] |<math>A_1</math> |<math>2A_1</math> |<math>A_1A_2</math> |<math>3A_1</math> |<math>A_1A_3</math> |<math>2A_1A_2</math> |<math>4A_1</math> |<math>A_1A_4</math> |<math>2A_1A_3</math> |<math>A_12A_2</math> |<math>A_1A_5</math> |<math>A_2</math> |<math>2A_2</math> |<math>3A_2</math> |<math>A_3</math> |<math>A_4</math> |<math>A_5</math> |<math>D_4</math> |<math>D_5</math> |<math>E_6</math> |<math>\tilde{E}_6</math> |- !No. of lines |21 |16 |11 |12 |7 |8 |9 |4 |5 |5 |2 |15 |7 |3 |10 |6 |3 |6 |3 |1 |<math>\infty</math> |} === Automorphism groups of singular cubic surfaces with no parameters === An [[automorphism]] of a normal singular cubic surface <math>X</math> is the [[Restriction (mathematics)|restriction]] of an automorphism of the [[projective space]] <math>\textbf{P}^3</math> to <math>X</math>. Such automorphisms preserve singular points. Moreover, they do not permute singularities of different types. If the surface contains two singularities of the same type, the automorphism may permute them. The collection of automorphisms on a cubic surface forms a [[Group (mathematics)|group]], the so-called '''automorphism group'''. The following table shows all automorphism groups of singular cubic surfaces with no parameters. {| class="wikitable mw-collapsible" |+Automorphism groups of singular cubic surfaces with no parameters<ref name=":0" /> ![[Singular point of an algebraic variety|Singularity]] !Automorphism group of <math>X</math> |- |<math>A_1A_3</math> |<math>\mathbb{Z}/2 \mathbb{Z}</math> |- |<math>2A_1A_2</math> |<math>\mathbb{Z}/2 \mathbb{Z}</math> |- |<math>4A_1</math> |<math>\Sigma_4</math>, the [[symmetric group]] of order <math>4!</math> |- |<math>A_1A_4</math> |<math>\mathbb{C}^\times = \mathbb{C} \setminus \{ 0 \}</math> |- |<math>2A_1A_3</math> |<math>\mathbb{C}^\times \rtimes \mathbb{Z} / 2 \mathbb{Z}</math> |- |<math>A_12A_2</math> |<math>\mathbb{C}^\times \rtimes \mathbb{Z} / 2 \mathbb{Z}</math> |- |<math>A_1A_5</math> |<math>\mathbb{C} \rtimes \mathbb{C}^\times</math> |- |<math>3A_2</math> |<math>(\mathbb{C})^2 \rtimes \Sigma_3</math> |- |<math>A_4</math> |<math>\mathbb{Z}/4 \mathbb{Z}</math> |- |<math>A_5</math> |<math>(\mathbb{C} \rtimes \mathbb{Z} /3 \mathbb{Z} ) \rtimes \mathbb{Z} / 2 \mathbb{Z}</math> |- |<math>D_4(1)</math> |<math>\mathbb{C}^\times \rtimes \Sigma_3</math> |- |<math>D_4(2)</math> |<math>\Sigma_3</math> |- |<math>D_5</math> |<math>\mathbb{C}^\times</math> |- |<math>E_6</math> |<math>\mathbb{C} \rtimes \mathbb{C}^\times</math> |} ==See also== *[[Algebraic surface]] *[[Enriques–Kodaira classification]] *[[Fano variety]] *[[Schubert calculus]] ==Notes== {{reflist|30}} ==References== *{{Citation | author1-last=Bruce | author1-first=J. W. | author2-last=Wall | author2-first=C. T. C. | author2-link=C. T. C. Wall | title=On the classification of cubic surfaces | doi=10.1112/jlms/s2-19.2.245 | mr=533323 | year=1979 | journal=Journal of the London Mathematical Society | issn=0024-6107 | volume=19 | issue=2 | pages=245–256}} *{{citation| author1-first=Arthur |author1-last=Cayley|author1-link=Arthur Cayley|title= On the triple tangent planes of surfaces of the third order|journal= Cambridge and Dublin Math. J.|volume= 4 |year=1849|pages= 118–138|url=https://archive.org/stream/collectedmathema01cayluoft#page/444/mode/2up}} *{{Citation |last1=Cayley |first1=Arthur |author1-link=Arthur Cayley | title=A memoir on cubic surfaces | jstor=108997 | publisher=The Royal Society | year=1869 | journal=[[Philosophical Transactions of the Royal Society of London]] | issn=0080-4614 | volume=159 | pages=231–326 | doi=10.1098/rstl.1869.0010| doi-access= }} *{{Citation | author1-last=Degtyarev | author1-first=A. I. | author2-last=Kharlamov | author2-first=V. M. | author2-link=Viatcheslav M. Kharlamov | title=Topological properties of real algebraic varieties: Rokhlin's way. | journal=Russian Mathematical Surveys | volume=55 | year=2000 | number=4 | pages=735–814 | mr=1786731 | arxiv=math/0004134 | doi=10.1070/RM2000v055n04ABEH000315| s2cid=250775854 }} *{{Citation|author1-last=Dolgachev|author1-first=Igor|author1-link=Igor Dolgachev|title=Classical algebraic geometry:a modern view|publisher=[[Cambridge University Press]]|mr=2964027|year=2012|doi=10.1017/CBO9781139084437|isbn=9781139084437}} *{{cite book | author=Robin Hartshorne | orig-year=1977 | year=1997 | title=Algebraic geometry | publisher=Springer-Verlag | isbn=978-0-387-90244-9 | mr=0463157 | title-link=Algebraic Geometry (book)| author-link=Robin Hartshorne }} *{{Citation | last1=Henderson | first1=Archibald | title=The twenty-seven lines upon the cubic surface | publisher=[[Cambridge University Press]] | series=Cambridge Tracts in Mathematics | isbn=978-1107493513 | jfm=42.0661.01 | orig-year=1911 | year=2015}} *{{Citation | author1-last=Holzer | author1-first=Stephan | author2-last=Labs | author2-first=Oliver | chapter=Illustrating the classification of real cubic surfaces | title=Algebraic geometry and geometric modeling | pages=119–134 | publisher=Springer | year=2006 | chapter-url=http://www.oliverlabs.net/data/vis_real_cs.pdf | mr=2279847}} *{{eom|title=Cubic hypersurface|first=V.A.|last= Iskovskikh}} *{{Citation | last1=Kollár | first1=János |author1-link=János Kollár| last2=Smith | first2=Karen E. |author2-link=Karen Smith (mathematician)| last3=Corti | first3=Alessio | s2cid=117569533 |author3-link=Alessio Corti| title=Rational and nearly rational varieties | publisher=[[Cambridge University Press]] | isbn=978-0-521-83207-6 |mr=2062787 | year=2004 | doi=10.1017/CBO9780511734991}} *{{Citation | last1=Manin | first1=Yuri Ivanovich | author1-link=Yuri Ivanovich Manin | title=Cubic forms | publisher=North-Holland | location=Amsterdam | edition=2nd | series=North-Holland Mathematical Library | isbn=978-0-444-87823-6 | mr=833513 | year=1986 | volume=4}} *{{cite book| last=Reid| first=Miles| author-link=Miles Reid| title=Undergraduate algebraic geometry| year=1988| publisher=[[Cambridge University Press]]| isbn=978-0-521-35662-6| mr=0982494| url-access=registration| url=https://archive.org/details/undergraduatealg0000reid}} *{{Citation |title=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 | jstor=108795 | publisher=The Royal Society | year=1863 | journal=[[Philosophical Transactions of the Royal Society of London]] | issn=0080-4614 | volume=153 | pages=193–241 | author1-last=Schläfli | author1-first=Ludwig | author1-link=Ludwig Schläfli | doi=10.1098/rstl.1863.0010| doi-access=free }} *{{Citation | author1-last=Segre | author1-first=Beniamino | author1-link=Beniamino Segre | title=The non-singular cubic surfaces | publisher=[[Oxford University Press]] | mr=0008171 | year=1942}} *{{Citation | author1-last=Serganova | author1-first=Vera | author1-link=Vera Serganova | author2-last=Skorobogatov | author2-first=Alexei | author2-link=Alexei Skorobogatov | title=Del Pezzo surfaces and representation theory | journal=Algebra and Number Theory | volume=1 | issue=4 | year=2007 | pages=393–419 | doi=10.2140/ant.2007.1.393 | mr=2368955| doi-access=free | arxiv=math/0611737 }} *{{Citation | author1-last=Silhol | author1-first=Robert | title=Real algebraic surfaces | series=Lecture Notes in Mathematics | volume=1392 | publisher=Springer-Verlag | year=1989 |isbn=3-540-51563-1 | doi=10.1007/BFb0088815 | mr=1015720}} ==External links== {{commons category|Cubic surfaces}} * {{MacTutor Biography|class=HistTopics|id=Cubic_surfaces}} * [http://demonstrations.wolfram.com/LinesOnACubicSurface/ Lines on a Cubic Surface] by Ryan Hoban (The Experimental Geometry Lab at the University of Maryland), based on work by William Goldman, [[The Wolfram Demonstrations Project]]. * [http://www.madore.org/cubic-dvd/ The ''Cubic Surfaces'' DVD] (54 animations of cubic surfaces, downloadable separately or as a DVD) {{DEFAULTSORT:Cubic Surface}} [[Category:Algebraic surfaces]] [[Category:Complex surfaces]]
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)
Pages transcluded onto the current version of this page
(
help
)
:
Template:Citation
(
edit
)
Template:Cite book
(
edit
)
Template:Cite journal
(
edit
)
Template:Commons category
(
edit
)
Template:Eom
(
edit
)
Template:MacTutor Biography
(
edit
)
Template:Nowrap
(
edit
)
Template:Reflist
(
edit
)
Template:Short description
(
edit
)
Template:Use dmy dates
(
edit
)