Endomorphism algebras of Jacobians of certain superelliptic curves

Text

Let p be a prime, and q a power of p. Using Galois theory, we show that over a field K of characteristic zero, the endomorphism algebras of the Jacobians of certain superelliptic curves yq=f(x) are products of cyclotomic fields.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=z5ZzOy1K_Ec.     

Non-isogenous superelliptic Jacobians

Let ℓ be an odd prime. Let K be a field of characteristic zero with algebraic closure K_a. Let n, m ≥ 4 be integers that are not divisible by ℓ. Let f(x), h(x) ∈ K[x] be irreducible separable polynomials of degree n and m respectively. Suppose that the Galois group Gal(f) of f acts doubly transitively on the set of roots of f and that Gal(h) acts doubly transitively on as well. Let J(C_f,ℓ) and J(C_h,ℓ) be the Jacobians of the superelliptic curves C_f,ℓ:y^ℓ=f(x) and C_h,ℓ:y^ℓ=h(x) respectively. We prove that J(C_f,ℓ) and J(C_h,ℓ) are not isogenous over K_a if the splitting fields of f and h are linearly disjoint over K and K contains a primitive ℓth root of unity.     

Transitive Permutation Groups with Cyclic Point Stabilizers of Maximum Order

We prove that a transitive permutation group of degree n with a cyclic point stabilizer and whose order is n(n-1) is isomorphic to the affine group of degree 1 over a field with n elements. More generally we show that if a finite group G has an abelian and core-free Hall subgroup Q, then either Q has a small order (2|Q|² < |G|) or G is a direct product of 2-transitive Frobenius groups.     

Constructing pairing-friendly hyperelliptic curves using Weil restriction

A pairing-friendly curve is a curve over a finite field whose Jacobian has small embedding degree with respect to a large prime-order subgroup. In this paper we construct pairing-friendly genus 2 curves over finite fields Fq whose Jacobians are ordinary and simple, but not absolutely simple. We show that constructing such curves is equivalent to constructing elliptic curves over Fq that become pairing-friendly over a finite extension of Fq. Our main proof technique is Weil restriction of elliptic curves. We describe adaptations of the Cocks-Pinch and Brezing-Weng methods that produce genus 2 curves with the desired properties. Our examples include a parametric family of genus 2 curves whose Jacobians have the smallest recorded ρ-value for simple, non-supersingular abelian surfaces.     

Inertia groups and abelian surfaces

This paper classifies the finite groups that occur as inertia groups associated to abelian surfaces. These groups can be viewed as Galois groups for the smallest totally ramified extension over which an abelian surface over a local field acquires semistable reduction. The results extend earlier elliptic curves results of Serre and Kraus.     

On the automorphisms of Paley's type II Hadamard matrix

In this paper we determine the automorphism group of Paley's type II Hadamard matrix.     

A Peculiar Property of Exceptional Weyl Groups

Let W be a Weyl group and P W, a parabolic subgroup. In this paper, we give the decomposition of the permutation representation Ind _P ^W 1 into irreducibles for each exceptional W and maximal parabolic P. We find that there is an 'extra' common irreducible component which appears for exceptional groups and not for classical groups. This work is motivated by the study of Prym varieties and integrable systems.     

Derived categories and Kummer varieties

We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary and sufficient conditions for the existence of equivalences between the twisted derived categories of two Kummer surfaces in terms of Hodge isometries between the generalized transcendental lattices of the corresponding abelian surfaces.      

Addendum to: Hodge Classes on Self-Products of a Variety with an Automorphism

There are infinitely many fundamentally distinct families of polarized Abelian fourfolds of Weil type with multiplication from the cyclotomic field of cube roots of unity. The Hodge conjecture is shown to hold at a sufficiently general fiber in any of these families.     

Torsion in Mordell-Weil groups of Fermat Jacobians

We study the torsion in the Mordell-Weil group of the Jacobian of the Fermat curve of exponent p over the cyclotomic field obtained by adjoining a primitive p-th root of 1 to Q. We show that for all (except possibly one) proper subfields of this cyclotomic field, the torsion parts of the corresponding Mordell-Weil groups are elementary abelian p-groups.     

The Rank of Abelian Varieties over Infinite Galois Extensions

G. Frey and M. Jarden (1974, Proc. London Math. Soc.28, 112-128) asked if every Abelian variety A defined over a number field k with dim A>0 has infinite rank over the maximal Abelian extension k^ab of k. We verify this for the Jacobians of cyclic covers of P¹, with no hypothesis on the Weierstrass points or on the base field. We also derive an infinite rank criterion by analyzing the ramification of division points of an Abelian variety. As an application, we show that any d -dimensional Abelian variety A over k with a degree n projective embedding over k has infinite rank over the compositum of all extensions of k of degree <n(4d+2).     

Quaternionic Starters

Let m be an integer, m 2 and set n = 2^m. Let G be a non-cyclic group of order 2n admitting a cyclic subgroup of order n. We prove that G always admits a starter and so there exists a one–factorization of K_2n admitting G as an automorphism group acting sharply transitively on vertices. For an arbitrary even n > 2 we also show the existence of a starter in the dicyclic group of order 2n.Research performed within the activity of INdAM–GNSAGA with the financial support of the Italian Ministry MIUR, project Strutture Geometriche, Combinatoria e loro Applicazioni     

On Hypercentral Groups G With |G:G n |<∞

In 1960, Baumslag, following up on work of Cernikov for the 1940s, proved that a hypercentral p-group G with G = G ^p is a divisible Abelian group. In this article, we provide an interesting generalization of this 45 year old result: If a hypercentral p-group G satisfies |G:G ^p |<∞ (of course, it contains G = G ^p ), there exists a normal divisible Abelian subgroup D such that |G:D|<∞.     

Definability of Completely Decomposable Torsion-Free Abelian Groups by Groups of Homomorphisms

Let C be an Abelian group. An Abelian group A in some class of Abelian groups is said to be _C H-definable in the class if, for any group B\in , it follows from the existence of an isomorphism Hom(C,A) Hom(C,B) that there is an isomorphism A B. If every group in is _C H-definable in , then the class is called an _C H-class. In the paper, conditions are studied under which a class of completely decomposable torsion-free Abelian groups is a _C H-class, where C is a completely decomposable torsion-free Abelian group.