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.
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.
Birational automorphism groups in families of hyper-Kähler manifolds
Universität des Saarlandes(萨尔兰州立大学);Università degli Studi di Bologna(博洛尼亚大学);Université Paris Cité and Sorbonne Université, CNRS, IMJ-PRG(巴黎西岱大学和索邦大学,法国国家科学研究中心,IMJ-PRG);National Center for Theoretical Sciences, National Taiwan University(台湾大学理论科学中心)
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.
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 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…
In this paper we show that an affine space is determined by the abstract group structure of its group of regular automorphisms in the category of connected affine varieties. To prove this we study commutative subgroups of the group of automorphisms of affine varieties.
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.
We prove that the closure (for the Zariski topology) of the set of polynomial automorphisms of the complex affine plane whose polydegree is (cd-1,b,a) contains all triangular automorphisms of degree cd+a, where a,b >1 and c>0 are integers and d=ab-1. When b=2, this result gives a family of counterexamples to a conjecture of Furter.
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.
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.$
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 construct for any smooth projective curve of genus $q\ge 2$ with a fixed point free automorphism a nonisotrivial family of curves. Moreover we study the space of modular curves and that of parameters.
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.
We construct k-parameter families of rational surface automorphisms for any k. These are automorphisms of surfaces X, which are constructed from iterated blowups over the projective plane. In certain cases: we are able to determine the exact automorphism group of X, as well as when two of the surfaces X are inequivalent.
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_{…
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 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.
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…
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…
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.
For each group $G$, $(|G| > 2)$ \, which acts as a full automorphism group on a genus 3 hyperelliptic curve, we determine the family of curves which have 2-Weierstrass points. Such families of curves are explicitly determined in terms of the absolute invariants of binary octavics. The 1-dimensional families that we discover have the property that they contain only genus 0 components.
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.
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…
Algebraic entropy of birational automorphism groups in families of hyper-Kähler manifolds
Universität des Saarlandes(萨尔兰州立大学);The University of Tokyo(东京大学);National Taiwan University(台湾大学);Università della Calabria(卡拉布里亚大学);Université de Strasbourg(斯特拉斯堡大学)
Let $G$ be a reductive group. We prove that a family of polynomial actions of $G$ on $\mathbb{C}^2$, holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive group actions on $\mathbb{C}^3$ is linearizable. The main step of our proof is to establish a certain restrictive Oka property for groups of equivariant algebraic automorphisms of $\mathbb{C}^2$.
In this article we study compact Riemann surfaces of genus $g$ with an automorphism of prime order $g+1.$ The main result provides a classification of such surfaces. In addition, we give a description of them as algebraic curves, determine and realise their full automorphism groups and compute their fields of moduli. We also study some aspects of their Jacobian varieties such as isogeny decompositions and complex multiplication. Finally, we determine the period matrix of the Accola-Maclachlan curve of genus four.
In this article, we focus on a new perspective of automorphisms of complex 2-tori, reviewing previous works from a lattice-theoretic point of view. In particular, we give a classification of families of symplectic and non-symplectic automorphisms of prime order.
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)…
We provide explicit families of tame automorphisms of the complex affine three-space which degenerate to wild automorphisms. This shows that the tame subgroup of the group of polynomial automorphisms of $\C^3$ is not closed, when the latter is seen as an infinite dimensional algebraic group.tomorphism group of affine three-space
We study the subvariety of fixed points of an automorphism of a Calogero-Moser space induced by a regular element of finite order of the normalizer of the associated complex reflection group $W$. We determine some of (and conjecturally all) the ${\mathbb{C}}^\times$-fixed points of its unique irreducible component of maximal dimension in terms of the character table of $W$. This is inspired by the mysterious relations between the geometry of Calogero-Moser spaces and unipotent representations of finite reductive groups, which will be the theme of a forthcoming paper.
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…
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.
We classify the bi-canonical representations of finite automorphisms on Enriques surfaces. There are three types of non-trivial cases and examples are given explicitly by Horikawa models. In particular, finite non-semi-symplectic automorphisms exist only in orders 4 and 8. One corollary is that any finite cyclic subgroup in the automorphism group of an Enriques surface has order 1, 2, 3, 4, 5, 6, 8. Moreover, for two of the three types, a uniqueness theorem for maximal-dimensional families is given.
Given a compact connected Riemann surface $X$ of genus $g \geq 2$, and integers $r\geq 2$, $d_p > 0$ and $d_z > 0$, in \cite{BDHW}, a generalized quot scheme ${\mathcal Q}_X(r,d_p,d_z)$ was introduced. Our aim here is to compute the holomorphic automorphism group of ${\mathcal Q}_X(r,d_p,d_z)$. It is shown that the connected component of $\text{Aut}( {\mathcal Q}_X(r,d_p,d_z))$ containing the identity automorphism is $\text{PGL}(r,{\mathbb C})$. As an application of it, we prove that if the generalized quot schemes of two Riemann surfaces are holomorphically isomorphic, then the two Riemann su…
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…
A complex compact surface which carries an automorphism of positive topological entropy has been proved by Cantat to be either a torus, a K3 surface, an Enriques surface or a rational surface. Automorphisms of rational surfaces are quite mysterious and have been recently the object of intensive studies. In this paper, we construct several new examples of automorphisms of rational surfaces with positive topological entropy. We also explain how to define and to count parameters in families of birational maps of the complex projective plane and in families of rational surfaces.
If G is a finite subgroup of the automorphism group of a projective curve X and D is a divisor on X stabilized by G, then under the assumption that D is nonspecial, we compute a simplified formula for the trace of the natural representation of G on Riemann-Roch space L(D).
This thesis studies some examples of families of K3 surfaces with Picard lattices of maximal rank. These families occur as invariants of finite automorphism groups. The Picard-Fuchs differential equations describing the variation of Hodge structure in these families are considered. Techniques are developed to find the corresponding monodromy groups as arithmetic Fuchsian groups acting on the families' period spaces.
We investigate the action of the automorphism group of a closed Riemann surface on its set of theta characteristics (or spin structures). We give criteria for when an automorphism fixes all spin structures, or when it fixes just one. The case of hyperelliptic curves and of the Klein quartic are discussed in detail.
We construct one dimensional families of Abelian surfaces with quaternionic multiplication which also have an automorphism of order three or four. Using Barth's description of the moduli space of (2,4)-polarized Abelian surfaces, we find the Shimura curve parametrizing these Abelian surfaces in a specific case. We explicitly relate these surfaces to the Jacobians of genus two curves studied by Hashimoto and Murabayashi. We also describe a (Humbert) surface in Barth's moduli space which parametrizes Abelian surfaces with real multiplication by Z[\sqrt{2}].
We study the iterative behavior of the family of 3-step linear fractional recurrences and the family of birational maps they define. We determine all the possible periodicities within this family or, equivalently, the birational maps of finite order. This family also contains pseudo-automorphisms of infinite order. One such family consists of completely integrable maps, and another family consists of maps of positive entropy. Both of these families have invariant families of $K3$ surfaces.
In this paper, we construct holomorphic families of Riemann surfaces from Veech groups and characterize their sections by some points of corresponding flat surfaces. The construction gives us concrete solutions for some Diophantine equations over function fields. Moreover, we give upper bounds of the numbers of holomorphic sections of certain holomorphic families of Riemann surfaces.