The notion of a right-angled hexagon in hyperbolic geometry

2k Views Asked by At

I was hoping someone would help me understand better what a "right-angled hexagon" is in hyperbolic geometry. I know these are glued together somehow to produce hyperbolic pairs-of-pants. The only actual definition I have found in Fenchel's book "Elementary Geometry in Hyperbolic Space" is that of (paraphrase) a cyclically-ordered sextuplet of lines $S_n , n \pmod 6 $ , so that the lines $S_n, S_{n+1}$ are normal to each other (?) , but not the same improper lines and $S_{n-1}, S_{n+1}$ do not coincide...

What do we mean by lines normal to each other, and the rest? Thanks.

1

There are 1 best solutions below

6
On BEST ANSWER

A right-angled hexagon is simply a hexagon in the hyperbolic plane with hyperbolic lines (geodesics) as its edges, and interior angles all right angles:

enter image description here

These have lesser total interior angle (and greater total exterior angle) than you'd get in a euclidean hexagon, but that's fine in the hyperbolic plane.

There exists a unique one of these given three non-adjacent side lengths, which is a nice but non-trivial exercise in hyperbolic geometry, and is useful for constructing hyperbolic surfaces from pairs of pants. You can glue two identical ones along three non-adjacent sides to get a pair of pants (and, by the above, you can even specify the cuff lengths for the pair of pants). Then these hyperbolic pairs of pants can be glued to form closed hyperbolic surfaces. If we didn't use right-angled hexagons, the pairs of pants wouldn't have straight boundaries, and the construction wouldn't work.

Here's an image (courtesy David Austin), showing two pairs of pants each built out of two hyperbolic hexagons, which can then be glued to give a hyperbolic genus-2 surface:

enter image description here


At a more basic level, it can be easily seen that there's one with all side lengths equal, at least: start with a very small hyperbolic hexagon, whose angles will be close to those of Euclidean hexagons (i.e. $2\pi/3$), and then pull the geodesics apart; at some point you will get right angles, because as they get further apart, the angles go to zero.