Abstract
In this article, we extend results of Zomorrodian to determine upper bounds for the order of a nilpotent group of automorphisms of a complex d-dimensional family of compact Riemann surfaces, where \(d \geqslant 1.\) We provide conditions under which these bounds are sharp. In addition, for the one-dimensional case, we construct and describe an explicit family attaining the bound for infinitely many genera. We obtain similar results for the case of p-groups of automorphisms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of the results
The classification of groups of automorphisms of compact Riemann surfaces is a classical subject of study which has attracted considerable interest ever since Hurwitz proved that the full automorphism group of a compact Riemann surface of genus \(g \geqslant 2\) is finite and that its order is at most \(84(g-1).\) Later, this problem acquired a new relevance when its relationship with Teichmüller and moduli spaces was developed.
It is classically known that there are infinitely many values of g for which there exists a compact Riemann surface of genus g with automorphism group of maximal order; they are called Hurwitz curves and correspond to branched regular covers of the projective line with three branch values, marked with 2, 3 and 7.
We recall the known fact that each finite group can be realized as a group of automorphisms of a compact Riemann surface of a suitable genus. In part due to the above, an interesting problem is to study those compact Riemann surfaces whose automorphism groups share a common property and, after that, to describe among them those possessing the maximal possible number of automorphisms.
Perhaps, the most noteworthy examples concerning that are the abelian and cyclic cases. In fact, in the late nineteenth century, Wiman showed that the largest cyclic group of automorphisms of a compact Riemann surface of genus \(g \geqslant 2\) has order at most \(4g+2.\) Moreover, the compact Riemann surface given by the algebraic curve
shows that this upper bound is attained for each g. See [50] and also [20] and [29].
Meanwhile, as a consequence of a result due to Maclachlan, the order of an abelian group of automorphisms of a compact Riemann surface of genus \(g \geqslant 2\) is at most \(4g+4\); see [33]. In addition, the fact that for each g there exists a compact Riemann surface of genus g with a group of automorphisms isomorphic to \(C_2 \times C_{2g+2},\) shows that this upper bound is attained for each value of g.
Similar bounds for special classes of groups can be found in the literature in plentiful supply. For instance, the solvable case can be found in [10] and [16], the supersolvable case in [17] and [51], the metabelian case in [11] and [15], the metacyclic case in [44] and several special cases of solvable groups in [46]. We also refer to the survey article [14].
By contrast, it seems that not much is known in this respect when considering complex d-dimensional families of compact Riemann surfaces, for \(d \geqslant 1\). Very recently, Costa and Izquierdo in [12] proved that the maximal possible order of the automorphism group of the form \(ag+b,\) where \(a,b \in {\mathbb {Z}},\) of a complex one-dimensional family of compact Riemann surfaces of genus \(g \geqslant 2,\) appearing for all genera, is \(4(g+1).\) In addition, they went even further by exhibiting an explicit equisymmetric family of non-hyperelliptic compact Riemann surfaces attaining this bound for all g (c.f. [1]). Later, the analogous problem for complex low-dimensional families (\(d \leqslant 4\)) was addressed in [27] and [37].
The aim of this article is to deal with nilpotent groups and p-groups of automorphisms of complex d-dimensional families of compact Riemann surfaces, where \(d \geqslant 1.\)
We recall that the Jacobian variety JC of a compact Riemann surface C of genus g is an irreducible principally polarized abelian variety of dimension g. The relevance of the Jacobian variety lies, in part, in the classical Torelli’s theorem, which establishes that
In this paper, we shall also consider isogenous decompositions of Jacobian varieties of certain compact Riemann surfaces with a nilpotent group of automorphisms.
Nilpotent groups acting on families of Riemann surfaces
In [32], Macbeath considered homomorphisms from co-compact Fuchsian groups onto finite nilpotent groups. Since every finite nilpotent group is isomorphic to the direct product of its Sylow subgroups, after introducing the concept of p-localization of groups, he succeeded in providing necessary and sufficient conditions under which a given signature appears as the signature of the action of a nilpotent group of automorphisms on a compact Riemann surface.
Soon after and based on the aforementioned Macbeath’s result, Zomorrodian in [53] proved that the order of a nilpotent group of automorphisms of a compact Riemann surface of genus \(g \geqslant 2\) is at most \(16(g-1).\) Moreover, he noticed that if the previous bound is sharp then \(g-1\) is a power of two and the signature of the action is (0; 2, 4, 8).
Here, we extend the previous result from (zero-dimensional families of) compact Riemann surfaces to d-dimensional families of compact Riemann surfaces, where \(d \geqslant 1.\)
Theorem 1
Let \(d \geqslant 1, g\geqslant 2\) be integers. Let G be a nilpotent group of automorphisms of a complex d-dimensional family of compact Riemann surfaces C of genus g.
-
(1)
The order G is at most
$$\begin{aligned} M_{2,d}= \left\{ \begin{array}{ll} \,\,\,\,8(g-1) &{} \hbox { if}\ d=1\\ \tfrac{4}{d-1}(g-1) &{} \hbox { if}\ d \geqslant 2. \end{array} \right. \end{aligned}$$ -
(2)
The order of G is \(M_{2,d}\) if and only if the signature of the action of G on C is
$$\begin{aligned}\sigma _{2,d}= \left\{ \begin{array}{ll} (0; 2,2,2,4) &{} \hbox { if}\ d=1\\ (0; 2, {\mathop {\ldots }\limits ^{d+3}},2) &{} \hbox { if}\ d \geqslant 2. \end{array} \right. \end{aligned}$$ -
(3)
If the order of G is \(M_{2,d}\) then G is a 2-group. In particular if, in addition, \(d=1\) or \(d-1\) a power of two then \(g-1\) is a power of two.
If \(g-1\) is a power of two, in [53] it was also proved the existence of at least one compact Riemann surface of genus g with a nilpotent group of automorphisms of order \(16(g-1)\), showing that this upper bound is attained for infinitely many values of g.
Note that for \(d=2\), the previous theorem guarantees that, if the order of G is maximal then \(g-1\) is a power of two. We notice that the converse is also true. Indeed, following [37], for each \(g \geqslant 2,\) there exists a complex two-dimensional family of compact Riemann surfaces of genus g with a dihedral group of automorphisms of order
Thus, in particular, if \(g-1\) is a power of two then the involved dihedral group is nilpotent and therefore the upper bound \(M_{2,2}\) is attained.
It is worth pointing out here that Zomorrodian’s method to prove the existence of a compact Riemann surface of genus g with a nilpotent group of automorphisms of order \(16(g-1)\) is based on an inductive argument and does not provide neither the Riemann surface nor the nilpotent group in an explicit manner; see [53, p. 254].
The following theorem shows that the upper bound \(M_{d,1}\) is sharp for infinitely many values of g. In contrast with the zero-dimensional case, our strategy is to construct a complex one-dimensional family in an explicit enough way in order to provide a detailed description of the family. We include an isogeny decomposition of the associated family of Jacobian varieties.
Theorem 2
For each integer \(n \geqslant 5\), there is a complex one-dimensional closed family of compact Riemann surfaces C of genus \(1+2^{n-3}\) with a nilpotent group of automorphisms G of order \(2^n\) isomorphic to the semidirect product
presented in terms of generators a, b, r, s and relations
acting on C with signature (0; 2, 2, 2, 4). Furthermore:
-
(1)
the family consists of at most \(2^{2n-6}\) equisymmetric strata,
-
(2)
up to possibly finitely many exceptions, C is non-hyperelliptic and its automorphism group agrees with G, and
-
(3)
the Jacobian variety JC of C contains an elliptic curve isogenous to \(JC_{\langle r \rangle }\) and decomposes, up to isogeny, as
$$\begin{aligned} JC \sim JC_{\langle s \rangle } \times JC_{\langle b \rangle }, \end{aligned}$$where the dimensions of \(JC_{\langle s \rangle }\) and \(JC_{\langle b \rangle }\) are \(2^{n-4}\) and \(2^{n-4}+1\), respectively.
Remarks
-
(1)
The cases \(n=3\) and \(n=4\) are exceptional in the sense that the upper bound is attained by a group with a different algebraic structure. Concretely
-
(a)
for \(n=3\) (\(g=2\)) the bound is attained by \({\mathbf {D}}_4,\) and
-
(b)
for \(n=4\) (\(g=3\)) the bound is attained by \(C_2 \times {\mathbf {D}}_4\) and by \((C_2 \times C_4) \rtimes C_2\).
-
(a)
-
(2)
We announce that for each odd integer \(d \geqslant 3,\) the bound \(M_{2,d}\) is attained for infinitely many genera. We shall deal with this problem in a forthcoming paper.
p -groups acting on families of Riemann surfaces.
The fact that nilpotent groups of automorphisms of compact Riemann surfaces of maximal order turn out to be 2-groups led Zomorrodian to ask for similar bounds for the class of p-groups. Indeed, he proved in [52] that if G is a p-group of automorphisms of a compact Riemann surface of genus \(g \geqslant 2\) then
and that (1.1) turns into an equality if and only if the signature of the action is
, respectively. Furthermore, in the same paper it was also proved the existence of a p-group of order \(p^n\) acting on a compact Riemann surface of genus \(1+p^{n}/\epsilon\) for each \(n \geqslant 4\), showing that the bounds (1.1) are sharp for infinitely many values of g.
The following result is a direct consequence of Theorems 1 and 2.
Corollary 1
Let \(d \geqslant 1\) and \(g\geqslant 2\) be integers. If G is 2-group of automorphisms of a complex d-dimensional family of compact Riemann surfaces C of genus g then:
-
(1)
the order G is at most \(M_{2,d}\),
-
(2)
the order of G is \(M_{2,d}\) if and only if the signature of the action is \(\sigma _{2,d}\), and
-
(3)
the upper bound \(M_{2,1}\) is attained for infinitely many values of g.
The following theorem extends both the previous corollary from \(p=2\) to odd prime numbers \(p \geqslant 3\) and the results in [52] from the zero-dimensional situation to complex d-dimensional families. For each rational number \(t \geqslant 0\), we denote its integer part by [t].
Theorem 3
Let \(d \geqslant 1\) and \(g \geqslant 2\) be integers and let \(p \geqslant 3\) be a prime number. Let G be a p-group of automorphisms of a complex d-dimensional family of compact Riemann surfaces C of genus g.
Assume \(p=3.\)
-
(1)
The order of G is at most
$$\begin{aligned} M_{3,d}= \tfrac{3}{d}(g-1). \end{aligned}$$ -
(2)
The order of G is \(M_{3,d}\) if and only if the signature of the action of G on C is
$$\begin{aligned} \sigma _{3,d,h}=(h; 3, {\mathop {\ldots }\limits ^{d+3-3h}},3) \,\, \text{ for } \text{ some } \,\, h \in \{0, \ldots , [\tfrac{d}{3}+1]\}. \end{aligned}$$
Assume \(p \geqslant 5.\)
-
(3)
Let \(\lambda _d\) be the smallest non-negative representative of d modulo 3. The order of G is at most
$$\begin{aligned} M_{p,d}=\tfrac{2}{N}(g-1) \,\, \text{ where } \,\, N=\tfrac{2}{3}d + \lambda _d(\tfrac{1}{3}-\tfrac{1}{p}). \end{aligned}$$ -
(4)
The order of G is \(M_{p,d}\) if and only if the signature of the action of G on C is
$$\begin{aligned} \sigma _{p,d}=({\hat{h}}; p, {\mathop {\ldots }\limits ^{d+3-3{\hat{h}}}},p) \,\, \text{ where } \,\, {\hat{h}}=[\tfrac{d}{3}+1]. \end{aligned}$$
The previous theorem applied to \(d=1\) says that if \(p \geqslant 3\) is a prime number and if G is a p-group of automorphism of a complex one-dimensional family of compact Riemann surfaces of genus g then
and the that equality holds if and only if the signature of the action is (1; p) for \(p \geqslant 5,\) and (1; 3) or (0; 3, 3, 3, 3) for \(p=3.\)
The following theorem provides a detailed description of a complex one-dimensional family of compact Riemann surfaces whose existence shows that the bound (1.2) is sharp for each prime \(p \geqslant 3\) and for infinitely many values of g.
Theorem 4
Let \(p \geqslant 3\) be a prime number. For each integer \(n \geqslant 3\), there is a complex one-dimensional closed family of compact Riemann surfaces C of genus
with a p-group of automorphisms G of order \(p^n\) isomorphic to the semidirect product
where \(r=p^{n-2}+1,\) acting on C with signature (1; p). In addition,
-
(1)
the family consists of \(p-1\) equisymmetric strata,
-
(2)
C is elliptic-p-gonal,
-
(3)
up to possibly finitely many exceptions, the automorphism group of C agrees with G, and
-
(4)
the Jacobian variety JC of C decomposes, up to isogeny, as
$$\begin{aligned} JC \sim E \times A^p, \end{aligned}$$where E is an elliptic curve isogenous to \(JC_G\) and A is an abelian subvariety of JC of dimension \(\tfrac{(p-1)p^{n-2}}{2} .\)
Remark
The groups involved in this paper have order of the form \(\rho (g-1)\) where \(\rho \in {\mathbb {Q}}\) and \(g-1\) are a power of a prime number. We remark that this situation differs radically from the case in which \(\rho \in {\mathbb {Z}}\) and \(g-1\) are prime; see [2, 25, 26] and [37].
This paper is organized as follows. Section 2 will be devoted to briefly review the basic background: Fuchsian groups, group actions on Riemann surfaces, the equisymmetric stratification of the moduli space and the decomposition of Jacobian varieties with group action. The proofs of the theorems will be given in Sections 3, 4, 5 and 6.
2 Preliminaries
2.1 Fuchsian groups
A Fuchsian group is a discrete group of automorphisms of
If \(\Delta\) is a Fuchsian group and the orbit space \({\mathbb {H}}_{\Delta }\) given by the action of \(\Delta\) on \({\mathbb {H}}\) is compact, then the algebraic structure of \(\Delta\) is determined by its signature:
where h is the genus of the quotient \({\mathbb {H}}_{\Delta }\) and \(m_1, \ldots , m_l\) are the branch indices in the universal canonical projection \({\mathbb {H}} \rightarrow {\mathbb {H}}_{\Delta }.\) The signature (2.1) is called degenerate if
Let \(\Delta\) be a Fuchsian group of signature (2.1). Then,
-
(1)
\(\Delta\) has a canonical presentation with generators \(\alpha _1, \ldots , \alpha _{h}\), \(\beta _1, \ldots , \beta _{h},\) \(\gamma _1, \ldots , \gamma _l\) and relations
$$\begin{aligned} \gamma _1^{m_1}=\cdots =\gamma _l^{m_l}=\Pi _{i=1}^{h}[\alpha _i, \beta _i] \Pi _{i=1}^l \gamma _i=1, \end{aligned}$$(2.2)where [u, v] stands for the commutator \(uvu^{-1}v^{-1}.\)
-
(2)
The elements of \(\Delta\) of finite order are conjugate to powers of \(\gamma _1, \ldots , \gamma _l.\)
-
(3)
The Teichmüller space of \(\Delta\) is a complex analytic manifold homeomorphic to the complex ball of dimension \(3h-3+l\).
-
(4)
The hyperbolic area of each fundamental region of \(\Delta\) is given by
$$\begin{aligned} \mu (\Delta )=2 \pi [2h-2 + \Sigma _{i=1}^l(1-\tfrac{1}{m_i})]. \end{aligned}$$ -
(5)
The Euler characteristic of the signature \(\sigma (\Delta )\) is the rational number
$$\begin{aligned} \chi (\sigma (\Delta ))=-\tfrac{1}{2\pi }\mu (\Delta ). \end{aligned}$$
We refer to the classical articles [21] and [49] for further details.
Let \(\Gamma\) be a group of automorphisms of \({\mathbb {H}}.\) If \(\Delta\) is a subgroup of \(\Gamma\) of finite index then \(\Gamma\) is also Fuchsian and their hyperbolic areas are related by the Riemann-Hurwitz formula
2.2 Group actions on Riemann surfaces and localization
Let C be a compact Riemann surface of genus \(g \geqslant 2\) and let \(\text{ Aut }(C)\) denotes its automorphism group. A finite group G acts on C if there is a group monomorphism \(G\rightarrow {{\,\mathrm{Aut}\,}}(C).\) The space of orbits \(C_G\) of the action of G on C is naturally endowed with a Riemann surface structure such that the canonical projection \(C \rightarrow C_G\) is holomorphic.
By the classical uniformization theorem, there is a unique, up to conjugation, Fuchsian group \(\Gamma\) of signature \((g; -)\) such that \(C \cong {\mathbb {H}}_{\Gamma }.\) Moreover, G acts on C if and only if there is a Fuchsian group \(\Delta\) containing \(\Gamma\) together with a group epimorphism
In such a case, the group G is said to act on C with signature \(\sigma (\Delta )\) and the action is said to be represented by the surface-kernel epimorphism \(\theta .\) See [21, 43] and [49]
If G is a subgroup of \(G'\), then the action of G on C is said to extend to an action of \(G'\) on C if:
-
(1)
there is a Fuchsian group \(\Delta '\) containing \(\Delta ,\)
-
(2)
the Teichmüller spaces of \(\Delta\) and \(\Delta '\) have the same dimension, and
-
(3)
there exists an epimorphism
$$\begin{aligned} \Theta : \Delta ' \rightarrow G' \, \, \text{ in } \text{ such } \text{ a } \text{ way } \text{ that } \, \, \Theta |_{\Delta }=\theta \text{ and } \ker (\theta )=\ker (\Theta ). \end{aligned}$$
An action is called maximal if it cannot be extended in the afore introduced sense. A complete list of signatures of pairs of Fuchsian groups \(\Delta\) and \(\Delta '\) for which it may be possible to have an extension as before was provided by Singerman in [48].
Let \(\Delta\) be a Fuchsian group of signature (2.1) and let p be a prime number. Define \(e_i\) as the largest integer such that \(p^{e_i}\) is a divisor of \(m_i.\) Following [32], the signature
where the \((i+1)\)-entry is dropped if \(e_i=0\) is called the p-localization of \(\sigma =\sigma (\Delta ).\) The signature \(\sigma\) is called nilpotent-admissible if \(\sigma _p\) is non-degenerate for each prime p.
Macbeath proved that if \(\sigma\) is a nilpotent-admissible signature then there exists at least one nilpotent group acting as a group of automorphisms of a compact Riemann surface with signature \(\sigma .\) Furthermore, if in addition, the signature satisfies that \(\chi (\sigma _p) \leqslant 0\) for al least one prime p, then there are infinitely many nilpotent groups with the same property. See [32, Theorem (8.1)] and [32, Theorem (8.2)].
2.3 Equisymmetric stratification
Let \(\text {Hom}^+(C)\) denotes the group of orientation preserving self-homeomorphisms of C. Two actions \(\psi _i: G \rightarrow \text{ Aut }(C)\) of G on C are topologically equivalent if there exist \(\omega \in {{\,\mathrm{Aut}\,}}(G)\) and \(f \in \text {Hom}^+(C)\) such that
Each homeomorphism f satisfying (2.3) yields an automorphism \(f^*\) of \(\Delta\) where \({\mathbb {H}}_{\Delta } \cong C_G\). If \({\mathscr {B}}\) is the subgroup of \(\text{ Aut }(\Delta )\) consisting of them, then \(\text{ Aut }(G) \times {\mathscr {B}}\) acts on the set of epimorphisms defining actions of G on C with signature \(\sigma (\Delta )\) by
Two epimorphisms \(\theta _1, \theta _2 : \Delta \rightarrow G\) define topologically equivalent actions if and only if they belong to the same \((\text{ Aut }(G) \times {\mathscr {B}})\)-orbit (see [3, 5, 21] and [31]).
We remark that if the genus of \(C_G\) is one then \({\mathscr {B}}\) contains the transformations
for each \(n \in {\mathbb {Z}}.\) See [3, Proposition 2.5].
Let \({\mathscr {M}}_g\) denotes the moduli space of compact Riemann surfaces of genus \(g \geqslant 2.\) It is well-known that \({\mathscr {M}}_g\) is endowed with a structure of complex analytic space of dimension \(3g-3,\) and that for \(g \geqslant 4\) its singular locus \(\text{ Sing }({\mathscr {M}}_g)\) agrees with the set of points representing compact Riemann surfaces with non-trivial automorphisms.
Following [4], the singular locus of \({\mathscr {M}}_g\) admits an equisymmetric stratification
where each equisymmetric stratum \({\mathscr {M}}_g^{G, \theta }\), if nonempty, corresponds to one topological class of maximal actions (see also [21]). More precisely:
-
(1)
the equisymmetric stratum \({{\mathscr {M}}}_g^{G, \theta }\) consists of those Riemann surfaces C of genus g with (full) automorphism group isomorphic to G such that the action is topologically equivalent to \(\theta\),
-
(2)
the closure \(\bar{{\mathscr {M}}}_g^{G, \theta }\) of \({{\mathscr {M}}}_g^{G, \theta }\) is a closed irreducible algebraic subvariety of \({\mathscr {M}}_g\) and consists of those Riemann surfaces C of genus g with a group of automorphisms isomorphic to G such that the action is topologically equivalent to \(\theta\), and
-
(3)
if the equisymmetric stratum \({{\mathscr {M}}}_g^{G, \theta }\) is nonempty then it is a smooth, connected, locally closed algebraic subvariety of \({\mathscr {M}}_{g}\) which is Zariski dense in \(\bar{{\mathscr {M}}}_g^{G, \theta }.\)
In this article, we employ use the following terminology.
Definition
The subset of \({\mathscr {M}}_g\) consisting of those compact Riemann surfaces C of genus g with action of a given group G with a given signature will be called a (closed) family.
The complex dimension of the family is the complex dimension of the Teichmüller space associated to a Fuchsian group \(\Delta\) such that \(C_G \cong {\mathbb {H}}_{\Delta }.\) Note that the interior of a family consists of those Riemann surfaces whose full automorphism group is isomorphic to G and is formed by finitely many equisymmetric strata which are in correspondence with the pairwise non-equivalent topological actions of G. Besides, the members of the family that do not belong to the interior are formed by those Riemann surfaces that have strictly more automorphisms than G.
2.4 Decomposition of Jacobians with group action
It is well-known that if G acts on a compact Riemann surface C then this action induces a \({\mathbb {Q}}\)-algebra homomorphism
from the rational group algebra of G to the rational endomorphism algebra of JC.
For each \(\alpha \in {{\mathbb {Q}}}[G]\), we define the abelian subvariety
where n is some positive integer chosen in such a way that \(n\alpha \in {{\mathbb {Z}}}[G]\).
Let \(W_1, \ldots , W_r\) be the rational irreducible representations of G. For each \(W_j\), we denote by \(V_j\) a complex irreducible representation of G associated to it. The decomposition of 1 as the sum \(e_1 + \cdots + e_r,\) where \(e_j \in {\mathbb {Q}}[G]\) is a uniquely determined central idempotent computed explicitly from \(W_j\), yields an isogeny
which is G-equivariant; see [30]. Additionally, there are idempotents \(f_{j1},\dots , f_{jn_j}\) such that \(e_j=f_{j1}+\dots +f_{jn_j}\) where \(n_j=d_{V_j}/s_{V_j}\) is the quotient of the degree \(d_{V_j}\) of \(V_j\) and its Schur index \(s_{V_j}\). These idempotents provide \(n_j\) subvarieties of JC which are pairwise isogenous; let \(B_j\) be one of them, for every j. Thus, we obtain the following isogeny
called the group algebra decomposition of JC with respect to G. See [9] and also [41].
If \(W_1(=V_1)\) denotes the trivial representation of G then \(n_1=1\) and \(B_{1} \sim JC_G\).
Let H be a subgroup of G and consider the associated regular covering map \(\pi _H:C \rightarrow C_H.\) It was proved in [9] that (2.4) induces the isogeny
w here \(d_{V_j}^H\) is the dimension of the vector subspace \(V_j^H\) of \(V_j\) of elements fixed under H.
Assume that (2.1) is the signature of the action of G on C and that this action is represented by \(\theta : \Delta \rightarrow G,\) with \(\Delta\) as in (2.2). Following [43, Theorem 5.12]
where \(k_{V_j}\) is the degree of the extension \({\mathbb {Q}} \leqslant L_{V_j}\) with \(L_{V_j}\) denoting a minimal field of definition for \(V_j.\)
The decomposition of Jacobian varieties with group actions has been extensively studied, going back to contributions of Wirtinger, Schottky and Jung. For decompositions of Jacobians with respect to special groups, we refer to [6,7,8, 13, 22, 24, 26, 28, 34, 35, 38,39,40] and [42].
2.5 Notation
We denote the cyclic group of order n by \(C_n\) and the dihedral group of order 2n by \({\mathbf {D}}_n.\)
3 Proof of Theorem 1
Let \(d \geqslant 1\) and \(g \geqslant 2\) be integers. We assume that G is a nilpotent group acting as a group of automorphisms of a complex d-dimensional family of compact Riemann surfaces C of genus g, and that the signature of the action of G on C is \(\sigma =(h; m_1, \ldots , m_l).\)
Assume that \(d \geqslant 2.\) Note that, as each \(m_i \geqslant 2,\) the hyperbolic area \(\mu\) of a fundamental domain of a Fuchsian group of signature \(\sigma\) satisfies
Thus, by the Riemann-Hurwitz formula, one easily obtains that
as claimed. Now, if we assume that
which is at most \(\tfrac{l}{2}.\) It follows that
The unique solution of the equation above is \(m_i=2\) for each i, and then \(\sigma =(0; 2, {\mathop {\ldots }\limits ^{d+3}},2).\)
Assume that \(d = 1.\) We have only two cases to consider, namely \((h,l)=(1,1)\) and \((h,l)=(0,4).\) In the former case, it is clear that \(\mu \geqslant \pi .\) Assume \(\sigma =(0; m_1, m_2, m_3, m_4)\) and denote by v the number of periods \(m_i\) that are equal to 2. Note that \(v \leqslant 3\) because if \(v=4\) then \(\mu =0.\)
-
(a)
If \(v=0\) then each \(m_i \geqslant 3\) and therefore \(\mu \geqslant \tfrac{4\pi }{3}.\)
-
(b)
If \(v=1\) then \(\sigma =(0; 2,m_2,m_3,m_4)\) where \(m_i \geqslant 3.\) Note that if \(m_2, m_3, m_4\) were equal to 3 then the 2-localization of \(\sigma\) would be degenerate. Then, we can assume \(m_4 \geqslant 4\) and therefore \(\mu \geqslant \tfrac{7\pi }{6}.\)
-
(c)
If \(v=2\) then \(\sigma =(0; 2,2,m_3,m_4)\) where \(m_3, m_4 \geqslant 3\) and \(\mu \geqslant \tfrac{2\pi }{3}.\)
-
(d)
If \(v=3\) then \(\sigma =(0; 2,2,2,m_4)\) where \(m_4 \geqslant 3.\) Note that \(m_4\) must be a power of two, since otherwise the p-localization of \(\sigma\) would be degenerate for some prime \(p \geqslant 3.\) Thus \(\mu \geqslant \tfrac{\pi }{2}.\)
All the above ensures that \(\mu \geqslant \tfrac{\pi }{2}\) and therefore by the Riemann-Hurwitz formula,
as claimed. Now, if \(|G|=8(g-1)\) then
showing that \(m_1=m_2=m_3=2\) and \(m_4=4.\) Thus, \(\sigma =(0; 2,2,2,4)\) as desired.
Finally, as the group G is assumed to be nilpotent and as, in each case, the genus of the corresponding quotient is zero, we can apply [53, Theorem 2.11] to ensure that the prime factors of |G| are necessarily contained in the set of prime factors of the periods of \(\sigma .\) Thus, the group G is a 2-group. Consequently, if we assume that, in addition, \(d=1\) or \(d-1\) is a power of two, then we can conclude that \(g-1\) is a power of two as well.
4 Proof of Theorem 2
Let \(\Delta\) be a Fuchsian group of signature (0; 2, 2, 2, 4) with canonical presentation
and, for each \(n \geqslant 5,\) consider the group \(G \cong (C_2 \times {\mathbf {D}}_{2^{n-3}}) \rtimes C_2\) of order \(2^n\) with presentation in terms of generators a, b, r, s and relations
Note that the Riemann-Hurwitz formula is satisfied for a branched \(2^n\)-fold regular covering map from a compact Riemann surface of genus \(1+2^{n-3}\) onto the projective line, ramified over three values marked with 2 and one value marked with 4. Thus, by virtue of Riemann’s existence theorem, the existence of the desired family follows after noticing that the correspondence
is a surface-kernel epimorphism. Henceforth, we denote this family by \({\mathcal {F}}.\)
In order to determine an upper bound for the number of equisymmetric strata of \({\mathcal {F}}\), we have to determine an upper bound for the number of pairwise non-equivalent surface-kernel epimorphisms \(\theta : \Delta \rightarrow G.\) For each such epimorphism \(\theta\), we write
and, for the sake of simplicity, we identify \(\theta\) with the 4-uple \(\theta =(g_1, g_2, g_3, g_4).\)
We notice that:
-
(1)
the elements of order four of G are \(abr^{l}\) and \(w:=r^{2^{n-5}},\) and
-
(2)
the involutions of G are \(b, ar^l, z:=r^{2^{n-4}}, bz, sr^l\) and \(bsr^l,\)
where \(1 \leqslant l \leqslant 2^{n-3}.\)
Claim. The central element z is different from \(g_1, g_2\) and \(g_3.\)
Clearly, not three or two among \(g_1, g_2, g_3\) can be equal to z. In addition, if one of them equals z, say \(g_1=z,\) then, as \(g_1g_2g_3\) must have order four, either
In the former case, \(g_4\) does not have order four, while in the latter one s does not belong to the image of \(\theta ,\) contradicting its surjectivity.
Similarly as argued before, we can see that the number of \(g_i's\) that are of the form \(sr^l\) or \(bsr^l\) is exactly two. In addition, if \(g_4\) equals w then \(\langle g_1, g_2, g_4 \rangle\) are a proper subgroup of G, showing that \(\theta\) is not surjective. Thus, \(\theta\) is of one of the following forms:
for some \(1 \leqslant l_1, l_2, l_3 \leqslant 2^{n-3}.\) The fact that \(g_1g_2g_3g_4=1\) implies that necessarily \(\theta\) is
Note that, after applying an appropriate conjugation, we can assume \(l_1=0\) or \(l_1=1.\) Furthermore, by considering the action of the automorphism of G given by
we obtain that \(\theta\) is equivalent to
Thereby, the number of topologically non-equivalent actions of G on C is as most \(2^{2n-6}.\)
Following [48, Theorem 1], the signature (0; 2, 2, 2, 4) is maximal; thus, if C lies in the interior of the family then its automorphism group agrees with G. It is easy to verify that G has exactly five conjugacy classes of subgroups of order two, and that among them only \(K=\langle z \rangle\) is a normal subgroup. Consider the associated two-fold regular covering map given by the action of K
and notice that, independently of the equisymmetric stratum to which C belongs (or, in other words, independently of the surface-kernel epimorphism \(\theta _{u,v}\) representing the corresponding action), the covering \(\pi\) ramifies over exactly \(2^{n-2}\) values marked with 2. Thus, the Riemann-Hurwitz formula implies that \(C_K\) is an elliptic curve and therefore C is non-hyperelliptic.
If a compact Riemann surface X belongs to \({\mathcal {F}}\) but does not belong to its interior then G is strictly contained in the full automorphism group of X (this is a general result that can be found, for instance, in [3]). Now, as the complex dimension of the family \({\mathcal {F}}\) is one, it follows that the signature of the action of \(\text{ Aut }(X)\) on X must be triangle, namely, of the form \((0; t_1, t_2, t_3).\) Note that there are finitely many possibilities for \(t_1, t_2, t_3\) and, in turn, to each of these possible signatures correspond at most finitely many Riemann surfaces. Thus, the family contains at most finitely many surfaces that do not belong to its interior.
We now proceed to prove the announced isogeny decomposition of JC for each C in the family \({\mathcal {F}}\). Let us consider the normal subgroup N of G given by
and the complex irreducible representation of N given by
This representation induces the complex representation V of G given by
which is, by [23, Theorem 6.11], irreducible. In addition, as V is constructed from a complex irreducible representation of a dihedral group, it is easy to infer that its Schur index is 1. Note the character field of V is \({\mathbb {Q}}(\omega + {\bar{\omega }});\) this is an extension of \({\mathbb {Q}}\) of degree
where \(\varphi\) is the Euler function. We denote by \(W_2\) the rational irreducible representation of G associated to V and by \(W_1\) the rational irreducible representation G given by
Then, as explained in § 2.4, there is an abelian subvariety P of JC such that
where \(B_{W_j}\) is the factor associated to \(W_j\) in the group algebra decomposition of JC with respect to G. As the action of G on C is determined by \(\theta _{u,v}\) for some \(u,v \in \{1, \ldots , 2^{n-3}\},\) we can apply the equation (2.6) to notice that, independently of the choice of u and v, the following equalities hold:
Then, by considering dimensions is the relation (4.1), one sees that
Now, we consider the induced isogeny (2.5) (with \(H=\langle b \rangle\) and \(H=\langle s \rangle\)) to obtain
The previous two isogenies together with isogeny (4.1) permits us to conclude that
as claimed. Finally, is a similar way, we consider the induced isogeny (2.5) with \(H=\langle r \rangle\) to obtain that \(JC_{\langle r \rangle }\) and \(B_{W_1}\) are isogenous and, consequently, JC contains an elliptic curve isogenous to \(JC_{\langle r \rangle }\).
5 Proof of Theorem 3
Let \(d \geqslant 1, g \geqslant 2\) be integers and let \(p \geqslant 3\) be a prime number. Let G be a p-group of automorphisms of a complex d-dimensional family of compact Riemann surfaces C of genus g and assume the signature of the action of G on C to be \(\sigma =(h; m_1, \ldots , m_l).\)
The hyperbolic area \(\mu\) of a fundamental region of a Fuchsian group of signature \(\sigma\) satisfies
where \({\hat{h}}\) is the largest possible genus of the quotient \(C_G.\) Note that \({\hat{h}}=[\tfrac{d}{3}+1].\)
Assume \(p=3.\) The Riemann-Hurwitz formula ensures that
as claimed in (1). Now, if we suppose that the order of G equals \(M_{3,d}\) then, by the Riemann-Hurwitz formula, we easily obtain that
Note that there is no restriction on l. Thus, \(\sigma =\sigma _{3,d,h}\) for some \(h \in \{0, \ldots , {\hat{h}}\}.\) The only if part of (2) is a direct computation.
Assume \(p \geqslant 5.\) Then,
In other words, if \(\lambda _d\) is the smallest non-negative representative of d modulo 3 then
as claimed in (3). If we now assume that the order of G equals \(M_{p,d}\) then
-
(1)
If \(d \equiv 0 \text{ mod } 3\) then (5.1) turns into \(\Sigma _{i=1}^l \tfrac{1}{m_i}=\tfrac{l}{3}\) and \(l=0.\) Thus,
$$\begin{aligned} \sigma =(\tfrac{d+3}{3}; -)=\sigma _{p,d} \end{aligned}$$ -
(2)
If \(d \equiv 1 \text{ mod } 3\) then (5.1) turns into \(\Sigma _{i=1}^l \tfrac{1}{m_i}=\tfrac{l}{3}-\tfrac{1}{3}+\tfrac{1}{p}\) and \(l=1.\) Thus,
$$\begin{aligned} \sigma =(\tfrac{d+2}{3}; p)=\sigma _{p,d} \end{aligned}$$ -
(3)
If \(d \equiv 2 \text{ mod } 3\) then (5.1) turns into \(\Sigma _{i=1}^l \tfrac{1}{m_i}=\tfrac{l}{3}-\tfrac{2}{3}+\tfrac{2}{p}\) and \(l=2.\) Thus,
$$\begin{aligned} \sigma =(\tfrac{d+1}{3}; p,p)=\sigma _{p,d} \end{aligned}$$
The only if part of (4) is a direct computation.
6 Proof of Theorem 4
Let \(p \geqslant 3\) and let \(\Delta\) be a Fuchsian group of signature (1; p) with canonical presentation
and, for each \(n \geqslant 5,\) consider the group \(G \cong C_{p^{n-1}} \rtimes _p C_p\) of order \(p^n\) with presentation
where \(r=p^{n-2}+1.\) Observe that \(r^p \equiv 1 \text{ mod } p^{n-1}\) and \(r^k \not \equiv 1 \text{ mod } p^{n-1}\) for \(1 \leqslant k \leqslant p-1.\)
Note that the Riemann-Hurwitz formula is satisfied for a branched \(p^n\)-fold regular covering map from a compact Riemann surface of genus \(1+\tfrac{(p-1)p^{n-1}}{2}\) onto a Riemann surface of genus one, ramified over one value marked with p. Thus, by virtue Riemann’s existence theorem, the existence of the family follows after noticing that the rule
is a surface-kernel epimorphism. Henceforth, we denote this family by \({\mathcal {G}}.\)
We now proceed to prove that there are exactly \(p-1\) pairwise non-equivalent surface-kernel epimorphisms \(\theta : \Delta \rightarrow G.\) For each such epimorphism \(\theta\), we write
and, for the sake of simplicity, we identify \(\theta\) with the 3-uple \(\theta =(x,y,z).\) Note that
If \(k \ne 0\) and \(u=-mk',\) where \(k'\) is the inverse of k in the field of p elements, then the transformation \(A_{1,u}\) (see § 2.3) shows that we can assume, up to equivalence, that
On the other hand, if \(k=0\) then
and the transformation \(A_{2,-1}\circ A_{1,1}\) shows that (6.1) and (6.2) are equivalent. Now, in (6.2) one sees that if l and \(p^{n-1}\) are not coprime then \(\theta\) is not surjective. Thus, after sending a to an appropriate power of it, we can be assume \(l=1.\) Then,
Now, if we set \(v=-sr^{-m}\) then we apply \(A_{1,v}\) to (6.3) to ensure that \(\theta\) is equivalent to
The result follows after noticing that \(\theta _m\) and \(\theta _{m'}\) are non-equivalent if \(m \ne m'.\)
Note that \(K=\langle a^{p^{n-2}} \rangle\) is a cyclic group of order p and that, independently of the equisymmetric stratum to which C belongs, the associated regular covering map
ramifies over \(p^{n-1}\) values marked with p. It follows that the quotient Riemann surface \(C_K\) has genus one; thus, C is an elliptic-p-gonal Riemann surface. Due to the explicitness of the family, one can easily see that K is the unique group of automorphisms of C providing the elliptic-p-gonal structure (c.f. [45, Theorem 1.3] and also [18] and [19]).
According to [48, Theorem 1], the action of G on each C in \({\mathcal {G}}\) might be extended to only an action of a group of order \(2p^n\) acting on C with signature \(\sigma '=(0; 2,2,2,2p).\)
Claim. Such extension is not possible in our case.
To prove the claim, we shall proceed by contradiction; namely, we assume that:
-
(1)
there is a group \(G'\) of order \(2q^n\) with a subgroup isomorphic to G, and that
-
(2)
there is a surface-kernel epimorphism \(\Delta ' \rightarrow G',\) where \(\Delta '\) is a Fuchsian group of signature \(\sigma '.\)
By the classical Schur-Zassenhaus theorem, we can ensure that
Observe that \(C_2\) must act on G with order 2, because of the direct product \(G \times C_2\) cannot be generated by three involutions. Thus, by considering an automorphism of G that sends a to an appropriate power of it and after some routine computations, one can see that, up to an isomorphism of G, the action of \(C_2\) on G is given by
In particular, the involutions of \(G'\) are of the form \(ta^k\) for \(0 \leqslant k \leqslant p-1.\) However, three of them cannot generate \(G',\) contradicting the surjectivity of \(\theta .\) This proves the claim.
As observed in the proof of Theorem 2, the surface C belongs to the interior of the family \({\mathcal {G}}\) (and therefore for all up to possibly finitely many exceptions) if and only if G is the full automorphism group of it (see, for instance, [3]).
We now proceed to decompose the Jacobian variety JC of each C in the family \({\mathcal {G}}.\)
We apply the method of little groups of Wigner–Mackey (see, for example, [47, p. 62]), to guarantee the irreducibility of the complex representation V of G given by
where \(\omega\) is a \(p^{n-1}\)-th primitive root of unity. We notice that the character field of V is \({\mathbb {Q}}(\omega ^p)\), which is an extension of \({\mathbb {Q}}\) of degree
where \(\varphi\) is the Euler function. We recall that p-groups with \(p \geqslant 3\) only possess representations with Schur index 1 (see, for example, [36, Theorem 41.9]).
We denote by W the rational irreducible representation of G associated to V. Then, as explained in § 2.4, there is an abelian subvariety Q of JC such that
where E is an elliptic curve isogenous to \(JC_G\) and A is the factor associated to W in the group algebra decomposition of JC with respect to G. Now, as the action of G on C is determined by \(\theta _{m}\) for some \(1 \leqslant m \leqslant p-1,\) we apply the equation (2.6) to notice that, independently of the choice of m, the following equality holds:
Finally, by considering dimensions in the relation (6.4), one concludes that \(Q=0\) and the desired decomposition of JC is obtained.
References
Bartolini, G., Costa, A.F., Izquierdo, M.: On the orbifold structure of the moduli space of Riemann surfaces of genera four and five. Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Mat. RACSAM 108(2), 769–793 (2014)
Belolipetsky, M.V., Jones, G.A.: Automorphism groups of Riemann surfaces of genus $p + 1$, where $p$ is prime. Glasg. Math. J. 47(2), 379–393 (2005)
Broughton, S.A.: Classifying finite groups actions on surfaces of low genus. J. Pure Appl. Algebra 69(3), 233–270 (1990)
Broughton, S.A.: The equisymmetric stratification of the moduli space and the Krull dimension of mapping class groups. Topology Appl. 37(2), 101–113 (1990)
Bujalance, E., Costa, A.F., Izquierdo, M.: On Riemann surfaces of genus g with 4g automorphisms. Topol. Appl. 218, 1–18 (2017)
Carocca, A., Lange, H., Rodriguez, R.E.: Étale double covers of cyclic p-gonal covers. J. Algebra 538, 110–126 (2019)
Carocca, A., Recillas, S., Rodríguez, R.E.: Dihedral groups acting on Jacobians. Contemp. Math. 311, 41–77 (2011)
Carocca, A., Reyes-Carocca, S.: Riemann surfaces of genus \(1+q^2\) with \(3q^2\) automorphisms. arXiv:1911.04310v1
Carocca, A., Rodríguez, R.E.: Jacobians with group actions and rational idempotents. J. Algebra 306(2), 322–343 (2006)
Chetiya, B.P.: On genuses of compact Riemann surfaces admitting solvable automorphism groups. Indian J. Pure Appl. Math. 12, 1312–1318 (1981)
Chetiya, B.P., Patra, K.: On metabelian groups of automorphisms of compact Riemann surfaces. J. Lond. Math. Soc. 33, 467–472 (1986)
Costa, A.F., Izquierdo, M.: One-dimensional families of Riemann surfaces of genus $g$ with $4g + 4$ automorphisms. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 1123, 623–631 (2018)
Donagi, R., Markman, E.: Spectral covers, algebraically completely integrable, Hamiltonian systems, and moduli of bundles. In: Integrable Systems and Quantum Groups, Montecatini Terme, 1993. Lecture Notes in Mathematics, vol. 1620, pp. 1–119. Springer, Berlin (1996)
Gromadzki, G.: Maximal groups of automorphisms of compact Riemann surfaces in various classes of finite groups. Rev. Real Acad. Cienc. Exact. Fis. Natur. 82(2), 267–275 (1988)
Gromadzki, G.: Metabelian groups acting on compact Riemann surfaces. Rev. Mat. Univ. Complut. Madrid 8(2), 293–305 (1995)
Gromadzki, G.: On soluble groups of automorphism of Riemann surfaces. Canad. Math. Bull. 34, 67–73 (1991)
Gromadzki, G., Maclachlan, C.: Supersoluble groups of automorphisms of compact Riemann surfaces. Glasgow Math. J. 31, 321–327 (1989)
Gromadzki, G., Hidalgo, R.A.: On prime Galois coverings of tori (preprint)
Gromadzki, G., Weaver, A., Wootton, A.: On gonality of Riemann surfaces. Geom. Dedicata. 149, 1–14 (2010)
Harvey, J.: Cyclic groups of automorphisms of a compact Riemann surface. Q. J. Math. 17, 86–97 (1966)
Harvey, J.: On branch loci in Teichmüller space. Trans. Am. Math. Soc. 153, 387–399 (1971)
Hidalgo, R.A., Jiménez, L., Quispe, S., Reyes-Carocca, S.: Quasiplatonic curves with symmetry group ${\mathbb{Z}}_2^2 \rtimes {\mathbb{Z}}_m$ are definable over ${\mathbb{Q}}$. Bull. Lond. Math. Soc. 49, 165–183 (2017)
Isaacs, I.M.: Character Theory of Finite Groups. Academic Press, London (1976)
Izquierdo, M., Jiménez, L., Rojas, A.: Decomposition of Jacobian varieties of curves with dihedral actions via equisymmetric stratification. Rev. Mat. Iberoam. 35(4), 1259–1279 (2019)
Izquierdo, M., Jones, G.A., Reyes-Carocca, S.: Groups of automorphisms of Riemann surfaces and maps of genus $p+1$ where $p$ is prime. Ann. Acad. Sci. Fenn. Math. (to appear) (2021). arXiv:2003.05017
Izquierdo, M., Reyes-Carocca, S.: A note on large automorphism groups of compact Riemann surfaces. J. Algebra 547, 1–21 (2020)
Izquierdo, M., Reyes-Carocca, S., Rojas, A.M.: On families of Riemann surfaces with automorphisms. J. Pure Appl. Algebra 22410, 106704 (2021)
Kani, E., Rosen, M.: Idempotent relations and factors of Jacobians. Math. Ann. 284, 307–327 (1989)
Kulkarni, R.S.: A note on Wiman and Accola-Maclachlan surfaces. Ann. Acad. Sci. Fenn. Ser. A Math. 16(1), 83–94 (1991)
Lange, H., Recillas, S.: Abelian varieties with group actions. J. Reine Angew. Mathematik 575, 135–155 (2004)
MacBeath, A.: Action of automorphisms of a compact Riemann surface on the first homology group. Bull. Lond. Math. Soc. 5, 103–108 (1973)
MacBeath, A.: Residual Nilpotency of Fuchsian groups. Ill. J. Math. 28(2), 299–311 (1984)
Maclachlan, C.: Abelian groups of automorphisms of compact Riemann surfaces. Proc. Lond. Math. Soc. 15, 699–712 (1965)
Paulhus, J., Rojas, A.M.: Completely decomposable Jacobian varieties in new genera. Exp. Math. 26(4), 430–445 (2017)
Recillas, S., Rodríguez, R.E.: Jacobians and representations of \(S_3\). In: Aportaciones Matemáticas: Investigación, vol. 13. Sociedad Matemática Mexicana, Mexico (1998)
Reiner, I.: Maximal Orders. London Math. Soc. Monogr. (N. S.), vol. 28. Oxford Univ. Press, Oxford (2003)
Reyes-Carocca, S.: On Riemann surfaces of genus $g$ with $4g-4$ automorphisms. Israel J. Math. 237, 415–436 (2020)
Reyes-Carocca, S.: On pq-fold regular covers of the projective line. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 115, 23 (2021)
Reyes-Carocca, S.: On the one-dimensional family of Riemann surfaces of genus $q$ with $4q$ automorphisms. J. Pure Appl. Algebra 223(5), 2123–2144 (2019)
Reyes-Carocca, S., Rodríguez, R.E.: A generalisation of Kani-Rosen decomposition theorem for Jacobian varieties. Ann. Sci. Norm. Super. Pisa Cl. Sci. 19(2), 705–722 (2019)
Reyes-Carocca, S., Rodríguez, R.E.: On Jacobians with group action and coverings. Math. Z. 294, 209–227 (2020)
Ries, J.: The Prym variety for a cyclic unramified cover of a hyperelliptic curve. J. Reine Angew. Math. 340, 59–69 (1983)
Rojas, A.M.: Group actions on Jacobian varieties. Rev. Mat. Iber. 23, 397–420 (2007)
Schweizer, A.: Metacyclic groups as automorphism groups of compact Riemann surfaces. Geom. Dedicata. 190, 185–197 (2017)
Schweizer, A.: On the uniqueness of $(p, h)$-gonal automorphisms of Riemann surfaces. Arch. Math. (Basel) 98(6), 591–598 (2012)
Schweizer, A.: Several types of solvable groups as automorphism groups of compact Riemann surfaces. arXiv:1701.00325
Serre, J.P.: Linear Representations of Finite Groups. Graduate Texts in Mathematics, vol. 42. Springer, New York (1977)
Singerman, D.: Finitely maximal Fuchsian groups. J. Lond. Math. Soc. 2(6), 29–38 (1972)
Singerman, D.: Subgroups of Fuchsian groups and finite permutation groups. Bull. Lond. Math. Soc. 2, 319–323 (1970)
Wiman, A.: Über die hyperelliptischen Curven und diejenigen von Geschlechte p-Jwelche eindeutige Tiansformationen in sich zulassen. Bihang till K. Svenska Vet.-Akad. Handlingar, Stockholm, vol. 21, pp. 1–28 (1895–6)
Zomorrodian, R.: Bounds for the order of supersoluble automorphism groups of Riemann surfaces. Proc. Am. Math. Soc. 108(3), 587–600 (1990)
Zomorrodian, R.: Classification of p-groups of automorphisms of Riemann surfaces and their lower central series. Glasgow Math. J. 29, 237–244 (1987)
Zomorrodian, R.: Nilpotent automorphism groups of Riemann surfaces. Trans. Am. Math. Soc. 288(1), 241–255 (1985)
Acknowledgements
The author is very grateful to the referee for his/her valuable comments and suggestions.
Funding
Partially supported by Fondecyt Grants 11180024, 1190991 and Redes Grant 2017-170071.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Reyes-Carocca, S. Nilpotent groups of automorphisms of families of Riemann surfaces. Annali di Matematica 201, 359–377 (2022). https://doi.org/10.1007/s10231-021-01119-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-021-01119-0