BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Tim Dokchitser appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let $G$ be a finite group and $N<G$ a normal subgroup with $G/N$ abelian. We show how the conjugacy classes of $G$ in a given coset $qN$ relate to the irreducible characters of $G$ that are not identically $0$ on $qN$. We describe several consequences. In particular, we deduce that when $G/N$ is cyclic generated by $q$, the number of irreducible characters of $N$ that extend to $G$ is the number of conjugacy classes of $G$ in $qN$.
Let C be a smooth projective curve over a discretely valued field K, defined by an affine equation f(x,y)=0. We construct a model of C over the ring of integers of K using a toroidal embedding associated to the Newton polygon of f. We show that under 'generic' conditions it is regular with normal crossings, and determine when it is minimal, the global sections of its relative dualising sheaf, and the tame part of the first etale cohomology of C.
Fix a positive integer $g$ and a squarefree integer $m$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $m$ representation of its Jacobian is tame. The method is to analyse the period matrices of hyperelliptic Mumford curves, which could be of independent interest. As an application, we study the tame version of the inverse Galois problem for symplectic matrix groups over finite fields.
Let C/K be a curve over a local field. We study the natural semilinear action of Galois on the minimal regular model of C over a field F where it becomes semistable. This allows us to describe the Galois action on the l-adic Tate module of the Jacobian of C/K in terms of the special fibre of this model over F.
We give an algorithm to compute the conductor for curves of genus 2. It is based on the analysis of 3-torsion of the Jacobian for genus 2 curves over 2-adic fields.
We study hyperelliptic curves y^2=f(x) over local fields of odd residue characteristic. We introduce the notion of a "cluster picture" associated to the curve, that describes the p-adic distances between the roots of f(x), and show that this elementary combinatorial object encodes the curve's Galois representation, conductor, whether the curve is semistable, and if so, the special fibre of its minimal regular model, the discriminant of its minimal Weierstrass equation and other invariants.
In this paper, we explore three combinatorial descriptions of semistable types of hyperelliptic curves over local fields: dual graphs, their quotient trees by the hyperelliptic involution, and configurations of the roots of the defining equation (`cluster pictures'). We construct explicit combinatorial one-to-one correspondences between the three, which furthermore respect automorphisms and allow to keep track of the monodromy pairing and the Tamagawa group of the Jacobian. We introduce a classification scheme and a naming convention for semistable types of hyperelliptic curves and types with a Frobenius action. This is the higher genus analogue of the distinction between good, split and non-split multiplicative reduction for elliptic curves. Our motivation is to understand $L$-factors, Galois representations, conductors, Tamagawa numbers and other local invariants of hyperelliptic curves and their Jacobians.
We study hyperelliptic curves C with an action of an affine group of automorphisms G. We establish a closed form expression for the quotient curve C/G and for the first etale cohomology group of C as a representation of G. The motivation comes from the arithmetic of hyperelliptic curves over local fields, specifically their local Galois representations and the associated invariants.
If G is a non-cyclic finite group, non-isomorphic G-sets X, Y may give rise to isomorphic permutation representations C[X] and C[Y]. Equivalently, the map from the Burnside ring to the representation ring of G has a kernel. Its elements are called Brauer relations, and the purpose of this paper is to classify them in all finite groups, extending the Tornehave-Bouc classification in the case of p-groups.
We investigate the question which Q-valued characters and characters of Q-representations of finite groups are Z-linear combinations of permutation characters. This question is known to reduce to that for quasi-elementary groups, and we give a solution in that case. As one of the applications, we exhibit a family of simple groups with rational representations whose smallest multiple that is a permutation representation can be arbitrarily large.
We remark that Tate's algorithm to determine the minimal model of an elliptic curve can be stated in a way that characterises Kodaira types from the minimum of v(a_i)/i. As an application, we deduce the behaviour of Kodaira types in tame extensions of local fields.
This is the second in a series of papers investigating the space of Brauer relations of a finite group, the kernel of the natural map from its Burnside ring to the rational representation ring. The first paper classified all primitive Brauer relations, that is those that do not come from proper subquotients. In the case of quasi-elementary groups the description is intricate, and it does not specify groups that have primitive relations in terms of generators and relations. In this paper we do this for quasi-elementary groups of order p^aq.
We study the growth of the Tate-Shafarevich and p-infinity Selmer groups for isogenous abelian varieties in towers of number fields, with an emphasis on elliptic curves. The growth types are usually exponential, as in the setting of `positive mu-invariant' in Iwasawa theory of elliptic curves. The towers we consider are p-adic and l-adic Lie extensions for l<>p, in particular cyclotomic and other Z_l-extensions.
We investigate how various invariants of elliptic curves, such as the discriminant, Kodaira type, Tamagawa number and real and complex periods, change under an isogeny of prime degree p. For elliptic curves over l-adic fields, the classification is almost complete (the exception is wild potentially supersingular reduction when l=p), and is summarised in a table.
The aim of the present paper is to give evidence, largely numerical, in support of the non-commutative main conjecture of Iwasawa theory for the motive of a primitive modular form of weight k>2 over the Galois extension of Q obtained by adjoining to Q all p-power roots of unity, and all p-power roots of a fixed integer m>1. The predictions of the main conjecture are rather intricate in this case because there is more than one critical point, and also there is no canonical choice of periods. Nevertheless, our numerical data agrees perfectly with all aspects of the main conjecture, including Kato's mysterious congruence between the cyclotomic Manin p-adic L-function, and the cyclotomic p-adic L-function of a twist of the motive by a certain non-abelian Artin character of the Galois group of this extension.
This is an expository article, based on a lecture course given at CRM Barcelona in December 2009. The purpose of these notes is to prove, in a reasonably self-contained way, that finiteness of the Tate-Shafarevich group implies the parity conjecture for elliptic curves over number fields. Along the way, we review local and global root numbers of elliptic curves and their classification, and discuss some peculiar consequences of the parity conjecture.
We show that a Frobenius-semisimple Weil representation over a local field K is determined by its Euler factors over the extensions of K. The construction is explicit, and we illustrate it for l-adic representations attached to elliptic and genus 2 curves. As an application, we construct an absolutely simple 2-dimensional abelian variety over Q all of whose quadratic twists must have positive rank, according to the Birch-Swinnerton-Dyer conjecture.
We present a method to determine Frobenius elements in arbitrary Galois extensions of global fields, which may be seen as a generalisation of Euler's criterion. It is a part of the general question how to compare splitting fields and identify conjugacy classes in Galois groups, that we will discuss as well.
For an elliptic curve E over Q, the Galois action on the l-power torsion points defines representations whose images are subgroups of GL_2(Z/l^n Z). There are three exceptional prime powers l^n=2,3,4 when surjectivity of the mod l^n representation does not imply that for l^(n+1). Elliptic curves with surjective mod 3 but not mod 9 representation have been classified by Elkies. The purpose of this note is to do this in the other two cases.
Given a finite group G, we address the following question: which multiples of the trivial representation are linear combinations of inductions of trivial representations from proper subgroups of G? By Solomon's induction theorem, all multiples are if G is not quasi-elementary. We complement this by showing that all multiples of p are if G is p-quasi-elementary and not cyclic, and that this is best possible.
Conjecturally, the parity of the Mordell-Weil rank of an elliptic curve over a number field K is determined by its root number. The root number is a product of local root numbers, so the rank modulo 2 is conjecturally the sum over all places of K of a function of elliptic curves over local fields. This note shows that there can be no analogue for the rank modulo 3, 4 or 5, or for the rank itself. In fact, standard conjectures for elliptic curves imply that there is no analogue modulo n for any n>2, so this is purely a parity phenomenon.
We observe that there are elliptic curves over number fields all of whose quadratic twists must have positive rank, assuming the Birch-Swinnerton-Dyer conjecture. We give a classification of such curves in terms of their local behaviour, and characterise them in terms of the Galois action on the Tate module. In particular, their existence shows that Goldfeld's conjecture does not extend directly to elliptic curves over number fields.
The p-parity conjecture for twists of elliptic curves relates multiplicities of Artin representations in p-infinity Selmer groups to root numbers. In this paper we prove this conjecture for a class of such twists. For example, if E/Q is semistable at 2 and 3, K/Q is abelian and K^\infty is its maximal pro-p extension, then the p-parity conjecture holds for twists of E by all orthogonal Artin representations of Gal(K^\infty/Q). We also give analogous results when K/Q is non-abelian, the base field is not Q and E is replaced by an abelian variety. The heart of the paper is a study of relations between permutation representations of finite groups, their "regulator constants", and compatibility between local root numbers and local Tamagawa numbers of abelian varieties in such relations.
The purpose of the paper is to complete several global and local results concerning parity of ranks of elliptic curves. Primarily, we show that the Shafarevich-Tate conjecture implies the parity conjecture for all elliptic curves over number fields, give a formula for local and global root numbers of elliptic curves and complete the proof of a conjecture of Kramer and Tunnell in characteristic 0. The method is to settle the outstanding local formulae by deforming from local fields to totally real number fields and then using global parity results.
Let E be an elliptic curve defined over a number field K. Michael Larsen conjectured that for any finitely generated subgroup G of Gal(\bar K/K), the Mordell-Weil rank of E is unbounded in number fields fixed by G. We prove that the conjecture holds over K=Q for both the analytic rank and the p-infinity Selmer rank of E for every odd prime p. For arbitrary E/K, we show that Larsen's conjecture follows from the standard conjectures for ranks of elliptic curves, provided K has a real place or E has non-integral j-invariant.
Let A be an abelian variety over a number field K. An identity between the L-functions L(A/K_i,s) for extensions K_i of K induces a conjectural relation between the Birch-Swinnerton-Dyer quotients. We prove these relations modulo finiteness of Sha, and give an analogous statement for Selmer groups. Based on this, we develop a method for determining the parity of various combinations of ranks of A over extensions of K. As one of the applications, we establish the parity conjecture for elliptic curves assuming finiteness of Sha[6^\infty] and some restrictions on the reduction at primes above 2 and 3: the parity of the Mordell-Weil rank of E/K agrees with the parity of the analytic rank, as determined by the root number. We also prove the p-parity conjecture for all elliptic curves over Q and all primes p: the parities of the p^\infty-Selmer rank and the analytic rank agree.
The first part of the paper gives a new proof of self-duality for Selmer groups: if A is an abelian variety over a number field K, and F/K is a Galois extension with Galois group G, then the Q_pG-representation naturally associated to the p-infinity Selmer group of A/F is self-dual. The second part describes a method for obtaining information about parities of Selmer ranks from the local Tamagawa numbers of A in intermediate extensions of F/K.
Let E be an elliptic curve over a number field K which admits a cyclic p-isogeny with p odd and semistable at primes above p. We determine the root number and the parity of the p-Selmer rank for E/K, in particular confirming the parity conjecture for such curves. We prove the analogous results for p=2 under the additional assumption that E is not supersingular at primes above 2.
We study special values of L-functions of elliptic curves over Q twisted by Artin representations that factor through a false Tate curve extension $Q(μ_p^\infty,\sqrt[p^\infty]{m})/Q$. In this setting, we explain how to compute L-functions and the corresponding Iwasawa-theoretic invariants of non-abelian twists of elliptic curves. Our results provide both theoretical and computational evidence for the main conjecture of non-commutative Iwasawa theory.
We construct families of hyperelliptic curves over Q of arbitrary genus g with (at least) g integral elements in K_2. We also verify the Beilinson conjectures about K_2 numerically for several curves with g=2, 3, 4 and 5. The paper is essentially self-contained and may serve as an elementary introduction to Beilinson's conjectures for K_2 of curves.
In infinitesimal deformation theory, a classical criterion due to Schlessinger gives an intrinsic characterisation of functors that are pro-representable, and more generally, of the ones that have a hull. Our result is that in this setting the question of characterising group quotients can also be answered. In other words, for functors of Artin rings that have a hull, those that are quotients of pro-representable ones by a constant group action can be described intrinsically.
For an elliptic curve E over a number field K, we prove that the algebraic rank of E goes up in infinitely many extensions of K obtained by adjoining a cube root of an element of K. As an example, we briefly discuss E=X_1(11) over Q, and how the result relates to Iwasawa theory.
This note is an observation that the LLL algorithm applied to prime powers can be used to find "good" examples for the ABC and Szpiro conjectures.
We present an algorithm to compute values L(s) and derivatives of L-functions of motivic origin numerically to required accuracy. Specifically, the method applies to any L-series whose Gamma-factor is a product of any number of Gamma-functions Gamma((s+l(j))/2) with complex l(j), not necessarily distinct. The algorithm relies on the known (or conjectural) functional equation for L(s).