Skip to main content
3 of 3
Rewrite the formulas for the lengths of loops in the Bring sextic to show shared structure.

Cutting up the Bring surface into six pairs of pants

The Bring sextic, with 120 automorphisms, is the numerically most symmetric compact Riemann surface of genus 4. To cut it up into six pairs of pants, we need to cut along nine disjoint geodesic loops. How short can those loops be, and how symmetric can we make the decomposition?

I am studying the Bring sextic, by the way, because one can elegantly map all of the possible shapes of equilateral pentagons in the Euclidean plane to the points of the Bring sextic. (Calling it "the Bring sextic", by analogy with "the Klein quartic", obviates the clumsy need to choose between "the Bring surface" over $\mathbb{R}$ and "the Bring curve" over $\mathbb{C}$.)

For comparison, the Bolza quintic is the numerically most symmetric compact Riemann surface back in genus 2, with 48 automorphisms. The systole of the Bolza quintic is $2\operatorname{arccosh}(1+\sqrt{2})\approx 3.057$, and there are $12$ systolic loops (that is, loops of that length). There are triples of systolic loops that are disjoint, and such a triple cuts up the Bolza quintic into two isometric pairs of pants. In that decomposition, the three cuffs of one pair of pants are sewn to the three cuffs of the other, and all three twists, as a fraction of the systole, are $\operatorname{arccosh}((5+4\sqrt{2})/7)/(2\operatorname{arccosh}(1+\sqrt{2}))\approx 0.3213$.

Genus 3 is even prettier. The famous Klein quartic is the symmetry champion, with 168 automorphisms. It has $21$ systolic loops, each of length $8\operatorname{arccosh}(\frac{1}{2}+\cos(2\pi/7))\approx 3.936$. Some sextuples of them are disjoint, and such a sextuple cuts up the Klein quartic into four isometric pairs of pants. The 3-regular graph giving the sewing of the cuffs is $K_4$, the edge-graph of a tetrahedron, and all six twists are $1/8$.

With those cases as context, what happens in genus 4? The Bring sextic has $20$ systolic loops, each of length $2\operatorname{arccosh}((9+5\sqrt{5})/4)\approx 4.603$. Since our loops must be disjoint, however, we can take at most six of those $20$. Cutting along those six breaks the Bring sextic into three pieces, each with four loops of boundary. We need to cut each of those three pieces along another geodesic loop, to split it into two pairs of pants.

The Bring sextic has $30$ loops of length $2\operatorname{arccosh}((11+5\sqrt{5})/4)\approx 4.796$ (only slightly longer than systolic). For each of our three current pieces, there is one of those $30$ loops that splits it into two pairs of pants, leaving us with six isometric pairs of pants overall. The 3-regular graph giving the sewing of the cuffs in the resulting decomposition is $K_{3,3}$, a graph famous for its nonplanarity. The twists of the six systolic loops are $1/6$, while the twists of the three longer loops are $1/4$.

Is this the most symmetric way to cut up the Bring sextic? Or are there other decompositions that can compete with it for simplicity and symmetry?