{"id":2321,"date":"2016-03-01T01:00:50","date_gmt":"2016-03-01T01:00:50","guid":{"rendered":"http:\/\/blogs.ams.org\/visualinsight\/?p=2321"},"modified":"2018-08-15T03:53:14","modified_gmt":"2018-08-15T03:53:14","slug":"clebsch-surface","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/visualinsight\/2016\/03\/01\/clebsch-surface\/","title":{"rendered":"Clebsch Surface"},"content":{"rendered":"
\n
\"Clebsch

Clebsch Surface – Greg Egan<\/p><\/div>\n<\/div>\n

This is an image of the Clebsch surface<\/a>, created by Greg Egan<\/a>. As explained in a previous post here, the Clebsch surface owes its fame to the fact that while all smooth cubic surfaces defined over the complex numbers contain 27 lines, for this particular example all the lines are real, and thus visible to the eye:<\/p>\n

\u2022 27 lines on a cubic surface<\/a>.<\/p>\n

\n
\"27

27 Lines on a Cubic Surface – Greg Egan<\/p><\/div>\n<\/div>\n

The equation of the Clebsch cubic is simple and elegant when we regard it as a projective variety, but this view of it in \\(\\mathbb{R}^3\\) is given by the following more complicated equation:<\/p>\n

$$ \\begin{array}{cc} 81 (x^3 + y^3 + z^3) \\; – \\;
\n189 (x^2 y + x^2 z + x y^2 + x z^2 + y^2 z + y z^2) \\; + \\\\
\n54 xyz \\; + \\; 126(xy + xz + yz) \\; – \\; 9(x^2 + y^2 + z^2) \\; – \\; 9(x + y + z) \\; + \\; 1 \\; \\; = \\; \\; 0. \\end{array} $$<\/p>\n

This equation is invariant under permutations of the variables \\(x, y, z\\). This gives the picture above its 3-fold symmetry.<\/p>\n

A point where 3 lines on a cubic surface meet is called an Eckardt point<\/b>. The Clebsch surface is the only smooth cubic surface with 10 Eckardt points. In the view above, 3 of the Eckardt points are invisible, since they are at the plane at infinity.<\/p>\n

Here are two images, each showing part of the Clebsch surface. In each image, Egan has sliced the surface with a plane, and shown only the portion of the surface on one side of this plane. The Eckardt points that lie exactly on the cutting plane are colored gray, while the remainder are colored black:<\/p>\n

\n
\"Half

Half of the Clebsch Surface – Greg Egan<\/p><\/div>\n<\/div>\n

In the picture above, he cut through a plane that contains the axis of symmetry and one of the blue lines. Note that this is not<\/i> a plane of mirror symmetry.<\/p>\n

\n
\"Another

Another Half of the Clebsch Surface – Greg Egan<\/p><\/div>\n<\/div>\n

Given a point \\(p\\) in a 2-dimensional complex algebraic variety \\(X\\) one can build a new variety in which the point \\(p\\) is inflated or ‘blown up’ to a projective line. The idea is that different points of \\(\\mathbb{C}\\mathrm{P}^1\\) correspond to different lines through the origin in the tangent space of \\(p\\). So, as we approach the original point \\(p\\) in different directions, in the new variety we approach different points of \\(\\mathbb{C}\\mathrm{P}^1\\). This procedure creates a new variety \\(X_p\\) equipped with an algebraic map<\/p>\n

$$ \\pi : X_p \\to X $$<\/p>\n

that is surjective, with the inverse image of \\(p\\) being a copy of \\(\\mathbb{C}\\mathrm{P}^1\\).<\/p>\n

Every smooth cubic surface can be obtained by blowing up the projective plane \\(\\mathbb{C}\\mathrm{P}^2\\) at 6 points. Conversely, suppose we have 6 points in \\(\\mathbb{C}\\mathrm{P}^2\\) such that no 3 lie on a line and not all 6 lie on a conic. Then if we blow up \\(\\mathbb{C}\\mathrm{P}^2\\) at all 6 of these points, we get a surface isomorphic to a smooth cubic. Thus, the Clebsch cubic can be obtained by blowing up \\(\\mathbb{C}\\mathrm{P}^2\\) at 6 suitably chosen points.<\/p>\n

In 1873, Felix Klein described these points as follows. If the projective plane \\(\\mathbb{C}\\mathrm{P}^2\\) is identified with the set of lines through the origin in a copy of \\(\\mathbb{C}^3\\) containing a copy of \\(\\mathbb{R}^3\\) that in turn contains an icosahedron centered at the origin, then the 6 points correspond to the 6 lines through the icosahedron’s 12 vertices! The Eckardt points correspond to the 10 lines through the centers of the 20 faces.<\/p>\n

For this reason, the Clebsch surface is also called Klein’s icosahedral cubic surface<\/b>. This construction shows that its group of symmetries is larger than \\(\\mathrm{S}_3\\), since symmetries of the icosahedron also act as symmetries of this surface. Here by ‘symmetry’ we mean a biholomorphic<\/a> transformation: a complex-analytic map with complex-analytic inverse.<\/p>\n

In fact, the symmetry group of the Clebsch surface is as large as possible for a cubic surface: it is \\(\\mathrm{S}_5\\). The presence of these symmetries becomes obvious if we use the description we began with in our previous post: the Clebsch surface is the projective variety defined by the homogeneous equations<\/p>\n

$$ \\begin{array}{c} x_0+x_1+x_2+x_3+x_4 = 0 , \\\\
\nx_0^3+x_1^3+x_2^3+x_3^3+x_4^3 = 0 .\\end{array} $$<\/p>\n

The group \\(\\mathrm{S}_5\\) acts by permuting the 5 coordinates.<\/p>\n

Many old universities have nice plaster models of the Clebsch surface. For a nice discussion of the model at Oxford, with more on the mathematics of this surface and its relation to the affine Dynkin diagram of \\(\\mathrm{E}_6\\), see:<\/p>\n

\u2022 Mathematical Institute, The University of Oxford, The Clebsch diagonal surface<\/a>.<\/p>\n

You can buy a model of the surface here:<\/p>\n

\u2022 MOLabs, Cubic surfaces<\/a>.<\/p>\n

This is Klein’s paper on the Clebsch surface:<\/p>\n

\u2022 Felix Klein, Ueber Fl\u00e4chen dritter Ordnung, Mathematische Annalen<\/i> 6<\/b> (1873), 551\u2013581.<\/p>\n

and this is the paper where Clebsch introduced the surface:<\/p>\n

\u2022 Alfred Clebsch, Ueber die Anwendung der quadratischen Substitution auf die Gleichungen 5ten Grades und die geometrische Theorie des ebenen F\u00fcnfseits, Mathematische Annalen<\/i> 4<\/b> (1871), 2847\u2013345.<\/p>\n

This is a nice introduction to blowing up:<\/p>\n

\u2022 Marc Brodmann, Blowing up!<\/a><\/p>\n

and here is a more advanced one:<\/p>\n

\u2022 Herwig Hauser, The Hironaka theorem on resolution of singularities (or: a proof we always wanted to understand)<\/a>, Bull. Amer. Math. Soc.<\/i> 40<\/b> (2003), 323\u2013403.<\/p>\n

\n

Visual Insight<\/i> is a place to share striking images that help explain advanced topics in mathematics. I\u2019m always looking for truly beautiful images, so if you know about one, please drop a comment here<\/a> and let me know!<\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

This is an image of the Clebsch surface<\/a>, created by Greg Egan<\/a>. The Clebsch surface owes its fame to the fact that while all smooth cubic surfaces defined over the complex numbers contain 27 lines, for this particular example all the lines are real, and thus visible to the eye. However, it has other nice properties as well.<\/p>\n

<\/div>\n","protected":false},"author":66,"featured_media":2322,"comment_status":"open","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[15,2,12],"tags":[],"class_list":["post-2321","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-algebraic-geometry","category-images-library","category-surfaces"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/02\/clebsch_diagonal_cubic_translucent.gif","jetpack_shortlink":"https:\/\/wp.me\/p42Vmc-Br","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2321","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/users\/66"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/comments?post=2321"}],"version-history":[{"count":35,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2321\/revisions"}],"predecessor-version":[{"id":3156,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2321\/revisions\/3156"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media\/2322"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media?parent=2321"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/categories?post=2321"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/tags?post=2321"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}