Hurwitz's automorphisms theorem

In mathematics, Hurwitz's automorphisms theorem helps us understand how many special changes can be made to certain shapes without tearing them. These shapes are called compact Riemann surfaces, and they have a number called a genus. The theorem says that for shapes with a genus greater than 1, the number of these special changes, called automorphisms, cannot be more than 84 times (genus minus 1). When a group of changes reaches this maximum number, it is called a Hurwitz group, and the shape is called a Hurwitz surface.

This idea is important because these shapes are also connected to special kinds of equations in complex projective algebraic curves. The theorem was proven by Adolf Hurwitz in 1893.

The rule also works for certain types of equations over different number systems, but it can sometimes fail when dealing with special kinds of numbers called fields of positive characteristic.

Interpretation in terms of hyperbolicity

One big idea in math is how shapes can have different "curvatures." This helps us understand many things. For special math shapes called Riemann surfaces, this idea shows up in different ways.

There are three main types of these surfaces:

• A sphere, which has positive curvature.
• A flat surface called a torus, which has zero curvature.
• A hyperbolic surface, which has more complex curvature and works best when it has more than one "hole" or genus.

For hyperbolic surfaces, there is a special rule about how many ways you can change or move the surface while keeping it the same. This number can't be more than 84 times (g − 1), where g is how many "holes" the surface has. When a surface reaches this exact number, it is called a Hurwitz surface.

These surfaces can be built using patterns called tilings on what mathematicians call the hyperbolic plane. These patterns help create the special properties of Hurwitz surfaces.

Examples of Hurwitz groups and surfaces

The smallest Hurwitz group is called PSL(2,7), which has 168 parts, and the matching curve is known as the Klein quartic curve. This group is also the same as PSL(3,2).

Another example is the Macbeath curve, with a group of 504 parts called PSL(2,8). Many other simple groups also fit this pattern. Most projective special linear groups with large numbers are Hurwitz groups, but fewer are found with smaller numbers.

Many groups linked to special math shapes are also Hurwitz groups. Some special groups and twisted groups are nearly always Hurwitz, and several rare groups can also be generated as Hurwitz groups.

Automorphism groups in low genus

The largest number of special changes you can make to certain mathematical shapes called Riemann surfaces is shown below, for shapes with a complexity level between 2 and 10. We also show one example shape that allows the most changes.

In this range, only shapes with a complexity level of 3 and 7 can reach this maximum number of changes.

Generalizations

The idea of a Hurwitz surface can be extended in different ways to include examples from almost every type of surface. One common way is to think of a "maximally symmetric" surface. This means the surface cannot be changed in a way that makes it more symmetric than it already is. This type of surface exists for all types of smooth, round shapes that keep their direction.