First Hurwitz triplet

Last updated

In the mathematical theory of Riemann surfaces, the first Hurwitz triplet is a triple of distinct Hurwitz surfaces with the identical automorphism group of the lowest possible genus, namely 14 (genera 3 and 7 each admit a unique Hurwitz surface, respectively the Klein quartic and the Macbeath surface). The explanation for this phenomenon is arithmetic. Namely, in the ring of integers of the appropriate number field, the rational prime 13 splits as a product of three distinct prime ideals. The principal congruence subgroups defined by the triplet of primes produce Fuchsian groups corresponding to the triplet of Riemann surfaces.

Contents

Arithmetic construction

Let be the real subfield of where is a 7th-primitive root of unity. The ring of integers of K is , where . Let be the quaternion algebra, or symbol algebra . Also Let and . Let . Then is a maximal order of (see Hurwitz quaternion order), described explicitly by Noam Elkies [1].

In order to construct the first Hurwitz triplet, consider the prime decomposition of 13 in , namely

where is invertible. Also consider the prime ideals generated by the non-invertible factors. The principal congruence subgroup defined by such a prime ideal I is by definition the group

namely, the group of elements of reduced norm 1 in equivalent to 1 modulo the ideal . The corresponding Fuchsian group is obtained as the image of the principal congruence subgroup under a representation to PSL(2,R).

Each of the three Riemann surfaces in the first Hurwitz triplet can be formed as a Fuchsian model, the quotient of the hyperbolic plane by one of these three Fuchsian groups.

Bound for systolic length and the systolic ratio

The Gauss–Bonnet theorem states that

where is the Euler characteristic of the surface and is the Gaussian curvature . In the case we have

and

thus we obtain that the area of these surfaces is

.

The lower bound on the systole as specified in [2], namely

is 3.5187.

Some specific details about each of the surfaces are presented in the following tables (the number of systolic loops is taken from [3]). The term Systolic Trace refers to the least reduced trace of an element in the corresponding subgroup . The systolic ratio is the ratio of the square of the systole to the area.

Ideal
Systole5.9039
Systolic Trace
Systolic Ratio0.2133
Number of Systolic Loops91
Ideal
Systole6.3933
Systolic Trace
Systolic Ratio0.2502
Number of Systolic Loops78
Ideal
Systole6.8879
Systolic Trace
Systolic Ratio0.2904
Number of Systolic Loops364

See also

Related Research Articles

Lorentz group Lie group of Lorentz transformations

In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.

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 would be 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.

Klein quartic Compact Riemann surface of genus 3

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).

Arithmetic group

In mathematics, an arithmetic group is a group obtained as the integer points of an algebraic group, for example They arise naturally in the study of arithmetic properties of quadratic forms and other classical topics in number theory. They also give rise to very interesting examples of Riemannian manifolds and hence are objects of interest in differential geometry and topology. Finally, these two topics join in the theory of automorphic forms which is fundamental in modern number theory.

In mathematics, Hurwitz's automorphisms theorem bounds the order of the group of automorphisms, via orientation-preserving conformal mappings, of a compact Riemann surface of genus g > 1, stating that the number of such automorphisms cannot exceed 84(g − 1). A group for which the maximum is achieved is called a Hurwitz group, and the corresponding Riemann surface a Hurwitz surface. Because compact Riemann surfaces are synonymous with non-singular complex projective algebraic curves, a Hurwitz surface can also be called a Hurwitz curve. The theorem is named after Adolf Hurwitz, who proved it in.

Systolic geometry Minimum length of a noncontractible closed curve in a metric space

In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also a slower-paced Introduction to systolic geometry.

In theoretical physics, the superconformal algebra is a graded Lie algebra or superalgebra that combines the conformal algebra and supersymmetry. In two dimensions, the superconformal algebra is infinite-dimensional. In higher dimensions, superconformal algebras are finite-dimensional and generate the superconformal group.

In physics, the Majorana equation is a relativistic wave equation. It is named after the Italian physicist Ettore Majorana, who proposed it in 1937 as a means of describing fermions that are their own antiparticle. Particles corresponding to this equation are termed Majorana particles, although that term now has a more expansive meaning, referring to any fermionic particle that is its own anti-particle.

Classical group

In mathematics, the classical groups are defined as the special linear groups over the reals R, the complex numbers C and the quaternions H together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type. The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups.

In mathematical physics, the Dirac algebra is the Clifford algebra . This was introduced by the mathematical physicist P. A. M. Dirac in 1928 in developing the Dirac equation for spin-½ particles with a matrix representation of the gamma matrices, which represent the generators of the algebra.

In mathematics, the Bolza surface, alternatively, complex algebraic Bolza curve, is a compact Riemann surface of genus with the highest possible order of the conformal automorphism group in this genus, namely of order 48. The full automorphism group is the semi-direct product of order 96. An affine model for the Bolza surface can be obtained as the locus of the equation

In the theory of Riemann surfaces and hyperbolic geometry, the triangle group (2,3,7) is particularly important. This importance stems from its connection to Hurwitz surfaces, namely Riemann surfaces of genus g with the largest possible order, 84(g − 1), of its automorphism group.

Hurwitz surface

In Riemann surface theory and hyperbolic geometry, a Hurwitz surface, named after Adolf Hurwitz, is a compact Riemann surface with precisely 84(g − 1) automorphisms, where g is the genus of the surface. This number is maximal by virtue of Hurwitz's theorem on automorphisms. They are also referred to as Hurwitz curves, interpreting them as complex algebraic curves.

In Riemann surface theory and hyperbolic geometry, the Macbeath surface, also called Macbeath's curve or the Fricke–Macbeath curve, is the genus-7 Hurwitz surface.

Introduction to systolic geometry Non-technical introduction to systolic geometry

Systolic geometry is a branch of differential geometry, a field within mathematics, studying problems such as the relationship between the area inside a closed curve C, and the length or perimeter of C. Since the area A may be small while the length l is large, when C looks elongated, the relationship can only take the form of an inequality. What is more, such an inequality would be an upper bound for A: there is no interesting lower bound just in terms of the length.

In mathematics, systolic inequalities for curves on surfaces were first studied by Charles Loewner in 1949. Given a closed surface, its systole, denoted sys, is defined to be the least length of a loop that cannot be contracted to a point on the surface. The systolic area of a metric is defined to be the ratio area/sys2. The systolic ratio SR is the reciprocal quantity sys2/area. See also Introduction to systolic geometry.

The Hurwitz quaternion order is a specific order in a quaternion algebra over a suitable number field. The order is of particular importance in Riemann surface theory, in connection with surfaces with maximal symmetry, namely the Hurwitz surfaces. The Hurwitz quaternion order was studied in 1967 by Goro Shimura, but first explicitly described by Noam Elkies in 1998. For an alternative use of the term, see Hurwitz quaternion.

Weyl equation Relativistic wave equation describing massless fermions

In physics, particularly in quantum field theory, the Weyl equation is a relativistic wave equation for describing massless spin-1/2 particles called Weyl fermions. The equation is named after Hermann Weyl. The Weyl fermions are one of the three possible types of elementary fermions, the other two being the Dirac and the Majorana fermions.

In mathematics a translation surface is a surface obtained from identifying the sides of a polygon in the Euclidean plane by translations. An equivalent definition is a Riemann surface together with a holomorphic 1-form.

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.

References