Showing 1–50 of 69 results for author: Hidalgo, A

Generalized Fermat Riemann surfaces of infinite type

Authors: Ruben A. Hidalgo

Abstract: The Loch Ness monster (LNM) is, up to homeomorphisms, the unique orientable, connected, Hausdorff, second countable surface of infinite genus and with exactly one end. For each integer $k \geq 2$, we construct Riemann surface structures $S$ on the LNM admitting a group of conformal automorphisms $H \cong {\mathbb Z}_{k}^{\mathbb N}$ such that $S/H$ is planar. These structures can be described alge… ▽ More The Loch Ness monster (LNM) is, up to homeomorphisms, the unique orientable, connected, Hausdorff, second countable surface of infinite genus and with exactly one end. For each integer $k \geq 2$, we construct Riemann surface structures $S$ on the LNM admitting a group of conformal automorphisms $H \cong {\mathbb Z}_{k}^{\mathbb N}$ such that $S/H$ is planar. These structures can be described algebraically inside the projective space ${\mathbb P}^{\mathbb N}$ after deleting some limit points. △ Less

Submitted 24 March, 2025; originally announced March 2025.

MSC Class: 30F10; 30F20; 14H37; 14H55; 32G15

On the FOD/FOM parameter of rational maps

Authors: Ruben A. Hidalgo

Abstract: Let $χ$ be a (right) action of ${\rm PSL}_{2}({\mathbb L})$ on the space ${\mathbb L}(z)$ of rational maps defined over an algebraically closed field ${\mathbb L}$. If $R \in {\mathbb L}(z)$ and ${\mathcal M}_{R}^χ$ is its $χ$-field of moduli, then the parameter ${\rm FOD/FOM}_χ(R)$ is the smallest integer $n \geq 1$ such that there is a $χ$-field of definition of $R$ being a degree $n$ extension… ▽ More Let $χ$ be a (right) action of ${\rm PSL}_{2}({\mathbb L})$ on the space ${\mathbb L}(z)$ of rational maps defined over an algebraically closed field ${\mathbb L}$. If $R \in {\mathbb L}(z)$ and ${\mathcal M}_{R}^χ$ is its $χ$-field of moduli, then the parameter ${\rm FOD/FOM}_χ(R)$ is the smallest integer $n \geq 1$ such that there is a $χ$-field of definition of $R$ being a degree $n$ extension of ${\mathcal M}_{R}^χ$. When ${\mathbb L}$ has characteristic zero and $χ=χ_{\infty}$ is the conjugation action, then it is known that ${\rm FOD/FOM}_{χ_{\infty}}(R) \leq 2$. In this paper, we study the above parameter for general actions and any characteristic. △ Less

Submitted 12 November, 2024; originally announced November 2024.

MSC Class: 37F10; 37P05; 30F30

The structure of MDC-Schottky extension groups

Authors: Rubén A. Hidalgo

Abstract: Let $M^{0}$ be a complete hyperbolic $3$-manifold whose conformal boundary is a closed Riemann surface $S$ of genus $g \geq 2$. If $M=M^{0} \cup S$, then let ${\rm Aut}(S;M)$ be the group of conformal automorphisms of $S$ which extend to hyperbolic isometries of $M^{0}$. If the natural homomorphism at fundamental groups, induced by the natural inclusion of $S$ into $M$, is not injective, then it i… ▽ More Let $M^{0}$ be a complete hyperbolic $3$-manifold whose conformal boundary is a closed Riemann surface $S$ of genus $g \geq 2$. If $M=M^{0} \cup S$, then let ${\rm Aut}(S;M)$ be the group of conformal automorphisms of $S$ which extend to hyperbolic isometries of $M^{0}$. If the natural homomorphism at fundamental groups, induced by the natural inclusion of $S$ into $M$, is not injective, then it is known that $|{\rm Aut}(S;M)| \leq 12(g-1)$. If $M$ is a handlebody, then it is also known that the upper bound is attained. In this paper, we consider the case when $M$ is homeomorphic to the connected sum of $g \geq 2$ copies of $D^{*} \times S^{1}$, where $D^{*}$ denotes the punctured closed unit disc and $S^{1}$ the unit circle. In this case, we obtain that: (i) if $g=2$, then $|{\rm Aut}(S;M)| \leq 12$ and the equality is attained, this happening for ${\rm Aut}(S;M)$ isomorphic to the dihedral group of order $12$, and (ii) if $g \geq 3$, then $|{\rm Aut}(S;M)|<12(g-1)$, in particular, the above upper bound is not attained. △ Less

Submitted 13 October, 2024; originally announced October 2024.

MSC Class: 30F10; 30F40

A simple remark on holomorphic maps on Torelli space of marked spheres

Authors: Ruben A. Hidalgo

Abstract: The configuration space of $k \geq 3$ ordered points in the Riemann sphere $\widehat{\mathbb C}$ is the Torelli space ${\mathcal U}_{0,k}$; a complex manifold of dimension $k-3$. If $m,n \geq 4$ and $F:{\mathcal U}_{0,m} \to {\mathcal U}_{0,n}$ is a non-constant holomorphic map, then we observe that (i) $n \leq m$ and (ii) each coordinate of $F$ is given by a cross-ratio. The configuration space of $k \geq 3$ ordered points in the Riemann sphere $\widehat{\mathbb C}$ is the Torelli space ${\mathcal U}_{0,k}$; a complex manifold of dimension $k-3$. If $m,n \geq 4$ and $F:{\mathcal U}_{0,m} \to {\mathcal U}_{0,n}$ is a non-constant holomorphic map, then we observe that (i) $n \leq m$ and (ii) each coordinate of $F$ is given by a cross-ratio. △ Less

Submitted 9 October, 2024; originally announced October 2024.

Uniqueness of Generalized Fermat Groups in positive characteristic

Authors: Rubén A. Hidalgo, Henry F. Hughes, Maximiliano Leyton-Álvarez

Abstract: Let $X\subset {\mathbb P}_{K}^{m}$ be a smooth irreducible projective algebraic variety of dimension $d$, defined over an algebraically closed field $K$ of characteristic $p>0$. We say that $X$ is a generalized Fermat variety of type $(d;k,n)$, where $n \geq d+1$ and $k \geq 2$ is relatively prime to $p$, if there is a Galois branched covering $π\colon X\to {\mathbb P}_{K}^{d}$, with deck group… ▽ More Let $X\subset {\mathbb P}_{K}^{m}$ be a smooth irreducible projective algebraic variety of dimension $d$, defined over an algebraically closed field $K$ of characteristic $p>0$. We say that $X$ is a generalized Fermat variety of type $(d;k,n)$, where $n \geq d+1$ and $k \geq 2$ is relatively prime to $p$, if there is a Galois branched covering $π\colon X\to {\mathbb P}_{K}^{d}$, with deck group ${\mathbb Z}_k^n\cong H<\rm{Aut}(X)$, whose branch divisor consists of $n+1$ hyperplanes in general position (each one of branch order $k$). In this case, the group $H$ is called a generalized Fermat group of type $(d;k,n)$. We prove that, if $k-1$ is not a power of $p$ and either (i) $p=2$ or (ii) $p>2$ and $(d;k,n) \notin \{(2;2,5), (2;4,3)\}$, then a generalized Fermat variety of type $(d;k,n)$ has a unique generalized Fermat group of that type. △ Less

Submitted 9 October, 2024; originally announced October 2024.

MSC Class: 14J50; 32Q40; 53C15

Homology Covers and Automorphisms: Examples

Authors: Rubén A. Hidalgo

Abstract: Let $S$ be a Riemann surface with a non-abelian fundamental group and for each integer $k \geq 2$ or $k=\infty$, let $\widetilde{S}_{k}$ be its $k$-homology cover. The surface $\widetilde{S}_{k}$ admits a group of conformal automorphisms $M_{k} \cong {\rm H}_{1}(S;{\mathbb Z}_{k})$, where ${\mathbb Z}_{\infty}:={\mathbb Z}$, such that $S=\widetilde{S}_{k}/M_{k}$. If $L \leq {\rm Aut}(S)$, then the… ▽ More Let $S$ be a Riemann surface with a non-abelian fundamental group and for each integer $k \geq 2$ or $k=\infty$, let $\widetilde{S}_{k}$ be its $k$-homology cover. The surface $\widetilde{S}_{k}$ admits a group of conformal automorphisms $M_{k} \cong {\rm H}_{1}(S;{\mathbb Z}_{k})$, where ${\mathbb Z}_{\infty}:={\mathbb Z}$, such that $S=\widetilde{S}_{k}/M_{k}$. If $L \leq {\rm Aut}(S)$, then there is a short exact sequence $1 \to M_{k} \to \widetilde{L}_{k} \to L \to 1$, where $\widetilde{L}_{k}$ is a subgroup of conformal automorphisms of $\widetilde{S}_{k}$. In general, the above exact sequence does not need to be split. This paper investigates situations when the splitting is or is not obtained. △ Less

Submitted 2 December, 2024; v1 submitted 7 July, 2024; originally announced July 2024.

Comments: Changes in the Abstract and the Introduction. Part of the original introduction is now in Section 2. Some edition in Section 3. Some mistakes in Example 5 were corrected

MSC Class: 30F10; 30F40; 14H37

Abstract Hardy inequalities: The case p=1

Authors: Alejandro Santacruz Hidalgo

Abstract: Boundedness of an abstract formulation of Hardy operators between Lebesgue spaces over general measure spaces is studied and, when the domain is L^1, shown to be equivalent to the existence of a Hardy inequality on the half line with general Borel measures. This is done by extending the greatest decreasing minorant construction to general measure spaces depending on a totally ordered collection of… ▽ More Boundedness of an abstract formulation of Hardy operators between Lebesgue spaces over general measure spaces is studied and, when the domain is L^1, shown to be equivalent to the existence of a Hardy inequality on the half line with general Borel measures. This is done by extending the greatest decreasing minorant construction to general measure spaces depending on a totally ordered collection of measurable sets, called an ordered core. A functional description of the greatest decreasing minorant is given, and for a large class of ordered cores, a pointwise description is provided. As an application, characterizations of Hardy inequalities for metric measure spaces are given, we note that the metric measure space is not required to admit a polar decomposition. △ Less

Submitted 6 September, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: 22 pages

MSC Class: 26D15 (Primary) 26D10; 47G10 (Secondary)

Computing the Field of moduli of some non-hyperelliptic pseudo-real curves

Authors: Ruben A. Hidalgo

Abstract: The explicit computation of the field of moduli of a closed Riemann surface is, in general, a difficult task. In this paper, for each even integer $k \geq 2$, we consider a suitable $2$-real parameter family of non-hyperelliptic pseudo-real Riemann surfaces of genus $g=1+(2k-3)k^{4}$. For each of them, we compute its field of moduli and also a minimal field of definition. The explicit computation of the field of moduli of a closed Riemann surface is, in general, a difficult task. In this paper, for each even integer $k \geq 2$, we consider a suitable $2$-real parameter family of non-hyperelliptic pseudo-real Riemann surfaces of genus $g=1+(2k-3)k^{4}$. For each of them, we compute its field of moduli and also a minimal field of definition. △ Less

Submitted 10 January, 2024; originally announced January 2024.

MSC Class: Primary 14H37; 14H45; Secondary 30F10

Extending finite free actions of surfaces

Authors: Rubén A. Hidalgo

Abstract: We prove the existence of finite groups of orientation-preserving homeomorphisms of some closed orientable surface $S$ that act freely and which extends as a group of homeomorphisms of some compact orientable $3$-manifold with boundary $S$, but which cannot extend to a handlebody. We prove the existence of finite groups of orientation-preserving homeomorphisms of some closed orientable surface $S$ that act freely and which extends as a group of homeomorphisms of some compact orientable $3$-manifold with boundary $S$, but which cannot extend to a handlebody. △ Less

Submitted 22 March, 2024; v1 submitted 27 October, 2023; originally announced October 2023.

MSC Class: 57M60; 57M10

Core Decreasing Functions

Authors: Alejandro Santacruz Hidalgo, Gord Sinnamon

Abstract: Given a measure space and a totally ordered ordered collection of measurable sets, called an ordered core, the notion of a core decreasing function is introduced and used to define the down space of a Banach function space. This is done using a variant of the Köthe dual restricted to core decreasing functions. To study down spaces, the least core decreasing majorant construction and the level func… ▽ More Given a measure space and a totally ordered ordered collection of measurable sets, called an ordered core, the notion of a core decreasing function is introduced and used to define the down space of a Banach function space. This is done using a variant of the Köthe dual restricted to core decreasing functions. To study down spaces, the least core decreasing majorant construction and the level function construction, already known for functions on the real line, are extended to this general setting. These are used to give concrete descriptions of the duals of the down spaces and, in the case of universally rearrangement invariant (u.r.i.) spaces, of the down spaces themselves. The down spaces of $L^1$ and $L^\infty$ are shown to form an exact Calderón couple with divisibility constant $1$; a complete description of the exact interpolation spaces for the couple is given in terms of level functions; and the down spaces of u.r.i. spaces are shown to be precisely those interpolation spaces that have the Fatou property. The dual couple is also an exact Calderón couple with divisibility constant $1$; a complete description of the exact interpolation spaces for the couple is given in terms of least core decreasing majorants; and the duals of down spaces of u.r.i. spaces are shown to be precisely those interpolation spaces that have the Fatou property. △ Less

Submitted 3 May, 2024; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: 33 pages

MSC Class: 46B70 (Primary) 46E30; 46B42 (Secondary)

Journal ref: Journal of Functional Analysis Volume 287, Issue 4, 15 August 2024, 110490

The minima of the geodesic length functions of uniform filling curves

Authors: Ernesto Girondo, Gabino González-Diez, Rubén A. Hidalgo

Abstract: There is a natural link between (multi-)curves that fill up a closed oriented surface and dessins d'enfants. We use this approach to exhibit explicitly the minima of the geodesic length function of a kind of curves (uniform filling curves) which include those that admit a homotopy equivalent representative such that all self-intersection points as well as all faces of their complement have the sam… ▽ More There is a natural link between (multi-)curves that fill up a closed oriented surface and dessins d'enfants. We use this approach to exhibit explicitly the minima of the geodesic length function of a kind of curves (uniform filling curves) which include those that admit a homotopy equivalent representative such that all self-intersection points as well as all faces of their complement have the same multiplicity. We show that these minima are attained at the Grothendieck-Belyi surfaces determined by a natural dessin d'enfant associated to these filling curves. In particular they are all Riemann surfaces defined over number fields. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Comments: 20 pages, 5 figures

MSC Class: 14H57; 30F60; 30F45

On quasiconformal equivalence of Schottky regions

Authors: Ruben A. Hidalgo

Abstract: In a recent paper, H. Shiga proved that the regions of discontinuity of any two Schottky groups of ranks at least two are quasiconformally equivalent. In this paper, we provide an alternative proof of such a fact. Our approach permits us to discuss quasiconformality equivalence of regions of discontinuity of Schottky type groups in terms of their signatures. In a recent paper, H. Shiga proved that the regions of discontinuity of any two Schottky groups of ranks at least two are quasiconformally equivalent. In this paper, we provide an alternative proof of such a fact. Our approach permits us to discuss quasiconformality equivalence of regions of discontinuity of Schottky type groups in terms of their signatures. △ Less

Submitted 18 June, 2023; v1 submitted 10 June, 2023; originally announced June 2023.

Comments: Section with the constructions have been reorganized. Proof of the main resulkt has been dited and corrected

MSC Class: 30F10; 30C62; 30F40

On non-normal subvarieties of the moduli space of Riemann surfaces

Authors: Rubén A. Hidalgo, Jennifer Paulhus, Sebastián Reyes-Carocca, Anita M. Rojas

Abstract: In this article, we consider certain irreducible subvarieties of the moduli space of compact Riemann surfaces determined by the specification of actions of finite groups. We address the general problem of determining which among them are non-normal subvarieties of the moduli space. In this article, we consider certain irreducible subvarieties of the moduli space of compact Riemann surfaces determined by the specification of actions of finite groups. We address the general problem of determining which among them are non-normal subvarieties of the moduli space. △ Less

Submitted 29 July, 2024; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: 22 pages

MSC Class: 30F10; 32G15; 14H37; 30F35; 14H30

Journal ref: Transformation Groups (2024)

Quasi-abelian group as automorphism group of Riemann surfaces

Authors: Rubén A. Hidalgo, Yerika Marín Montilla, Saúl Quispe

Abstract: Conformal/anticonformal actions of the quasi-abelian group $QA_{n}$ of order $2^n$, for $n\geq 4$, on closed Riemann surfaces, pseudo-real Riemann surfaces and closed Klein surfaces are considered. We obtain several consequences, such as the solution of the minimum genus problem for the $QA_n$-actions, and for each of these actions, we study the topological rigidity action problem. In the case of… ▽ More Conformal/anticonformal actions of the quasi-abelian group $QA_{n}$ of order $2^n$, for $n\geq 4$, on closed Riemann surfaces, pseudo-real Riemann surfaces and closed Klein surfaces are considered. We obtain several consequences, such as the solution of the minimum genus problem for the $QA_n$-actions, and for each of these actions, we study the topological rigidity action problem. In the case of pseudo-real surfaces, attention was typically restricted to group actions that admit anticonformal elements. In this paper we consider two cases: either $QA_n$ has anticonformal elements or only contains conformal elements. △ Less

Submitted 25 May, 2023; v1 submitted 9 March, 2023; originally announced March 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2210.01577

Generalized quasi-dihedral group as automorphism group of Riemann surfaces

Authors: Rubén A. Hidalgo, Yerika Marín Montilla, Saúl Quispe

Abstract: In this paper, we discuss certain types of conformal/anticonformal actions of the generalized quasi-dihedral group $G_{n}$ of order $8n$, for $n\geq 2$, on closed Riemann surfaces, pseudo-real Riemann surfaces and compact Klein surfaces, and in each of these actions we study the uniqueness (up to homeomorphisms) action problem. In this paper, we discuss certain types of conformal/anticonformal actions of the generalized quasi-dihedral group $G_{n}$ of order $8n$, for $n\geq 2$, on closed Riemann surfaces, pseudo-real Riemann surfaces and compact Klein surfaces, and in each of these actions we study the uniqueness (up to homeomorphisms) action problem. △ Less

Submitted 4 October, 2022; originally announced October 2022.

A structural description of extended ${\mathbb Z}_{2n}$-Schottky groups

Authors: Ruben A. Hidalgo

Abstract: Real points of Schottky space ${\mathcal S}_{g}$ are in correspondence with extended Kleinian groups $K$ containing, as a normal subgroup, a Schottky group $Γ$ of rank $g$ such that $K/Γ\cong {\mathbb Z}_{2n}$ for a suitable integer $n \geq 1$. These kind of groups are called extended ${\mathbb Z}_{2n}$-Schottky groups of rank $g$. In this paper, we provide a structural decomposition theorem, in… ▽ More Real points of Schottky space ${\mathcal S}_{g}$ are in correspondence with extended Kleinian groups $K$ containing, as a normal subgroup, a Schottky group $Γ$ of rank $g$ such that $K/Γ\cong {\mathbb Z}_{2n}$ for a suitable integer $n \geq 1$. These kind of groups are called extended ${\mathbb Z}_{2n}$-Schottky groups of rank $g$. In this paper, we provide a structural decomposition theorem, in terms of Klein-Maskit's combination theorems, of these kind of groups. △ Less

Submitted 16 March, 2022; originally announced March 2022.

MSC Class: 30F10; 30F40

Realising countable groups as automorphisms of origamis on the Loch Ness monster

Authors: Rubén A. Hidalgo, Israel Morales

Abstract: It is known that every finite group can be represented as the full group of automorphisms of a suitable compact origami. In this paper, we provide a short argument to note that the same holds for any countable group by considering origamis on the Loch Ness monster. It is known that every finite group can be represented as the full group of automorphisms of a suitable compact origami. In this paper, we provide a short argument to note that the same holds for any countable group by considering origamis on the Loch Ness monster. △ Less

Submitted 6 August, 2022; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:2108.00900

On $p$-gonal fields of definition

Authors: Ruben A. Hidalgo

Abstract: Let $S$ be a closed Riemann surface of genus $g \geq 2$ and $\varphi$ be a conformal automorphism of $S$ of prime order $p$ such that $S/\langle \varphi \rangle$ has genus zero. Let ${\mathbb K} \leq {\mathbb C}$ be a field of definition of $S$. We provide an argument for the existence of a field extension ${\mathbb F}$ of ${\mathbb K}$, of degree at most $2(p-1)$, for which $S$ is definable by a… ▽ More Let $S$ be a closed Riemann surface of genus $g \geq 2$ and $\varphi$ be a conformal automorphism of $S$ of prime order $p$ such that $S/\langle \varphi \rangle$ has genus zero. Let ${\mathbb K} \leq {\mathbb C}$ be a field of definition of $S$. We provide an argument for the existence of a field extension ${\mathbb F}$ of ${\mathbb K}$, of degree at most $2(p-1)$, for which $S$ is definable by a curve of the form $y^{p}=F(x) \in {\mathbb F}[x]$, in which case $\varphi$ corresponds to $(x,y) \mapsto (x,e^{2 πi/p} y)$. If, moreover, $\varphi$ is also definable over ${\mathbb K}$, then ${\mathbb F}$ can be chosen to be at most a quadratic extension of ${\mathbb K}$. For $p=2$, that is when $S$ is hyperelliptic and $\varphi$ is its hyperelliptic involution, this fact is due to Mestre (for even genus) and Huggins and Lercier-Ritzenthaler-Sijslingit in the case that ${\rm Aut}(S)/\varphi\rangle$ is non-trivial. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:1309.6904

MSC Class: 30F10; 30F20; 14H37; 14H55

Smooth quotients of generalized Fermat curves

Authors: Rubén A. Hidalgo

Abstract: A closed Riemann surface $S$ is called a generalized Fermat curve of type $(p,n)$, where $n,p \geq 2$ are integers such that $(p-1)(n-1)>2$, if it admits a group $H \cong {\mathbb Z}_{p}^{n}$ of conformal automorphisms with quotient orbifold $S/H$ of genus zero with exactly $n+1$ cone points, each one of order $p$; in this case $H$ is called a generalized Fermat group of type $(p,n)$. In this case… ▽ More A closed Riemann surface $S$ is called a generalized Fermat curve of type $(p,n)$, where $n,p \geq 2$ are integers such that $(p-1)(n-1)>2$, if it admits a group $H \cong {\mathbb Z}_{p}^{n}$ of conformal automorphisms with quotient orbifold $S/H$ of genus zero with exactly $n+1$ cone points, each one of order $p$; in this case $H$ is called a generalized Fermat group of type $(p,n)$. In this case, it is known that $S$ is non-hyperelliptic and that $H$ is its unique generalized Fermat group of type $(p,n)$. Also, explicit equations for them, as a fiber product of classical Fermat curves of degree $p$, are known. For $p$ a prime integer, we describe those subgroups $K$ of $H$ acting freely on $S$, together with algebraic equations for $S/K$, and determine those $K$ such that $S/K$ is hyperelliptic. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:1705.09337

MSC Class: 30F10; 14H37; 30F40; 30F60

Groups as automorphisms of dessins d'enfants

Authors: Alejandro Cañas, Ruben A. Hidalgo, Francisco Javier Turiel, Antonio Viruel

Abstract: It is known that every finite group can be represented as the full group of automorphisms of a suitable compact dessin d'enfant. In this paper, we give a constructive and easy proof that the same holds for any countable group by considering non-compact dessins. Moreover, we show that any tame action of a countable group is so realizable. It is known that every finite group can be represented as the full group of automorphisms of a suitable compact dessin d'enfant. In this paper, we give a constructive and easy proof that the same holds for any countable group by considering non-compact dessins. Moreover, we show that any tame action of a countable group is so realizable. △ Less

Submitted 8 June, 2022; v1 submitted 2 August, 2021; originally announced August 2021.

MSC Class: 37F10; 14H37; 14H57; 20H10; 57N05; 57N16

Quadrangular ${\mathbb Z}_{p}^{l}$-actions on Riemann surfaces

Authors: Ruben A. Hidalgo

Abstract: Let $p \geq 3$ be a prime integer and, for $l \geq 1$, let $G \cong {\mathbb Z}_{p}^{l}$ be a group of conformal automorphisms of some closed Riemann surface $S$ of genus $g \geq 2$. By the Riemann-Hurwitz formula, either $p \leq g+1$ or $p=2g+1$. If $l=1$ and $p=2g+1$, then $S/G$ is the sphere with exactly three cone points and, if moreover $p \geq 7$, then $G$ is the unique $p$-Sylow subgroup of… ▽ More Let $p \geq 3$ be a prime integer and, for $l \geq 1$, let $G \cong {\mathbb Z}_{p}^{l}$ be a group of conformal automorphisms of some closed Riemann surface $S$ of genus $g \geq 2$. By the Riemann-Hurwitz formula, either $p \leq g+1$ or $p=2g+1$. If $l=1$ and $p=2g+1$, then $S/G$ is the sphere with exactly three cone points and, if moreover $p \geq 7$, then $G$ is the unique $p$-Sylow subgroup of ${\rm Aut}(S)$. If $l=1$ and $p=g+1$, then $S/G$ is the sphere with exactly four cone points and, if moreover $p \geq 13$, then $G$ is again the unique $p$-Sylow subgroup. The above unique facts permited many authors to obtain algebraic models and the corresponding groups ${\rm Aut}(S)$ in these situations. Now, let us assume $l \geq 2$. If $p \geq 5$, then either (i) $p^{l} \leq g-1$ or (ii) $S/G$ has genus zero, $p^{l-1}(p-3) \leq 2(g-1)$ and $2 \leq l \leq r-1$, where $r \geq 3$ is the number of cone points of $S/G$. Let us assume we are in case (ii). If $r=3$, then $l=2$ and $S$ happens to be the classical Fermat curve of degree $p$, whose group of automorphisms is well known. The next case, $r=4$, is studied in this paper. We provide an algebraic curve representation for $S$, a description of its group of conformal automorphisms, a discussion of its field of moduli and an isogenous decomposition of its jacobian variety. △ Less

Submitted 24 December, 2022; v1 submitted 3 May, 2021; originally announced May 2021.

Automorphisms of Generalized Fermat manifolds

Authors: Ruben A. Hidalgo, Henry F. Hughes, Maximiliano Leyton-Alvarez

Abstract: Let $d \geq 1$, $k \geq 2$ and $n\geq d+1$ be integers. A $d$-dimensional smooth complex algebraic variety $M$ is called a generalized Fermat variety of type $(d;k,n)$ if there is a Galois holomorphic branched covering $π:M \to {\mathbb P}^{d}$, with deck group $H\cong {\mathbb Z}_{k}^{n}$, whose branch divisor consists of $n+1$ hyperplanes in general position, each one of branch order $k$. In thi… ▽ More Let $d \geq 1$, $k \geq 2$ and $n\geq d+1$ be integers. A $d$-dimensional smooth complex algebraic variety $M$ is called a generalized Fermat variety of type $(d;k,n)$ if there is a Galois holomorphic branched covering $π:M \to {\mathbb P}^{d}$, with deck group $H\cong {\mathbb Z}_{k}^{n}$, whose branch divisor consists of $n+1$ hyperplanes in general position, each one of branch order $k$. In this case, $H$ is called a generalized Fermat group of type $(d;k,n)$. In previous work, we proved that the generalized Fermat group $H$ is unique in the following cases: (i) $d=1$ and $(k-1)(n-1)>2$, or (ii) $d \geq 2$ and $(d;k,n) \notin \{(2;2,5), (2;4,3)\}$. To obtain this uniqueness fact, we used a differential method due to Kontogeorgis. This paper provides a different and shorter proof of the uniqueness of $H$. We also study the locus of fixed points of subgroups of $H$. △ Less

Submitted 16 December, 2024; v1 submitted 9 October, 2020; originally announced October 2020.

Comments: corrections from previous version and shorter version

MSC Class: 14J50; 32Q40; 53C15

Description of Origamis by Schottky groups

Authors: Rubén A. Hidalgo

Abstract: Let $(S,η)$ be an origami pair, that is, $S$ is a closed Riemann surface of genus $g \geq1$ and $η:S \to E$ is a holomorphic branched covering, with at most one branch value, where $E$ is a genus one Riemann surface. As the lowest uniformizations of $S$ are provided by Schottky groups, we are interested in describing origami pairs in terms of virtual Schottky groups. In other words, we are interes… ▽ More Let $(S,η)$ be an origami pair, that is, $S$ is a closed Riemann surface of genus $g \geq1$ and $η:S \to E$ is a holomorphic branched covering, with at most one branch value, where $E$ is a genus one Riemann surface. As the lowest uniformizations of $S$ are provided by Schottky groups, we are interested in describing origami pairs in terms of virtual Schottky groups. In other words, we are interested in those Kleinian groups $K$ which contain, as a finite index subgroup, a Schottky group $Γ$ such that $S=Ω/Γ$ and such that $η$ is induced by the inclusion $Γ\leq K$. We say that $K$ is an origami-Schottky group. We provide a geometrical structural picture, in terms of the Klein-Maskit combination theorems, of these origami-Schottky groups. △ Less

Submitted 23 October, 2023; v1 submitted 3 July, 2020; originally announced July 2020.

MSC Class: 30F10; 30F40

Homology group automorphisms of Riemann surfaces

Authors: Rubén A. Hidalgo

Abstract: If $Γ$ is a finitely generated Fuchsian group such that its derived subgroup $Γ'$ is co-compact and torsion free, then $S={\mathbb H}^{2}/Γ'$ is a closed Riemann surface of genus $g \geq 2$ admitting the abelian group $A=Γ/Γ'$ as a group of conformal automorphisms. We say that $A$ is a homology group of $S$. A natural question is if $S$ admits unique homology groups or not, in other words, is ther… ▽ More If $Γ$ is a finitely generated Fuchsian group such that its derived subgroup $Γ'$ is co-compact and torsion free, then $S={\mathbb H}^{2}/Γ'$ is a closed Riemann surface of genus $g \geq 2$ admitting the abelian group $A=Γ/Γ'$ as a group of conformal automorphisms. We say that $A$ is a homology group of $S$. A natural question is if $S$ admits unique homology groups or not, in other words, is there are different Fuchsian groups $Γ_{1}$ and $Γ_{2}$ with $Γ_{1}'=Γ'_{2}$? It is known that if $Γ_{1}$ and $Γ_{2}$ are both of the same signature $(0;k,\ldots,k)$, for some $k \geq 2$, then the equality $Γ_{1}'=Γ_{2}'$ ensures that $Γ_{1}=Γ_{2}$. Generalizing this, we observe that if $Γ_{j}$ has signature $(0;k_{j},\ldots,k_{j})$ and $Γ_{1}'=Γ'_{2}$, then $Γ_{1}=Γ_{2}$. We also provide examples of surfaces $S$ with different homology groups. A description of the normalizer in ${\rm Aut}(S)$ of each homology group $A$ is also obtained. △ Less

Submitted 3 July, 2020; originally announced July 2020.

MSC Class: 30F10; 30F40

Dessins d'enfants and some holomorphic structures on the Loch Ness Monster

Authors: Yasmina Atarihuana, Juan García, Rubén A. Hidalgo, Saúl Quispe, Camilo Ramírez Maluendas

Abstract: The classical theory of dessin d'enfants, which are bipartite maps on compact orientable surfaces, are combinatorial objects used to study branched covers between compact Riemann surfaces and the absolute Galois group of the field of rational numbers. In this paper, we show how this theory is naturally extended to non-compact orientable surfaces and, in particular, we observe that the Loch Ness mo… ▽ More The classical theory of dessin d'enfants, which are bipartite maps on compact orientable surfaces, are combinatorial objects used to study branched covers between compact Riemann surfaces and the absolute Galois group of the field of rational numbers. In this paper, we show how this theory is naturally extended to non-compact orientable surfaces and, in particular, we observe that the Loch Ness monster (the surface of infinite genus with exactly one end) admits infinitely many regular dessins d'enfants (either chiral or reflexive). In addition, we study different holomorphic structures on the Loch Ness monster, which come from homology covers of compact Riemann surfaces, infinite hyperelliptic and infinite superelliptic curves. △ Less

Submitted 29 April, 2021; v1 submitted 19 May, 2020; originally announced May 2020.

MSC Class: 37F10; 14H37; 14H57; 20H10; 57N05; 57N16

Geometric description of Virtual Schottky groups

Authors: Ruben A. Hidalgo

Abstract: A virtual Schottky group is a Kleinian group $K$ containing a Schottky group $G$ as a finite index normal subgroup. These groups correspond to those groups of automorphisms of closed Riemann surfaces which can be realized at the level of their Schottky uniformizations. In this paper we provides a geometrical structural decomposition of $K$ in the particular case when $K/G$ is an abelian group. A virtual Schottky group is a Kleinian group $K$ containing a Schottky group $G$ as a finite index normal subgroup. These groups correspond to those groups of automorphisms of closed Riemann surfaces which can be realized at the level of their Schottky uniformizations. In this paper we provides a geometrical structural decomposition of $K$ in the particular case when $K/G$ is an abelian group. △ Less

Submitted 4 January, 2020; v1 submitted 7 December, 2019; originally announced December 2019.

MSC Class: 30F10; 30F40; 20H10

Zapponi-orientable dessins d'enfants

Authors: E. Girondo, G. González-Diez, R. A. Hidalgo, G. A. Jones

Abstract: Almost two decades ago Zapponi introduced a notion of orientability of a clean dessin d'enfant, based on an orientation of the embedded bipartite graph. We extend this concept, which we call Z-orientability to distinguish it from the traditional topological definition, to the wider context of all dessins, and we use it to define a concept of twist orientability, which also takes account of the Z-o… ▽ More Almost two decades ago Zapponi introduced a notion of orientability of a clean dessin d'enfant, based on an orientation of the embedded bipartite graph. We extend this concept, which we call Z-orientability to distinguish it from the traditional topological definition, to the wider context of all dessins, and we use it to define a concept of twist orientability, which also takes account of the Z-orientability properties of those dessins obtained by permuting the roles of white and black vertices and face-centres. We observe that these properties are Galois-invariant, and we study the extent to which they are determined by the standard invariants such as the passport and the monodromy and automorphism groups. We find that in general they are independent of these invariants, but in the case of regular dessins they are determined by the monodromy group. △ Less

Submitted 3 December, 2019; v1 submitted 16 September, 2019; originally announced September 2019.

Automorphism groups of origami curves

Authors: Ruben A. Hidalgo

Abstract: A closed Riemann surface $S$ (of genus at least one) is called an origami curve if it admits a non-constant holomorphic map $β:S \to E$ with at most one branch value, where $E$ is a genus one Riemann surface. In this case, $(S,β)$ is called an origami pair and ${\rm Aut}(S,β)$ is the group of conformal automorphisms $φ$ of $S$ such that $β=β\circ φ$. Let $G$ be a finite group. It is a known fact t… ▽ More A closed Riemann surface $S$ (of genus at least one) is called an origami curve if it admits a non-constant holomorphic map $β:S \to E$ with at most one branch value, where $E$ is a genus one Riemann surface. In this case, $(S,β)$ is called an origami pair and ${\rm Aut}(S,β)$ is the group of conformal automorphisms $φ$ of $S$ such that $β=β\circ φ$. Let $G$ be a finite group. It is a known fact that $G$ can be realized as a subgroup of ${\rm Aut}(S,β)$ for a suitable origami pair $(S,β)$. It is also known that $G$ can be realized as a group of conformal automorphisms of a Riemann surface $X$ of genus $g \geq 2$ and with quotient orbifold $X/G$ also of genus $γ\geq 2$. Given a conformal action of $G$ on a surface $X$ as before, we prove that there is an origami pair $(S,β)$, where $S$ has genus $g$ and $G \cong {\rm Aut}(S,β)$ such that the actions of ${\rm Aut}(S,β)$ on $S$ and that of $G$ on $X$ are topologically equivalent. △ Less

Submitted 24 July, 2019; originally announced July 2019.

MSC Class: 30F40; 14H30; 32G15

On the connectivity of the branch and real locus of ${\mathcal M}_{0,[n+1]}$

Authors: Yasmina Atarihuana, Rubén A. Hidalgo

Abstract: If $n \geq 3$, then moduli space ${\mathcal M}_{0,[n+1]}$, of isomorphisms classes of $(n+1)$-marked spheres, is a complex orbifold of dimension $n-2$. Its branch locus ${\mathcal B}_{0,[n+1]}$ consists of the isomorphism classes of those $(n+1)$-marked spheres with non-trivial group of conformal automorphisms. We prove that ${\mathcal B}_{0,[n+1]}$ is connected if either $n \geq 4$ is even or if… ▽ More If $n \geq 3$, then moduli space ${\mathcal M}_{0,[n+1]}$, of isomorphisms classes of $(n+1)$-marked spheres, is a complex orbifold of dimension $n-2$. Its branch locus ${\mathcal B}_{0,[n+1]}$ consists of the isomorphism classes of those $(n+1)$-marked spheres with non-trivial group of conformal automorphisms. We prove that ${\mathcal B}_{0,[n+1]}$ is connected if either $n \geq 4$ is even or if $n \geq 6$ is divisible by $3$, and that it has exactly two connected components otherwise. The orbifold ${\mathcal M}_{0,[n+1]}$ also admits a natural real structure, this being induced by the complex conjugation on the Riemann sphere. The locus ${\mathcal M}_{0,[n+1]}({\mathbb R})$ of its fixed points, the real points, consists of the isomorphism classes of those marked spheres admitting an anticonformal automorphism. Inside this locus is the real locus ${\mathcal M}_{0,[n+1]}^{\mathbb R}$, consisting of those classes of marked spheres admitting an anticonformal involution. We prove that ${\mathcal M}_{0,[n+1]}^{\mathbb R}$ is connected for $n \geq 5$ odd, and that it is disconnected for $n=2r$ with $r \geq 5$ is odd. △ Less

Submitted 12 April, 2019; v1 submitted 3 April, 2019; originally announced April 2019.

MSC Class: 30F10; 30F60; 32G15

$(g,k)$-Fermat curves: an embedding of moduli spaces

Authors: Ruben A. Hidalgo

Abstract: A group $H \cong {\mathbb Z}_{k}^{2g}$, where $g,k \geq 2$ are integers, of conformal automorphisms of a closed Riemann surface $S$ is called a $(g,k)$-Fermat group if it acts freely with quotient $S/H$ of genus $g$. We study some properties of these type of objects, in particular, we observe that $S$ is non-hyperelliptic and, if $k=p^{r}$, where $p>84(g-1)$ is a prime integer and $r \geq 1$, then… ▽ More A group $H \cong {\mathbb Z}_{k}^{2g}$, where $g,k \geq 2$ are integers, of conformal automorphisms of a closed Riemann surface $S$ is called a $(g,k)$-Fermat group if it acts freely with quotient $S/H$ of genus $g$. We study some properties of these type of objects, in particular, we observe that $S$ is non-hyperelliptic and, if $k=p^{r}$, where $p>84(g-1)$ is a prime integer and $r \geq 1$, then $H$ is the unique $(g,k)$-Fermat group of $S$. Let $Γ$ be a co-compact torsion free Fuchsian group such that $S/H={\mathbb H}^{2}/Γ$. If $Γ_{k}$ is its normal subgroup generated by its commutators and the $k$-powers of its elements, then there is a biholomorphism between $S$ and ${\mathbb H}^{2}/Γ_{k}$ congugating $H$ to $Γ/Γ_{k}$. The inclusion $Γ_{k} < Γ$ induces a natural holomorphic embedding $Θ_{k}:{\mathcal T}(Γ) \hookrightarrow {\mathcal T}(Γ_{k})$ of the corresponding Teichmüller spaces. Such an embedding induces a holomorphic map, at the level of their moduli spaces, $Φ_{k}:{\mathcal M}(Γ) \to {\mathcal M}(Γ_{k})$. As a consequence of the results on $(g,k)$-Fermat groups, we provide sufficient conditions for the injectivity of $Φ_{k}$. △ Less

Submitted 28 August, 2023; v1 submitted 8 February, 2019; originally announced February 2019.

Comments: This is an actualized expanded version. Some changes of sections have been done

MSC Class: 30F10; 30F40; 14H37

The structure of extended function groups

Authors: Ruben A. Hidalgo

Abstract: A function group is a finitely generated Kleinian group with an invariant connected component of its region of discontinuity. An extended function group is a finitely generated extended Kleinian group that contains orientation reversing elements and keep invariant a connected components of its region of discontinuity. An structural decomposition of function groups, in terms of the Klein-Maskit c… ▽ More A function group is a finitely generated Kleinian group with an invariant connected component of its region of discontinuity. An extended function group is a finitely generated extended Kleinian group that contains orientation reversing elements and keep invariant a connected components of its region of discontinuity. An structural decomposition of function groups, in terms of the Klein-Maskit combination theorems, was provided by Maskit in the middle of the 70's. One should expect a similar decomposition structure for extended function groups, but it seems not to be stated in the existing literature. The aim of this paper is to state and procvide a proof of such a decomposition structural picture. △ Less

Submitted 7 July, 2021; v1 submitted 14 December, 2018; originally announced December 2018.

MSC Class: 30F10; 30F40

Automorphism groups of dessins d'enfants

Authors: Ruben A. Hidalgo

Abstract: Recently, Gareth Jones observed that every finite group $G$ can be realized as the group of automorphisms of some dessin d'enfant ${\mathcal D}$. In this paper, complementing Gareth's result, we prove that for every possible action of $G$ as a group of orientation-preserving homeomorphisms on a closed orientable surface of genus $g \geq 2$, there is a dessin d'enfant ${\mathcal D}$ admitting $G$ a… ▽ More Recently, Gareth Jones observed that every finite group $G$ can be realized as the group of automorphisms of some dessin d'enfant ${\mathcal D}$. In this paper, complementing Gareth's result, we prove that for every possible action of $G$ as a group of orientation-preserving homeomorphisms on a closed orientable surface of genus $g \geq 2$, there is a dessin d'enfant ${\mathcal D}$ admitting $G$ as its group of automorphisms and realizing the given topological action. In particular, this asserts that the strong symmetric genus of $G$ is also the minimum genus action for it to acts as the group of automorphisms of a dessin d'enfant of genus at least two. △ Less

Submitted 19 November, 2018; originally announced November 2018.

Comments: To appear in Archiv der Mathematik

MSC Class: 30F40; 11G32; 14H57

Regular dessins d'enfants with dicyclic group of automorphisms

Authors: Rubén A. Hidalgo, Saúl Quispe

Abstract: Let $G_{n}$ be the dicyclic group of order $4n$. We observe that, up to isomorphisms, (i) for $n \geq 2$ even there is exactly one regular dessin d'enfant with automorphism group $G_{n}$, and (ii) for $n \geq 3$ odd there are exactly two of them. All of them are produced on very well known hyperelliptic Riemann surfaces. We observe, for each of these cases, that the isotypical decomposition, induc… ▽ More Let $G_{n}$ be the dicyclic group of order $4n$. We observe that, up to isomorphisms, (i) for $n \geq 2$ even there is exactly one regular dessin d'enfant with automorphism group $G_{n}$, and (ii) for $n \geq 3$ odd there are exactly two of them. All of them are produced on very well known hyperelliptic Riemann surfaces. We observe, for each of these cases, that the isotypical decomposition, induced by the action of $G_{n}$, of its jacobian variety has only one component. If $n$ is even, then the action is purely-non-free, that is, every element acts with fixed points. In the case $n$ odd, the action is not purely-non-free in one of the actions and purely non-free for the other. △ Less

Submitted 14 September, 2018; originally announced September 2018.

MSC Class: 0F10; 14H37; 14H57

Weierstrass weight of the hyperosculating points of generalized Fermat curves

Authors: Rubén A. Hidalgo, Maximiliano Leyton-Álvarez

Abstract: Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperosculating points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for th… ▽ More Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperosculating points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for the Weierstrass weight of these points. △ Less

Submitted 14 September, 2018; originally announced September 2018.

On neoclassical Schottky groups

Authors: Ruben A. Hidalgo, Bernard Maskit

Abstract: The goal of this paper is to describe a theoretical construction of an infinite collection of non-classical Schottky groups. We first show that there are infinitely many non-classical noded Schottky groups on the boundary of Schottky space, and we show that infinitely many of these are "sufficiently complicated". We then show that every Schottky group in an appropriately defined relative conical n… ▽ More The goal of this paper is to describe a theoretical construction of an infinite collection of non-classical Schottky groups. We first show that there are infinitely many non-classical noded Schottky groups on the boundary of Schottky space, and we show that infinitely many of these are "sufficiently complicated". We then show that every Schottky group in an appropriately defined relative conical neighborhood of any sufficiently complicated noded Schottky group is necessarily non-classical. Finally, we construct two examples; the first is a noded Riemann surface of genus $3$ that cannot be uniformized by any neoclassical Schottky group (i.e., classical noded Schottky group); the second is an explicit example of a sufficiently complicated noded Schottky group in genus $3$. △ Less

Submitted 10 January, 2018; originally announced January 2018.

Comments: http://www.ams.org/journals/tran/2006-358-11/S0002-9947-05-03792-X/S0002-9947-05-03792-X.pdf

MSC Class: 30F10; 30F40

Journal ref: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 358, Number 11, November 2006, Pages 4765-4792

A sufficiently complicated noded Schottky group of rank three

Authors: Ruben A. Hidalgo

Abstract: The theoretical existence of non-classical Schottky groups is due to Marden. Explicit examples of such kind of groups are only known in rank two, the first one by by Yamamoto in 1991 and later by Williams in 2009. In 2006, Maskit and the author provided a theoretical method to obtain examples of non-classical Schottky groups in any rank. The method assumes the knowledge of some algebraic limits of… ▽ More The theoretical existence of non-classical Schottky groups is due to Marden. Explicit examples of such kind of groups are only known in rank two, the first one by by Yamamoto in 1991 and later by Williams in 2009. In 2006, Maskit and the author provided a theoretical method to obtain examples of non-classical Schottky groups in any rank. The method assumes the knowledge of some algebraic limits of Schottky groups, called sufficiently complicated noded Schottky groups, whose existence was stated. In this paper we provide an explicit construction of a sufficiently complicated noded Schottky group of rank three and it is explained how to construct explicit non-classical Schottky groups of rank three. △ Less

Submitted 9 January, 2018; v1 submitted 15 December, 2017; originally announced December 2017.

MSC Class: 30F40; 30F10

Sharp upper bounds for the number of fixed points components of two and three symmetries of handlebodies

Authors: Ruben A. Hidalgo

Abstract: An extended Kleinian group whose orientation-preserving half is a Schottky group is called an extended Schottky group. These groups correspond to the real points in the Schottky space. Their geometric structures is well known and it permits to provide information on the locus of fixed points of symmetries of handlebodies. A group generated by two different extended Schottky groups, both with the s… ▽ More An extended Kleinian group whose orientation-preserving half is a Schottky group is called an extended Schottky group. These groups correspond to the real points in the Schottky space. Their geometric structures is well known and it permits to provide information on the locus of fixed points of symmetries of handlebodies. A group generated by two different extended Schottky groups, both with the same orientation-preserving half, is called a dihedral extended Schottky group. We provide a structural description of these type of groups and, as a consequence, we obtain sharp upper bounds for the sum of the cardinalities of the connected components of the locus of fixed points of two or three different symmetries of a handlebody. △ Less

Submitted 30 November, 2020; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: Actualized. arXiv admin note: substantial text overlap with arXiv:1710.07518

MSC Class: 30F10; 30F40

Structural description of dihedral extended Schottky groups and application in study of symmetries of handlebodies

Authors: Grzegorz Gromadzki, Ruben A. Hidalgo

Abstract: Given a symmetry $τ$ of a closed Riemann surface $S$, there exists an extended Kleinian group $K$, whose orientation-preserving half is a Schottky group $Γ$ uniformizing $S$, such that $K/Γ$ induces $\langle τ\rangle$; the group $K$ is called an extended Schottky group. A geometrical structural description, in terms of the Klein-Maskit combination theorems, of both Schottky and extended Schottky g… ▽ More Given a symmetry $τ$ of a closed Riemann surface $S$, there exists an extended Kleinian group $K$, whose orientation-preserving half is a Schottky group $Γ$ uniformizing $S$, such that $K/Γ$ induces $\langle τ\rangle$; the group $K$ is called an extended Schottky group. A geometrical structural description, in terms of the Klein-Maskit combination theorems, of both Schottky and extended Schottky groups is well known. A dihedral extended Schottky group is a group generated by the elements of two different extended Schottky groups, both with the same orientation-preserving half. Such configuration of groups corresponds to closed Riemann surfaces together with two different symmetries and the aim of this paper is to provide a geometrical structure of them. This result can be used in study of three dimensional manifolds and as an illustration we give the sharp upper bounds for the total number of connected components of the locus of fixed points of two and three different symmetries of a handlebody with a Schottky structure. △ Less

Submitted 25 February, 2022; v1 submitted 20 October, 2017; originally announced October 2017.

MSC Class: 30F10; 30F40

On the connectedness of the set of Riemann surfaces with real moduli

Authors: Antonio F. Costa, Ruben A. Hidalgo

Abstract: The moduli space ${\mathcal{M}}_{g}$, of genus $g\geq2$ closed Riemann surfaces, is a complex orbifold of dimension $3(g-1)$ which carries a natural real structure i.e. it admits an anti-holomorphic involution $σ$. The involution $σ$ maps each point corresponding to a Riemann surface $S$ to its complex conjugate $\overline{S}$. The fixed point set of $σ$ consists of the isomorphism classes of clos… ▽ More The moduli space ${\mathcal{M}}_{g}$, of genus $g\geq2$ closed Riemann surfaces, is a complex orbifold of dimension $3(g-1)$ which carries a natural real structure i.e. it admits an anti-holomorphic involution $σ$. The involution $σ$ maps each point corresponding to a Riemann surface $S$ to its complex conjugate $\overline{S}$. The fixed point set of $σ$ consists of the isomorphism classes of closed Riemann surfaces admitting an anticonformal automorphism. Inside $\mathrm{Fix}(σ)$ is the locus ${\mathcal{M}}_{g}(\mathbb{R})$, the set of real Riemann surfaces, which is known to be connected by results due to P. Buser, M. Seppälä and R. Silhol. The complement $\mathrm{Fix}(σ)-{\mathcal{M}}_{g}(\mathbb{R})$ consists of the so called pseudo-real Riemann surfaces, which is known to be non-connected. In this short note we provide a simple argument to observe that $\mathrm{Fix}(σ)$ is connected. △ Less

Submitted 10 November, 2017; v1 submitted 12 October, 2017; originally announced October 2017.

MSC Class: 30F10; 30F60

Holomorphic differentials of Generalized Fermat curves

Authors: Ruben A. Hidalgo

Abstract: A non-singular complete irreducible algebraic curve $F_{k,n}$, defined over an algebraically closed field $K$, is called a generalized Fermat curve of type $(k,n)$, where $n, k \geq 2$ are integers and $k$ is relatively prime to the characteristic $p$ of $K$, if it admits a group $H \cong {\mathbb Z}_{k}^{n}$ of automorphisms such that $F_{k,n}/H$ is isomorphic to ${\mathbb P}_{K}^{1}$ and it has… ▽ More A non-singular complete irreducible algebraic curve $F_{k,n}$, defined over an algebraically closed field $K$, is called a generalized Fermat curve of type $(k,n)$, where $n, k \geq 2$ are integers and $k$ is relatively prime to the characteristic $p$ of $K$, if it admits a group $H \cong {\mathbb Z}_{k}^{n}$ of automorphisms such that $F_{k,n}/H$ is isomorphic to ${\mathbb P}_{K}^{1}$ and it has exactly $(n+1)$ cone points, each one of order $k$. By the Riemann-Hurwitz-Hasse formula, $F_{k,n}$ has genus at least one if and only if $(k-1)(n-1) >1$. In such a situation, we construct a basis, called an standard basis, of its space $H^{1,0}(F_{k,n})$ of regular forms, containing a subset of cardinality $n+1$ that provides an embedding of $F_{k,n}$ into ${\mathbb P}_{K}^{n}$ whose image is the fiber product of $(n-1)$ classical Fermat curves of degree $k$. For $p=2$, we obtain a lower bound (which is sharp for $n=2,3$) for the dimension of the space of the exact one-forms, that is, the kernel of the Cartier operator. Also, we done this for $p=3$, $k=2$ and $n=4$. △ Less

Submitted 14 January, 2020; v1 submitted 3 October, 2017; originally announced October 2017.

MSC Class: 14H05; 14H30; 14H45

Towards a proof of the Classical Schottky Uniformization Conjecture

Authors: Rubén A. Hidalgo

Abstract: As a consequence of Koebe's retrosection theorem, every closed Riemann surface of genus $g \geq 2$ is uniformized by a Schottky group. Marden observed that there are Schottky groups which are not classical ones, that is, they cannot be defined by a suitable collection of circles. This opened the question to if every closed Riemann surface can be uniformized by a classical Schottky group. Recently,… ▽ More As a consequence of Koebe's retrosection theorem, every closed Riemann surface of genus $g \geq 2$ is uniformized by a Schottky group. Marden observed that there are Schottky groups which are not classical ones, that is, they cannot be defined by a suitable collection of circles. This opened the question to if every closed Riemann surface can be uniformized by a classical Schottky group. Recently, Hou has observed this question has an affirmative answer by first noting that every closed Riemann surface can be uniformized by a Schottky group with limit set of Hausdorff dimension $<1$ and then by proving that such a Schottky group is necessarily a classical one. In this paper, we provide another argument, based on the density of Belyi curves on the the moduli space ${\mathcal M}_{g}$ and the fact that the locus ${\mathcal M}_{g}^{cs} \subset {\mathcal M}_{g}$ of those Riemann surfaces uniformized by classical Schottky groups is a non-empty open set. We show that every Belyi curve can be uniformized by a classical Schottky group, so ${\mathcal M}_{g}^{cs}={\mathcal M}_{g}$. △ Less

Submitted 27 September, 2017; originally announced September 2017.

MSC Class: 30F10; 30F40

Hyperelliptic quotients of generalized Humbert curves

Authors: Ruben A. Hidalgo

Abstract: A group $H \cong {\mathbb Z}_{2}^{n}$, $n \geq 3$, of conformal automorphisms of a closed Riemann surface $S$ such that $S/H$ has genus zero and exactly $(n+1)$ cone points is called a generalized Humbert group of type $n$, in which case, $S$ is called a generalized Humbert curve of type $n$. It is known that a generalized Humbert curve $S$ of type $n \geq 4$ is non-hyperelliptic and that it admit… ▽ More A group $H \cong {\mathbb Z}_{2}^{n}$, $n \geq 3$, of conformal automorphisms of a closed Riemann surface $S$ such that $S/H$ has genus zero and exactly $(n+1)$ cone points is called a generalized Humbert group of type $n$, in which case, $S$ is called a generalized Humbert curve of type $n$. It is known that a generalized Humbert curve $S$ of type $n \geq 4$ is non-hyperelliptic and that it admits a unique generalized Humbert group $H$ of type $n$. We describe those subgroups $K$ of $H$, acting freely on $S$, such that $S/K$ is hyperelliptic. △ Less

Submitted 31 December, 2019; v1 submitted 25 May, 2017; originally announced May 2017.

MSC Class: 30F10; 30F40

Real Structures on Marked Schottky Space

Authors: Ruben A. Hidalgo, Sebastian Sarmiento

Abstract: Schottky groups are exactly those Kleinian groups providing the regular lowest planar uniformizations of closed Riemann surfaces and also the ones providing to the interior of a handlebody of a complete hyperbolic structure with injectivity radius bounded away from zero. The space parametrizing quasiconformal deformations of Schottky groups of a fixed rank $g \geq 1$ is the marked Schottky space… ▽ More Schottky groups are exactly those Kleinian groups providing the regular lowest planar uniformizations of closed Riemann surfaces and also the ones providing to the interior of a handlebody of a complete hyperbolic structure with injectivity radius bounded away from zero. The space parametrizing quasiconformal deformations of Schottky groups of a fixed rank $g \geq 1$ is the marked Schottky space ${\mathcal M}{\mathcal S}_{g}$; this being a complex manifold of dimension $3(g-1)$ for $g \geq 2$ and being isomorphic to the punctured unit disc for $g=1$. In this paper we provide a complete description of the real structures of ${\mathcal M}{\mathcal S}_{g}$, up to holomorphic automorphisms, together their real part. △ Less

Submitted 14 March, 2017; originally announced March 2017.

MSC Class: 30F10; 30F40

Uniformizations of stable $(γ,n)$-gonal Riemann surfaces

Authors: Ruben A. Hidalgo

Abstract: A $(γ,n)$-gonal pair is a pair $(S,f)$, where $S$ is a closed Riemann surface and $f:S \to R$ is a degree $n$ holomorphic map onto a closed Riemann surface $R$ of genus $γ$. If the signature of $(S,f)$ is of hyperbolic type, then there is pair $(Γ,G)$, called an uniformization of $(S,f)$, where $G$ is a Fuchsian group acting on the unit disc ${\mathbb D}$ containing $Γ$ as an index $n$ subgroup, s… ▽ More A $(γ,n)$-gonal pair is a pair $(S,f)$, where $S$ is a closed Riemann surface and $f:S \to R$ is a degree $n$ holomorphic map onto a closed Riemann surface $R$ of genus $γ$. If the signature of $(S,f)$ is of hyperbolic type, then there is pair $(Γ,G)$, called an uniformization of $(S,f)$, where $G$ is a Fuchsian group acting on the unit disc ${\mathbb D}$ containing $Γ$ as an index $n$ subgroup, so that $f$ is induced by the inclusion of $Γ<G$. The uniformization is uniquely determined by $(S,f)$, up to conjugation by holomorphic automorphisms of ${\mathbb D}$, and it permits to provide natural complex orbifold structures on the Hurwitz spaces parametrizing (twisted) isomorphic classes of pairs topologically equivalent to $(S,f)$. In order to produce certain compactifications of these Hurwitz spaces, one needs to consider the so called stable $(γ,n)$-gonal pairs, which are natural geometrical deformations of $(γ,n)$-gonal pairs. Due to the above, it seems interesting to search for uniformizations of stable $(γ,n)$-gonal pairs, in terms of certain class of Kleinian groups. In this paper we review such uniformizations by using noded Fuchsian groups, which are (geometric) limits of quasiconformal deformations of Fuchsian groups, and which provide uniformizations of stable Riemann orbifolds. These uniformizations permit to obtain a compactification of the Hurwitz spaces with a complex orbifold structure, these being quotients of the augmented Teichmüller space of $G$ by a suitable finite index subgroup of its modular group. △ Less

Submitted 9 March, 2017; originally announced March 2017.

MSC Class: 30F10; 30F35; 30F40; 30F60

About the Fricke-Macbeath curve

Authors: Ruben A. Hidalgo

Abstract: A Hurwitz curve is a closed Riemann surface of genus $g \geq 2$ whose group of conformal automorphisms has order $84(g-1)$. In 1895, Wiman proved that for $g=3$ there is, up to isomorphisms, a unique Hurwitz curve; this being Klein's plane quartic curve. Moreover, he also proved that there is no Hurwitz curve of genus $g=2,4,5,6$. Later, in 1965, Macbeath proved the existence, up to isomorphisms,… ▽ More A Hurwitz curve is a closed Riemann surface of genus $g \geq 2$ whose group of conformal automorphisms has order $84(g-1)$. In 1895, Wiman proved that for $g=3$ there is, up to isomorphisms, a unique Hurwitz curve; this being Klein's plane quartic curve. Moreover, he also proved that there is no Hurwitz curve of genus $g=2,4,5,6$. Later, in 1965, Macbeath proved the existence, up to isomorphisms, of a unique Hurwitz curve of genus $g=7$; this known as the Fricke-Macbeath curve. Equations were also provided; that being the fiber product of suitable three elliptic curves. In the same year, Edge constructed such a genus seven Hurwitz curve by elementary projective geometry. Such a construction was provided by first constructing a $4$-dimensional family of closed Riemann surfaces $S_μ$ admitting a group $G_μ \cong {\mathbb Z}_{2}^{3}$ of conformal automorphisms so that $S_μ/G_μ$ has genus zero. In this paper we discuss the above curves in terms of fiber products of classical Fermat curves and we provide a geometrical explanation of the three elliptic curves in Wiman's description. We also observe that the jacobian variety of the surface $S_μ$ is isogenous to the product of seven elliptic curves (explicitly given) and, for the particular Fricke-Macbeath curve, we obtain the well known fact that its jacobian variety is isogenous to $E^{7}$ for a suitable elliptic curve $E$. △ Less

Submitted 28 June, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

MSC Class: 30F20; 30F10

On the fiber product of Riemann surfaces

Authors: Ruben A. Hidalgo, Sebastian Reyes-Carocca, Angelica Vega

Abstract: Let $S_{0}, S_{1}$ and $S_{2}$ be connected Riemann surfaces and let $β_{1}:S_{1} \to S_{0}$ and $β_{2}:S_{2} \to S_{0}$ be surjective holomorphic maps. The associated fiber product $S_{1} \times_{(β_{1},β_{2})} S_{2}$ has the structure of a singular Riemann surface, endowed with a canonical map $β$ to $S_{0}$ satisfying that $β_{j} \circ π_{j}=β$, where $π_{j}$ is coordinate projection onto… ▽ More Let $S_{0}, S_{1}$ and $S_{2}$ be connected Riemann surfaces and let $β_{1}:S_{1} \to S_{0}$ and $β_{2}:S_{2} \to S_{0}$ be surjective holomorphic maps. The associated fiber product $S_{1} \times_{(β_{1},β_{2})} S_{2}$ has the structure of a singular Riemann surface, endowed with a canonical map $β$ to $S_{0}$ satisfying that $β_{j} \circ π_{j}=β$, where $π_{j}$ is coordinate projection onto $S_{j}$. In this paper we provide a Fuchsian description of the fiber product and obtain that if one the maps $β_{j}$ is a regular branched cover, then all its irreducible components are isomorphic. In the case that both $β_{j}$ are of finite degree, we observe that the number of irreducible components is bounded above by the greatest common divisor of the two degrees; we study the irreducibility of the fiber product. In the case that $S_{0}=\widehat{\mathbb C}$, and $S_{1}$ and $S_{2}$ are compact, we define the strong field of moduli of the pair $(S_{1} \times_{(β_{1},β_{2})} S_{2},β)$ and observe that this field coincides with the minimal field containing the fields of moduli of both pairs $(S_{1},β_{1})$ and $(S_{2},β_{2})$. Finally, in the case that the fiber product is a connected Riemann surface, we provide an isogenous decomposition of its Jacobian variety. △ Less

Submitted 31 July, 2018; v1 submitted 23 November, 2016; originally announced November 2016.

Bipartite graphs and their dessins d'enfants

Authors: Ruben A. Hidalgo

Abstract: Each finite and connected bipartite graph induces a finite collection of non-isomorphic dessins d'enfants, that is, $2$-cell embeddings of it into some closed orientable surface. We describe an algorithm to compute all these dessins d'enfants, together their automorphims group, monodromy group and duality type. Each finite and connected bipartite graph induces a finite collection of non-isomorphic dessins d'enfants, that is, $2$-cell embeddings of it into some closed orientable surface. We describe an algorithm to compute all these dessins d'enfants, together their automorphims group, monodromy group and duality type. △ Less

Submitted 22 August, 2017; v1 submitted 9 November, 2016; originally announced November 2016.

MSC Class: 14H57 (Primary); 05C10; 05C25; 30F10 (Secondary)

Generalized superelliptic Riemann surfaces

Authors: Ruben A. Hidalgo, Saúl Quispe, Tony Shaska

Abstract: A closed Riemann surface $\mathcal X$, of genus $g \geq 2$, is called a generalized superelliptic curve of level $n \geq 2$ if it admits an order $n$ conformal automorphism $τ$ so that $\mathcal X/\langle τ\rangle$ has genus zero and $τ$ is central in ${\rm Aut}(\mathcal X)$; the cyclic group $H=\langle τ\rangle$ is called a generalized superelliptic group of level $n$ for $\mathcal X$. These Riem… ▽ More A closed Riemann surface $\mathcal X$, of genus $g \geq 2$, is called a generalized superelliptic curve of level $n \geq 2$ if it admits an order $n$ conformal automorphism $τ$ so that $\mathcal X/\langle τ\rangle$ has genus zero and $τ$ is central in ${\rm Aut}(\mathcal X)$; the cyclic group $H=\langle τ\rangle$ is called a generalized superelliptic group of level $n$ for $\mathcal X$. These Riemann surfaces are natural generalizations of hyperelliptic Riemann surfaces (when $n=2$). We provide an algebraic curve description of these Riemann surfaces in terms of their groups of automorphisms. Also, we observe that the generalized superelliptic group $H$ of level $n$ is unique, with the exception of a very particular family of exceptional generalized superelliptic Riemann surfaces for $n$ even. In particular, the uniqueness holds if either: (i) $n$ is odd or (ii) the quotient $\mathcal X/H$ has all its cone points of order $n$ (for instance, when $\mathcal X$ is a superelliptic curve of level $n$). In the non-exceptional case, we use this uniqueness property of its generalized superelliptic group $H$ to observe that the corresponding curves are definable over their fields of moduli if ${\rm Aut}(\mathcal X)/H$ is neither trivial or cyclic. △ Less

Submitted 21 January, 2025; v1 submitted 29 September, 2016; originally announced September 2016.

Comments: Some editio/correctionsn to the first five sections

Fields of moduli of classical Humbert curves

Authors: Rubén A. Hidalgo, Sebastián Reyes-Carocca

Abstract: The computation of the field of moduli of a closed Riemann surface seems to be a very difficult problem and even more difficult is to determine if the field of moduli is a field of definition. In this paper we consider the family of closed Riemann surfaces of genus five admitting a group of conformal automorphisms isomorphic to ${\mathbb Z}_{2}^{4}$. These surfaces are non-hyperelliptic ones and t… ▽ More The computation of the field of moduli of a closed Riemann surface seems to be a very difficult problem and even more difficult is to determine if the field of moduli is a field of definition. In this paper we consider the family of closed Riemann surfaces of genus five admitting a group of conformal automorphisms isomorphic to ${\mathbb Z}_{2}^{4}$. These surfaces are non-hyperelliptic ones and turn out to be the highest branched abelian covers of the orbifolds of genus zero and five cone points of order two. We compute the field of moduli of these surfaces and we prove that they are fields of definition. This result is in contrast with the case of the highest branched abelian covers of the orbifolds of genus zero and six cone points of order two as there are cases for which the above property fails. △ Less

Submitted 15 September, 2016; originally announced September 2016.

Comments: 10 pages

MSC Class: 30F10; 14H37; 14H10; 14H45

Journal ref: Q. J. Math. 63 (2012), no. 4, 919-930

Quasiplatonic curves with symmetry group ${\mathbb Z}_{2}^{2} \rtimes {\mathbb Z}_{m}$ are definable over ${\mathbb Q}$

Authors: Rubén A. Hidalgo, Leslie Jiménez, Saúl Quispe, Sebastián Reyes-Carocca

Abstract: It is well known that every closed Riemann surface $S$ of genus $g \geq 2$, admitting a group $G$ of conformal automorphisms so that $S/G$ has triangular signature, can be defined over a finite extension of ${\mathbb Q}$. It is interesting to know, in terms of the algebraic structure of $G$, if $S$ can in fact be defined over ${\mathbb Q}$. This is the situation if $G$ is either abelian or isomorp… ▽ More It is well known that every closed Riemann surface $S$ of genus $g \geq 2$, admitting a group $G$ of conformal automorphisms so that $S/G$ has triangular signature, can be defined over a finite extension of ${\mathbb Q}$. It is interesting to know, in terms of the algebraic structure of $G$, if $S$ can in fact be defined over ${\mathbb Q}$. This is the situation if $G$ is either abelian or isomorphic to $A \rtimes {\mathbb Z}_{2}$, where $A$ is an abelian group. On the other hand, as shown by Streit and Wolfart, if $G = {\mathbb Z}_{p} \rtimes {\mathbb Z}_{q}$ where $p,q>3$ are prime integers, then $S$ is not necessarily definable over ${\mathbb Q}$. In this paper, we observe that if $G={\mathbb Z}_{2}^{2} \rtimes {\mathbb Z}_{m}$ with $m \geq 3$, then $S$ can be defined over ${\mathbb Q}$. Moreover, we describe explicit models for $S$, the corresponding groups of automorphisms and an isogenous decomposition of their Jacobian varieties as product of Jacobians of hyperelliptic Riemann surfaces. △ Less

Submitted 15 September, 2016; v1 submitted 3 April, 2016; originally announced April 2016.

MSC Class: 14H37; 14H55; 14H25; 14H30; 30F10

Journal ref: Bull. London Math. Soc. 49 (2017) 165-183