arXiv subjects

Saúl Quispe

Publications and source records attributed to Saúl Quispe.

11 recordsLinked to original sources

arXiv2026

Birman-Hilden theory for big mapping class groups

Let $S$ and $X$ be two connected topological surfaces without boundary, and assume that $S$ is either of infinite type or has negative Euler characteristic. In this paper, we prove that if $p:S\rightarrow X$ is a fully ramified branched covering map, then $p$ satisfies the Birman-Hilden property. This generalizes a theorem of Winarski, and the known results in the literature, to the context of surfaces of infinite type and branched covering maps of infinite degree. As an application, we show that the mapping class group (respectively, the braid group on $k$-strands) of a non-orientable surface of infinite type can be realized as a subgroup of the mapping class group (respectively, the braid group on $2k$-strands) of its orientable double cover.

math.GT↗

arXiv2025

Generalized superelliptic Riemann surfaces

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

math.AG↗

arXiv2023

Quasi-abelian group as automorphism group of Riemann surfaces

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

math.AG↗

arXiv2022

On the fiber product over infinite-genus Riemann surfaces

Considering non-constant holomorphic maps $β_{i}:S_{i}\to S_{0}$, $i\in\{1,2\}$, between non-compact Riemann surfaces for which it is associated its fiber product $S_{1}\times_{(β_{1},β_{2})}S_{2}$. With this setting, in this paper we relate the ends space of such fiber product to the ends space of its normal fiber product. Moreover, we provide conditions on the maps $β_{1}$ and $β_{2}$ to guarantee connectednes on the fiber product. From these conditions, we link the ends space of fiber product with the topological type of the Riemann surfaces $S_{1}$ and $S_{2}$. We also study the fiber product over infinite hyperelliptic curves and discuss its connectedness and ends space.

math.AG↗

arXiv2022

Generalized quasi-dihedral group as automorphism group of Riemann surfaces

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

math.AG↗

arXiv2021

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

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.

math.GT↗

arXiv2018

Regular dessins d'enfants with dicyclic group of automorphisms

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

math.AG↗

arXiv2016

Automorphism groups of pseudoreal Riemann surfaces

A smooth complex projective curve is called pseudoreal if it is isomorphic to its conjugate but is not definable over the reals. Such curves, together with real Riemann surfaces, form the real locus of the moduli space $\mathcal M_g$. This paper deals with the classification of pseudoreal curves according to the structure of their automorphism group. We follow two different approaches existing in the literature: one coming from number theory, dealing more generally with fields of moduli of projective curves, and the other from complex geometry, through the theory of NEC groups. Using the first approach, we prove that the automorphism group of a pseudoreal Riemann surface $X$ is abelian if $X/Z({\rm Aut}(X))$ has genus zero, where $Z({\rm Aut}(X))$ is the center of ${\rm Aut}(X)$. This includes the case of $p$-gonal Riemann surfaces, already known by results of Huggins and Kontogeorgis. By means of the second approach and of elementary properties of group extensions, we show that $X$ is not pseudoreal if the center of $G={\rm Aut}(X)$ is trivial and either ${\rm Out}(G)$ contains no involutions or ${\rm Inn}(G)$ has a group complement in ${\rm Aut}(G)$. This extends and gives an elementary proof (over $\mathbb C$) of a result by Dèbes and Emsalem. Finally, we provide an algorithm, implemented in MAGMA, which classifies the automorphism groups of pseudoreal Riemann surfaces of genus $g\geq 2$, once a list of all groups acting for such genus, with their signature and generating vectors, are given. This program, together with the database provided by J. Paulhus in \cite{Pau15}, allowed us to classifiy pseudoreal Riemann surfaces up to genus $10$, extending previous results by Bujalance, Conder and Costa.

math.AG↗

arXiv2016

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

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

math.AG↗

arXiv2015

Isogenous decomposition of the Jacobian of generalized Fermat curves

A closed Riemann surface $S$ is called a generalized Fermat curve of type $(p,n)$, where $p,n \geq 2$ are integers, if it admits a group $H \cong {\mathbb Z}_{p}^{n}$ of conformal automorphisms so that $S/H$ is an orbifold of genus zero with exactly $n+1$ cone points, each one of order $p$. It is known that $S$ is a fiber product of $(n-1)$ classical Fermat curves of degree $p$ and, for $(p-1)(n-1)>2$, that it is a non-hyperelliptic Riemann surface. In this paper, assuming $p$ to be a prime integer, we provide a decomposition, up to isogeny, of the Jacobian variety $JS$ as a product of Jacobian varieties of certain cyclic $p$-gonal curves. Explicit equations for these $p$-gonal curves 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.

math.AG↗

arXiv2012

Fields of moduli and fields of definition of odd signature curves

Let $X$ be a smooth projective algebraic curve of genus $g\geq 2$ defined over a field $K$. We show that $X$ can be defined over its field of moduli if it has odd signature, i.e. if the signature of the covering $X\to X/\Aut(X)$ is of type $(0;c_1,...,c_k)$, where some $c_i$ appears an odd number of times. This result is applied to $q$-gonal curves and to plane quartics. For $q$-gonal curves, we prove that non-normal $q$-gonal curves can be defined over their field of moduli and we construct examples of normal $q$-gonal curves with field of moduli $\mathbb{R}$ that can not be defined over $\mathbb{R}$. For plane quartics, we prove that they can be defined over their field of moduli if the automorphism group is not isomorphic to either $C_2$ or $C_2\times C_2$.

math.AG↗