On the moduli space of equilateral plane pentagons

We give two new proofs of the well-known result that the moduli space M5\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M_5$$\end{document} of equilateral plane pentagons is a closed surface of genus four. Moreover, we construct a new algebraic description of this space, also in the non-equilateral case, as a real affine algebraic surface F defined by a polynomial p(x, y, z) of degree 12. This allows a visualization using the Surfer software.


Introduction
The moduli space of equilateral pentagons has been known to be homeomorphic to a surface of genus four by a series of works. The study probably goes back to a bachelor thesis of Walker (1985) at Princeton. Hausman (1989) article implicitly contains the claim. Then, the articles by Havel (1991), Kamiyama (1996), Kapovich and Millson (1995) and a Ph.D thesis by Jaggi (1992) present its proofs from several viewpoints. These articles are discussing the problem in more general setting, say, for equilateral polygons in general, or for polygons with prescribed edge lengths.
On the other hand, the moduli space of convex equilateral pentagons can be identified with that of equiangular pentagons by the Schwarz-Christoffel mapping. This fact B Stephan Klaus klaus@mfo.de Sadayoshi Kojima sadayosi@aoni.waseda.jp 1 Mathematisches Forschungsinstitut Oberwolfach, Schwarzwaldstrasse 9-11, 77709 Oberwolfach-Walke, Germany 2 Waseda University, Ohkubo 3-4-1, Shinjyuku, Tokyo 169-0072, Japan is implicitly explained in Kojima et al. (1999) that geometrizes the moduli space in question by hyperbolic geometry. In addition, Bavard and Ghys (1992) and Morin and Nishi (2000) have developed the study of this moduli space furthermore. Their studies have several similarities with the study for pentagons with prescribed edge lengths. Note also that Kojima and Yamashita (1993) discusses the moduli space with combined case under the restriction that the convex pentagon extends to a star shaped pentagon.
The purpose of this paper is to add more computational aspect to the study of the moduli space of equilateral pentagons and its friends. We provide two hopefully new simple topological proofs for the moduli space in question to be actually a surface of genus four. Then, we find a purely algebraic description of the moduli space explicitly as a real algebraic variety of degree 12 in the Euclidean space of dimension 3 and visualize it with the aid of computer graphics. Furthermore, we extend our visualization to the moduli space of pentagons with not necessary equiangular but prescribed edge lengths.
The pictures of moduli spaces in this paper are produced using the free Surfer software (Website of the Surfer software: http://www.imaginary.org/program/surfer) of Oberwolfach. The first author has given a talk on these and other constructions using the Surfer software at a 2015 conference in honor of Gert-Martin Greuel (Klaus 2017).

The moduli space M n of equilateral plane n-gons
An equilateral plane n-gon (short: n-gon) consists of n points ( p 1 , p 2 , . . . , p n ) (including the order) in the complex plane, such that the distances of two consecutive points (consecutive in cyclic order) are all non-zero and equal. If the n points are not all pairwise different, the n-gon is called degenerate. Hence the set of n-gons is a subset of C n and we can give it the subspace topology. Two such n-gons ( p k ) and ( p k ) are similar if there is an affine linear automorphism z → az + b of C which maps p k to p k for all k. Let M n be the set of similarity classes of all n-gons with the quotient topology with respect to the group action of all affine linear automorphism. We call M n the moduli space of (equilateral plane) n-gons.
By the affine linear automorphism z → ( p 1 − p n ) −1 (z − p n ), every n-gon is equivalent to exactly one n-gon with p 1 = 1 and p n = 0. If we set z k := p k+1 − p k ∈ C for k < n, this shows that M n is given in C n−1 as the set of solutions of The following result is well-known (see Kapovich and Millson 1995, for example). For the convenience of the reader, we recall the standard proof.
Theorem 2.1 M n is a compact real affine variety of dimension n − 3 in R 2n−2 which is connected for n > 3. For n odd, M n is a closed smooth (n − 3)-dimensional manifold. Moreover, the tangent bundle of M n is stably trivial, in particular M n is orientable. For n even, M n has singularities and hence is not smooth.
As the torus (S 1 ) n−1 is compact, this follows also for M n .
As M 3 consists of two points represented by the two triangles For n > 3, it is possible to 'fold' the last two nonfixed points p n−1 and p n−2 such that p n−2 = p n = 0. Then the remaining part of the configuration ( p 1 , p 2 , . . . , p n−2 ) forms an (n −2)-gon. For the set of components, this shows that Now we show for n odd that 0 is a regular value of h : (S 1 ) n−1 → C and hence M n is a smooth manifold (Milnor 1997). The differential of h at a point (z 1 = e it 1 , . . . , z n−1 = e it n−1 ) is given by dh(z 1 , . . . , z n−1 ) = i z 1 dt 1 + · · · + i z n−1 dt n−1 .
For n even, the above argument shows that the singular points of h are given by z k = ±1 with z 1 + z 2 + · · · + z n−1 + 1 = 0, which form in particular a non-empty set.
We will study the closed 2-manifold M 5 in the next two section.

The moduli space of pentagons
Now we give two hopefully new proofs of the following well-known theorem. Our proofs work with an explicit cellular structure of the configuration space.
Theorem 3.1 M 5 is a closed oriented surface of genus 4.
First proof: As we already know that is a connected closed oriented 2-manifold, it is enough to compute the Euler characteristics and we perform this by constructing a cell decomposition for M 5 . Because of the triangle inequality, it holds p 3 ∈ C where C is the intersection of two closed discs of radius 2 with centres p 1 = 1 and p 5 = 0. 1 0 p3 p2 p4 P-P+ C Note that C has a canonical cell decomposition into the interior which is one open 2-cellC, and the boundary, which consists of two 1-cells ∂ ± C and two 0-cells P ± := 1 2 (1 ± i √ 15), which form the intersection of the two spheres of radius 2 with centres P 1 = 1 and p 5 = 0.
If p 3 = p 1 then there are exactly 2 different positions for p 2 if | p 3 − p 1 | < 2 and exactly one position given by p 2 = 1 2 ( p 1 + p 3 ) if | p 3 − p 1 | = 2. The analogous statement concerning p 4 is true for p 3 = p 5 . If p 3 is in the degenerate position p 3 = p 1 , then there are infinitely many positions for p 2 given by the circle of radius 1 around p 3 = p 1 = 1. The analogous statement concerning p 4 is true for p 3 = p 5 .
This shows that the forgetful map M 5 → C given by ( p 2 , p 3 , p 4 ) → p 3 is on the image points Hence, if we neglect for a moment the degenerate points p 1 = 1 and p 5 = 0 inĊ, the inverse image of the forgetful map consists of 4 2-cells, 4 1-cells and 2 0-cells. In total this gives 2 − 4 + 4 = 2 for the Euler characteristics, hence a 2-sphere S 2 . Now we consider the 2 degenerate positions for p 3 . Each point in a small disc neighborhood around these positions has 4 inverse images, defining 8 disjoint small discs (without centers) on S 2 . In each degenerate position for p 3 , there are for p 2 respectively p 4 two continuous sets of loci (in fact, circles S 1 ), and two discrete loci for the other point. This yields a gluing of the 8 small discs in S 2 by 4 handles. Thus M 5 is a closed surface of genus 4.
On the other hand, for any equilateral pentagon represented by there is at least one (and at most four) permutation σ in the symmetric group S 4 of degree 4 such that holds. Thus if we let σ be the set of equilateral pentagons satisfying the inequalities above, then Obviously, the interior of σ s dose not intersect each other and this union gives a cellular decomposition of M 5 by twenty-four pentagons. Each edge meets exactly two pentagons since the equality in arguments breaks in two ways and each vertex is shared by four pentagons because each one of two equalities in arguments breaks in two ways independently. Thus the Euler characteristic is 30 − 60 + 24 = −6, and M 5 has genus four.
With Eq.
(3). Now we use the rational parametrization For t → ±∞, it holds that φ(t) → 1, hence φ gives a homeomorphism of the one-point compactification of R to S 1 where the point at infinity is mapped to 1.
Because of M 5 ⊂ (S 1 ) 3 we introduce three real parameters t 1 , t 2 and t 3 for the parametrization of the three torus variables in (3). This gives Nominators can be cleared by multiplication with ((t 2 1 + 1)(t 2 2 + 1)(t 2 3 + 1)) 2 which is non-zero for all t 1 , t 2 , t 3 . In order to make the equation more readable, we rename the variables as (t 1 , t 2 , t 3 ) =: (x, y, z). Then a short computation shows that Eq. (3) is equivalent to the following polynomial equation of order 12: 4(2x 2 y 2 z 2 + x 2 y 2 + x 2 z 2 + y 2 z 2 − 1) 2 + 4(x(y 2 + 1)(z 2 + 1) + (x 2 + 1)y(z 2 + 1) + (x 2 + 1)(y 2 + 1)z) 2 − ((x 2 + 1)(y 2 + 1)(z 2 + 1)) 2 = 0. (4) The following picture of the set F ⊂ R 3 of solutions of (4) was produced using the free Surfer software of Oberwolfach: Note that the smooth surface F is non-compact because the rational parametrization φ of S 1 misses the point 1 ∈ S 1 which corresponds to the positive and negative end ±∞ in R. As φ glues both ends together, it can be considered as the 1-periodic identification in [−1, 1]/(−1 ∼ 1) ∼ = S 1 . As we have used φ three times in the embedding R 3 → (S 1 ) 3 , (x, y, z) → (φ(x), φ(y), φ(z)), we obtain the moduli space M 5 of pentagons by a 3-periodic compactification of F at infinity. As F has 6 tubes running to infinity, we obtain M 5 by glueing the antipodal ends of these tubes together which yields 3 compact handles. Together with the handle which is located in the centre of F, we see that M 5 is a closed connected surface formed by 4 handles. Thus the picture confirms the result that M 5 has genus 4.

Moduli spaces of non-equilateral pentagons
It is well-known that the moduli space of such pentagons with fixed edge lengths d 1 , d 2 , . . . , d 5 can be singular. Singularities appear if and only if 5 i=1 i d l = 0 for some choice of signs i = ±. The proof of this statement can be given with a similar argument as in the case of equilateral n-gons of odd order.
Moreover, the moduli space depends on the choice of the lengths d k and in the smooth case is diffeomorphic to one of the following six spaces (Shimamoto and Vanderwaart 2005;Curtis and Steiner 2006): the sphere, the torus, the sphere with two, three, or four handles, the disjoint union of two tori. Now we apply the method of parametrization of the last section which also works for non-equilateral pentagons. The system of Eqs. (1) and (2)