Rubén A. Hidalgo                                                 

Departamento de Matemática y Estadística 

Button 0Button 1Button 2Button 3Button 5Button 6Button 7Button 8


PUBLICATIONS


1989

1.-On Γ-hyperelliptic Schottky groups.
Notas Soc. Mat. Chile
8 (1) (1989), 27-36.

In this article we provide Schottky uniformizations of closed Riemann

surfaces admitting a conformal involution so that the involution is reflected
in the uniformization.


1993

2.- Homology Covering of Riemann Surfaces.
Tôhoku Math. J.
45 (1993), 499 - 503.

We extend a result on homology coverings of closed Riemann surfaces
due to Maskit to the class of analytically finite ones. We show that if S is an analytically
finite hyperbolic Riemann surface, then its conformal structure is determined by
the conformal structure of its homology cover. The homology cover of a Riemann
surface S is the highest regular covering of S with an Abelian group of covering
transformations. In fact, we show that the commutator subgroup of any torsion-free,
finitely generated Fuchsian group of the first kind determines it uniquely.


1994

3.- On the Schottky groups with automorphisms.
Ann. Acad. Fenn. 19 (1994), 259-289.

We consider a closed Riemann surface S and a group H of conformal
automorphisms of S . We seek a Schottky uniformization
(Ω, G, π: Ω → S ) of the surface S with the property that every element of H can be lifted
to a conformal automorphism of the region Ω. We obtain necessary conditions, called Condition (A), on the set of fixed points of the non-trivial elements of H in order to find a Schottky uniformization as desired. For instance, Condition (A)is trivially satisfied by groups acting freely, groups isomorphic to Z/2Z ⊕....⊕ Z/2Z and dihedral groups. We show that Condition (A) is sufficient when H is a cyclic group.


4.- The mixed Elliptically Fixed Point property for Kleinian groups.
Ann. Acad. Fenn.
19 (1994), 247-258.

We define the mixed elliptically fixed point (MEFP) property for Kleinian groups.
Such a property is a set of possibilities for the locations on the Riemann sphere of
 the fixed points of elliptic elements in Kleinian groups.
We show that the MEFP property is invariant under the operations given by
the Maskit-Klein Combination Theorems. As a consequence, we obtain that
finitely generated function groups satisfy such a property. We also show that
geometrically finite Kleinian groups satisfy the MEFP property. Examples of
Kleinian groups where such a property does not hold are provided.


5.- Schottky Uniformation with Abelian Groups of Conformal Automorphism.
Glasgow Math. J.
36 (1994), 17 - 32.

Let S be a closed Riemann surface and let H be an Abelian group of conformal

automorphisms of S. We obtain necessary and sufficient conditions to be satisfied by H in
order to find a Schottky group G uniformizing S for which H lifts.


1995

6.- Kleinian groups with an invariant Jordan curve: J-groups.
     The Pacific Journal of Math.
169 (1995), 291-310.

We study some topological and analytical properties of a Kleinian group G f
or which there is an invariant Jordan curve by the action of G.
These groups may be infinitely generated.


7.- (with C. Pommerenke: TU-Berlin, Berlin, Germany)
On simultaneous homomorphisms onto Kleinian groups.

Complex Variables: Theory and Applications
27 (1995), 309-315.

Let Γ be a Fuchsian group acting on the upper half-plane H and let G be a
Kleinian group with 0, 1, ∞ in its limit set Λ(G). If L denotes the lower hal-plane, then we
consider a meromorphic function f : C − R → C − Λ(G) such that f ◦ γ = g ◦ f , for γ ∈ Γ
and the same g = f*(γ)∈ G in both halfplanes. We investigate whether this situation can
occur except in the trivial case that Λ(G) ⊂ R and f (z ) = J(f (J(z))), where J is the complex conjugation.


8.- Kleinian groups with common commutator subgroup.
Complex Variables: Theory and Appl.
28 (1995), 121-133.

In this paper, we obtain a certain rigidity property for Kleinian groups. This asserts that if F and G (both non-elementary torsion-free Fuchsian groups) and [F,F] = [G,G],then F= G (all equalities are taken in the sense of Mbius transformations). This result is connected to Torelli's theorem (for closed Riemann surfaces) and can be a step in understanding an equivalent for more general type of Riemann surfaces.


9.- A Commutator Rigidity for Kleinian Groups.
Revista Proyecciones
14 (1995), 75-81.

In this article we provide some partial results concerning commutator subgroups of Kleinian groups
and how they are determined by them.


1996

10.- The noded Schottky Space.
Proc. London Math Soc.
73 (1996), 385-403.

We introduce coordinates, given by fixed points, for the marked Schottky space Sg of genus g ≥ 2. With these coordinates, different to the ones given by Bers, Sato and Gerritzen, we can think of the space Sg as an open subset of CxC^{3g–4}. A partial closure of Sg, denoted by NSg and called the marked noded Schottky space of genus g, is considered. Each point in NSg corresponds to a geometrically finite free group of rank g, called a (marked) noded Schottky group of genus g, Conversely, each such group corresponds to a point in NSg. We have that each noded Schottky group of genus g uniformizes a stable Riemann surface of genus g. Moreover, we show that every stable Riemann surface is uniformized by such a group (retrosection theorem with nodes).


11.- On the 12(g-1) Bound.
C.R. Math. Rep. Acad. Sci. Canada
18 (1996), 39-42.

In these notes we consider a particular family of groups of conformal automorphisms
on closed Riemann surfaces of genus at least two. We see that the order of such
groups are bounded by the classical $12(g-1)$.  As a consequence, we
obtain the results in Zimmermann and May.We also obtain the following:
(1) Let $H$ be a group of conformal automorphisms on a stable Riemann surface $R$ of genus at least two, with at least one node, with the property that: if for some $h \in H$ we have that $h^{k}$ keeps invariant a component $R_{i}$ of $R$ minus its nodes and it acts as the identity there, then $h^{k}$ is the identity. Then $H$ has order at most $12(g-1)$.
(2) Let $K$ be a function group, different from a Fuchsian one, with invariant component $\Delta$. If $K$ contains a group $G$ such that $\Delta/G$ is a closed Riemann surface of genus $g \geq 2$, then the index $[K:G]$ is bounded by $12(g-1)$.


12.- Closed Riemann Surfaces with Dihedral Groups of Conformal Automorphisms.
Revista Proyecciones 15 (1996), 47-90.

In this article we provide some Schottky uniformizations of closed Riemann surfaces defining dihedral groups of conformal automorphisms.


1997

13.- (with Marcel Hagelberg)
Some generalized Coxeter groups and their orbilfolds.

Revista Matemática Iberoamericana
13 (1997), 543-566.

In this note we construct examples of geometric 3-orbifolds with (orbifold) fundamental group isomorphic to a (Z− extension of a) generalized Coxeter group. Some of these orbifolds have either euclidean, spherical or hyperbolic structure. As an application, we obtain an alternative proof of a theorem of Hagelberg, Maclaughlan and Rosenberg. We also obtain a similar result for generalized Coxeter groups.


14.- (with Gabino González-Diez: UAM Madrid, Spain)
Conformal versus topological automorphisms of compact Riemann surfaces.

Bull. of the London Math. Soc.
29 (1997), 280-284.

We produce a family of algebraic curves (closed Riemann surfaces) Sadmitting two cyclic groups H_1 and H_2 of conformal automorphisms, which are topologically (but not conformally) conjugate and such that S/H_i is the Riemann sphere . The relevance of this example is that it shows that the subvarieties of moduli space consisting of points parametrizing curves which occur as cyclic coverings (of a fixed topological type) of the Riemann sphere need not be normal.


1998

15.- On a Theorem of Accola.
Complex Variables: Theory and
Applications 36 (1998), 19-26.

In these notes we generalize the following result due to R. Accola:
Given a hyperelliptic Riemann surface S of genus g ≥ 2 and n a non-negative integer, there is a smooth n−sheeted covering π:R→ S, where R is a hyperelliptic Riemann surface. We show that the above result extends to the family of η−hyperelliptic Riemann surfaces as follows. Given a η−hyperelliptic Riemann surface S of genus g ≥ 2, a η−hyperelliptic involution τ : S → S and a non-negative integer n, there is a smooth n-sheeted covering π:R→ S, where R is a η*−hyperelliptic Riemann surface for which τ lifts as a η*−hyperelliptic involution, and
η* = (n + 1)(η − 1) + 1, if η = 0,
η* =0, if η = 0.


16.- An example of degeneration on the noded Schottky space.
Revista Matemática Complutense
11 (1998), 165-183.

In these notes we construct explicit examples of degenerations on the noded Schottky space of genus g>2. The particularity of these degenerations is the invariance under the action of a dihedral group of order 2g. More precisely, we find a two-dimensional complex manifold in the Schottky space such that all groups (including the limit ones in the noded Schottky space) admit a fixed topological action of a dihedral group of order 2g  as conformal automorphisms.


17.- Noded Fuchsian groups I.
Complex Variables: Theory and Appl. 36 (1998), 45-66.

We consider certain type of Kleinian groups called noded Fuchsian groups. Torsion-free noded Fuchsian groups are divided into two families called noded Schottky groups and noded πg groups, respectively. The extended region of discontinuity is defined together a cuspidal topology. We show that these groups uniformize stable Riemann surfaces and generalize some classical results on torsion-free co-compact Fuchsian groups and Schottky groups to the above ones.


18.-  Γ-hyperelliptic Riemann surfaces.
Revista Proyecciones
17 (1998), 77-117.  

We give some characterizations of γ −hyperelliptic Riemann surfaces of genus g ≥ 2, that is, pairs (S, j ) where S is a closed Riemann surface of genus g and j : S → S is a conformal involution with exactly 2g + 2 − 4γ fixed points. These characterizations are given by Schottky groups, special hyperbolic polygons and algebraic curves.


1999

19.- Noded function groups.
Contemporary Mathematics
240 (1999), 209-222.

Given a Kleinian group $G$, we denote by $\Omega(G)$ and $P(G)$ its region of discontinuity and its set  of double-cusped parabolic fixed points, respectively. The extended region of discontinuity of $G$ is defined as $\Omega^{ext}(G)=\Omega(G) \cup P(G)$, together the cusp topology. In the present note, we consider noded function groups, that is, finitely generated kleinian groups having an invariant component of their extended region of discontinuity. We sketch an alternative proof of a theorem of Kra and Maskit which says that a noded function group with two invariant components is in fact a noded fuchsian group and, in particular, geometrically finite (extending Maskit's result that a finitely generated Kleinian group with two invariant components is in fact a quasifuchsian group). The main purpose of this note is to show that the commutator subgroup of a torsion-free, non-elementary noded function group $G$ determines it uniquely. For a general non-elementary torsion-free Kleinian group with no invariant component the above rigidity property still yet unknown.


20.- A note on the homology covering of closed Klein surfaces.
Revista Proyecciones
18 (1999), 165-173.

In previous works we have seen that a finitely generated torsion-free  non-elementary function group is uniquely determined by its commutator subgroup.  In this note, we observe that under the presence of orientation-reversing conformal  automorphisms the above rigidity property still valid. More precisely, we see that finitely generated torsion-free reversing Fuchsian groups of the first kind, without parabolic transformations, are uniquely determined by their commutator subgroup.
The arguments of the proof follows the same lines as for the orientable situation.


21.- Dihedral groups are of Schottky type.
Revista Proyecciones
18 (1999), 23-48.

We show that a dihedral group H of conformal automorphisms of a closed Riemann surface S can be lifted for a suitable Schottky uniformization of S . In particular, this implies the existence of a suitable symplectic homology basis of S for which the symplectic representation of H has a simple form.


22.- Cyclic groups of automorphiss of Schottky type.
Revista Proyecciones
18 (1999), 13-21.

Given an abstract group of order n, we call its Schottky genus to the minimum genus g ≥ 2 on which it acts as group of conformal automorphisms of Schottky type.  In this article, we compute the Schottky genus for both cyclic and dihedral groups. In particular, we obtain that the Schottky genus of the dihedral group of order 2n is the same as for the cyclic group of order n. Since every dihedral group is of Schottky type, we have that the Schottky genus of a dihedral group of order 2n is also its minimum genus.


2000

23.- A note on the Homology Covering of Analytically finite Klein surfaces.
Complex Variables: Theory and Appl.
42 (2000), 183-192.

In previous works we have seen that a finitely generated torsion-free non-elementary function group is uniquely determined by its commutator subgroup. In this note, we observe that under the presence of orientation-reversing conformal automorphisms the above rigidity property still valid. More precisely, we see that finitely generated torsion-free reversing Fuchsian groups of the first kind are uniquely determined by their commutator subgroup. The arguments of the proof follow the same lines as for the orientable situation.


24.- (with Gustavo Labbe: U. la Serena, Chile)
Fixed point parameters for Teichmueller spacesof closed Riemann surfaces.

Revista Proyecciones
19 (2000), 65-94.

We provide a set of parameters for the Teichmueller space, of genus g≥2, given by fixed points of some special set of generators for the uniformizing Fuchsian groups. Explicit computations are given in low genus.


25.- Fixed point parameters for Moebius Groups.
Revista Proyecciones
19 (2000), 157-196.

Let  Γn (respectively, Γ∞) be a free group of rank n (respectively, a free group of countable infinite rank). We consider the space of algebraic representations of the group Γn (respectively, Γ∞) Hom(Γn , PGL(2, C)) (respectively, Hom(Γ∞, PGL(2, C))). Inside each of these spaces we consider a couple of open and dense subsets. These subsets contain non-discrete groups of Meobius transformations. We proceed to find complex analytic  parameters for these spaces given by fixed points.


26.- Schottky uniformizations and Riemann matrices of maximally symmetric Riemann surfaces of genus 5.
Revista Proyecciones
20 (2001), 93-126.

We consider pairs (S, τ ), where S is a closed Riemann surface of genus five and
τ : S → S is some anticonformal involution with fixed points so that K(S, τ ) = {h ∈ Aut(S) : hτ = τ h} has the maximal order 96 and S/τ is orientable, where Aut(S) denotes the full group of conforma/anticonformal automorphismsm of S. We observe that there are exactly two topological ly different choices for  τ . They give non-isomorphic groups K(S, τ ), each one acting topological ly rigid on the respective surface S . These two cases give then two (connect) real algebraic sets of real dimension one in the moduli space of genus 5. We describe these components by classical Schottky groups and with the help of these uniformizations we compute their Riemann matrices.


2001

27.- Schottky uniformization of stable symmetric Riemann surfaces.
Notas Soc. Mat. Chile
(N.S.) 1 (2001), 82-91.

We extend the notion of Schottky uniformization of a closed Riemann surfaces to the class of stable Riemann surfaces. These type of uniformizations are called stable Schottky uniformizations and the uniformizing groups are called stable Schottky groups. We observe that any stable Riemann surface can be uniformized by a stable Schottky group. This result can be used to show that every anticonformal involution on a stable Riemann surface can be lifted to a suitable stable Schottky uniformization of it.


28.- Fixed point parameters for Fuchsian groups of signature (2,0).
Notas Soc. Mat. Chile (N.S.) 1 (2001), 11-21.

Parameters for groups of genus two have been constructed involving fixed points and multipliers of certain geometrical generators. The presence of multipliers in the set of parameters produces complications if we want to approach the boundary of the Teichmueller space of genus two. These complications appear when some loxodromic transformations approach to parabolic ones. In this note we consider a different set of coordinates for Fuchsian and quasi-Fuchsian groups of signature (2, 0), that is, groups uniformizing closed Riemann surfaces of genus two. These new coordinates are given by six fixed points (up to normalization) of a particular set of geometrical generators.


29.- (with A.F. Costa: UNED Madrid, Spain)
Anticonformal automorphisms and Schottky coverings.

Ann. Acad. Scie. Fenn
. 26 (2001), 489-508.

In this work, we consider anticonformal automorphisms of closed Riemann surfaces
and Schottky groups. We study the problem of deciding when an anticonformal automorphism
can be lifted for some Schottky covering (Schottky type automorphisms). This can be seen
as generalization of the results due to Sibner, Heltai and Natanzon on anticonformal
involutions. Also, for the conformal automorphisms, we study the relation between the condition


30.- Bounds for Conformal automorphisms of Riemann surfaces with condition (A).
Revista Proyecciones
20 (2001), 139-175.

In this note we consider a class of groups of conformal automorphisms of closed Riemann surfaces containing those which can be lifted to some Schottky uniformization. These groups are those which satisfy a necessary condition for the Schottky lifting property. We find that all these groups have upper bound 12(g – 1), where g≥2is the genus of the surface. We also describe a sequence of infinite genera g1< g2 < ... for which these upper bound is attained. Also lower bounds are found, for instance, (i ) 4(g+1) for even genus and 8(g – 1) for odd genus. For cyclic groups in such a family, sharp upper bounds are given.


31.- Γ-hyperelliptic-symmetric Schottky groups.
Complex Variables: Theory and Appl.
45 (2001), 117-141.

Let S be a γ-hyperelliptic Riemann surface, with a γ-hyperelliptic involution τ. Assume that S has a symmetry  σ so that  στ=τσ. If H denotes the group generated by  τ and σ, then we show that H is of Schottky type, that is, there is a Schottky uniformization (ωGP: ω S) of S for which the group H lifts. For hyperelliptic Riemann surfaces, we describe explicitly Schottky uniformizations (hyperelliptic-symmetric Schottky groups) for which both τ and σ lift. The particularity of these uniformizations is that both τ and σ are reflected in a marking of the uniformizing groups. For g=2 we use the above groups to describe inside the Schottky space of genus two, the locus of symmetric.


32.- Numerical Uniformation of Hyperelliptic - M - Symmetric Riemann Surfaces.
Revista Proyecciones
20 (2001), 351-365.

In this note we consider hyperelliptic-M-symmetric Riemann surfaces, that is, hyperelliptic Riemann surfaces with a symmetry with maximal number of components of fixed points. These surfaces can be represented either by real algebraic curves or by real Schottky groups. To obtain one of these in terms of the other is difficult. In this note we proceed to describe explicit transcendental relations between the different sets of parameters these representations give. This can be used to obtain a computer program which permits obtain numerical approximations of the algebraic curve in terms of real Schottky group and viceversa.


2002

33.- A4, A5, S4 and S5 of Schottky type.
Revista Matemática Complutense
15 (2002), 11-29.

Let  H be a group of conformal automorphisms of a closed Riemann surface S, isomorphic to either of the alternating groups A4  or  A5 or the symmetric groups S4  or S5. We provide necessary and sufficient conditions for the existence of a Schottky uniformization of S for which  H lifts. In particular, together with the previous done works, we exhaust the list of finite groups of Möbius transformations of Schottky type.


34.- Some Special Kleinian Groups and their Orbifolds.
Revista Proyecciones
21 (2002), 21-50.

Let us consider an abstract group with the fol lowing presentation
G = <x_{1} , ..., x_{n} ; x_{i}^{k_{i}}= (x_{j+1} x_{j )^{-1})^{l _{j}} = 1>,
where k_{i} , l_{j} ∈ {2, ..., ∞}. We provide conditions in order to find a faithful, discrete and geometrical ly finite representation Θ : G→ PSL(2, C), that is, to represent G as a group of isometries of the hyperbolic three space H^{3}.


35.- (with A. Vassiliev: U Bergern Bergen, Norway)
Harmonic moduli of family of curves on Teichmueller spaces. Geometry and analysis.

Sci. Ser. A Math. Sci.
(N.S.) 8  (2002), 63-73.

Study of moduli of family of curves on the universal Teichmueller curve is provided.


36.- Real Surfaces, Riemann Matrices and Algebraic Curves.
Contemporary Mathematics
311 (2002), 277-299.

It is a well known fact that every real Riemann surface can be uniformized by a real Schottky group. These real Schottky groups can be used in order to compute explicitly Riemann matrices of the uniformized real Riemann surfaces. We apply such a method to two family of examples. Our first family are hyperelliptic May's surfaces. As a consequence, for genera $2$ and $3$, we are able to write down algebraic curves in function of the uniformizing Schottky group. The second family is a two real dimensional family of genus $3$ non-hyperelliptic real surfaces. We also may write down for them an algebraic equation in function of the uniformizing Schottky group.


2003

37.- Hyperbolic polygons and real Schottky groups.
Complex Variables: Theory and Appl.
48 (2003), 43-62.

In a work due to Aigon and Silhol (also Buser and Silhol) a construction of 10 genus two closed Riemann surfaces is done from a given right angled hyperbolic pentagon. In this note we construct real Schottky groups uniformizations of the corresponding constructions. In particular, we are able to write down the algebraic curves obtained in the above work in terms of the parameters of the real Schottky group. We generalize such a construction for any right angled hyperbolic polygon and also consider an example for a nonright angled pentagon.


38.- A commutator rigidity for function groups and Torelli’s theorem.
Revista Proyecciones
22 (2003), 117-125.

We show that a non-elementary finitely generated torsion-free function group is uniquely determined by its commutator subgroup. This is well related to Torelli’s theorem for closed Riemann surfaces. For a general non-elementary torsion-free Kleinian group the above rigidity property still unknown.


2004

39.- (with Victor Gonzalez: UTFSM and G. Labbe: U. la Serena)
Schottky Uniformizations of Genus 6 Riemann Surfaces with A
5 as Group of Automorphisms.
Geometriae Dedicata 106 (1) (2004), 79-95.

In this note we construct a 1-complex dimensional family of (marked) Schottky groups of genus 6 with the property that every closed Riemann surface of genus 6 admitting the group A5 as conformal group of automorphisms is uniformized by one of these Schottky groups. In the algebraic limit closure of this family we describe three noded Schottky groups uniformizing the three boundary points of the pencil described by González-Aguilera and Rodriguez. We are able to find a very particular Riemann surface of genus 6 which is a (local) extremal for a maximal set of homologically independent simple closed geodesics. We observe that it is not Wimann''s curve, the only Riemann surface of genus 6 with S5 as group of conformal automorphisms. The Schottky uniformizations permit us to compute a reducible symplectic representation of A5.


40.- Maximal real Schottky groups.
Revista Matematica Iberoamericana
20 (2004), 737-770.

Let S be a real closed Riemann surfaces together a reflection τ : S→ S , that is, an anticonformal involution with fixed points. A well known fact due to C. L. May asserts that the group K(S, τ ), consisting on all automorphisms (conformal and anticonformal) of S which commutes with τ , has order at most 24(g−1). The surface S is called maximally symmetric Riemann surface if |K(S, τ )| = 24(g−1). In this note we proceed to construct real Schottky uniformizations of all maximally symmetric Riemann surfaces of genus g ≤ 5. A method due to Burnside permits us the computation of a basis of holomorphic one forms in terms of these real Schottky groups and, in particular, to compute a Riemann period matrix for them. We also use this in genus 2 and 3 to compute an algebraic curve representing the uniformized surface S . The arguments used in this note can be programed into a computer program in order to obtain numerical approximation of Riemann period matrices and algebraic curves for the uniformized surface S in terms of the parameters defining the real Schottky groups.


41.- (with Rubi Rodriguez: PUCCH)
Real Schottky uniformizations and Jacobians of May surfaces.

Revista Matematica Iberoamericana
20 (2004), 627-646.

Given a closed Riemann surface R of genus p ≥ 2 together with an anticonfor-
mal involution τ : R → R with fixed points, we consider the group K (R, τ ) consisting of
the conformal and anticonformal automorphisms of R which commute with τ . It is a well
known fact due to C. L. May that the order of K (R, τ ) is at most 24(p − 1) and that such
an upper bound is attained for infinitely many, but not all, values of p. May also proved
that for every genus p ≥ 2 there are surfaces for which the order of K (R, τ ) can be chosen
to be 8p and 8(p + 1). These type of surfaces are called May surfaces.
In this note we construct real Schottky uniformizations of every May surface. In par-
ticular, the corresponding group K (R, τ ) lifts to such an uniformization. With the help
of these real Schottky uniformizations, we obtain (extended) symplectic representations of
the groups K (R, τ ). We study the families of principally polarized abelian varieties admit-
ting the given group of automorphisms and compute the corresponding Riemann matrices,
including those for the Jacobians of May surfaces.


42.- Cyclic extensions of Schottky uniformizations.
Ann. Acad. Sci. Fenn.  29 (2004), 329-344.

A conformal automorphism φ: S → S of a closed Riemann surface S of genus
p ≥ 2 is said to be of Schottky type if there is a Schottky uniformization of S for which φ
lifts. In the case that φ is of Schottky type, we have associated a geometrically finite Kleinian
group K , generated by the uniformizing Schottky group G and any of the liftings of φ . We have
that K contains G as a normal subgroup and K/G is cyclic. In this note we describe, up to
topological equivalence, all possible groups K obtained in this way. Equivalently, if we are given
a handlebody M of genus p ≥ 2 and an orientation preserving homeomorphism of finite order
φ , then we proceed to describe, up to topological equivalence, the hyperbolic structures of the
orbifold M/φ having bounded by below injectivity radius.


43.- Abelian groups of Schottky type.
Revista Proyecciones
23 (2004), 187-203.

We study the problem of lifting an Abelian group H of automorphisms of a closed Riemann surface S (containing anticonformals ones) to a suitable Schottky uniformization of S (that is, when H is of Schottky type). If H+ is the index two subgroup of orientation preserving automorphisms of H and R = S/H+, then H induces an anticonformal automorphism τ : R R. If τ has fixed points, then we observe that H is of Schottky type. If τ has no fixed points, then we provide a sufficient condition for H to be of Schottky type. We also give partial answers for the excluded cases.


2005

44.- Automorphisms of Schottky type.
Ann. Acad. Scie. Fenn. 
30 (2005), 183-204.

A group H of (conformal/anticonformal) automorphisms of a closed Riemann

surface S of genus g ≥ 2 is said of Schottky type if there is a Schottky uniformization of S for
which it lifts. We observe that H is of Schottky type if and only if it leaves invariant a collection of
pairwise disjoint simple loops which disconnect S into genus zero surfaces. Moreover, in the case
that H is a cyclic group (either generated by a conformal or an anticonformal automorphism) we
provide a simple to check necessary and sufficient condition in order for it to be of Schottky type.


45.- (with J. Figueroa: UTFSM)
 Numerical Schottky uniformizations.
Geometriae Dedicata 111 (2005), 125-157.

A real algebraic curve of algebraic genus g ≥ 2 is a pair (S, τ), where S is a closed Riemann surface of genus g and τ is a reflection on S (anticonformal involution with fixed points). In this note, we discuss a numerical (Burnside) program which permits to obtain a Riemann period matrix of the surface S in terms of an uniformizing real Schottky group. If we denote by Aut+(S, τ) the group of conformal automorphisms of S commuting with the real structure τ, then it is a well known fact that |Aut+(S,τ)| is bounded above by 12(g−1). We say that (S,τ) is maximally symmetric if |Aut+(S,τ)|=12(g−1). We work explicitly such a numerical program in the case of maximally symmetric real curves of genus two. We construct a real Schottky uniformization for each such real curve and we use the numerical program to obtain a real algebraic curve, a Riemann period matrix and the accessory parameters in terms of the corresponding Schottky uniformization. In particular, we are able to give for Bolza’s curve a Schottky uniformization (at least numerically), providing an example for which the inverse uniformization theorem is numerically solved.


46.- Real Schottky Parametrizations.
Complex Variables: Theory and Appl.
50 (2005), 401-426.

A real algebraic curve of genus g is a pair (S,τ), where S is a closed Riemann surface of genus g and
τ :S → S is an anticonformal involution. It was already known to Koebe that each real algebraic curve for which τ is a reflection can be uniformized by a real Schottky group, that is, a Schottky group that keeps invariant the unit circle. In the case that τ is an imaginary reflection, we produce uniformizations by either (i) real noded Klein-Schottky groups (once we have chosen some points on S as phantom nodes) or (ii) Klein-Schottky groups.
We also give explicit descriptions of the real algebraic curves of genus 2 in terms of these types of uniformizing groups.


47.- Schottky uniformizations of genus 3 and 4 reflecting ${\mathcal S}_{4}$.
Journal of the London Math. Soc. 72 (1) (2005), 185-204.


Schottky uniformizations are provided of every closed Riemann surface S of genus g
{3,4} admitting the symmetric group S4 as group of conformal automorphisms. These Schottky uniformizations reflect the group S4 and permit concrete representations of S4 to be obtained in the respective symplectic group Spg(Z). Their corresponding fixed points, in the Siegel space, give principally polarized Abelian varieties of dimension g. For g = 3, and for some cases of g = 4, they turn out to be holomorphically equivalent to the product of elliptic curves.


48.- Schottky uniformizations of Z_{2}^{2}  actions on Riemann surfaces.
Rev. Mat. Complut. 18 (2005), no. 2, 427–453.


Given a closed Riemann surface $S$ together a group of its conformal automorphisms
$H \cong {\mathbb Z}_{2}^{2}$, it is known that there are Schottky uniformizations of $S$ realizing $H$. In this note we proceed to give an explicit Schottky uniformizations for each of all different topological actions of ${\mathbb Z}_{2}^{2}$ as group of conformal automorphisms on a closed Riemann surface.


49.- (with. B. Maskit: SUNY at Stony Brook, NY, USA)
On Klein-Schottky groups.
Pacific J. of Math. (2) 220 (2005), 313-328.


The retrosection theorem asserts that every closed Riemann surface of genus g ≥ 1 can be uniformized by a Schottky group of rank g. Here we define and topologically classify Klein–Schottky groups; these are the freely acting extended Kleinian groups whose orientation-preserving subgroup is a Schottky group. These groups yield uniformizations of all nonorientable closed Klein surfaces.


50.- (with G. Rosenberger: Univ. Dortmund, Dortmund, Germany)
Torsion free commutator subgroups of generalized Coxeter groups.
Results in Mathematics 48 (2005), 50-64.


In this note we consider generalized Coxeter groups and we study the problem of when their commutator subgroup is torsion free. As a consequence we describe all (i) Coxeter groups, (ii) triangle groups and (iii) index two orientation preserving subgroups of the finite co-volume hyperbolic Coxeter tetrahedra, for which the commutator subgroup is torsion free.


2006

51.- (with B. Maskit: SUNY at Stony Brook, NY, USA)
Lowest uniformizations of compact real surfaces.
Contemporary Mathematics 397 (2006), 145-152.

We look at uniformizations of compact real surfaces, where the boundary curves are required to be covered by arcs of fixed points of reflections. We investigate the lowest such uniformizations; in particular, we show that each such lowest uniformization is a combination theorem free product of cyclic groups, and that each such lowest uniformization has a Schottky group as its orientation preserving half. We also give some examples of lowest uniformizations as well as some examples showing that, for real surfaces with boundary, the uniformization corresponding to the universal covering of the interior is essentially non-unique.


52.- (with B. Maskit: SUNY at Stony Brook, NY, USA)
On neoclassical Schottky groups.
Transactions of the AMS. 358 (2006), 4765-4792.

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.


53.- (with A. Vasiliev: U. Bergen, Bergen, Norway)
Noded Teichmueller Spaces.
Journal d'Analyse Mathematique 99 (2006), 89-107.

Let G be a finitely generated Kleinian group and let Δ be an invariant collection of components in its region of discontinuity. The Teichmüller space T(Δ,G) supported in Δ is the space of equivalence classes of quasiconformal homeomorphisms with complex dilatation invariant under G and supported in Δ. In this paper we propose a partial closure of T(Δ,G) by considering certain deformations of the above hemeomorphisms. Such a partial closure is denoted by NT(Δ,G) and called thenoded Teichmüller space of G supported in Δ. Some concrete examples are discussed.


2007

54.- (with I. Markina and A. Vassiliev: U Bergern Bergen, Norway)
Finite dimensional grading of the Virasoro algebra.
Georgian Mathematical Journal  14 (2007), No. 3, 419-434.


The Virasoro algebra is a central extension of the Witt algebra, the complexified Lie algebra of the sense preserving diffeomorphism group of the circle Diff S^1. It appears in Quantum Field Theories as an infinite dimensional algebra generated by the coefficients of the Laurent expansion of the analytic component of the momentum-energy tensor, Virasoro generators. The background for the construction of the theory of unitary representations of Diff S^1 is found in the study of Kirillov's manifold Diff S^1/S^1. It possesses a natural Kählerian embedding into the universal Teichmüller space with the projection into the moduli space realized as an infinite-dimensional body of the coefficients of univalent quasiconformally extendable functions. The differential of this embedding leads to an analytic representation of the Virasoro algebra based on Kirillov's operators. In this paper we overview several interesting connections between the Virasoro algebra, Teichmüller theory, Löwner representation of univalent functions, and propose a finite-dimensional grading of the Virasoro algebra such that the grades form a hierarchy of finite dimensional algebras which, in their turn, are the first integrals of Liouville partially integrable systems for coefficients of univalent functions.


55.- (with Beatriz Estrada and Ernesto Martinez: UNED Madrid, Spain)
Q-n-gonal Klein Surfaces.
Acta Mathematica Sinica 23 (2007), No. 10, 1833-1844.


We consider proper Klein surfaces X of algebraic genus p ≥ 2, having an automorphism φ of prime order n with quotient space X/φ of algebraic genus q. These Klein surfaces are called q-n-gonal surfaces and they are n-sheeted covers of surfaces of algebraic genus q. In this paper we extend the results of the already studied cases n ≤ 3 to this more general situation. Given p ≥ 2, we obtain, for each prime n, the (admissible) values q for which there exists a q-n-gonal surface of algebraic genus p. Furthermore, for each p and for each admissible q, it is possible to check all topological types of q-n-gonal surfaces with algebraic genus p. Several examples are given: q-pentagonal surfaces and q-n-gonal bordered surfaces with topological genus g = 0, 1.


56.- (with Maximiliano Leyton: Univ. Grenoble, Grenoble, France)
On uniqueness of automorphisms groups of Riemann surfaces.
Revista Matematica Iberoamericana 23, No. 3 (2007), 793-810.


Let γ , r, s, ≥ 1, non-negative integers. If p is a prime sufficiently large relative to the values γ , r and s, then a group H of conformal automorphisms of a closed Riemann surface S of order p^s so that S/H
has signature (γ , r) is the unique such subgroup in Aut(S ). Explicit sharp lower bounds for p in the case (γ , r, s) ∈ {(1, 2, 1), (0, 4, 1)} are provided. Some consequences are also derived.


2008

57.- On the Retrosection Theorem.
Revista Proyecciones 27, No. 1 (2008), 29-61.


We survey some old and new results related to the retrosection theorem and some of its extensions to compact Klein surfaces, stable Riemann surfaces and stable Klein surfaces.


58.- (with A. Carocca:PUCCH, Victor Gonzalez: UTFSM and Rubi Rodriguez: PUCCH)
Generalized Humbert Curves.
Israel Journal of Mathematics 164, No. 1 (2008), 165-192.

In this note we consider a certain class of closed Riemann surfaces which are a natural generalization of the so called classical Humbert curves.  They are given by closed Riemann surfaces $S$ admitting $H \cong \mathbb{Z}_{2}^{k}$ as a group of conformal automorphisms so that $S/H$ is an orbifold of signature $(0,k+1;2, \ldots ,2)$. The classical ones are given by $k=4$. We mainly describe some of its generalities and provide Fuchsian, algebraic and Schottky descriptions.


59.- (with Mauricio Godoy: U Bergern, Bergen, Norway)
Existence of solutions of semilinear systems in l2
.
Revista Proyecciones 27, No. 2 (2008), 149-161.

Let Q : �l^2 → l^2 be a symmetric and positive semi-definite linear operator and f_j : R→ R (j = 1, 2, ...) be real functions so that, f_j (0) = 0 and, for every x = (x1 , x2 , ....)∈l^2, it holds that
f(x) := (f_1 (x1 ), f_2 (x2 ), ...)∈l^2. Sufficient conditions for the existence of non-trivial solutions to the semilinear problem Qx = f (x) are provided. Moreover, if G is a group of orthogonal linear automorphisms of l^�2 which commute with Q, then such sufficient conditions ensure the existence of non-trivial solutions which are invariant under G. As a consequence, sufficient conditions to ensure solutions of nonlinear partial difference equations on finite degree graphs with vertex set being either finite or infinitely countable are obtained. We consider adaptations to graphs of both Matukuma type equations and Helmholtz equations and study the existence of their solutions.


60.- Zeros of semilinear systems with applications to nonlinear partial difference equations on graphs.
Journal of Difference Equations and Applications 14 No. 9 (2008), 953-969.


Let $Q$ be a $m\times m$ real matrix and $f_{j}:{\mathbb R} \to {\mathbb R}$, $j=1,...,m$, be some given functions.  If $x$ and $f(x)$ are column vectors whose $j$-coordinates are $x_{j}$ and $f_{j}(x_{j})$, respectively, then we apply the finite dimensional version of the mountain pass theorem to
provide conditions for the existence of solutions of the semilinear system $Qx=f(x)$ for 
$Q$ symmetric and positive semi-definite. The arguments we use are a simple adaptation of the ones used by J.M. Neuberger in \cite{Neuberger}. An application of the above concerns partial difference equations on a finite, connected simple graph. A derivation of a graph ${\mathcal G}$ is just any linear operator $D:C^{0}({\mathcal G}) \to C^{0}({\mathcal G})$, where $C^{0}({\mathcal G})$ is the real vector space of real maps defined on the vertex set $V$ of the graph. Given a derivation $D$ and a function $F:V \times {\mathbb R} \to {\mathbb R}$, one has associated  a partial difference equation $D \mu = F(v,\mu)$, and one searchs for solutions $\mu \in C^{0}({\mathcal G})$. Sufficient conditions in order to have non-trivial solutions of  partial difference equations on any  finite, connected simple graph for $D$ symmetric and positive semi-definite derivation are provided. A metric (or weighted) graph is a pair $({\mathcal G},d)$, where ${\mathcal G}$ is a connected finite degree simple graph and $d$ is a positive function on the set of edges of the graph. The metric $d$ permits to consider some classical derivations, such as the Laplacian operator $\triangle_{2}$. In \cite{Neuberger} was  considered the nonlinear elliptic partial difference equations $\triangle_{2} u=F(u)$, for  the metric $d=1$.


2009

61.- (with Gabino Gonzalez: UAM, Madrid, Spain and Maximiliano Leyton: Univ. Grenoble, Grenoble, France)
Generalized Fermat Curves.
Journal of Algebra 321 (2009), 1643-1660.

A closed Riemann surface $S$ is a generalized Fermat curve of type $(k,n)$ if it admits a group of automorphisms $H \cong Z_{k}^{n}$  such that the quotient ${\mathcal O}=S/H$ is an orbifold with signature $(0,n+1;k,...,k)$, that is, the Riemann sphere with $(n+1)$ conical points, all of same order $k$. The group $H$ is called a generalized Fermat group of type $(k,n)$ and the pair $(S,H)$ is called a generalized Fermat pair of type $(k,n)$. We study some of the properties of generalized Fermat curves and, in particular, we provide simple algebraic curve realization of a generalized Fermat pair $(S,H)$ in a lower dimensional projective space than the usual canonical curve of $S$ so that the normalizer of $H$ in $Aut(S)$ is still linear. We (partially) study the problem of the uniqueness of a generalized Fermat group on a fixed Riemann surface. It is noted that the moduli space of generalized Fermat curves of type $(p,n)$, where $p$ is a prime, is isomorphic to the moduli space of orbifolds of signature $(0,n+1;p,...,p)$. Some applications are: (i) an example of a pencil consisting of only non-hyperelliptic Riemann surfaces of genus $g_{k}=1+k^{3}-2k^{2}$, for every integer $k \geq 3$, admitting exactly three singular fibers, (ii) an injective holomorphic map $\psi:{\mathbb C}-\{0,1\} \to {\mathcal M}_{g}$, where ${\mathcal M}_{g}$ is the moduli space of genus $g \geq 2$ (for infinitely many values of $g$), and (iii) a description of all  complex surfaces isogenous to a product with invariants $p_{g}=q=0$ and covering group equal to ${\mathbb Z}_{5}^{2}$ or ${\mathbb Z}_{2}^{4}$.


62.- A theoretical algorithm to get a Schottky uniformization from a Fuchsian one.
Analysis and Mathematica Physics. Series: Trends in Mathematics
p (p. 193-204).
Eds.: Gustafsson, Bjorn; Vassiliev Alexander. 2009, Approx. 525 p., Birkhauser.
(ISBN: 978-3-7643-9905-4)
      

Riemann surfaces appear in many different areas of mathematics  and physics, as in algebraic geometry, the theory of moduli spaces, topological field theories, cosmology, quantum chaos and integrable systems. A closed Riemann surface may be described in many different forms; for instance, as algebraic curves and by means of different topological classes of  uniformizations. The highest uniformization corresponds to Fuchsian groups and the lowest ones to Schottky groups. In this note we discuss a theoretical algorithm which relates a Schottky group from a given Fuchsian group both uniformizing the same closed Riemann surface.


63.- Non-hyperelliptic Riemann surfaces with real field of moduli but not definable over the reals.
Archiv der Mathematik 93 (2009), 219-222.

The known examples of explicit equations for Riemann surfaces, whose field of moduli is different from their field of definition, are all hyperelliptic. In this paper we construct a family of equations for non-hyperelliptic Riemann surfaces, each of them is isomorphic to its conjugate Riemann surface, but none of them admit an anticonformal automorphism of order 2; that is, each of them has its field of moduli, but not a field of definition, contained in R. These appear to be the first explicit such examples in the non-hyperelliptic case.

64.- (with Bernard Maskit: SUNY at Stony Brook, NY, USA)
A Note on the Lifting of Automorphisms.
In Geometry of Riemann Surfaces. Lecture Notes of the London Mathematics Society 368, 2009. Edited by Fred Gehring, Gabino Gonzalez and Christos Kourouniotis.
ISBN-13: 9780521733076


The goal of this paper is to study uniformizations of surfaces and orbifolds (either Riemann or Klein). There is of course a well developed theory of regular coverings based on the correspondence with subgroups of the fundamental group. This theory can be applied to branched regular coverings by removing the discrete set of branch points and their preimages. There is however no known extension of the theory of regular coverings to include folded coverings; this is the case where the covering group contains elements with real co-dimension one sets of fixed points. In this paper we take a first step towards laying a foundation for the
study of such coverings.


2010


65.- Double Schottky Covers.
Revista Matematica Complutense No.1 23 (2010), 37-48.

Let R → S be an unbranched covering of the degree two between closed Riemann surfaces and let a generate the group of the deck transformations. If S is hyperelliptic, then its hyperelliptic involution lifts to two holomorphic involutions and each of the two corresponding quotient orbifolds has underlying structure of a hyperelliptic Riemann surface with the hyperelliptic involution induced by a. In this paper we present a Schottky description of this picture and provide some applications to handlebodies.


66.- (with Bernard Maskit: SUNY at Stony Brook, NY, USA)
Fixed points of imaginary reflections on hyperbolic handlebodies.
Mathematical Proceedings of the Cambridge Philosop
hical Society 148 (2010), 135-158.

A Klein-Schottky group is an extended Kleinian group, containing no reflections and whose orientation-preserving half is a Schottky group. A dihedral-Klein-Schottky group is an extended Kleinian group generated by two different Klein-Schottky groups, both with the same orientation-preserving half.  We provide a structural description of the dihedral-Klein-Schottky groups.  Let $M$ be a handlebody of genus $g$, with a Schottky structure.
An imaginary reflection $\tau$ of $M$  is  an orientation-reversing homeomorphism of $M$, of order two, whose restriction to its interior is an hyperbolic isometry having at most isolated fixed points. It is known that the number of fixed points of $\tau$  is at most $g+1$; $\tau$ is called a maximal imaginary reflection if it has $g+1$ fixed points. As a consequence of the structural description of the dihedral-Klein-Schottky groups, we are able to provide  upper bounds for the cardinality of the set of fixed points of two or three different imaginary reflections acting on a handlebody with a Schottky structure. In particular, we show that maximal imaginary reflections are unique.

67.- (with Alexander Mednykh: Novosibirsk Institute of Math, Russia)
Geometric orbifolds with torsion free derived subgroup.
Siberian Math. Journal. 51 No.1 (2010), 38-47.

A geometric orbifold of dimension $d$ is of the form ${\mathcal O}=X/K$, were $(X,G)$ is a geometry of dimension $d$ and $K<G$  is a co-compact discrete subgroup. In this case, $\pi_{1}^{orb}({\mathcal O})=K$ is called the orbifold fundamental group of ${\mathcal O}$. In general, the derived subgroup $K'$ of $K$ may have elements acting with fixed points, that is, it may happen that the homology cover $M_{\mathcal O}=X/K'$ of ${\mathcal O}$ may not be a geometric manifold; it may have geometric singular points.  We are concerned with the problem of deciding when $K'$ acts freely on $X$, that is, when the homology cover $M_{\mathcal O}$ is a geometric manifold. In the case $d=2$ a complete answer is due to C. Maclachlan. In the case $d=3$, under the assumption that the underlying topological space of the orbifold  ${\mathcal O}$ is $S^{3}$, we provide a necessary and sufficient condition for the derived subgroup $K'$ to act freely.

68.-A short note on M-symmetric hyperelliptic Riemann Surfaces.
Cubo A Mathematical Journal 12 No.1 (2010), 175-179.

We provide an argument, based on Schottky groups, of a result due to B. Maskit which states a necessary and sufficient condition for the double oriented cover of a planar compact Klein surface of algebraic genus at least two to be a hyperelliptic Riemann surface.

69.- Maximal Schottky extension groups.
Geometriae Dedicata. 146 No1 (2010), 141-158.


A Schottky extension group is a Kleinian group $K$ containing a Schottky group $G$ of rank $g \geq 2$ as a normal subgroup. It is well known that the index of $G$ in $K$ is at most $12(g-1)$; if the index is $12(g-1)$, then we say that $K$ is a maximal Schottky extension group. A structural description of the maximal Schottky extension groups using $2$-dimensional arguments, internal to Riemann surfaces and classical Kleinian groups in spirit, is provided. As a consequence, we re-obtain Zimmermann's result which states that a maximal Schottky extension group is isomorphic to one of the following groups $$D_{2}*_{{\mathbb Z}_{2}} D_{3}, \; D_{3}*_{{\mathbb Z}_{3}} {\mathcal A}_{4}, \; D_{4}*_{{\mathbb Z}_{4}} {\mathfrak S}_{4}, \; D_{5}*_{{\mathbb Z}_{5}} {\mathcal A}_{5},$$ where $D_{r}$ is the dihedral group of order $2r$, ${\mathcal A}_{r}$ is the alternating group in $r$ letters and ${\mathfrak S}_{4}$ is the symmetric group in $4$ letters. The methods used by Zimmermann are from combinatorial group theory (finite extensions of free groups) and also dimension three, so our arguments are different.


70.- Lowest uniformizations of closed Riemann orbifolds.
Revista Matematica Iberoamericana 26 No.2 (2010), 639-649.

A Kleinian group containing a Schottky group as a finite index subgroup is called a Schottky extension group.  If $\Omega$ is the region of discontinuity of a Schottky extension group $K$, then the quotient $\Omega/K$ is a closed Riemann orbifold; called a Schottky orbifold. Closed Riemann surfaces are examples of Schottky orbifolds as a consequence of the Retrosection Theorem. Necessary and sufficient conditions for a Riemann orbifold to be a Schottky orbifold are due to M. Reni and B. Zimmermann in terms of the signature of the orbifold. It is well known that the lowest uniformizations of a closed Riemann surface are exactly those for which the Deck group is a Schottky group. In this paper we extend such a result to the class of Schottky orbifolds, that is, we prove that the lowest uniformizations of a Schottky orbifold are exactly those for which the Deck group is a Schottky extension group.

71.- Maximal virtual Schottky groups: Explicit constructions.
Revista Colombiana de Matematicas 44 (2010), 41-57.

A Schottky group of rank $g$ is a purely loxodromic Kleinian group isomorphic to the free group of rank $g$. A virtual Schottky group is a Kleinian group containing a Schottky group as a finite index subgroup. A virtual Schottky group $K$ containing as finite index a Schottky group $G$ of rank $g \in \{0,1\}$ is an elementary Kleinian group. Moreover, for each $g \in \{0,1\}$ and for every integer $n \geq 2$, it is possible to find $K$ and $G$ as above for which the index of $G$ in $K$ is $n$. It is known that if $\Gamma$ is a Schottky subgroup of rank $g \geq 2$ of finite index in $K$, then the index is at most $12(g-1)$. If $K$ contains a Schottky subgroup of rank $g \geq 2$ and index $12(g-1)$, then $K$ is called a maximal virtual Schottky group. We provide explicit examples of maximal virtual Schottky groups and corresponding explicit Schottky normal subgroups of rank $g \geq 2$ of lowest rank and index $12(g-1)$. Every maximal Schottky extension Schottky group is quasiconformally conjugate to one of these explicit examples. Schottky space of rank $g$ is a finite dimensional complex manifold that parametrizes quasiconformal deformations of Schottky groups of rank $g$. If $g \geq 2$, Schottky space of rank $g$ has dimension is $3(g-1)$. Each virtual Schottky group, containing a Schottky group of rank $g$ as a finite index subgroup, produces a sublocus in Schottky space, called a Schottky strata. The maximal virtual Schottky groups produce the maximal Schottky strata. We provide some facts about these stratum and, in particular, the case of maximal ones.

72.- (with Mauricio Godoy: University of Bergen)
Navier-Stokes equations on weighted graphs.
Complex Analysis and Operator Theory 4  (2010), 525-540.


Navier-Stokes equations arise in the study of incompressible fluid mechanics, star movement inside a galaxy, dynamics of airplane wings, etc. In  the case of Newtonian incompressible fluids, we propose an adaptation of such equations to finite connected weighted graphs such that it produces an ordinary differential equation with solutions contained in a linear subspace, this subspace corresponding to the Newtonian conservation law. We discuss the particular case when the graph is the complete graph $K_{m}$, with constant weight, and provide a necessary and sufficient condition for it to have solutions.

73.- (with Raquel Diaz: UCM, Ignacio Garijo: UNED and Grzegorz Gromadzki: U. Gdansk)
Structure of Whittaker groups and application to conformal involutions on handlebodies.
Topology and its Applications 157  (2010), 2347-2361.


The geometrically finite complete hyperbolic Riemannian metrics in the interior of a handlebody of genus $g$, having injectivity radius bounded away from zero, are exactly those produced by Schottky groups of rank $g$; these are called Schottky structures. A Whittaker group of rank $g$ is by definition a Kleinian group $K$ containing,  as an index two subgroup,  a Schottky group $\Gamma$ of rank $g$. In this case, $K$ corresponds exactly to a conformal involution on the handlebody with Schottky structure given by $\Gamma$. In this paper we provide a structural description of Whittaker groups and, as a consequence of this, we provide some facts concerning conformal involutions on handlebodies. For instance, we provide a formula  to count the type and the number of connected components of the set of fixed points of a conformal involution of a handlebody with a Schottky structure in terms of a group of automorphisms containing the conformal involution.



2011

74.-  (with Mika Seppala)
Numerical Schotky Uniformizations: Myrberg's Opening Process.
In: Lecture Notes in Mathematics 2013 (2011), 195-209.


We provide a proof for the convergence of an algorithm due to P.J. Myberg, which allows one to numerically approximate a Schottky uniformization for a given hyperelliptic Riemann surface. If the branch points of the hyperelliptic Riemann surface are real, the algorithm approximates a classical Schottky uniformization.

75.-  The fiber product of Riemann surfaces: A Kleinian group point of view.
Analysis and Mathematical Physics 1 (2011), 37-45.

Let $P_{1}:S_{1} \to S$ and $P_{2}:S_{2} \to S$ be non-constant holomorpic maps between closed Riemann surfaces. Associated to the previous data is the fiber product $S_{1} \times_{S} S_{2}=\{(x,y) \in S_{1} \times S_{2}: P_{1}(x)=P_{2}(y)\}$. This is a compact space which, in general, fails to be a Riemann surface at some (possible empty) finite set of points $F \subset S_{1} \times_{S} S_{2}$. One has that $S_{1} \times_{S} S_{2}-F$ is a finite collection of analytically finite Riemann surfaces. By filling out all the punctures of these analytically finite Riemann surfaces, we obtain a finite collection of closed Riemann surfaces; whose disjoint union is  the normal fiber product $\widetilde{S_{1} \times_{S} S_{2}}$. In this paper we prove that the connected components of $\widetilde{S_{1} \times_{S} S_{2}}$ of lowest genus are conformally equivalents if they have genus different from one (isogenous if the genus is one). A description  of these lowest genus components are provided  in terms of certain class of Kleinian groups; B-groups.

76.-  On the inverse uniformization problem: real Schottky uniformizations.
Revista Matematica Complutense 24 (2011), 391-420.


Classical uniformization theorem, together with Torelli's theorem, assert that each closed Riemann surface may be described in terms of Fuchsian uniformizations (highests uniformizations), Schottky uniformizations (lowest uniformizations), algebraic curves, Riemann period matrices, etc. The inverse uniformization problem may be stated as to provide any or some of the other descriptions once one of them is given. In general (part of) this inverse problem has been (numerically) partially solved for hyperelliptic Riemann surfaces. In this paper we provide a family of real Riemann surfaces, in general non-hyperelliptic ones, which are described in terms of Fuchsian and Schottky uniformizations. The explicit relation between these two uniformizations is given. The Schottky uniformization is used to compute a suitable Riemann period matrix of the uniformized surface so that its coefficients are given in terms of the corresponding Schottky group. Two explicit examples, one of genus $2$ and the other of genus $3$ (non-hyperelliptic), are provided and (numerically) algebraic curve representations are given for them.


77.- Conjugacy classes of Automorphisms $p$-Groups.
Bulletin of the Korean Math. Society.  48 No.4 (2011), 847-851.

In this paper we provide examples of pairs of conformally non-equivalent, but topologically equivalent, $p$-groups $H_{1}, H_{2}<{\rm Aut}(S)$, where $S$  is a closed Riemann surface of genus $g \geq 2$, so that $S/H_{j}$ has genus zero and all its cone points are of order equal to $p$.


78.- (with Raquel Díaz: UCM and Ignacio Garijo: UNED  (España))
Uniformization of conformal involutions on stable Riemann surfaces.
Israel Journal of Math.
186 (2011), 297-331.

Let $S$ be a closed Riemann surface of genus $g$. It is well known that there are Schottky groups producing uniformizations of $S$ (Retrosection Theorem). Moreover, if $\tau\colon S \to S$ is a conformal involution, it is also known that there is a Kleinian group $K$ containing, as an index two subgroup, a Schottky group $G$ that uniformizes $S$ and so that $K/G$ induces the cyclic group $\langle \tau \rangle$. Let us now assume $S$ is a stable Riemann surface and $\tau\colon S \to S$ is a conformal involution. Again, it is known that $S$ can be uniformized by a suitable noded Schottky group, but  is not known whether or not there is a Kleinian group $K$, containing a noded Schottky group $G$ of index two, so that $G$ uniformizes $S$ and $K/G$ induces $\langle \tau \rangle$. In this paper we discuss this existence problem and provide some partial answers: (1) a complete positive answer for genus $g \leq 2$ and for the case that $S/\langle \tau \rangle$ is of genus zero; (2) the existence of a Kleinian group $K$ uniformizing the quotient stable Riemann orbifold $S/\langle\tau\rangle$. Applications to handlebodies with orientation-preserving involutions are also provided.


79.- (with Yolanda Fuertes: UAM  (España))
On unbranched non-normal degree four coverings of hyperelliptic Riemann surfaces.
Quarterly Journal of Math.  62 (2011), 593–605; doi:10.1093/qmath/haq017


The number of unramified normal coverings of a closed Riemann surface $C$ with group of covering transformations isomorphic to $\mathbb{Z}_{2}^{2}$ or $\mathbb{Z}_2$ is well known. If $C$ is hyperelliptic, then Horiouchi has given the explicit algebraic\ equations of the subset of those covers which turn out to be hyperelliptic themselves and, recently, G. Gonz\'alez-Diez and the first author have obtained the remaining
ones for both cases. In this paper, we obtain the algebraic equations for all unbranched four degree coverings of a hyperelliptic Riemann surface with monodromy group isomorphic to the dihedral group $D_4$  and such that the hyperelliptic involution lifts to the covering. As an immediate application we obtain examples of curves whose field of moduli is $\mathbb{Q}$ but they can not be defined over $\mathbb{Q}$. The examples in this paper can be defined over a real quadratic extension of $\mathbb{Q}$.


80- Lifting di-analytic involutions of compact Klein surfaces to extended-Schottky uniformizations.
Fundamenta Mathematicae 214 (2011), 161-180

Let $S$ be a compact Klein surface together with a di-analytic involution $\kappa:S \to S$.
The lowest uniformizations of $S$ are those whose deck group is an extended-Schottky group, that is, an extended Kleinian group whose orientation preserving half is a Schottky group.
If $S$ is a bordered compact Klein surface, then it is well known that $\kappa$ can be lifted with respect to a suitable extended-Schottky uniformization of $S$.  In this paper, we complete the above lifting property by proving that if $S$ is a closed Klein surface, then $\kappa$ can also be lifted to a suitable extended-Schottky uniformization.


2012

81- A simple remark on fields of definition
Proyecciones Journal of Mathematics 31 No. 1 (2012), 25-28.

Let $K<L$ be an extension of fields, in characteristic zero, with $L$ algebraically closed and let $\overline{K}<L$ be the algebraic closure of $K$ in $L$.
Let $X$ and $Y$ be irreducible projective algebraic varieties, $X$ defined over $\overline{K}$  and $Y$ defined over $L$, and let $\pi:X \to Y$ be a non-constant  morphism, defined over $L$. If we assume that $\overline{K} \neq L$, then
one may wonder if $Y$ is definable over $\overline{K}$. In the case that
$K={\mathbb Q}$, $L={\mathbb C}$ and that $X$ and $Y$ are smooth curves, a positive answer was obtained by Gonz\'alez-Diez. In this short note we provide simple conditions to have a positive answer to the above question. We also state a conjecture for a class of varieties of general type.


82.- On Conjugacy of p-gonal automorphisms.
Bulletin of the Korean Math. Society 49 No. 2 (2012), 411-415.

In 1995 it was proved by Gonz\'alez-Diez that the cyclic group generated by a $p$-gonal automorphism of a closed Riemann surface of genus at least two is unique up to conjugation in the full group of conformal automorphisms. Later, in 2008, Gromadzki provided a different and shorter proof of the same fact using the Castelnuovo-Severi theorem. In this paper we provide another proof which is shorter and is just a simple use of Sylow's theorem together with the Castelnuovo-Severi theorem. This method permits also to obtain the following generalization: the cyclic group generated by a conformal automorphism of order $p$ of a handlebody with a Kleinian structure  and quotient the three-ball is unique up to conjugation in the full group of conformal automorphisms.


83.- (with Mauricio Godoy)
Parabolic and Elliptic Partial Difference Equations: Towards a Discrete Solution of Navier-Stokes Equations (Capitulo de Libro).

Navier-Stokes Equations: Properties, Description and Applications. Nova Publishers.
Series: Mathematics Research Developments Physics Research and Technology (2012)
ISBN: 978-1-61324-590-3

In the present chapter we survey some results about partial difference equations (PdEs) in weighted graphs obtained previously by the authors, in the case of finite graphs and countable graphs of finite degree. We discuss the existence of solution of elliptic PdEs via an associated semilinear matrix equation and under growth conditions of the forcing term. As applications of these techniques, we study the discrete analogues of some classical elliptic partial differential equations such as Matukuma, Helmholtz and Lane-Emden-Fowler. Finally we discuss our results concerning the discrete Navier-Stokes equation and give some explicit solutions for concrete weighted graphs and discuss possible graphs that simplify the applications in the planar case.

84.- Erratum to: Non-hyperelliptic Riemann surfaces with real field of moduli but not definable over the reals
Archiv der Mathematik 98 (2012), 449–45. Published online May 15, 2012
DOI 10.1007/s00013-012-0378-y


Erratum to: Arch. Math. 93 (2009), 219–224 DOI 10.1007/s00013-009-0025-4. In this note we correct a computation of the original paper and, moreover, we state the main result in a more general form.

85.- Numerical Schottky uniformizations of certain cyclic L-gonal curves
Computational Algebraic and Analytic Geometry.
Contemporary Mathematics 572 (2012). Edited by: Mika Seppälä, Florida State University, Tallahassee, FL and Emil Volcheck. ISBNs: 978-0-8218-6869-0 (p); 978-0-8218-8989-3 (e) DOI: http://dx.doi.org/10.1090/conm/572

We generalize Myrberg's algorithm to provide numerical Schottky uniformizations of algebraic curves of the form $$y^{L}=\prod_{j=1}^{r} (x-a_{j})^{L/n_{j}} (x-b_{j})^{L-L/n_{j}},$$ where $n_{j} \geq 2$ are integers, $L=\mbox{lcm}(n_{1},...,n_{r})$, where lcm stands for ``lowest common multiple" and $a_{1}$,..., $a_{r}$, $b_{1}$,..., $b_{r}$ are pairwise different points in the complex plane ${\mathbb C}$. This will be a consequence of a numerical algorithm that permits to approximate certain type of uniformizations, called Whittaker uniformizations, of Riemann orbifolds with signatures of the form $(0;n_{1},n_{1},n_{2},n_{2},...,n_{r},n_{r})$.

86- A remark on (p,q)-gonal quasiplatonic Riemann surfaces
Geometriae Dedicata 160 (2012), 309-312.
(http://www.springer.com/alert/urltracking.do?id=L4f5879M92f8a4Sa821618)
doi: 10.1007/s10711-011-9683-z


We provide some remarks to a recent paper of Gromadzki, Weaver and Wootton about quasiplatonic $(p,n)$-gonal surfaces, where, among the others,  they prove that for every prime $p$ and $n>1$ there are just finitely many quasiplatonic strongly $(p,n)$-gonal surfaces. They remarked  that this does not hold for $n=0,1$ and $p=2$.  We provide  examples to see that the above property fails also for such $n$ for  every prime $p$. The authors also conjectured that the strong hypothesis is essential which is false since for given  genus $g \geq 2$ there are  only finitely many  quasiplatonic surfaces up to conformal equivalence.

87.- (with Sebastian Reyes)
Fields of moduli of classical Humbert curves.
Quarterly Journal of Math. 63 (2012), 919–930; doi:10.1093/qmath/har017


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 $S$ of genus five admitting a group $H$ of conformal automorphisms isomorphic to ${\mathbb Z}_{2}^{4}$. It turns out that $S$ is non-hyperelliptic and that $S/H$ is
an orbifold of signature $(0;2,2,2,2,2)$. 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 closed Riemann surfaces $R$ admitting a group $K$ of conformal automorphisms isomorphic to ${\mathbb Z}_{2}^{5}$ with $R/K$ of signature $(0;2,2,2,2,2,2)$ as there are cases for which the above property fails.


88- Homology closed Riemann surfaces
Quarterly Journal of Math. 63 (2012), 931-952; doi: 10.1093/qmath/har026

A closed Riemann surface of genus at least two can be described by many different objects, for instance, by algebraic curves and  by torsion free co-compact Fuchsian groups. If a torsion free co-compact Fuchsian group is provided, then in general it is a difficult task to obtain an algebraic curve describing the surface uniformized by the given Fuchsian group. We consider those closed Riemann surfaces appearing as a maximal Abelian cover of an orbifold; called homology closed Riemann surfaces. These surfaces are uniformized by the (torsion free) derived subgroup of certain co-compact Fuchsian groups of genus zero. We describe a general method to obtain algebraic curves for homology closed Riemann surfaces. We make this explicit for the case of
(i) hyperelliptic homology closed Riemann surfaces and (ii) homology closed Riemann surfaces being the highest Abelian covers of orbifolds with triangular signature. The structure of the cover groups are also provided. As a simple application, we notice that if $S$ is a closed Riemann surface and $A<{\rm Aut}(S)$ is an Abelian group so that $S/A$ has triangular signature, then  $S$ (and a Galois cover with $A$ as its deck group) can be defined over ${\mathbb Q}$. This says, in other words, that Abelian regular dessins d'enfants are definable over ${\mathbb Q}$.  We also prove that if two orbifolds with triangular signatures have conformally equivalent homology closed Riemann surfaces, then they are necessarily conformally equivalent as orbifolds.



2013


89.- The bipartite graphs of Abelian dessins d'enfants
Ars Mathematica Contemporanea 6 No.2 (2013), 301-304

Let $S$ be a closed Riemann surface and let $\beta:S \to \widehat{\mathbb C}$ be a regular branched holomorphic covering, with an abelian group as deck group, whose branch values are contained in the set $\{\infty,0,1\}$. Three dessins d'enfants are provided by $\beta^{-1}([0,1])$, $\beta^{-1}([1,\infty])$ and $\beta^{-1}([0,\infty])$. In this paper we provide a description of the bipartite graphs associated to these dessins d'enfants using simple arguments.


90.- Lowest uniformizaton of compact Klein surfaces
Revista Matematica Iberoamericana 29 No.1 (2013), 53-85.

A Schottky group is a purely loxodromic Kleinian group, with non-empty region of discontinuity, isomorphic to a free group of finite rank.  An extended Schottky group
is an extended Kleinian group whose orientation-preserving half is a Schottky group. The collection of uniformizations of either a closed Riemann surface or a compact Klein surface is partially ordered. In the case of closed Riemann surfaces, the lowest uniformizations are provided by Schottky groups.
We provide simple arguments to see that the lowest uniformizations of compact Klein surfaces are exactly those produced by extended Schottky groups.


91- (with Y. Fuertes, G. Gonzalez-Diez and M. Leyton)
Automorphisms group of generalized Fermat curves of type (k,3)
Journal of Pure and Applied Algebra 217 (2013), 1791-1806.

The determination of the full group of automorphisms of a closed Riemann surface is in general a very complicated task. For hyperelliptic curves, the uniqueness of the hyperelliptic involution permits one to compute these groups in a very simple manner. Similarly, as classical Fermat curves of degree $k$ admit a unique subgroup of automorphisms isomorphic to ${\mathbb Z}_{k}^{2}$, the determination of the group of automorphisms is not difficult. In this paper we consider a family of non-hyperelliptic Riemann surfaces, obtained as the fiber product of two classical Fermat curves of the same degree $k$, which exhibit behaviors of both elliptic and hyperelliptic curves. These curves, called  generalized Fermat curves of type $(k,3)$, are the highest regular abelian branched covers of orbifolds of genus zero with four cone points, all of the same order  $k$. More precisely, a generalized Fermat curve of type $(k,3)$ is a closed Riemann surface $S$ admitting a group $H<{\rm Aut}(S)$, called a generalized Fermat group of type $(k,3)$, so that $H \cong {\mathbb Z}_{k}^{3}$ and $S/H$ is an orbifold with signature $(0,4;k,k,k,k)$.  In this paper we prove the uniqueness of generalized Fermat groups of type $(k,3)$. In particular, this allows the explicit computation of the full group of automorphisms of $S$.


92.- (with A. Carocca and R. Rodriguez)
Orbifolds with signarure $(0;k,k^{n-1},k^{n},k^{n})$.
Pacific Journal of Math. 263 No.1 (2013), 53-85.

Two interesting problems that arise in the theory of closed
Riemann surfaces are the following: (i) the computation of algebraic
curves representing the surface, and (ii) to decide if the field of moduli
is a field of definition. In this paper we consider pairs $(S,H)$, where $S$ is a closed Riemann surface and $H$ is a subgroup of $\Aut(S)$, the group of automorphisms of
$S$, so that $S/H$ is an orbifold with signature$(0;k,k^{n-1},k^{n},k^{n})$, where $k, n \geq 2$ areintegers. In the case that $S$ is the highest Abelian branched cover of $S/H$
we provide explicit algebraic curves representing $S$. In the case that $k$ is an odd prime, we also describe algebraic curves for some intermediate Abelian covers.
For $k = p\geq 3$  a prime and $H$  a $p$-group, we prove that $H$ is a
$p$-Sylow subgroup of $\Aut(S)$,  and if $p \geq 7$ we prove that $H$ is
normal in $\Aut(S)$. Also, when  $n \neq 3$ we prove that the field of
moduli in such cases  is a field of definition. If, moreover, $S$ is the
highest Abelian branched cover of $S/H$, then we compute explicitly the
field of moduli.


93.- (with Grzegorz Gromadzki)
Schottky uniformizations of symmetries
Glasgow Mathematical Journal 55 (2013), 591-613.

A real algebraic curve of genus $g$ is a pair $(S,\langle \tau \rangle)$, where $S$ is a closed Riemann surface of genus $g$ and $\tau:S \to S$ is a symmetry, that is, an anti-conformal involution. A Schottky uniformization of $(S,\langle \tau \rangle)$ is a tuple $(\Omega,\Gamma,P:\Omega \to S)$, where $\Gamma$ is a Schottky group with region of discontinuity $\Omega$ and $P:\Omega \to S$ is a regular holomorphic cover map with $\Gamma$ as its deck group, so that there exists an extended M\"obius transformation $\widehat{\tau}$ keeping $\Omega$ invariant with $P \circ \widehat{\tau}=\tau \circ P$. The extended Kleinian group $K=\langle \Gamma, \widehat{\tau}\rangle$ is called an extended Schottky groups of rank $g$. The interest on Schottky uniformizations rely on the fact that they provide the lowest uniformizations of closed Riemann surfaces. In this paper we obtain a structural picture of extended Schottky groups in terms of  Klein-Maskit's combination theorems and some basic extended Schottky groups. We also provide some insight of the structural picture in terms of the group of automorphisms of $S$ which are reflected by the Schottky uniformization. As a consequence of our structural description of extended Schottky groups we get alternative proofs to results due to Kalliongis and McCullough on orientation reversing involutions on handlebodies.

94.- Almost abelian regular dessins d'enfants.
Fundamenta Mathematicae 222 (2013), 269-278.

A regular dessin d'enfant, in this paper, will be a pair $(S, \beta)$, where $S$ is a closed Riemann surface and $\beta:S \to \widehat{\mathbb C}$ is a  regular branched cover whose branch values are contained in the set $\{\infty,0,1\}$. Let ${\rm Aut}(S,\beta)$ be the group of automorphisms of $(S,\beta)$, that is, the deck group of $\beta$.  If ${\rm Aut}(S,\beta)$ is Abelian, then it is known that $(S,\beta)$ can be defined over the field of rational numbers ${\mathbb Q}$.  In this paper we prove that, if $A$ is an Abelian group and ${\rm Aut}(S,\beta) \cong A \rtimes {\mathbb Z}_{2}$, then $(S,\beta)$ is also definable over ${\mathbb Q}$. Moreover, if $A \cong {\mathbb Z}_{n}$, then we provide explicitly these dessins over ${\mathbb Q}$.



95.- (with M. E. Valdes and S. Reyes-Carocca)
Field of moduli and generalized Fermat curves.
Revista Colombiana de Matematicas (2) 47 (2013), 205-221.

A generalized Fermat curve of type $(p,n)$ is a closed Riemann surface $S$ admitting a group $H \cong {\mathbb Z}_{p}^{n}$ of conformal automorphisms with $S/H$ being the Riemann sphere with exactly $n+1$ cone points, each one of order $p$. If $(p-1)(n-1) \geq 3$, then $S$ is known to be non-hyperelliptic and
generically not quasiplatonic. Let us denote by ${\rm Aut}_{H}(S)$ the normalizer of $H$ in ${\rm Aut}(S)$. If $p$ is a prime, and either (i) $n=4$ or (ii) $n$ is even and ${\rm Aut}_{H}(S)/H$ is not a non-trivial cyclic group or (iii) $n$ is odd and ${\rm Aut}_{H}(S)/H$ is not a cyclic group, then we prove that $S$ can be defined over its field of moduli. Moreover, if $n \in \{3,4\}$, then we also compute the field of moduli of $S$.



2014


96.- Computing the field of moduli of the KFT family.
Proyecciones Journal of Mathematics (1) 33 (2014), 61-75.

The computation of the field of moduli of a closed Riemann surface is in general a difficult task. Akso it is difficult  to see if it is a field of definition. In this article we consider the collection of Riemann surfafdes of genus 3 admitting the symmetric group in 4 letters as a group of automorphisms. We describe, in each case, the field of moduli and a model over such a field.

97.- A simple remark on the field of moduli of rational maps.
Quarterly Journal of Math. 65 (2014), 627-635.

A complex rational map $R \in {\mathbb C}[z]$ has associated its field of moduli ${\mathcal M}_{R}$, an invariant under conjugation by M\"obius transformations, which is contained in every field of definition of $R$. In general ${\mathcal M}_{R}$ is not a field of definition of $R$ as it is shown by explicit examples due to Silverman. In these examples, the rational maps are definable over a degree two extension of the field of moduli. In this paper we observe that such a property always holds, that is, every rational map is definable over an extension of degree at most two of its field of moduli. The main ingredient in the proof is Weil's descent theorem, applied to the Riemann sphere, and the fact that the group of automorphisms of degree at least two rational maps are well known.




98.- (with M. Izquierdo)
On the connectivity of the branch locus of the Schottky space.
Annales Academiae Scientiarum Fennicae 39 (2014), 635-654.

Let $M$ be a handlebody of genus $g \geq 2$. The space ${\mathcal T}(M)$, that parametrizes marked Kleinian structures on $M$ up to isomorphisms, can be identified with the space ${\mathcal MS}_{g}$ of marked Schottky groups of rank $g$, so it carries a complex manifold of finite dimension $3(g-1)$. The space ${\mathcal M}(M)$, that parametrizes Kleinian structures on $M$ up to isomorphisms, can be identified with ${\mathcal S}_{g}$, the Schottky space of rank $g$, and it carries the structure of a complex orbifold. In these identifications, the projection map $\pi:{\mathcal T}(M) \to {\mathcal M}(M)$ corresponds to the map from ${\mathcal MS}_{g}$ onto ${\mathcal S}_{g}$ that forget about the marking. In this paper we observe that the singular (branch) locus ${\mathcal B}(M)$ of ${\mathcal M}(M)$, that is, the branch locus of $\pi$,  has (i) exactly two connected components for $g=2$, (ii) at most two connected components for $g \geq 4$ even, and (iii) for $g \geq 3$ odd, that ${\mathcal M}(M)$ is connected.



99.- (with G. Gromadzki)
Conjugacy classes of symmetries of compact Kleinian 3-manifolds.
Contemporary Mathematics 629 (2014), 181-188.

Let $M$ be a compact Kleinian $3$-manifold with non-empty andonnected boundary $S$. Then  $S$ carries the  structure of a closed Riemann surface and by  symmetries of $S$ or $M$ we understand their antiholomorphic involutions. In this paper we provide upper bounds for the number of conjugacy classes of symmetries  of $M$ in terms of the genus of $S$. Furthermore, we show that our bounds are sharp for hyperbolic handlebodies for infinitely many genera, by explicit constructions of finite normal extensions of certain Schottky groups, using  at decisive stage of construction, quasi-conformal deformation theory of Riemann surfaces and Teichm\"uller theory of Fuchsian groups. In particular, we obtain that  a Kleinian $3$-manifolds of even genus $g$ has at most four non-conjugate symmetries and that this bound is achieved for arbitrary even $g$. Motivating by the behavior  of Riemann surfaces we propose the problem of the validity of our  bounds, obtained  for hyperbolic handlebodies, in a purely topological setting.


100.- (with J. Cirre)
Normal coverings of hyperelliptic real Riemann surfaces.
Contemporary Mathematics 629 (2014),  59-76.


A real Riemann surface is a pair $(R,\tau)$, where $R$ is a compact Riemann surface and $\tau:R \to R$ is an anticonformal involution, called a real structure of $R.$ If $R$ is hyperelliptic then we say that $(R,\tau)$ is a hyperelliptic real Riemann surface. In this paper we describe in terms of algebraic equations all normal (possibly branched) coverings $\pi:(R,\tau)\to(S,\eta)$ between hyperelliptic real Riemann surfaces. This extends results due to Bujalance-Cirre-Gamboa, where either the number of ovals fixed by the real structure $\tau$ is maximal, or the degree of the covering is two. In this paper we consider any real structure $\tau$ and any degree of the covering.


2015

101.-  Edmonds maps on the Fricke-Macbeath curve.
Ars Mathematica Contemporanea 8 (2015), 275-289
http://amc-journal.eu/index.php/amc/article/view/496

In 1985, L. D. James and  G. A. Jones proved that the complete graph $K_{n}$ defines a clean dessin d'enfant (the bipartite graph is given by taking as the black vertices the vertices of $K_{n}$ and the white vertices as middle points of edges) if and only if $n=p^{e}$, where $p$ is a prime.  Later, in 2010, G. A. Jones, M. Streit and J. Wolfart computed the minimal field of definition of them. The minimal genus $g>1$ of these types of clean dessins d'enfant is $g=7$, obtained for $p=2$ and $e=3$. In that case, there are exactly two such clean dessins d'enfant (previously known as Edmonds maps), both of them defining the Fricke-Macbeath curve (the only Hurwitz curve of genus $7$) and both forming a chiral pair. The uniqueness of the Fricke-Macbeath curve asserts that it is definable over ${\mathbb Q}$, but both Edmonds maps cannot be defined over ${\mathbb Q}$; in fact they have as minimal field of definition the quadratic field ${\mathbb Q}(\sqrt{-7})$. It seems that no explicit models for the Edmonds maps over ${\mathbb Q}(\sqrt{-7})$ are written in the literature. In this paper we start with an explicit model $X$ for the Fricke-Macbeath curve provided by Macbeath, which is defined over ${\mathbb Q}(e^{2 \pi i/7})$, and we construct an explicit birational isomorphism $L:X \to Z$, where $Z$ is defined over ${\mathbb Q}(\sqrt{-7})$, so that both Edmonds maps are also defined over that field.


102.- (with P. Johnson)
Field of moduli of generalized Fermat curves of type (k,3) with an application to non-hyperelliptic dessins  d'enfants.
Journal of Symbolic Computation 77 (2015) 60-72. http://dx.doi.org/10.1016/j.jsc.2014.09.042

A generalized Fermat curve of type $(k,3)$, where $k \geq 2$, is a closed Riemann surface admitting a group $H \cong {\mathbb Z}_{k}^{3}$ as a group of conformal automorphisms so that the quotient orbifold $S/H$ is the Riemann sphere and it has exactly $4$ cone points, each one of order $k$. Every genus one Riemann surface is a generalized Fermat curve of type $(2,3)$ and, if $k \geq 3$, then a generalized Fermat curve of type $(k,3)$ is non-hyperelliptic. For each generalized Fermat curve, we compute its field of moduli and note that it is a field of definition. Moreover, for $k=e^{2 i \pi/p}$, where $p \geq 5$ is a prime integer, we produce explicit algebraic models over the corresponding field of moduli. As a byproduct, we observe that the absolute Galois group ${\rm Gal}(\overline{\mathbb Q}/{\mathbb Q})$ acts faithfully at the level of non-hyperelliptic dessins d'enfants. This last fact was already known for dessins of genus $0$, $1$ and for hyperelliptic ones, but it seems that the non-hyperelliptic situation is not explicitly given in the existent literature.

103.- (with R. Rodriguez)
A remark on the decomposition of the Jacobian variety of Fermat curves of prime degree.
Archiv der Mathematik 105 (2015), 333-341.

Recently, Barraza-Rojas have described the action of the full automorphisms group on the Fermat curve of degree $p$, for $p$ a prime integer, and obtained the group algebra decomposition of the corresponding Jacobian variety. In this short note we observe that the factors in such a decomposition are given by the Jacobian varieties of certain $p$-gonal curves.


2016


104.- (with Saul Quispe)
Fields of moduli of some special curves.
Journal of Pure and Applied Algebra.  220 (2016), 55-60. DOI information: 10.1016/j.jsc.2014.09.042

In this paper we provide necessary conditions for a curve to be definable over its field of moduli. These conditions generalize the results known for the hyperelliptic case by B. Huggins and for normal cyclic $p$-gonal curves by A. Kontergeorgis.

105.- (with M. Carvacho and S. Quispe)
Jacobian variety of generalized Fermat curves.
Quarterly Journal of Math. 67 (2016), 261-284. DOI information: 10.1093/qmath/haw009

The isogenous decomposition of the Jacobian variety of classical Fermat curve of prime degree $p \geq 5$ has been obtained by Aoki using techniques of number theory, by Barraza and Rojas in terms of decompositions of the algebra of groups and by Hidalgo and Rodr\'{\i}guez using Kani-Rosen results. In the last, it was seen that all factors in the isogenous decomposition are Jacobian varieties of certain cyclic $p$-gonal curves. The highest Abelian branched covers of an orbifold of genus zero with exactly $n+1$ branch points, each one of order $p$, are provided by the so called generalized Fermat curves of type $(p,n)$; these being a suitable fiber product of $n-1$ Fermat curves of degree $p$.  In this paper, we provide a decomposition, up to isogeny, of the Jacobian variety of a generalized Fermat curve $S$ of type $(p,n)$ as a product of Jacobian varieties of certain cyclic $p$-gonal curves whose explicit equations are provided in terms of the equations for $S$. As a consequence of this decomposition, we are able to provide explicit positive-dimensional families of closed Riemann surfaces whose Jacobian variety is isogenous to the product of elliptic curves.


106.- (with M. Carvacho, G. Gromadzki and CB. Baginski)
On periodic self-homeomorphisms of closed orientable surfaces determined by their orders.
Collectanea Mathematica 67 (2016), 415-429. doi:10.1007/s13348-015-0151-1

The fundamentals for the topological classification of periodic orientation preserving self-homeomorphisms of a closed orientable topological surface $X=X_g$ of genus $g \geq 2$ have been established, by Nielsen, in the thirties of the last century. Here we consider two concepts related to this classification; rigidity and weak rigidity. A cyclic action $G$ of order $N$ on $X$ is said to be {topologically rigid} if any other cyclic action of order $N$ on $X$ is topologically conjugate to it. If this assertion holds for arbitrary other action having, in addition, the same orbit genus and the same structure of singular orbits, then $G$ is said to be {weakly topologically rigid}. Here we give a precise description of rigid and weakly rigid quasi-platonic actions.


107.- (with A. F. Costa)
Automorphisms of non-cyclic p-gonal Riemann surfaces.
Moscow Mathematical Journal 16 (2016), 659-674.


In this paper we prove that the order of a holomorphic automorphism of a non-cyclic $p$-gonal compact Riemann surface $S$ of genus $g>(p-1)^{2}$ is bounded above by $2(g+p-1)$. We also show that this maximal order is attained for infinitely many genera. This generalises the similar result for the particular case $p=3$ recently obtained by Costa-Izquierdo. Moreover,  we also observe that the full group of holomorphic automorphisms of $S$ is either the trivial group or is a finite cyclic group or a dihedral group or one of the Platonic groups ${\mathcal A}_{4}$, ${\mathcal A}_{5}$ and $\Sigma_{4}$. Examples in each case are also provided. In the case that $S$ admits a holomorphic automorphism of order $2(g+p-1)$, then its full group of automorphisms is the cyclic group generated by it and every $p$-gonal map of $S$ is necessarily simply branched.  Finally, we note that each pair $(S,\pi)$, where $S$ is a non-cyclic $p$-gonal Riemann surface and $\pi$ is a $p$-gonal map, can be defined over its field of moduli. Also, if the group of automorphisms of $S$ is different from a non-trivial cyclic group and $g>(p-1)^{2}$, then $S$ can be also be defined over its field of moduli.
In this paper we provide necessary conditions for a curve to be definable over its field of moduli. These conditions generalize the results known for the hyperelliptic case by B. Huggins and for normal cyclic $p$-gonal curves by A. Kontergeorgis.


2017

108.- (with L. Jimenez, S. Quispe and S. reyes-Carocca)
 Quasiplatonic curves with symmetry group $\mathbb{Z}_2^2 \rtimes \mathbb{Z}_m$ are definable over $\mathbb{Q}$.
Bull. of the London Math. Soc. 49 (2017), 165-183.

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 \cong {\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\cong{\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.

109.- (with S. Quispe
Regular dessins d'enfants with field of moduli $\mathbb{Q}(\sqrt[p]{2})$.
ARS Mathematica Contemporanea 13 No. 2 (2017), 323-330.

Herradon has recently provided an example of a regular dessin d'enfant whose field of moduli is the non-abelian extension ${\mathbb Q}(\sqrt[3]{2})$ answering in this way a question due to Conder, Jones, Streit and Wolfart. In this paper we observe that Herradon's example belongs naturally to an infinite series of such kind of examples; for each prime integer $p \geq 3$ we construct a regular dessin d'enfant whose field of moduli is the non-abelian extension ${\mathbb Q}(\sqrt[p]{2})$; for $p=3$ it coincides with Herradon's example.

110.- (with A. Kontogeorgis, M. Leyton and P. Paramantzouglou)
Automorphisms of generalized Fermat curves.
Journal of Pure and Applied Agebra 221 (2017), 2312-2337

Let $K$ be an algebraically closed field of characteristic $p \geq 0$. A generalized Fermat curve of type $(k,n)$, where $k,n \geq 2$ are integers (for $p \neq 0$ we also assume that $k$ is relatively prime to $p$), is a non-singular irreducible projective algebraic curve $F_{k,n}$ defined over $K$ admitting a group of automorphisms $H \cong {\mathbb Z}_{k}^{n}$ so that $F_{k,n}/H$ is the projective line with exactly $(n+1)$ cone points, each one of order $k$. Such a group $H$ is called a generalized Fermat group of type $(k,n)$.
If $(n-1)(k-1)>2$, then $F_{k,n}$ has genus $g_{n,k}>1$ and it is known to be non-hyperelliptic. In this paper, we prove that every generalized Fermat curve of type $(k,n)$ has a unique generalized Fermat group of type $(k,n)$ if $(k-1)(n-1)>2$ (for $p>0$ we also assume that $k-1$ is not a power of $p$).  Generalized Fermat curves of type $(k,n)$ can be described as a suitable fiber product of $(n-1)$ classical Fermat curves of degree $k$. We prove that, for $(k-1)(n-1)>2$ (for $p>0$ we also assume that $k-1$ is not a power of $p$), each automorphism of such a fiber product curve can be extended to an automorphism of the ambient projective space. In the case that $p>0$  and $k-1$ is a power of $p$, we use tools from the theory  of complete projective intersections in order to prove that, for $k$ and $n+1$ relatively prime,  every automorphism of the fiber product curve can also be extended to an automorphism of  the ambient projective space. In this article we also prove that the set of fixed points of the non-trivial elements  of the generalized Fermat group coincide with  the hyper-osculating points of the fiber product model  under the assumption that the characteristic $p$ is either zero or $p>k^{n-1}$.
Let $K$ be an algebraically closed field of characteristic $p \geq 0$. A generalized Fermat curve of type $(k,n)$, where $k,n \geq 2$ are integers (for $p \neq 0$ we also assume that $k$ is relatively prime to $p$), is a non-singular irreducible projective algebraic curve $F_{k,n}$ defined over $K$ admitting a group of automorphisms $H \cong {\mathbb Z}_{k}^{n}$ so that $F_{k,n}/H$ is the projective line with exactly $(n+1)$ cone points, each one of order $k$. Such a group $H$ is called a generalized Fermat group of type $(k,n)$.
If $(n-1)(k-1)>2$, then $F_{k,n}$ has genus $g_{n,k}>1$ and it is known to be non-hyperelliptic. In this paper, we prove that every generalized Fermat curve of type $(k,n)$ has a unique generalized Fermat group of type $(k,n)$ if $(k-1)(n-1)>2$ (for $p>0$ we also assume that $k-1$ is not a power of $p$).



111.- (with M. Artebani, M. Carvacho, and S. Quispe)
A Tower of Riemann Surfaces which cannot be defined over their Field of Moduli.
Glasgow Math. J. 59 No. 2 (2017), 379-393.

Explicit examples of both hyperelliptic and non-hyperelliptic curves which cannot be defined over their field of moduli are known in the literature.
In this paper, we construct a tower of explicit examples of such kind of curves.
In that tower there are both hyperelliptic curves and  non-hyperelliptic curves3.

In this paper we provide necessary conditions for a curve to be definable over its field of moduli. These conditions generalize the results known for the hyperelliptic case by B. Huggins and for normal cyclic $p$-gonal curves by A. Kontergeorgis.

112.- (with C. Baginski and G. Gromadzki)
On purely non-free finite actions of abelian groups on compact surfaces.
Archiv der Mathematik 109 (2017), 311-321

A finite group of conformal automorphisms of a closed orientable Riemann
surface is said to act on it {\it purely non-freely} if each of its elements has a fixed point; we also called it a {\it gpnf}-action. In this paper we observe that {\it gpnf}-actions exist for an arbitrary finite group and we discuss on the minimum genus problem for such actions; we solve it for cyclic and abelian non-cyclic groups. In the first case we prove that this minimal {\it gpnf}-action genus coincides with Harvey's minimal genus.


2018


113.- (with S. Quispe)
A note on the connectedness of the branch locus of rational points.
Glasgow Math. J. 60 No. 1 (2018), 199-207. DOI: https://doi.org/10.1017/S0017089516000665

Milnor proved that the moduli space ${\rm M}_{d}$ of rational maps of degree $d \geq 2$ has a complex orbifold structure of dimension $2(d-1)$. Let us denote by ${\mathcal S}_{d}$ the singular locus of ${\rm M}_{d}$ and by ${\mathcal B}_{d}$ the branch locus, that is, the equivalence classes of rational maps with non-trivial holomorphic automorphisms. Milnor observed that we may identify ${\rm M}_2$ with ${\mathbb C}^2$ and, within that identification, that ${\mathcal B}_{2}$ is a cubic curve; so ${\mathcal B}_{2}$ is connected and ${\mathcal S}_{2}=\emptyset$. If $d \geq 3$, then it is well known that  ${\mathcal S}_{d}={\mathcal B}_{d}$. In this paper we use simple arguments to prove the connectivity of ${\mathcal S}_{d}$.

114.- (with A. F. Costa)
On the connectedness of the set of Riemann surfaces with real moduli.
Archiv der Mathematik 110 (2018), 305-310.

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 $\sigma$. The involution $\sigma$ maps each point corresponding to a Riemann surface $S$ to its complex conjugate $\overline{S}$. The fixed point set of $\sigma$ consists of the isomorphism classes of closed Riemann surfaces admitting an anticonformal automorphism. Inside $\mathrm{Fix}(\sigma)$ 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\"{a}l\"{a} and R. Silhol. The complement $\mathrm{Fix}(\sigma)-{\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}(\sigma)$ is connected.


115.- About the Fricke-Macbeath curve.
European Journal of Math. 4 (2018), 313-325. DOI 10.1007/s40879-017-0166-0

A closed Riemann surface of genus $g \geq 2$ is called a Hurwitz curve if its group of conformal automorphisms has order $84(g-1)$. In 1895, A. Wiman noticed that  there is no Hurwitz curve of genus $g=2,4,5,6$ and, up to isomorphisms, there is a unique Hurwitz curve of genus $g=3$; this being Klein's plane quartic curve. Later, in 1965, A. 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, W. 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 genus seven closed Riemann surfaces $S_{\mu}$ admitting a group $G_{\mu} \cong {\mathbb Z}_{2}^{3}$ of conformal automorphisms so that $S_{\mu}/G_{\mu}$ 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 Macbeath's description. We also observe that the jacobian variety of each $S_{\mu}$ 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$.

116.- (with E. Badr and S. Quispe)
Riemann surfaces defined over the reals.
Archiv der Mathematik 110 No. 4 (2018), 351-362 ISSN 0003-889X
https://doi.org/10.1007/s00013-017-1146-9


The known (explicit) examples of Riemann surfaces not definable over their field of moduli are not real whose field of moduli is a subfield of the reals. In this paper we provide explicit families of real Riemann surfaces which cannot be defined over the field of moduli.

117.- (with T. Shaska)
On the field of moduli of superelliptic curves.
Contemporary Mathematics 703 (2018), 47-62. ISBN: 978-1-4704-2856-3

Beshaj and Thompson have proved that a superelliptic curve $\X$ can always be defined over a quadratic extension of its field of moduli. If $\X$ has no extra automorphisms, then equations over the minimal field of definition can be determined. In this case, using ideas of Clebsh, it can be decided if $\X$ can be defined over its field of moduli. If $\X$ has extra automorphisms, then to determine if $\X$ can be defined over its field of moduli is more difficult. In this case, Beshaj and Thompson provided equations over the minimal field of definition using the dihedral (or Shaska) invariants. In this paper we observe that if the reduced group is different from the trivial or cyclic group, then $\X$ can be defined over its field of moduli; in the cyclic situation we provide a sufficient condition for this to happen. We also determine those of genus at most $10$ which might not be definable over their field of moduli.


118.- (with L. Beshaj, S. Kruk, A. Malmendier, S. Quispe and T. Shaska)
Rational points in the moduli space of genus two.
Contemporary Mathematics 703 (2018), 83-115. ISBN: 978-1-4704-2856-3

A database of over 2 million isomorphism classes of genus 2  curves defined over ${\mathbb Q}$ ordered based on their minimal absolute height, moduli height.  In addition for each isomorphism class, a minimal equation over the minimal field of definition is provided, the automorphism group, the conductor, and all the twists.  Some interesting statistics about the distribution of rational points in the moduli space $M_2$ a
re also presented. Such database organized in a dictionary in Sagemath is made public including a search utility.

119.- p-groups acting on Riemann surfaces.
Journal of Pure and Applied Algebra. 222 (2018), 4173-4188. ISSN: 0022-4049

Let $p$ be a prime integer and let $r \geq 3$ be an integer so that $p \geq 5r-7$ and $p \neq 5r-6$. We show that a closed Riemann surface $S$ of genus $g \geq 2$ has at most one $p$-group $H$ of conformal automorphisms so that $S/H$ has genus zero and exactly $r$ cone points. This, in particular, asserts that, for $r=3$ and $p \geq 11$, the minimal field of definition of $S$ coincides with that of $(S,H)$.
Another application of this fact, for the case that $S$ is pseudo-real, is that  ${\rm Aut}(S)/H$ must be either trivial or a cyclic group and that $r$ is necessarily even. This  generalizes a result due to Bujalance-Costa for the case of pseudo-real cyclic $p$-gonal Riemann surfaces.

120.- Totally degenerate extended Kleinian groups.
Revista CUBO 19 No. 3 (2018), 69-77.  ISSN: 0716-7776

The theoretical existence of  totally degenerate Kleinian groups is originally due to Bers and Maskit. In fact, Maskit proved that for any co-compact non-triangle Fuchsian group acting on the hyperbolic plane ${\mathbb H}^{2}$ there is a totally degenerate Kleinian group algebraically isomorphic to it. In this paper, by making a subtle modification to Maskit's construction, we show that for any non-Euclidean crystallographic group $F$, such that ${\mathbb H}^{2}/F$ is not homeomorphic to a pant, there exists an extended Kleinian group $G$ which is algebraically isomorphic to $F$ and whose orientation-preserving half is a totally degenerate Kleinian group. Moreover, such an isomorphism is provided by conjugation by an orientation-preserving homeomorphism $\phi:{\mathbb H}^{2} \to \Omega$, where $\Omega$ is the region of discontinuity of $G$. In particular, this also provides another proof to Miyachi's existence of totally degenerate finitely generated Kleinian groups whose limit set contains arcs of Euclidean circles.

121.- On the minimal field of definition of rational maps: rational maps of odd signature.
Annales Academiae Scientiarum Fennicae.  43 (2018), 685-692. ISSN 1239-629X

The field of moduli of a rational map is an invariant under conjugation by M\"obius transformations. J. H. Silverman proved that a rational map, either of even degree or equivalent to a polynomial, is definable over its field of moduli and he also provided examples of rational maps of odd degree for which such a property fails. We introduce the notion for a rational map to have odd signature and prove that this condition ensures for the field of moduli to be a field of definition. Rational maps being either of even degree or equivalent to polynomials are examples of odd signature ones.

122.- (wih Sebastian Sarmiento)
Real Structures on Marked Schottky Space.
Journal of the London Math. Soc.  98  (2) (2018) , 253-274. ISSN:1469-7750

Marked Schottky space $\MS$ is an explicit model of the quasiconformal deformation space of a Schottky group of rank $g$, this being isomorphic to the punctured unit disc for $g=1$ and, for $g \geq 2$, a connected complex manifold of dimension $3(g-1)$. This space is an intermediate non-Galois cover of moduli space of genus $g$ curves. In this paper we provide a description of the real structures of $\MS$, up to holomorphic automorphisms, together with their real parts.

 

123.- Uniformizations of stable $(\gamma,n)$-gonal Riemann surfaces.
Analysis and Mathematical Physics 8 (2018), 655-677.  ISSN:
1664-2368

A $(\gamma,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 $\gamma$. If the signature of $(S,f)$ is of hyperbolic type, then it admits a uniformizing pair $(\Gamma,G)$, where $G$ is a Fuchsian group acting on the unit disc ${\mathbb D}$ containing $\Gamma$ as an index $n$ subgroup, such that $f$ is induced by the inclusion $\Gamma \leq G$. The uniformizing pair is uniquely determined by $(S,f)$, up to conjugation by holomorphic automorphisms of ${\mathbb D}$, and it permits to provide a natural complex orbifold structure on the Hurwitz space 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 $(\gamma,n)$-gonal pairs, which are natural geometrical deformations of $(\gamma,n)$-gonal pairs. Due to the above, it seems interesting to search for uniformizations of stable $(\gamma,n)$-gonal pairs, in terms of certain class of Kleinian groups. In this paper we review such uniformizations by using noded Fuchsian groups, obtained from the noded Beltrami differentials of Fuchsian groups that were previously studied by Alexander Vasil'ev and the author, and which provide uniformizations of stable Riemann orbifolds. These uniformizations permit to obtain a compactification of the Hurwitz spaces together a complex orbifold structure, these being quotients of the augmented Teichm\"uller space of $G$ by a suitable finite index subgroup of its modular group.

124.- (with G. Gromadzki)
On Macbeath's formula for hyperbolic manifolds.

Albanian Journal of Mathematics 12 (1) (2018), 15-23.  ISSN:
1930-1235

Around 1973, Macbeath provided a formula for the number of fixed points of an element in a group $G$ of conformal automorphisms of a closed Riemann surface $S$ of genus at least two. Such a formula was initially used to obtain the character of the representation associated to the induced action of $G$ on the first homology group of $S$, and later turned out to be extremely useful in many other contexts. By using a simple counting procedure,  we provide a similar formula for the number of connected components of an element in a finite group of isometries of a hyperbolic manifold.

125.- (with M. Izquierdo)
On the connectedness of the branch locus of Schottky space.
Albanian Journal of Mathematics 12 (1) (2018), 235-246 . ISSN: 1930-1235

Schottky space of rank $g$ is the space ${\mathcal S}_{g}$that parametrizes conjugacy classes of Schottky groups of rank $g$. Its branch locu consists of the classes of Schottky groups which are proper finite index normal subgroups of a Kleinian group. In this paper it is proved the the connectivity of the branch locus.




2019


126.- Automorphisms of dessins d'enfants.
Archiv der Mathematik 112 (2019), 13-18.  ISSN: 0003-889X

In this paper we observe that given any finite group $G$, together a fixed topological action of it of some genus $g \geq 2$, there is a dessin d'enfant having it as its full groiup of automorphisms. In particular, the symmetric strong genus of $G$ equals to the minimal genus (at least two) action on a dessin d'enfant.

127.- An explicit descent of real algebraic varieties.
In: Algebraic Curves and Their Applications.
Ed. Lubjana Beshaj and Tony Shaska.
Contemporary Math. Amer. Math. Soc.  724 (2019), 235-246. ISBN: 978-1-4704-4247-7


Let $X$ be an smooth complex affine algebraic variety admitting a symmetry $L$, that is, an antiholomorphic automorphism of order two. If both, $X$ and $L$ are defined over $\overline{\mathbb Q}$, then Koeck, Lau and Singerman showed the existence of a complex smooth algebraic variety $Z$ admitting a symmetry $T$, both defined over ${\mathbb R} \cap \overline{\mathbb Q}$, and of an isomorphism $R:X \to Z$ so that $R \circ L \circ R^{-1}=T$. The provided proof is existential and, if explicit equations for $X$ and $L$ are given over $\overline{\mathbb Q}$, then it is not described how to get the explicit equations for $Z$ and $T$ over ${\mathbb R} \cap \overline{\mathbb Q}$. In this paper we provide an explicit rational map $R$ defined over $\overline{\mathbb Q}$ so that $Z=R(X)$ is defined over ${\mathbb R} \cap \overline{\mathbb Q}$, $R:X \to Z$ is an isomorphisms and $T=R \circ L \circ R^{-1}$ being the usual conjugation map.

128.- (with G. Honorato and F.  Valenzuela-Henriquez )
On the dynamics on n-circle inversion.

Nonlinearity 32 (2019), 1242-1274. ISSN:
0951-7715

The article deals with singular perturbation of polynomial maps \[R_{\lambda,\,n}(z)=\frac{z^{n}+\lambda}{z},\] where $\lambda$ is a complex parameter and $n$ is the degree, which is a particular case of the family of rational maps known as McMullen maps. Our main result shows that even when the geometric limit of Julia set converges to the unit circle or the annulus for a.e. Lebesgue $\lambda \in \mathbb{C}^*$, as $n$ tends to infinity, the measure of maximal entropy always converges to the Lebesgue measure supported on the unit circle. Additionally we describe the dynamics on the Julia set and show that is related to a quotient of a shift of $n$ symbols by an equivalence relation. Finally we prove that the Thurston's pull--back map associated to a particular $4$--circle inversion is a ramified Galois covering. From the arithmetical point of view we prove that each $n$--circle inversion can be defined over its field of moduli.


129.- (with Maximiliano Leyton-Alvarez)
Weierstrass weight of the hyperosculating points of generalized Fermat curves.

Journal of Pure and Applied Algebra 227 (7) (2019),  3057-3070. ISSN:
0022-4049

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.

130.- (with Y. Atarihuana )
On the connectivity of the branch and real locus of ${\mathcal M}_{0,[n+1]}$.

Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales (RACSAM). Serie A. Matematicas  113 (2019), 2981-2998. ISSN:
1578-7303

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.

131.- (with J. C. Garcia)
On square roots of meromorphic maps.

Results in Mathematics 74:118 (2019), ISSN:
1422-6383

Let $S$ be a connected Riemann surface and let $\varphi:S \to \widehat{\mathbb C}$ be a surjective meromorphic map. A simple geometrical necessary and sufficient condition is provided for the existence of a square root of $\varphi$, that is, a meromorphic map $\psi:S \to \widehat{\mathbb C}$ such that $\varphi=\psi^{2}$.


2020

132. with Saul Quispe)
Regular dessins d'enfants with dicyclic group of automorphisms.

Journal of Pure and Applied Algebra 224 No. 5 (2020), Article 1062.  ISSN:
0022-4049. https://doi.org/10.1016/j.jpaa.2019.106242

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. Each of them is produced on well known hyperelliptic Riemann surfaces. We obtain that the minimal genus over which $G_{n}$ acts purely-non-free is $\sigma_{p}(G_{n})=n$ (this coincides with the strong symmetric genus of $G_{n}$ when $n$ is even). For each of the triangular conformal actions, every non-trivial subgroup of $G_{n}$ has genus zero quotient, in particular, that the isotypical decomposition, induced by the action of $G_{n}$, of its jacobian variety has only one component. We also study conformal/anticonformal actions of $G_{n}$, on closed Riemann surfaces, with the property that $G_{n}$ admits anticonformal elements. It is known that $G_{n}$ always acts on a genus one Riemann surface with such a property. We observe that the next genus  $\sigma^{hyp}(G_{n})\geq 2$ over which $G_{n}$ acts in that way  is $n+1$ for $n \geq 2$ even, and $2n-2$ for $n \geq 3$ odd.  We also provide examples of pseudo-real Riemann surfaces admitting $G_{n}$ as the full group of conformal/anticonformal automorphisms.

133. (with G. Girondo, G. Gonzalez-Dieaz and G. Jones )
Zapponi-orientable dessins d'enfants.

Revista Matematica Iberoamericana 36 No 2 (2020), 549-570. ISSN:
0213-2230

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.

134. A remark on the field of moduli of  Riemann surfaces.
Archiv der Mathematik 114 (2020) 515-526.,
ISSN: 0003-889X https://doi.org/10.1007/s00013-019-01411-9

Let $S$ be a closed Riemann surface of genus $g\geq 2$ and let ${\rm Aut}(S)$ be its group of conformal automorphisms. It is well known that if either: (i) ${\rm Aut}(S)$ is trivial or (ii) $S/{\rm Aut}(S)$ is an orbifold of genus zero with exactly three cone points, then $S$ is definable over its field of moduli ${\mathcal M}(S)$. In the complementary situation, explicit examples for which ${\mathcal M}(S)$ is not a field of definition are known. We provide upper bounds for the minimal degree extension of ${\mathcal M}(S)$ by a field of definition in terms of the quotient orbifold $S/{\rm Aut}(S)$.

135. A sufficiently complicated noded Schottky group of rank three.
Cubo, A Mathematical Journal
22 (1) (2020), 39-53.  ISSN: 0719-0646.

In 1974, Marden proved the existence of non-classical Schottky groups by a theoretical and non-constructive argument.  Explicit examples are only known in rank two; the first one by Yamamoto in 1991 and later by Williams in 2009. In 2006, Maskit and the author provided a theoretical method to construct non-classical Schottky groups in any rank. The method assumes the knowledge of certain algebraic limits of Schottky groups, called sufficiently complicated noded Schottky groups. The aim of this paper is to provide explicitly a sufficiently complicated noded Schottky group of rank three and explain how to use it to construct explicit non-classical Schottky groups.

136. Geometric description of Virtual Schottky groups.
Bulletin of the London Math. Soc.
55 (2020), 530-545.  ISSN: 1469-2120.

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 lowest uniformizations.  In this paper we provide a geometrical structural decomposition of $K$. When $K/G$ is an abelian group, an explicit free product decomposition in terms of Klein-Maskit's combination theorems is provided.

137. (with J. C. Garcia)
On n-th roots of meromorphic maps.

Revista Colombiana de Matematicas
54 (2020), 65-74. 

Let S be a connected Riemann surface and $\varphi:S \to \widehat{\mathbb C}$ be a holomorphic branched covering. We provide a geometrical condition for $\varphi$ to admit n-roots. This extends previous results done for n=2.

138. Holomorphic differentials of Generalized Fermat curves.
Journal of Number Theory 217 (2020), 78-101.

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 a 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 exact one-forms, that is, the kernel of the Cartier operator.
We also do this for $(p,k,n)=(3,2,4)$.


2021


139. (with. A.Carocca and R. E. Rodriguez)
q-etale covers of cyclic p-gonal covers.
Journal of Algebra 573 (2021), 393-409.

In this paper we study the Galois group of the Galois cover of the composition of a $q$-cyclic \'etale cover and a cyclic $p$-gonal cover for any odd prime $p$. Furthermore, we give properties of isogenous decompositions of certain Prym and Jacobian varieties associated to intermediate subcovers  given by subgroups.

140.- Constructing jacobian varieties with many elliptic factors.
Proceedings "Geometry at the Frontier Symmetries and Moduli Spaces of Algebraic Varieties" , Contemporary Mathematics 766 (2021), pp. 201-216. (ISBN: 978-1-4704-6422-6)

Given two elliptic curves, $E_{1}$ and $E_{2}$, Earle provided an explicit genus two Riemann surface $R_{2}$ such that $JR_{2} \cong_{isog.} E_{1} \times E_{2}$.
In this paper, given $s \geq 3$ elliptic curves $E_{1},\ldots, E_{s}$,
we construct an explicit closed Riemann surface $R_{s}$, of genus $g=1+2^{s-2}(s-2)$, such that  $JR_{s} \cong_{isog.} E_{1} \times \cdots \times E_{s} \times A$, where $A$ is also a product of at least $s(s-3)/2$ elliptic curves and jacobian varieties of some hyperelliptic Riemann surfaces, all of these curves explicitly given in terms of the given elliptic curves. In particular, for every triple $E_{1}, E_{2}, E_{3}$ of elliptic curves this provides an explicit Riemann surface $R_{3}$ of genus three with  $JR_{3} \cong_{isog.} E_{1} \times E_{2} \times E_{3}$.

141.- (with Sebastian Reyes-Carocca)
Weil's descent theorem from a computational point of view.
Proceedings
Geometry at the Frontier Symmetries and Moduli Spaces of Algebraic Varieties" , Contemporary Mathematics 766 (2021), pp. 217-228. (ISBN: 978-1-4704-6422-

Let ${\mathcal L}/{\mathcal K}$ be a finite Galois extension and let $X$ be an affine algebraic variety defined over ${\mathcal L}$. Weil's Galois descent theorem provides  necessary and sufficient conditions for  $X$ to be definable over ${\mathcal K}$, that is, for the existence of an algebraic variety $Y$ defined over ${\mathcal K}$ together with a birational isomorphism $R:X \to Y$ defined over ${\mathcal L}$. Weil's proof does not provide a method to construct the birational isomorphism $R.$ The aim of this paper is to give an explicit construction of $R$.



142.- Automorphism groups of origami curves.
Archiv der Mathematik  116 (2021), 385-390. (https://doi.org/10.1007/s00013-020-01559-9) ISSN: 0003-889X.

A closed Riemann surface $S$ (of genus at least one) is called an origami curve if it admits a non-constant holomorphic map $\beta:S \to E$ with at most one branch value, where $E$ is a genus one Riemann surface. In this case, $(S,\beta)$ is called an origami pair and ${\rm Aut}(S,\beta)$ is the group of conformal automorphisms $\phi$ of $S$ such that $\beta=\beta \circ \phi$.  Let $G$ be a finite group. It is a known fact that $G$ can be realized as a subgroup of ${\rm Aut}(S,\beta)$ for a suitable origami pair $(S,\beta)$. 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$ of genus $\gamma \geq 1$. Given a conformal action of $G$ on a surface $X$ as before,
we prove that there is an origami pair $(S,\beta)$, where $S$ has genus $g$ and $G \cong {\rm Aut}(S,\beta)$ such that the actions of ${\rm Aut}(S,\beta)$ on $S$ and that of $G$ on $X$ are topologically equivalent. 

143.- (with Raquel Diaz)
Stable Riemann orbifolds of Schottky type.

Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales (RACSAM) 115, 111 (2021). https://doi.org/10.1007/s13398-021-01052-0.   (ISSN: 1578-7303)

Let ${\mathcal O}$ be a stable Riemann orbifold, that is, a closed $2$-dimensional orbifold with nodes such that each connected component of the complement of the nodes has an analytically finite complex structure of hyperbolic type.  We say that ${\mathcal O}$ is of Schottky type if there is a virtual noded Schottky group $K$ such that $\Omega^{ext}/K$ is isomorphic to it, where $\Omega^{ext}$ is the extended domain of discontinuity of $K$.
This is the same as saying that $\mathcal O$ is the conformal boundary at infinity of the hyperbolic $3$-dimensional handlebody orbifold $\mathbb H^3/K$.
In this paper we prove that the stable Riemann orbifolds of certain signature are of Schottky type.

144.- (with Saul Quispe)
On Real and Pseudo-Real Rational Maps.

Nonlinearity 34 (2021) 6248-6272. https://doi.org/10.1088/1361-6544/ac12ad  (ISSN: 0951-7715)

The moduli space ${\rm M}_{d}$, of complex rational maps of degree $d \geq 2$, is a connected complex orbifold which carries a natural real structure, coming from usual complex conjugation. Its real points are the classes of rational maps admitting antiholomorphic automorphisms. The locus of the real points ${\rm M}_{d}({\mathbb R})$ decomposes as a disjoint union of the loci ${\rm M}_{d}^{\mathbb R}$, consisting of the real rational maps, and ${\mathcal P}_{d}$, consisting of the pseudo-real ones. We obtain that, both ${\rm M}_{d}^{\mathbb R}$ and ${\rm M}_{d}({\mathbb R})$, are connected and that  ${\mathcal P}_{d}$ is disconnected. We also observe that the group of holomorphic automorphisms of a pseudo-real rational map is either trivial or a cyclic group. For every $n \geq 1$, we construct pseudo-real rational maps whose group of holomorphic automorphisms is cyclic of order $n$. As the field of moduli of a pseudo-real rational map is contained in ${\mathbb R}$, these maps provide examples of rational maps which are not definable over their field of moduli. It seems that these are the only explicit examples in the literature (Silverman) of rational maps which cannot be defined over their field of moduli.
We provide explicit examples of real rational maps which cannot be defined over their field of moduli. Finally, we also observe that every real rational map, which admits a model over the algebraic numbers, can be defined over the real algebraic numbers.


2022

145.- Dessins d'enfants with a given bipartite graph.
Contemporary Mathematics 776 (2022), pp. 249-267 (ISBN: 978-1-4704-6025-9)

An algorithm to produce all those dessins (up to isomorphisms) with a given bipartite graph is provided.


146.- (with Sebastian Reyes-Caroca and Angelica Vega)
Fiber products of Riemann surfaceds

Contemporary Mathematics 776 (2022), pp. 161-175 (ISBN: 978-1-4704-6025-9)

If  $S_{0}, S_{1}, S_{2}$ are connected Riemann surfaces, $\beta_{1}:S_{1} \to S_{0}$ and $\beta_{2}:S_{2} \to S_{0}$ are surjective holomorphic maps, then the associated fiber product $S_{1} \times_{(\beta_{1},\beta_{2})} S_{2}$  has the structure of a one-dimensional complex analytic space, endowed with a canonical map $\beta: S_{1} \times_{(\beta_{1},\beta_{2})} S_{2} \to S_{0}$, such that, for $j=1,2$, $\beta_{j} \circ \pi_{j}=\beta$, where $\pi_{j}: S_{1} \times_{(\beta_{1},\beta_{2})} S_{2} \to S_{j}$ is the natural coordinate projection.The connected components of its singular locus provide its irreducible components. A Fuchsian description of the irreducible components of $S_{1} \times_{(\beta_{1},\beta_{2})} S_{2}$ is provided and, as a consequence, we obtain that if one the maps $\beta_{j}$ is a regular branched covering, then all its irreducible components are isomorphic. Also, if both $\beta_{1}$ and $\beta_{2}$ are of finite degree, then we observe that the number of these irreducible components is bounded above by the greatest common divisor of the two degrees, and  that such an upper bound is sharp.
We also provide sufficient conditions for the irreducibility of the connected components 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_{(\beta_{1},\beta_{2})} S_{2},\beta)$ and observe that this field coincides with the minimal field containing the fields of moduli of both pairs $(S_{1},\beta_{1})$ and $(S_{2},\beta_{2})$. Finally, in the case all surfaces $S_{1}$, $S_{2}$ and $S_{0}$ are compact and the fiber product is a connected Riemann surface, we observe that the Jacobian variety $J(S_{1} \times_{(\beta_{1},\beta_{2})}S_{2})  \times JS_{0}$ is isogenous to $JS_{1} \times JS_{2} \times P$, where $P$ is a suitable abelian subvariety of $J (S_{1} \times_{(\beta_{1},\beta_{2})}S_{2})$.

147.- (with Y. Atarihuana, J. Garcia, S. Quispe and C. Ramirez M)
Dessins d’enfants and some holomorphic structures on the Loch Ness monster.
Quarterly Journal of Mathematics 73 (2022), 349-369 (
ISSN 0033-5606)

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.

148.- (with A. Cañas, F. Turiel and A. Viruel)
Groups as  automorphisms  of dessins d'enfants
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales (RACSAM) 116:160 (2022), 1-9 (ISSN: 1578-7303) https://doi.org/10.1007/s13398-022-01285-7

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 realisable.



2023


149.- Smooth quotients of generalized Fermat curves
Revista Matemática Complutense 36 (2023) 27-55 (
ISSN :1139-1138)

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. 

150.- Homology group automorphisms of Riemann surfaces.
Moscow Mathematical Journal 23 (2023), 113-120  (
ISSN:1609-3321)

If $\Gamma$ is a finitely generated Fuchsian group such that its derived subgroup $\Gamma'$ is co-compact and torsion free, then $S={\mathbb H}^{2}/\Gamma'$ is a closed Riemann surface of genus $g \geq 2$ admitting the abelian group $A=\Gamma/\Gamma'$ 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 $\Gamma_{1}$ and $\Gamma_{2}$ with $\Gamma_{1}'=\Gamma'_{2}$? It is known that if $\Gamma_{1}$ and $\Gamma_{2}$ are both of the same signature $(0;k,\ldots,k)$, for some $k \geq 2$, then the equality $\Gamma_{1}'=\Gamma_{2}'$ ensures that $\Gamma_{1}=\Gamma_{2}$. Generalizing this, we observe that if $\Gamma_{j}$ has signature $(0;k_{j},\ldots,k_{j})$ and $\Gamma_{1}'=\Gamma'_{2}$, then $\Gamma_{1}=\Gamma_{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.


151.- (with I. Morales)
Realizing countable groups as automorphisms of origamis on the Loch Ness monster.
Archiv der Mathematik 120 (2023) 355-360 (
ISSN:1609-3321)

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.  


152.- Quadrangular   ${\mathbb Z}_{p}^{l}$ actions on  Riemann surfaces.
European Journal of Mathematics 9, article 63 (2023),
ISSN:2199-675X) https://doi.org/10.1007/s40879-023-00664-7

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+L1 then $S/G$ is the sphere with exactly three cone points and, if moreover $p \geq 11$, 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 7$, 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.


153.- (with Grzegorz Gromadzki)
Structural description of dihedral extended Schottky groups and application in study of symmetries of handlebodies.
Topology and its Applications 339, Part A, (2023), 108568 (ISSN 0166-8641) https://doi.org/10.1016/j.topol.2023.108568

Given a  symmetry $\tau$ of a closed Riemann surface $S$, there exists an extended Kleinian group $K$, whose orientation-preserving half is a Schottky group $\Gamma$ uniformizing $S$, such that $K/\Gamma$ induces $\langle \tau \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.





2024

154.- On $p$-gonal fields of definition
Ars Mathematica Contemporanea  24  (2024), #3.02 (
ISSN:1855-3966) https://doi:10.26493/1855-3974.2570.5e8


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 \pi 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. 

155.- Extending finite free actions of surfaces.
Bulletin of the London Math. Soc. 56 (2024), 2495-2513 (ISSN: 0024-6093)

We prove the existence of finite groups acting freely as orientation-preserving homeomorphisms on closed orientable surfaces which extend as a group of homeomorphisms of some compact orientable $3$-manifold but which cannot extend to a handlebody.  This solves a basic problem in low-dimensional equivariant topology going back to the work of Reni and Zimmermann in the mid 1990s.



156.- (with Y. L. Marin and S. Quispe)
Quasi-abelian group as automorphism group of Riemann surfaces
Manuscripta Mathematica 175 (2024), 591-616 (ISSN:0025-2611) https://doi.org/10.1007/s00229-024-01552-4

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 Riemann 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.

157.- (with M. Izquierdo)
Cyclic-Schottky strata of Schottky groups.
Bulletin of the London Math. Soc. 56 (2024), 3412-3427 (ISSN: 0024-6093)

Schottky space  ${\mathcal S}_{g}$, where $g \geq 2$ is an integer, is a connected complex orbifold of dimension $3(g-1)$; it provides a parametrization of the ${\rm PSL}_{2}({\mathbb C})$-conjugacy classes of Schottky groups $\Gamma$ of rank $g$.  The branch locus ${\mathcal B}_{g} \subset {\mathcal S}_{g}$, consisting of those conjugacy classes of  Schottky groups being a finite index proper normal subgroup of some Kleinian group, is known to be connected. If $[\Gamma] \in {\mathcal B}_{g}$, then there is a Kleinian group $K$ containing $\Gamma$ as a normal subgroup of index some prime integer $p \geq 2$. The structural description, in terms of Klein-Maskit Combination Theorems, of such a group $K$  is completely determined by a triple $(t,r,s)$, where $t,r,s \geq 0$ are integers such that $g=p(t+r+s-1)+1-r$. For each such a tuple $(g,p;t,r,s)$  there is a corresponding cyclic-Schottky stratum $F(g,p;t,r,s) \subset {\mathcal B}_{g}$. It is known that $F(g,2;t,r,s)$ is connected. In this paper, for $p \geq 3$, we study the connectivity of these $F(g,p;t,r,s)$.









2025
















ACCEPTED ARTICLES


(with J. Paulhus, S. Reyes-Carocca and A. M. Rojas)
On non-normal subvarieties of the moduli space of Riemann surfaces
Transformation Groups  (ISSN:1083-4362) https://doi.org/10.1007/s00031-024-09870-3

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.


(with C. Baginski and G. Gromadzki)
On the biggest purely non-free  conformal actions on compact Riemann surfaces
 and  their asymptotic properties.

Journal of Algebra  (ISSN 0021-8693),

A continuous action of a finite group  $G$ on a closed orientable surface $X$ is said to
be gpnf (Gilman purely non-free) if  every element of $G$ has a fixed point on $X$.
We prove that the biggest order {$\mu(g)$}, of a gpnf-action on a surface of even genus
$g \geq 2$, is bounded below by $8g$ and that this bound is sharp for infinitely many even $g$ as well. This provides, for even genera, a gpnf-action analog of the celebrated  Accola-Maclachlan bound $8g+8$ for arbitrary finite continuous actions. We also describe the asymptotic behavior of $\mu$. We define $\mathcal{M}$ as the set of values of the form $$\widetilde{\mu}(g)=\frac{\mu(g)}{g+1},$$ and its subsets $\mathcal{M}_+$ and $\mathcal{M}_-$ corresponding to even and odd genera $g$. We show that the set $\mathcal{M}_+^d$, of accumulation points of $\mathcal{M}_+$, consists of a single number $8$. If $g$ is odd, then we prove that $4g \leq \mu(g)<8g$. We conjecture that this lower bound is sharp for infinitely many odd $g$. Finally, we  prove that this conjecture implies that $4$ is the only element of $\mathcal{M}_-^d$, leading to $\mathcal{M}^d=\{4,8\}.$

CVHidalgo

(with Y. L. Marin and S. Quispe)
Generalized quasi-dihedral group as automorphism group of Riemann surfaces

Transformation Groups  (
ISSN:1083-4362)

We study 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. We also study the topological uniqueness action problem on the corresponding minimal genera for each of these actions.