
TL;DR
This paper studies the automorphism groups of origami curves, showing that any finite group acting conformally on a surface can be realized as the automorphism group of an origami pair with topologically equivalent actions.
Contribution
It proves that for any finite group acting conformally on a surface, there exists an origami pair with the same automorphism group and topologically equivalent action.
Findings
Any finite group can be realized as an automorphism group of an origami pair.
The automorphism group of an origami pair can be topologically equivalent to a given conformal automorphism group.
Origami pairs can model all finite group actions on surfaces of genus at least two.
Abstract
A closed Riemann surface (of genus at least one) is called an origami curve if it admits a non-constant holomorphic map with at most one branch value, where is a genus one Riemann surface. In this case, is called an origami pair and is the group of conformal automorphisms of such that . Let be a finite group. It is a known fact that can be realized as a subgroup of for a suitable origami pair . It is also known that can be realized as a group of conformal automorphisms of a Riemann surface of genus and with quotient orbifold also of genus . Given a conformal action of on a surface as before, we prove that there is an origami pair , where has genus and such that…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Automorphism groups of origami curves
Rubén A. Hidalgo
Departamento de Matemática y Estadística, Universidad de La Frontera. Temuco, Chile
Abstract.
A closed Riemann surface (of genus at least one) is called an origami curve if it admits a non-constant holomorphic map with at most one branch value, where is a genus one Riemann surface. In this case, is called an origami pair and is the group of conformal automorphisms of such that . Let be a finite group. It is a known fact that can be realized as a subgroup of for a suitable origami pair . It is also known that can be realized as a group of conformal automorphisms of a Riemann surface of genus and with quotient orbifold also of genus . Given a conformal action of on a surface as before, we prove that there is an origami pair , where has genus and such that the actions of on and that of on are topologically equivalent.
Key words and phrases:
Riemann surfaces, origamis, automorphisms
2010 Mathematics Subject Classification:
30F40, 14H30, 32G15
Partially supported by Project Fondecyt 1190001
1. Introduction
Let be a closed Riemann surface of genus and let us denote by its group of conformal automorphisms. We say that is an origami curve if it admits a non-constant holomorphic map having at most one branch value, where is a genus one Riemann surface; we say that is an origami map and that is an origami pair. By the Riemann-Hurwitz formula, has no branched values if and only if . We denote by the deck group of , that is, the subgroup of formed by those automorphisms such that . If the degree of is equal to the order of , then the origami pair is regular. The origami pair is called uniform if all the -preimage of its branch value have the same local degree (regular origami pairs are necessarily uniform ones and non-uniform ones must be of genus ).
Topologically, an origami can also be described as follows. Consider a finite collection of disjoint unit squares in the plane, with their sides parallels to the coordinate axes. Then consider a gluing of the sides (by translations) such that:
- (i)
each left edge is glued to a unique right edge and vice versa, 2. (ii)
each lower edge is glued to a unique upper edge and vice versa, 3. (iii)
after the gluing process of all the sides we obtain a connected surface .
Let be the torus obtained by gluing the left (respectively, the lower) side with the right (respectively, upper) side of the unit square. The above gluing process provides a (branched) covering map , which can only have a branch value at the point of coming from the vertices of the unit square (the critical points are the corresponding points in coming from the vertices of the used glued squares). We say that the above is a topological origami. If we provide of a Riemann surface structure to , then we may lift it under to a Riemann surface structure on such that is an origami map. Similarly, origamis can be described by finite index subgroups of the free group of rank two. Details can be found, for instance, in [2, 6, 9].
Let be a closed Riemann surface of genus . It is kown that (Hurwitz’s upper bound [4]). Hurwitz’s upper bound is attained for infinitely many values of (and also it is not for infinitely many others values of ) [7]. A group is called an origami group for if is a Riemann orbifold of genus one with exactly one cone point. In this case, as a consequence of the Riemann-Hurwitz formula, and that it can be generated by two non-commuting elements. If is a regular origami pair, then its deck group is an origami group.
In [4], Hurwitz showed that every finite group can be realized as a group of conformal automorphisms of some closed Riemann surface of genus . In [1, Thm. 4], Greenberg observed that the Riemann surface can be chosen to have as its full group of conformal automorphisms. As a free group of rank at least two can be seen as a finite index subgroup of the free group of rank two, it follows that can be also realized as a subgroup of for a suitable origami pair of genus (in that case, the Riemann orbifold necessarily has genus and, moreover, if , then has exactly one cone point).
For , let be a closed orientable surface and let be a finite group of orientation-preserving self-homeomorphisms of . We assume (isomorphic groups). We say that the actions of and are topologically equivalent if there is an orientation-preserving homeomorphism such that . As a consequence of the uniformization theorem, every finite group of orientation-preserving self-homeomorphisms of a closed orientable surface is topologically equivalent to the action of an isomorphic group of conformal automorphisms of a closed Riemann surface (see also [5]).
Let us assume that we realize as a group of conformal automorphisms of a closed Riemann surface , of genus , and let us assume the Riemann orbifold has genus . If and has exactly one cone point, then for the origami pair , where is a regular branched coevering with . The following result takes care of the case when has genus at least two.
Theorem 1**.**
Let be a finite group of conformal automorphisms of a closed Riemann surface of genus such that is an orbifold of genus . Then there is an origami pair , where has genus , and the actions of and are topologically equivalent.
As every finite group acts on a Riemann surface as a group of conformal automorphisms with quotient Riemann orbifold of genus at least two, Theorem 1 asserts the following.
Corollary 1**.**
Every finite group is isomorphic to for a suitable origami pair of genus at least two.
We may define the origami genus of the finite group as the lowest genus such that is embedded in for a suitable origami with of genus . As a consequence of Theorem 1 we have the following simple fact.
Corollary 2**.**
Let be a finite group and let be the minimal genus for a conformal action of as a group of conformal automorphisms of a surface of genus at least two and quotient orbifold also of genus at least two. Then .
Remark 1*.*
A version of Theorem 1 at the level of dessins d’enfants was previously obtained in [3]. At this level, Corollary 2 asserts that the strong symmetric genus of a finite group is also the its minimal genus action on dessins d’enfants.
2. Proof of theorem 1
Let us start with the following helpful observation.
Lemma 1**.**
For each pair of integers and , there is a non-uniform origami pair , where is closed Riemann surface of genus , has some prime degree and whose fiber over its branch value of cardinality at least .
Proof.
Let us consider a topological origami defined by the gluing of squares, as shown in Figure 1, where (in that figure, each lower side is glued to an upper side , and each left side is glued to a right side ). The gluing procees produces a topological origami pair , where has genus and the primage of its unique branch value has cardinality . The six vertices of each of the blocks formed of two squares (one above the other) produces a point on being a critical point of degree . Each of the two right vertices of the squares at the right part produces a point on which is not a critical point (the two left vertices of the first square at the left side of the figure are equivalent to the ones produced by the last square at the right). It follows that this is a non-uniform origami. So, we only need to assume such that is a prime integer and . Now, take a Riemann surface structure on and lift it under to obtain a Riemann surface structure on which makes an origami map and an origami pair as needed. ∎
2.1. Proof of theorem 1
Let be some finite group acting as a group of conformal automorphisms of a closed Riemann of genus such that the quotient orbifold consists of a closed Riemann surface of genus with some finite number of cone points, , such that, for , the cone point has cone order , and these numbers satisfy . As a consequence of the uniformization theorem, there are a Fuchsian group acting on the hyperbolic plane with presentation
[TABLE]
where , and a surjective homomorphism , whose kernel is torsion-free, such that , and the regular branched cover is induced by the inclusion .
Let us choose an origami pair , where has genus , whose -preimage of its branch value has cardinality at least and has prime degree (as in Lemma 1). Let us make a choice of points . As a consequence of quasiconformal deformation theory [8], we may find a Fuchsian group such that is the orbifold whose underlying Riemann surface is and whose cone points are such that has cone order . The group is isomorphic to (as abstract groups). Then there is a quasiconformal homeomorphism conjugating into . In this case, is a closed Riemann surface admitting the group as a group of conformal automorphisms and such that the actions of on and that of on are topologically equivalent (in particular, is also topologically equivalent to ).
Consider the origami pair , where is a regular branched cover with deck group . In this case, the group is a subgroup of whose conformal action is topologically equivalent to that of . We claim that as desired. In fact, let us assume, by the contrary, that is a proper subgroup of . It means that the branched cover factors through . As has prime degree and , it must be that is a regular origami. But as is an unbranched cover and is non-uniform, neither can be , a contradiction as a regular origami pairs are uniform.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] L. Greenberg. Maximal Fuchsian groups. Bull. Amer. Math. Soc. 69 (1963), 569–573.
- 2[2] F. Herrlich and G. Schmithüsen. Dessins d’enfants and origami curves. In, Handbook of Teichmüller Theory, Volume II. Editor: Athanase Papadopoulos (IRMA, Strasbourg, France) 2009. pp: 767–809. DOI: 10.4171/055-1/19
- 3[3] R. A. Hidalgo. Automorphisms groups of dessins d’enfants. Archiv der Mathematik 112 (2019), 13–18.
- 4[4] A. Hurwitz. Über algebraische Gebilde mit eindeutigen Transformationen in sich. Math. Annalen 41 (1893), 403–442.
- 5[5] S. Kerckhoff. The Nielsen realization problem. Annals of Mathematics , Second Series, 117 , No. 2 (1983), 235–265.
- 6[6] P. Lochak. On arithmetic curves in the moduli spaces of curves. J. Inst. Math. Jussieu 4 No.3 (2005), 443–508.
- 7[7] A. M. Macbeath. On a Theorem of Hurwitz. Glasgow Math. J. 5 N. 2 (1961), 90–96.
- 8[8] S. Nag. The complex analytic theory of Teichmüller spaces. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York 1988.
