From Surf Wiki (app.surf) — the open knowledge base
Clebsch surface
Non-singular cubic surface in mathematics
Non-singular cubic surface in mathematics
In mathematics, the Clebsch diagonal cubic surface, or Klein's icosahedral cubic surface, is a non-singular cubic surface, studied by and , all of whose 27 exceptional lines can be defined over the real numbers. The term Klein's icosahedral surface can refer to either this surface or its blowup at the 10 Eckardt points.
Definition
The Clebsch surface is the set of points (x0:x1:x2:x3:x4) of P4 satisfying the equations :x_0 + x_1 + x_2 + x_3 + x_4 = 0, :x_0^3 + x_1^3 + x_2^3 + x_3^3 + x_4^3 = 0.
Eliminating x0 shows that it is also isomorphic to the surface :x_1^3 + x_2^3 + x_3^3 + x_4^3 = (x_1 + x_2 + x_3 + x_4)^3
in P3. In ℝ3, it can be represented by
Properties
The symmetry group of the Clebsch surface is the symmetric group S5 of order 120, acting by permutations of the coordinates (in P4). Up to isomorphism, the Clebsch surface is the only cubic surface with this automorphism group.
The 27 exceptional lines are:
- The 15 images (under S5) of the line of points of the form (a : −a : b : −b : 0).
- The 12 images of the line though the point (1:ζ: ζ2: ζ3: ζ4) and its complex conjugate, where ζ is a primitive 5th root of unity.
The surface has 10 Eckardt points where 3 lines meet, given by the point (1: −1: 0: 0: 0) and its conjugates under permutations. showed that the surface obtained by blowing up the Clebsch surface in its 10 Eckardt points is the Hilbert modular surface of the level 2 principal congruence subgroup of the Hilbert modular group of the field Q(). The quotient of the Hilbert modular group by its level 2 congruence subgroup is isomorphic to the alternating group of order 60 on 5 points.
Like all nonsingular cubic surfaces, the Clebsch cubic can be obtained by blowing up the projective plane in 6 points. described these points as follows. If the projective plane is identified with the set of lines through the origin in a 3-dimensional vector space containing 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.
Explicit description of lines
Using the embedding (), the 27 lines are given by , where a, b, c, p, q, and r are all taken from the same row in the following table:
| a | b | c | p | q | r |
|---|---|---|---|---|---|
| 1 | -1 | 0 | 0 | 0 | -\frac{1}{3} |
| 1 | 0 | -1 | 0 | -\frac{1}{3} | 0 |
| 0 | 1 | -1 | -\frac{1}{3} | 0 | 0 |
| 1 | -1 | 0 | \frac{1}{6} | \frac{1}{6} | 0 |
| 1 | -1 | 0 | \frac{1}{3} | \frac{1}{3} | \frac{1}{3} |
| 1 | 0 | -1 | \frac{1}{6} | 0 | \frac{1}{6} |
| 1 | 0 | -1 | \frac{1}{3} | \frac{1}{3} | \frac{1}{3} |
| 0 | 1 | -1 | 0 | \frac{1}{6} | \frac{1}{6} |
| 0 | 1 | -1 | \frac{1}{3} | \frac{1}{3} | \frac{1}{3} |
| 3 | 0 | 1 | \frac{1}{6} | 0 | \frac{1}{6} |
| 3 | 1 | 0 | \frac{1}{6} | \frac{1}{6} | 0 |
| 0 | 3 | 1 | 0 | \frac{1}{6} | \frac{1}{6} |
| 1 | 3 | 0 | \frac{1}{6} | \frac{1}{6} | 0 |
| 0 | 1 | 3 | 0 | \frac{1}{6} | \frac{1}{6} |
| 1 | 0 | 3 | \frac{1}{6} | 0 | \frac{1}{6} |
| 1+\frac{3}{\sqrt{5}} | -\frac{1}{\sqrt{5}} | 1 | \frac{5+\sqrt{5}}{30} | \frac{5+3\sqrt{5}}{30} | 0 |
| -\frac{1}{\sqrt{5}} | 1+\frac{3}{\sqrt{5}} | 1 | \frac{5+3\sqrt{5}}{30} | \frac{5+\sqrt{5}}{30} | 0 |
| -3-\sqrt{5} | -\sqrt{5} | 1 | \frac{7+3\sqrt{5}}{6} | \frac{3+\sqrt{5}}{6} | 0 |
| \frac{-3+\sqrt{5}}{4} | \frac{-5+3\sqrt{5}}{4} | 1 | \frac{3+\sqrt{5}}{12} | \frac{1-\sqrt{5}}{12} | 0 |
| \frac{-5-3\sqrt{5}}{4} | \frac{-3-\sqrt{5}}{4} | 1 | \frac{1+\sqrt{5}}{12} | \frac{3-\sqrt{5}}{12} | 0 |
| \sqrt{5} | -3+\sqrt{5} | 1 | \frac{3-\sqrt{5}}{6} | \frac{7-3\sqrt{5}}{6} | 0 |
| -\sqrt{5} | -3-\sqrt{5} | 1 | \frac{3+\sqrt{5}}{6} | \frac{7+3\sqrt{5}}{6} | 0 |
| \frac{-5+3\sqrt{5}}{4} | \frac{-3+\sqrt{5}}{4} | 1 | \frac{1-\sqrt{5}}{12} | \frac{3+\sqrt{5}}{12} | 0 |
| \frac{-3-\sqrt{5}}{4} | \frac{-5-3\sqrt{5}}{4} | 1 | \frac{3-\sqrt{5}}{12} | \frac{1+\sqrt{5}}{12} | 0 |
| -3+\sqrt{5} | \sqrt{5} | 1 | \frac{7-3\sqrt{5}}{6} | \frac{3-\sqrt{5}}{6} | 0 |
| \frac{1}{\sqrt{5}} | 1-\frac{3}{\sqrt{5}} | 1 | \frac{5-3\sqrt{5}}{30} | \frac{5-\sqrt{5}}{30} | 0 |
| 1-\frac{3}{\sqrt{5}} | \frac{1}{\sqrt{5}} | 1 | \frac{5-\sqrt{5}}{30} | \frac{5-3\sqrt{5}}{30} | 0 |
References
References
- Baez, John. (2016-03-01). "Clebsch Surface {{!}} Visual Insight".
- Masson, Paul. (2017-09-17). "27 Lines on a Cubic Surface".
This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.
Ask Mako anything about Clebsch surface — get instant answers, deeper analysis, and related topics.
Research with MakoFree with your Surf account
Create a free account to save articles, ask Mako questions, and organize your research.
Sign up freeThis content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.
Report