Article

Riemann surfaces of genus 1 + q2 with 3q2 automorphisms

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract

In this article we classify compact Riemann surfaces of genus 1+q2 with a group of automorphisms of order 3q2, where q is a prime number. We also study decompositions of the corresponding Jacobian varieties.

No full-text available

Request Full-text Paper PDF

To read the full-text of this research,
you can request a copy directly from the authors.

Preprint
Full-text available
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.
Article
Full-text available
We classify compact Riemann surfaces of genus g, where g1g-1 is a prime p, which have a group of automorphisms of order ρ(g1)\rho(g-1) for some integer ρ1\rho\ge 1, and determine isogeny decompositions of the corresponding Jacobian varieties. This extends results of Belolipetzky and the second author for ρ>6\rho>6, and of the first and third authors for ρ=\rho= 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-p, with automorphism group of order divisible by the prime p; this extends results of Conder, Širáň and Tucker for maps.
Article
Full-text available
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 numbers of automorphisms.
Article
Full-text available
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.
Article
Full-text available
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.
Article
Full-text available
Bujalance, Costa and Izquierdo have recently proved that all those Riemann surfaces of genus g2g \ge 2 different from 3,6,12,153, 6, 12, 15 and 30, with exactly 4g automorphisms form an equisymmetric one-dimensional family, denoted by Fg.\mathcal{F}_g. In this paper, for every prime number q5,q \ge 5, we explore further properties of each Riemann surface S in Fq\mathcal{F}_q as well as of its Jacobian variety $JS.
Article
Full-text available
Let S be a compact Riemann surface and let H be a finite group. It is known that if H acts on S then there is a H-equivariant isogeny decomposition of the Jacobian variety JS of S, called the group algebra decomposition of JS with respect to H. If S1S2S_1 \to S_2 is a regular covering map, then it is also known that the group algebra decomposition of JS1JS_1 induces an isogeny decomposition of JS2.JS_2. In this article we deal with the converse situation. More precisely, we prove that the group algebra decomposition can be lifted under regular covering maps, under appropriate conditions.
Article
Full-text available
In this short paper we generalise a theorem due to Kani and Rosen on decomposition of Jacobian varieties of Riemann surfaces with group action. This generalisation extends the set of Jacobians for which it is possible to obtain an isogeny decomposition where all the factors are Jacobians.
Article
Full-text available
It is well known that every closed Riemann surface S of genus g≥2, admitting a group G of conformal automorphisms so that S/G has triangular signature, can be defined over a finite extension of ℚ. It is interesting to know, in terms of the algebraic structure of G, if S can in fact be defined over ℚ. This is the situation if G is either abelian or isomorphic to A⋊ℤ2, where A is an abelian group. On the other hand, as shown by Streit and Wolfart, if G≅ℤp⋊ℤq, where p,q>3 are prime integers, then S is not necessarily definable over ℚ. In this paper, we observe that if G≅ℤ2² ⋊ ℤm with m≥3, then S can be defined over 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.
Article
Full-text available
Given a compact Riemann surface X with an action of a finite group G, the group algebra \QQ[G] provides an isogenous decomposition of its Jacobian variety JX, known as the group algebra decomposition of JX. We consider the set of equisymmetric Riemann surfaces M(2n1,D2n,θ)\mathcal{M}(2n-1, D_{2n}, \theta) for all n2n\geq 2. We study the group algebra decomposition of the Jacobian JX of every curve XM(2n1,D2n,θ)X\in \mathcal{M}(2n-1, D_{2n},\theta) for all admissible actions, and we provide affine models for them. We use the topological equivalence of actions on the curves to obtain facts regarding its Jacobians. We describe some of the factors of JX as Jacobian (or Prym) varieties of intermediate coverings. Finally, we compute the dimension of the corresponding Shimura domains.
Article
Full-text available
The Prym variety of a pair of coverings is defined roughly speaking as the comple- ment of the Prym variety of one morphism in the Prym variety of another morphism. We show that this definition is symmetric and give conditions when such a Prym variety is isogenous to an ordinary Prym variety or to another such Prym variety. Moreover in order to show that these varieties actually occur we compute the isogeny decomposition of the Jacobian variety of a curve with an action of the symmetric group S5.
Article
Full-text available
Article
Full-text available
Consider a finite group G acting on a Riemann surface S, and the associated branched Galois cover πG:SY=S/G\pi_G:S \to Y=S/G. We introduce the concept of geometric signature for the action of G, and we show that it captures the information of the geometric structure of the lattice of intermediate covers, the information about the isotypical decomposition of the rational representation of the group G acting on the Jacobian variety JS of S, and the dimension of the subvarieties of the isogeny decomposition of JS. We also give a version of Riemann's existence theorem, adjusted to the present setting.
Article
Full-text available
We show that if S\cal S is a compact Riemann surface of genus g=p+1g = p+1, where p is prime, with a group of automorphisms G such that Gλ(g1)|G|\geq\lambda(g-1) for some real number λ>6\lambda>6, then for all sufficiently large p (depending on λ\lambda), S\cal S and G lie in one of six infinite sequences of examples. In particular, if λ=8\lambda=8 then this holds for all p17p\geq 17 and we obtain the largest groups of automorphisms of Riemann surfaces of genenera g=p+1.
Article
Full-text available
Let G be a finite group acting on a smooth projective curve X. This induces an action of G on the Jacobian JX of X and thus a decomposition of JX up to isogeny. The most prominent example of such a situation is the group G of two elements. Let X --> Y denote the corresponding quotient map. Then JX is isogenous to the product of JY with the Prym variety of X/Y. In this paper some general results on group actions on abelian varieties are given and applied to deduce a decomposition of the jacobian JX for arbitrary group actions. Several examples are given.
Article
Given a compact Riemann surface X with an action of a finite group G, the group algebra Q[G] provides an isogenous decomposition of its Jacobian variety JX, known as the group algebra decomposition of JX. We obtain a method to concretely build a decomposition of this kind. Our method allows us to study the geometry of the decomposition. For instance, we build several decompositions in order to determine which one has kernel of smallest order. We apply this method to families of trigonal curves up to genus 10.
Article
Conder and the author (Conder and Ma, 2015) studied the orientably-regular maps with simple underlying graphs and showed that there exists at least one orientably-regular map of genus g⁄≡2mod6 with simple underlying graph, and Conder conjectured that there exists at least one for every positive integer g. In this paper, we give a classification of all orientably-regular maps of Euler characteristic −2p2 for prime p (equivalently, of genus p2+1). As a result, this gives concrete examples of orientably-regular maps of genus g≡2mod6 as p2+1≡2mod6 for p>3.
Article
This paper computes the Galois group of the Galois cover of the composition of an étale double cover of a cyclic p-gonal cover for any prime p. Moreover a relation between some of its Prym varieties and the Jacobian of a subcover is given. In a sense this generalizes the trigonal construction.
Article
Abelian varieties are special examples of projective varieties. As such they can be described by a set of homogeneous polynomial equations. The theory of abelian varieties originated in the beginning of the ninetheenth centrury with the work of Abel and Jacobi. The subject of this book is the theory of abelian varieties over the field of complex numbers, and it covers the main results of the theory, both classic and recent, in modern language. It is intended to give a comprehensive introduction to the field, but also to serve as a reference. The focal topics are the projective embeddings of an abelian variety, their equations and geometric properties. Moreover several moduli spaces of abelian varieties with additional structure are constructed. Some special results onJacobians and Prym varieties allow applications to the theory of algebraic curves. The main tools for the proofs are the theta group of a line bundle, introduced by Mumford, and the characteristics, to be associated to any nondegenerate line bundle. They are a direct generalization of the classical notion of characteristics of theta functions. The second edition contains five new chapters which present some of the most important recent result on the subject. Among them are results on automorphisms and vector bundles on abelian varieties, algebraic cycles and the Hodge conjecture.
Article
We prove that the maximal number ag+b of automorphisms of equisymmetric and complex-uniparametric families of Riemann surfaces appearing in all genera is 4g+4. For each integer g2g\ge 2 we find an equisymmetric complex-uniparametric family Ag{\mathcal {A}}_{g} of Riemann surfaces of genus g having automorphism group of order 4g+4. For g1mod4g\equiv -1\,{\mathrm {mod}}\,4 we present another uniparametric family Kg{\mathcal {K}}_{g} with automorphism group of order 4g+4. The family Ag{\mathcal {A}}_{g} contains the Accola–Maclachlan surface and the family Kg{\mathcal {K}}_{g} contains the Kulkarni surface.
Article
We determine, for all genus the Riemann surfaces of genus g with exactly 4g automorphisms. For g≠ or 30, these surfaces form a real Riemann surface in the moduli space : the Riemann sphere with three punctures. We obtain the automorphism groups and extended automorphism groups of the surfaces in the family. Furthermore we determine the topological types of the real forms of real Riemann surfaces in . The set of real Riemann surfaces in consists of three intervals its closure in the Deligne-Mumford compactification of is a closed Jordan curve. We describe the nodal surfaces that are limits of real Riemann surfaces in .
Article
We present a new technique to study Jacobian variety decompositions using subgroups of the automorphism group of the curve and the corresponding intermediate covers. In particular, this new method allows us to produce many new examples of genera for which there is a curve with completely decomposable Jacobian. These examples greatly extend the list given by Ekedahl and Serre of genera containing such curves, and provide more evidence for a positive answer to two questions they asked. Additionally, we produce new examples of families of curves, all of which have completely decomposable Jacobian varieties. These families relate to questions about special subvarieties in the moduli space of principally polarized abelian varieties.
Chapter
An abelian variety is by definition a complex torus admitting a positive definite line bundle. The Riemann Relations are necessary and sufficient conditions for a complex torus to be an abelian variety. They were given by Riemann in the special case of the Jacobian variety of a curve (see Chapter 11). For the general statement we refer to Poincaré-Picard [1] and Frobenius [2], although it was apparently known to Riemann and Weierstraß. Another characterization of abelian varieties is due to Lefschetz [1] p. 367: a complex torus is an abelian variety if and only if it admits the structure of an algebraic variety. Lefschetz showed that if L is a positive definite line bundle on a complex torus X, then L n is very ample for any n ≥ 3, i.e. the map φL n : X → ℙN associated to the line bundle L n is an embedding.
Article
We describe the action of the full automorphisms group on the Fermat curve of degree N. For N prime, we obtain the group algebra decomposition of the corresponding Jacobian variety.
Article
Let W be a projective, irreducible and smooth curve defined over ℂ. Assume that the symmetric group S 3 acts on W as group of automorphisms. Under these conditions we show that the Jacobian of W can be canonically decomposed into a product of geometric factors such that, on each of them, S 3 acts precisely via one of its complex irreducible representations. The given decomposition is an S 3 -equivariant isogeny. We also give the kernel of this isogeny and the polarization type of each abelian variety appearing as a factor in the decomposition.
Article
A hyperelliptic integral is by definition an integral of the form γdzf(z),\int\limits_\gamma {\frac{{dz}}{{\sqrt {f(z)} }},} where γ is a path in the complex plane ℂ with coordinate z and f(z) = (z - a 1) ... (z - a d ) with pairwise different constants a i If d = deg f is 1 or 2, an explicit integration by elementary functions is well known from calculus. If d = 3 or 4, integration is possible using elliptic functions. If however d ≥ 5, no explicit integration is known in general.
Article
This paper deals with the algebraic classification of non-euclidean plane crystallographic groups (NEC groups, for short) with compact quotient space. The groups considered are the discrete groups of motions of the Lobatschewsky or hyperbolic plane, including those which contain orientation-reversing reflections and glide-reflections. The corresponding problem for Fuchsian groups, which contain only orientable transformations, is essentially solved in the work of Fricke and Klein ( 6 ).
Article
The problem of classifying all finite group actions, up to topological equivalence, on a surface of low genus is considered. Several new examples of construction and classification of actions are given. A program for enumerating all finite group actions on a surface of low genus is outlined and the complete classification is worked out for genus 2 and 3. As a by-product all conjugacy classes of finite subgroups of mapping class groups for genus 2 and 3 are determined.
Article
A stratification of the moduli space into strata consisting of the Riemann surfaces of the same symmetry type is discussed. The stratification is then employed to determine the Krull dimension of the mod p cohomology algebras of mapping class groups.
Article
Consider a sequenceN a,b :g ↦ag+b, g=2,3,… wherea, b are rational numbers anda≥0. We say thatN a,b is admissible if for infinitely manyg’s there exists a finite groupG of orientation-preserving homeomorphisms of a compact orientable surface of genusg such that |G|=N a,b (g). In this case we shall also say thatG belongs toN a,b . The main result of the paper is that ifa+b≠0, then any group belonging toN a,b contains a cyclic subgroup of bounded index, where the bound depends only ona,b. Moreovera+b is positive, and 2b/a is an integer. This implies, for instance, that there are only finitely many possibilities for perfect subgroups or quotient groups of groups belonging toN a,b .
Article
This paper uses combinatorial group theory to help answer some long-standing questions about the genera of orientable surfaces that carry particular kinds of regular maps. By classifying all orientably-regular maps whose automorphism group has order coprime to g −1, where g is the genus, all orientably-regular maps of genus p+1 for p prime are determined. As a consequence, it is shown that orientable surfaces of infinitely many genera carry no regular map that is chiral (irreflexible), and that orientable surfaces of infinitely many genera carry no reflexible regular map with simple underlying graph. Another consequence is a simpler proof of the Breda–Nedela–Širáň classification of non-orientable regular maps of Euler characteristic −p where p is prime.
Article
The object of this paper is to prove some general results about rational idempotents for a finite group G and deduce from them geometric information about the components that appear in the decomposition of the Jacobian variety of a curve with GG-action. We give an algorithm to find explicit primitive rational idempotents for any G, as well as for rational projectors invariant under any given subgroup. These explicit constructions allow geometric descriptions of the factors appearing in the decomposition of a Jacobian with group action: from them we deduce the decomposition of any Prym or Jacobian variety of an intermediate cover, in the case of a Jacobian with GG-action. In particular, we give a necessary and sufficient condition for a Prym variety of an intermediate cover to be such a factor.