arXiv subjects

Rubén A. Hidalgo

Publications and source records attributed to Rubén A. Hidalgo.

27 records · Page 2Linked to original sources

arXiv2019

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

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.

math.AG↗

arXiv2018

Weierstrass weight of the hyperosculating points of generalized Fermat curves

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.

math.AG↗

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↗

arXiv2018

Weierstrass weight of the hyperosculating points of generalized Fermat curves

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

math.AG↗

arXiv2017

An effective descent of arithmetical real algebraic varieties

Let $X$ be a complex smooth 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 ${\mathbb Q}$ so that $Z=R(X)$ is defined over ${\mathbb R} \cap \overline{\mathbb Q}$ and with $T=R \circ L \circ R^{-1}$ being the usual conjugation map.

math.CV↗

arXiv2016

Fields of moduli of classical Humbert curves

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

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↗

arXiv2014

Automorphisms of the Generalized Fermat curves

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}$.

math.AG↗