In mathematics, the Clebsch diagonal cubic surface, or Klein's icosahedral cubic surface, is a non-singular cubic surface, studied by Clebsch (1871) and Klein (1873), 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.
The Clebsch surface is the set of points (x0:x1:x2:x3:x4) of P4 satisfying the equations
Eliminating x0 shows that it is also isomorphic to the surface
in P3. In ℝ3, it can be represented by [1]
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 surface has 10 Eckardt points where 3 lines meet, given by the point (1 : −1 : 0 : 0 : 0) and its conjugates under permutations. Hirzebruch (1976) 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(√5). 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. Klein (1873) 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.
Using the embedding ( 1 ), the 27 lines are given by ⟨a,b,c⟩t + ⟨p,q,r⟩, where a, b, c, p, q, and r are all taken from the same row in the following table: [2]
In geometry, the regular icosahedron is a convex polyhedron that can be constructed from pentagonal antiprism by attaching two pentagonal pyramids with regular faces to each of its pentagonal faces, or by putting points onto the cube. The resulting polyhedron has 20 equilateral triangles as its faces, 30 edges, and 12 vertices. It is an example of a Platonic solid and of a deltahedron. The icosahedral graph represents the skeleton of a regular icosahedron.
In mathematics, a reciprocity law is a generalization of the law of quadratic reciprocity to arbitrary monic irreducible polynomials with integer coefficients. Recall that first reciprocity law, quadratic reciprocity, determines when an irreducible polynomial splits into linear terms when reduced mod . That is, it determines for which prime numbers the relation
In mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is the set of points with instead. Each is an example of two-dimensional half-space.
In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form of one complex variable z; here the coefficients a, b, c, d are complex numbers satisfying ad − bc ≠ 0.
In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group
In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example is the subgroup of invertible 2 × 2 integer matrices of determinant 1 in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer.
In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus 3 with the highest possible order automorphism group for this genus, namely order 168 orientation-preserving automorphisms, and 168 × 2 = 336 automorphisms if orientation may be reversed. As such, the Klein quartic is the Hurwitz surface of lowest possible genus; see Hurwitz's automorphisms theorem. Its (orientation-preserving) automorphism group is isomorphic to PSL(2, 7), the second-smallest non-abelian simple group after the alternating group A5. The quartic was first described in (Klein 1878b).
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 . The theory also becomes more uniform by focusing on surfaces over the complex numbers rather than the real numbers; note that a complex surface has real dimension 4. A simple example is the Fermat cubic surface
In number theory and algebraic geometry, a modular curveY(Γ) is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane H by the action of a congruence subgroup Γ of the modular group of integral 2×2 matrices SL(2, Z). The term modular curve can also be used to refer to the compactified modular curvesX(Γ) which are compactifications obtained by adding finitely many points to this quotient. The points of a modular curve parametrize isomorphism classes of elliptic curves, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are defined either over the field of rational numbers Q or a cyclotomic field Q(ζn). The latter fact and its generalizations are of fundamental importance in number theory.
In mathematics, Hilbert's fourth problem in the 1900 list of Hilbert's problems is a foundational question in geometry. In one statement derived from the original, it was to find — up to an isomorphism — all geometries that have an axiomatic system of the classical geometry, with those axioms of congruence that involve the concept of the angle dropped, and `triangle inequality', regarded as an axiom, added.
In mathematics, a dessin d'enfant is a type of graph embedding used to study Riemann surfaces and to provide combinatorial invariants for the action of the absolute Galois group of the rational numbers. The name of these embeddings is French for a "child's drawing"; its plural is either dessins d'enfant, "child's drawings", or dessins d'enfants, "children's drawings".
In algebraic geometry, a branch of mathematics, a rational surface is a surface birationally equivalent to the projective plane, or in other words a rational variety of dimension two. Rational surfaces are the simplest of the 10 or so classes of surface in the Enriques–Kodaira classification of complex surfaces, and were the first surfaces to be investigated.
In mathematics, and especially in geometry, an object has icosahedral symmetry if it has the same symmetries as a regular icosahedron. Examples of other polyhedra with icosahedral symmetry include the regular dodecahedron and the rhombic triacontahedron.
In mathematics, a Hilbert modular surface or Hilbert–Blumenthal surface is an algebraic surface obtained by taking a quotient of a product of two copies of the upper half-plane by a Hilbert modular group. More generally, a Hilbert modular variety is an algebraic variety obtained by taking a quotient of a product of multiple copies of the upper half-plane by a Hilbert modular group.
In number theory, the classical modular curve is an irreducible plane algebraic curve given by an equation
In algebraic geometry, the Segre cubic is a cubic threefold embedded in 4 dimensional projective space, studied by Corrado Segre.
In algebraic geometry, the Barth–Nieto quintic is a quintic 3-fold in 4 dimensional projective space studied by Wolf Barth and Isidro Nieto that is the Hessian of the Segre cubic.
Arithmetic Fuchsian groups are a special class of Fuchsian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. The prototypical example of an arithmetic Fuchsian group is the modular group . They, and the hyperbolic surface associated to their action on the hyperbolic plane often exhibit particularly regular behaviour among Fuchsian groups and hyperbolic surfaces.
In applied mathematics, finite subgroups of SU(2) are groups composed of rotations and related transformations, employed particularly in the field of physical chemistry. The symmetry group of a physical body generally contains a subgroup of the 3D rotation group. It may occur that the group {±1} with two elements acts also on the body; this is typically the case in magnetism for the exchange of north and south poles, or in quantum mechanics for the change of spin sign. In this case, the symmetry group of a body may be a central extension of the group of spatial symmetries by the group with two elements. Hans Bethe introduced the term "double group" (Doppelgruppe) for such a group, in which two different elements induce the spatial identity, and a rotation of 2π may correspond to an element of the double group that is not the identity.
