This note uses some recent calculations of Conder and Bujalance (on classifying finite index group extensions of Fuchsian groups with abelian quotient and torsion free kernel) in order to determine the full automorphism groups of some cylic coverings of the line (including curves of Fermat and Lefschetz type). The answer is complete for cyclic covers that branch over three points.
In this article we prove that the full automorphism group of a cyclic $p$-gonal pseudo-real Riemann surface of genus $g$ is either a semidirect product $C_{n}\ltimes C_{p}$ or a cyclic group, where $p$ is a prime $>2$ and $g>(p-1)^{2}$. We obtain necessary and sufficient conditions for the existence of a cyclic $p$-gonal pseudo-real Riemann surface with full\ automorphism group isomorphic to a given finite group. Finally we describe some families of cyclic $p$-gonal pseudo-real Riemann surfaces where the order of the full automorphism group is maximal and show that such families determine some…
If $p$ is prime, a compact Riemann surface $X$ of genus $g\geq 2$ is called cyclic $p$-gonal if it admits a cyclic group of automorphisms $C_{p}$ of order $p$ such that the quotient space $X/C_{p}$ has genus 0. If in addition $C_{p}$ is not normal in the full automorphism $G$, then we call $G$ a non-normal cyclic $p$-gonal group. In the following we classify all non-normal $p$-gonal groups.
In this work we compute the Dixmier invariants and bitangents of the plane quartics with 3,6 or 9-cyclic automorphisms, we find that a quartic curve with 6-cyclic automorphism will have 3 horizontal bitangents which form an asysgetic triple. We also discuss the linear matrix representation problem of such curves, and find a degree 6 equation of 1 variable which solves the symbolic solution of the linear matrix representation problem for the curve with 6-cyclic automorphism.
We show that for every g > 1 there is a compact arithmetic Riemann surface of genus g with at least 4(g-1) automorphisms, and that this lower bound is attained by infinitely many genera, the smallest being 24.
We study the order of automorphism groups of cyclic covering fibrations of a ruled surface. Arakawa and later Chen studied it for hyperelliptic fibrations and gave the upper bound. The purpose of present paper is to pursue the analog for cyclic covering fibrations.
In this paper, we list all cyclic automorphisms subgroups $H$ for which there exists a smooth projective non-hyperelliptic sextic curve $C$ with $H\preceq Aut(C)$. Furthermore, we attach to each group a defining equation of a plane sextic curve having exactly this group as cyclic automorphisms subgroup. These equations cover up to isomorphism all plane non-singular sextic curves having some non-trivial automorphism.
We study integral representations of holomorphic differentials on the Oort-Sekiguci-Suwa component of deformations of curves with cyclic group actions.
We determine all possible orders of automorphisms of complex K3 surfaces. A positive integer N is the order of an automorphism of a complex K3 surface if and only if $ϕ(N) \leq 20$ where $ϕ$ is the Euler function.
For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant deformation theory and automorphism groups for complex cyclic coverings. The proof uses the decomposition of the sheaf of differential forms due to Esnault and Viehweg. In positive characteristics, a lifting criterion of automorphisms reduces the faithfulness problem to characteristic zero. To apply this criterion, we prove the degeneration of the Hodge-de Rha…
Let X be a smooth projective hyperelliptic curve over an algeraically closed field k of prime characteristic p. The aim of this note is to find necessary and sufficient conditions on the automorphism group of the curve X to be lifted to characteristic zero. The results will be generalised for a certain family of curves that we call cyclic curves.
We study slopes of finite cyclic covering fibrations of a fibered surface. We give the best possible lower bound of the slope of these fibrations. We also give the slope equality of finite cyclic covering fibrations of a ruled surface and observe the local concentration of the global signature of these surfaces on a finite number of fiber germs. We also give an upper bound of the slope of finite cyclic covering fibrations of a ruled surface.
In this paper we classify all Riemann surfaces having a large abelian group of automorphisms, that is having an abelian group of automorphism of order strictly bigger then $4(g-1)$, where $g$ denotes as usual the genus of the Riemann surface.
In this article we study compact Riemann surfaces with a non-large group of automorphisms of maximal order; namely, compact Riemann surfaces of genus $g$ with a group of automorphisms of order $4g-4.$ Under the assumption that $g-1$ is prime, we provide a complete classification of them and determine isogeny decompositions of the corresponding Jacobian varieties.
In this article we classify compact Riemann surfaces of genus $1+q^2$ with a group of automorphisms of order $3q^2,$ where $q$ is a prime number. We also study decompositions of the corresponding Jacobian varieties.
In previous work we determined automorphism groups of cyclic algebraic curves defined over fields of any odd characteristic. In this paper we determine parametric equations of families of curves for each automorphism group for such curves.
We determine, for all genus $g\geq2$ the Riemann surfaces of genus $g$ with $4g$ automorphisms. For $g\neq$ $3,6,12,15$ or $30$, this surfaces form a real Riemann surface $\mathcal{F}_{g}$ in the moduli space $\mathcal{M}_{g}$: the Riemann sphere with three punctures. The set of real Riemann surfaces in $\mathcal{F}_{g}$ consists of three intervals its closure in the Deligne-Mumford compactification of $\mathcal{M}_{g}$ is a closed Jordan curve.
Belolipetsky and Jones classified those compact Riemann surfaces of genus $g$ admitting a large group of automorphisms of order $λ(g-1)$, for each $λ>6,$ under the assumption that $g-1$ is a prime number. In this article we study the remaining large cases; namely, we classify Riemann surfaces admitting $5(g-1)$ and $6(g-1)$ automorphisms, with $g-1$ a prime number. As a consequence, we obtain the classification of Riemann surfaces admitting a group of automorphisms of order $3(g-1)$, with $g-1$ a prime number. We also provide isogeny decompositions of their Jacobian varieties.
We construct configuration spaces for cyclic covers of the projective line that admit extra automorphisms and we describe the locus of curves with given automorphism group. As an application we provide examples of arbitrary high genus that are defined over their field of moduli and are not hyperelliptic.
We present an algorithm for computing equations of canonically embedded Riemann surfaces with automorphisms. A variant of this algorithm with many heuristic improvements is used to produce equations of Riemann surfaces $X$ with large automorphism groups (that is, $|\mathrm{Aut}(X)| > 4(g_X-1)$) for genus $4 \leq g_X \leq 7$. The main tools are the Eichler trace formula for the character of the action of $\mathrm{Aut}(X)$ on holomorphic differentials, algorithms for producing matrix generators of a representation of a finite group with a specified irreducible character, and Gröbner basis techni…
We classify all the K3 surfaces which are minimal models of the quotient of the product of two curves $C_1\times C_2$ by the diagonal action of either the group $\Z/p\Z$ or the group $\Z/2p\Z$. These K3 surfaces admit a non-symplectic automorphism of order $p$ induced by an automorphism of one of the curves $C_1$ or $C_2$. We prove that most of the K3 surfaces admitting a non-symplectic automorphism of order $p$ (and in fact a maximal irreducible component of the moduli space of K3 surfaces with a non-symplectic automorphism of order $p$) are obtained in this way.\\ In addition, we show that o…
In this article we determine the maximal possible order of the automorphism group of the form $ag + b$, where $a$ and $b$ are integers, of a complex three and four-dimensional family of compact Riemann surfaces of genus $g$, appearing for all genus. In addition, we construct and describe explicit complex three and four-dimensional families possessing these maximal number of automorphisms.
We compute the automorphism groups of the Dolbeault, de Rham and Betti moduli spaces for the multiplicative group ${\mathbb C}^*$ associated to a compact connected Riemann surface.
In this article we extend results of Zomorrodian to determine upper bounds for the order of a nilpotent group of automorphisms of a complex $d$-dimensional family of compact Riemann surfaces, where $d \geqslant 1.$ We provide conditions under which these bounds are sharp. In addition, for the one-dimensional case we construct and describe an explicit family attaining the bound for infinitely many genera. We obtain similar results for the case of $p$-groups of automorphisms.
This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along the way, we obtain an arithmetic criterion for the existence of a hyperelliptic descent. The obstruction is described by the so-called arithmetic dihedral invariants of the curves in question. If it vanishes, then the use of these invariants also allows the explicit determination of a model over the field of moduli; if not, then one obtains a hyperelliptic mo…
The present work completes the classification of the compact Riemann surfaces of genus g with an analytic automorphism of order p (prime number) and p > g. More precisely, we construct a parameteriza- tion space for them, we compute their groups of uniformization and we compute their full automorphism groups. Also, we give affine equations for special cases and some implications on the components of the singular locus of the moduli space of smooth curves of genus g.
We classify compact Riemann surfaces of genus $g$, where $g-1$ is a prime $p$, which have a group of automorphisms of order $ρ(g-1)$ for some integer $ρ\ge 1$, and determine isogeny decompositions of the corresponding Jacobian varieties. This extends results of Belolipetzky and the second author for $ρ>6$, and of the first and third authors for $ρ=3, 4, 5$ and $6$. As a corollary we classify the orientably regular hypermaps (including maps) of genus $p+1$, together with the non-orientable regular hypermaps of characteristic $-p$, with automorphism group of order divisible by the prime $p$; thi…
Bujalance, Costa and Izquierdo have recently proved that all those Riemann surfaces of genus $g \ge 2$ different from $3, 6, 12, 15$ and 30, with exactly $4g$ automorphisms form an equisymmetric one-dimensional family, denoted by $\mathcal{F}_g.$ In this paper, for every prime number $q \ge 5,$ we explore further properties of each Riemann surface $S$ in $\mathcal{F}_q$ as well as of its Jacobian variety $JS.$
Let $k$ be an algebraically closed field of positive characteristic $p>0$ and $C \to {\mathbb P}^1_k$ a $p$-cyclic cover of the projective line ramified in exactly one point. We are interested in the $p$-part of the full automorphism group $Aut_k C$. First we prove that these groups are exactly the extra-special $p$-groups and groups G which are subgroups of an extra-special group E such that $Z(E) \subseteq G$. The paper also describes an efficient algorithm to compute the $p$-part of $\Aut_k C$ starting from an Artin-Schreier equation for the cover $C \to {\mathbb P}^1_k$. The interest for t…
Let $X$ be a compact Riemann surface of genus $g\geq 2$, and let $G$ be a subgroup of $Aut(X)$. We show that if the Sylow $2$-subgroups of $G$ are cyclic, then $|G|\leq 30(g-1)$. If all Sylow subgroups of $G$ are cyclic, then, with two exceptions, $|G|\leq 10(g-1)$. More generally, if $G$ is metacyclic, then, with one exception, $|G|\leq 12(g-1)$. Each of these bounds is attained for infinitely many values of $g$.
Let $X$ be a compact Riemann surface of genus $g\geq 2$, and let $Aut(X)$ be its group of automorphims. We show that the exponent of $Aut(X)$ is bounded by $42(g-1)$. We also determine explicitly the infinitely many values of $g$ for which this bound is reached and the corresponding groups. Finally we discuss related questions for subgroups $G$ of $Aut(X)$ that are subject to additional conditions, for example being solvable.
A Riemann surface $\mathcal{S}$ having field of moduli $\mathbb{R}$, but not a field of definition, is called \emph{pseudoreal}. This means that $\mathcal{S}$ has anticonformal automorphisms, but non of them is an involution. We call a Riemann surface $\mathcal{S}$ \emph{plane} if it can be described by a smooth plane model of some degree $d\geq4$ in $\mathbb{P}^2_{\mathbb{C}}$. We characterize pseudoreal-plane Riemann surfaces $\mathcal{S}$, whose conformal automorphism group $\operatorname{Aut}_+(\mathcal{S})$ is $\operatorname{PGL}_3(\mathbb{C})$-conjugate to a finite non-trivial group $G$ …
We prove that the Fano variety of lines of a cuspidal cyclic cubic fourfold is a symplectic variety with transversal A2-singularities and we study the properties of the nonsymplectic order three automorphism induced by the covering automorphism on the irreducible holomorphic symplectic manifold obtained by blowing up the singular locus.
We study the deformation theory of nonsigular projective curves defined over algebraic closed fields of positive characteristic. We show that under some assumptions the local deformation problem for automorphisms of powerseries can be reduced to a deformation problem for matrix representations. We study both equicharacteristic and mixed deformations in the case of two dimensional representations.
Let $X$ be a compact Riemann surface of genus $g\geq 2$. Let $Aut(X)$ be its group of automorphisms and $G\subseteq Aut(X)$ a subgroup. Sharp upper bounds for $|G|$ in terms of $g$ are known if $G$ belongs to certain classes of groups, e.g. solvable, supersolvable, nilpotent, metabelian, metacyclic, abelian, cyclic. We refine these results by finding similar bounds for groups of odd order that are of these types. We also add more types of solvable groups to that long list by establishing the optimal bounds for, among others, groups of order $p^m q^n$. Moreover, we show that Zomorrodian's bound…
It is known that an automorphism group of a K3 surface with Picard number two is either infinite cyclic group or infinite dihedral group if it is infinite. In this paper, we study the generators of an automorphism group. We use the eigenvector corresponding to the spectral radius of an automorphism of infinite order to determine the generators. We also determine whether an automorphism group is the infinite cyclic group or the infinite dihedral group with several examples.
In this paper we study the automorphism groups of real curves admitting a regular meromorphic function $f$ of degree $p$, so called real cyclic $p$-gonal curves. When $p=2$ the automorphism groups of real hyperelliptic curves where given by Bujalance et al. in \cite{BCGG}.
A cyclic $n$-gonal surface is a compact Riemann surface $X$ of genus $g\geq 2$ admitting a cyclic group of conformal automorphisms $C$ of order $n$ such that the quotient space $X/C$ has genus 0. In this paper, we provide an overview of ongoing research into automorphism groups of cyclic $n$-gonal surfaces. Much of the paper is expository or will appear in forthcoming papers, so proofs are usually omitted. Numerous explicit examples are presented illustrating the computational methods currently being used to study these surfaces.
We determine explicitly the structure of the automorphism group of a parabolic Inoue surface. We also describe the quotients of the surface by typical cyclic subgroups of the automorphism group.
Let $X$ be a compact Riemann surface of genus $g\geq 2$. A cyclic subgroup of prime order $p$ of $Aut(X)$ is called properly $(p,h)$-gonal if it has a fixed point and the quotient surface has genus $h$. We show that if $p>6h+6$, then a properly $(p,h)$-gonal subgroup of $Aut(X)$ is unique. We also discuss some related results.
By employing the theory of vector-valued automorphic forms for non-unitarizable representations, we provide a new bound for the number of linear relations with algebraic coefficients between the periods of an algebraic Riemann surface with many automorphisms. The previous best-known general bound for this number was the genus of the Riemann surface, a result due to Wolfart. Our new bound significantly improves on this estimate, and it can be computed explicitly from the canonical representation of the Riemann surface. As observed by Shiga and Wolfart, this bound may then be used to estimate th…
We produce for each natural number $n \geq 3$ two 1--parameter families of Riemann surfaces admitting automorphism groups with two cyclic subgroups $H_{1}$ and $H_{2}$ of orden $2^{n}$, that are conjugate in the group of orientation--preserving homeomorphism of the corresponding Riemann surfaces, but not conjugate in the group of conformal automorphisms. This property implies that the subvariety $\mathcal{M}_{g}(H_{1})$ of the moduli space $\mathcal{M}_{g}$ consisting of the points representing the Riemann surfaces of genus $g$ admitting a group of automorphisms topologically conjugate to $H_{…
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…
Let X be a compact connected Riemann surface of genus at least two. Fix positive integers r and d. Let Q denote the Quot scheme that parametrizes the torsion quotients of {\mathcal O}^{\oplus r}_X of degree d. This Q is also the moduli space of vortices for the standard action of U(r) on {\mathbb C}^r. The group \text{PGL}(r, {\mathbb C}) acts on Q via the action of $\text{GL}(r, {\mathbb C})$ on ${\mathcal O}^{\oplus r}_X$. We prove that this subgroup $\text{PGL}(r, {\mathbb C})$ is the connected component, containing the identity element, of the holomorphic automorphism group Aut(\mathcal Q)…
A geometric characterization of the structure of the group of automorphisms of an arbitrary Birkhoff-Grothendieck bundle splitting $\bigoplus_{i=1}^{r} \mathcal(m_{i})$ over $\mathbb{C}\mathbb{P}^{1}$ is provided, in terms of its action on a suitable space of generalized flags in the fibers over a finite subset $S\subset\mathbb{C}\mathbb{P}^{1}$. The relevance of such characterization derives from the possibility of constructing geometric models for diverse moduli spaces of stable objects in genus 0, such as parabolic bundles, parabolic Higgs bundles, and logarithmic connections, as collection…
We prove that the automorphism group of a Calabi-Yau threefold with Picard number three is either finite, or isomorphic to the infinite cyclic group up to finite kernel and cokernel.