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 (complex dimension 1 = real dimension 2). The Fuchsian group of a Hurwitz surface is a finite index torsionfree normal subgroup of the (ordinary) (2,3,7) triangle group. The finite quotient group is precisely the automorphism group. Automorphisms of complex algebraic curves are ''orientation-preserving'' automorphisms of the underlying real surface; if one allows orientation-''reversing'' isometries, this yields a group twice as large, of order 168(''g'' − 1), which is sometimes of interest. A note on terminology – in this and other contexts, the "(2,3,7) triangle group" most often refers, not to ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Order-7 Triangular Tiling
In geometry, the order-7 triangular tiling is a regular tiling of the hyperbolic plane with a Schläfli symbol of . Hurwitz surfaces The symmetry group of the tiling is the (2,3,7) triangle group, and a fundamental domain for this action is the (2,3,7) Schwarz triangle. This is the smallest hyperbolic Schwarz triangle, and thus, by the proof of Hurwitz's automorphisms theorem, the tiling is the universal tiling that covers all Hurwitz surfaces (the Riemann surfaces with maximal symmetry group), giving them a triangulation whose symmetry group equals their automorphism group as Riemann surfaces. The smallest of these is the Klein quartic, the most symmetric genus 3 surface, together with a tiling by 56 triangles, meeting at 24 vertices, with symmetry group the simple group of order 168, known as PSL(2,7). The resulting surface can in turn be polyhedrally immersed into Euclidean 3-space, yielding the small cubicuboctahedron. The dual order-3 heptagonal tiling has the same symme ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Klein Quartic
In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus with the highest possible order automorphism group for this genus, namely order orientation-preserving automorphisms, and 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 , the second-smallest non-abelian simple group after the alternating group A5. The quartic was first described in . Klein's quartic occurs in many branches of mathematics, in contexts including representation theory, homology theory, octonion multiplication, Fermat's Last Theorem, and the Stark–Heegner theorem on imaginary quadratic number fields of class number one; see for a survey of properties. Originally, the "Klein quartic" referred specifically to the subset of the complex projective plane defined by an algebraic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Systolic Geometry
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. The notion of systole The ''systole'' of a compact metric space ''X'' is a metric invariant of ''X'', defined to be the least length of a noncontractible loop in ''X'' (i.e. a loop that cannot be contracted to a point in the ambient space ''X''). In more technical language, we minimize length over free loops representing nontrivial conjugacy classes in the fundamental group of ''X''. When ''X'' is a graph, the invariant is usually referred to as the girth, ever since the 1947 article on girth by W. T. Tutte. Possibly inspired by Tutte's article, Loewner started thinking about systolic questions on surfaces in the la ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mikhail Katz
Mikhail "Mischa" Gershevich Katz (born 1958, in ChiÈ™inău)Curriculum vitae retrieved 2011-05-23. is an Israeli , a professor of mathematics at . His main interests are , and [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematische Annalen
''Mathematische Annalen'' (abbreviated as ''Math. Ann.'' or, formerly, ''Math. Annal.'') is a German mathematical research journal founded in 1868 by Alfred Clebsch and Carl Neumann. Subsequent managing editors were Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguignon, Wolfgang Lück, and Nigel Hitchin. Currently, the managing editor of Mathematische Annalen is Thomas Schick. Volumes 1–80 (1869–1919) were published by Teubner. Since 1920 (vol. 81), the journal has been published by Springer. In the late 1920s, under the editorship of Hilbert, the journal became embroiled in controversy over the participation of L. E. J. Brouwer on its editorial board, a spillover from the foundational Brouwer–Hilbert controversy. Between 1945 and 1947 the journal briefly ceased publication. References External links''Mathematische Annalen''homepage at Springer''Mathematische Annalen''archive (1869†... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hurwitz Quaternion Order
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 (both usages are current in the literature). Definition Let K be the maximal real subfield of \mathbb(\rho) where \rho is a 7th-primitive root of unity. The ring of integers of K is \mathbbeta/math>, where the element \eta=\rho+ \bar\rho can be identified with the positive real 2\cos(\tfrac). Let D be the quaternion algebra, or symbol algebra :D:=\,(\eta,\eta)_, so that i^2=j^2=\eta and ij=-ji in D. Also let \tau=1+\eta+\eta^2 and j'=\tfrac(1+\eta i + \tau j). Let :\mathcal_=\mathbbetai,j,j']. Then \mathcal_ is a maximal Order (ring theory), order of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
First Hurwitz Triplet
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. Arithmetic construction Let K be the real subfield of \mathbbrho/math> where \rho is a 7th-primitive root of unity. The ring of integers of ''K'' is \mathbbeta/math>, where \eta=2\cos(\tfrac). Let D be the quaternion algebra, or symbol algebra (\eta,\eta)_. Also Let \tau=1+\eta+\eta^2 and j'=\tfrac(1+\eta i + \tau j). Let \mathcal_\mathrm=\mathbbetai,j,j']. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Principal Congruence Subgroup
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. The existence of congruence subgroups in an arithmetic group provides it with a wealth of subgroups, in particular it shows that the group is residually finite. An important question regarding the algebraic structure of arithmetic groups is the congruence subgroup problem, which asks whether all subgroups of finite index are essentially congruence subgroups. Congruence subgroups of 2×2 matrices are fundamental objects in the classical theory of modular forms; the modern theory ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Prime Ideal
In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal. Primitive ideals are prime, and prime ideals are both primary and semiprime. Prime ideals for commutative rings An ideal of a commutative ring is prime if it has the following two properties: * If and are two elements of such that their product is an element of , then is in or is in , * is not the whole ring . This generalizes the following property of prime numbers, known as Euclid's lemma: if is a prime number and if divides a product of two integers, then divides or divides . We can therefore say :A positive integer is a prime number if and only if n\Z is a prime ideal in \Z. Examples * A simple example: In the ring R=\Z, the subset of even numbers is a prime ideal. * Given an integral domain R ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Number Field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension). Thus K is a field that contains \mathbb and has finite dimension when considered as a vector space over The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory. This study reveals hidden structures behind usual rational numbers, by using algebraic methods. Definition Prerequisites The notion of algebraic number field relies on the concept of a field. A field consists of a set of elements together with two operations, namely addition, and multiplication, and some distributivity assumptions. A prominent example of a field is the field of rational numbers, commonly denoted together with its usual operations of addition and multiplication. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ring Of Integers
In mathematics, the ring of integers of an algebraic number field K is the ring of all algebraic integers contained in K. An algebraic integer is a root of a monic polynomial with integer coefficients: x^n+c_x^+\cdots+c_0. This ring is often denoted by O_K or \mathcal O_K. Since any integer belongs to K and is an integral element of K, the ring \mathbb is always a subring of O_K. The ring of integers \mathbb is the simplest possible ring of integers. Namely, \mathbb=O_ where \mathbb is the field of rational numbers. And indeed, in algebraic number theory the elements of \mathbb are often called the "rational integers" because of this. The next simplest example is the ring of Gaussian integers \mathbb /math>, consisting of complex numbers whose real and imaginary parts are integers. It is the ring of integers in the number field \mathbb(i) of Gaussian rationals, consisting of complex numbers whose real and imaginary parts are rational numbers. Like the rational integers, \mathbb ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Macbeath Surface
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. The automorphism group of the Macbeath surface is the simple group Projective linear group, PSL(2,8), consisting of 504 symmetries. Triangle group construction The surface's Fuchsian group can be constructed as the principal congruence subgroup of the (2,3,7) triangle group in a suitable tower of principal congruence subgroups. Here the choices of quaternion algebra and Hurwitz quaternion order are described at the triangle group page. Choosing the ideal \langle 2 \rangle in the ring of integers, the corresponding principal congruence subgroup defines this surface of genus 7. Its systolic geometry, systole is about 5.796, and the number of systolic loops is 126 according to R. Vogeler's calculations. It is possible to realize the resulting triangulated surface as a non-convex polyhedron without self-intersections. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |