Showing 1–36 of 36 results for author: Dokchitser, T

Character formula for Weil representations in terms of Frobenius traces

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: It is known that the etale cohomology of a potentially good abelian variety over a local field K is determined by its Euler factors over the extensions of K. We extend this to all abelian varieties, show that it is enough to take extensions where A is semistable, and give a uniform version over p-adic fields where the extensions are the same for all abelian varieties of a given dimension. The resu… ▽ More It is known that the etale cohomology of a potentially good abelian variety over a local field K is determined by its Euler factors over the extensions of K. We extend this to all abelian varieties, show that it is enough to take extensions where A is semistable, and give a uniform version over p-adic fields where the extensions are the same for all abelian varieties of a given dimension. The results are explicit, and apply to a wide class of Weil-Deligne representations. △ Less

Submitted 19 March, 2024; v1 submitted 11 January, 2022; originally announced January 2022.

Comments: 8 pages, final accepted version

MSC Class: 11F80; 11G10; 11G20; 11G25; 14F20

Character formula for conjugacy classes in a coset

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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 o… ▽ More 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$. △ Less

Submitted 19 March, 2024; v1 submitted 15 May, 2021; originally announced May 2021.

Comments: 6 pages, final accepted version

MSC Class: 20C15; 20E45 (Primary); 20C25; 20K35 (Secondary)

Tame torsion and the tame inverse Galois problem

Authors: Matthew Bisatt, Tim Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 17 March, 2021; v1 submitted 17 December, 2019; originally announced December 2019.

MSC Class: 11G30; 14G22

Tate module and bad reduction

Authors: Tim Dokchitser, Vladimir Dokchitser, Adam Morgan

Abstract: 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. 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. △ Less

Submitted 18 February, 2020; v1 submitted 26 September, 2018; originally announced September 2018.

Comments: 13 pages, final version, to appear in Proc. AMS

MSC Class: 11G20 (11G25; 14F20; 11G07; 11G10)

Arithmetic of hyperelliptic curves over local fields

Authors: Tim Dokchitser, Vladimir Dokchitser, Céline Maistret, Adam Morgan

Abstract: 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 min… ▽ More 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. △ Less

Submitted 15 October, 2018; v1 submitted 8 August, 2018; originally announced August 2018.

Comments: 93 pages

Models of curves over DVRs

Authors: Tim Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 10 January, 2021; v1 submitted 29 June, 2018; originally announced July 2018.

Comments: 39 pages, minor changes

3-torsion and conductor of genus 2 curves

Authors: Tim Dokchitser, Christopher Doris

Abstract: 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 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. △ Less

Submitted 11 May, 2018; v1 submitted 19 June, 2017; originally announced June 2017.

Comments: 16 pages

MSC Class: 11G20; 14D10; 11F80; 11G30

Semistable types of hyperelliptic curves

Authors: Tim Dokchitser, Vladimir Dokchitser, Celine Maistret, Adam Morgan

Abstract: 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… ▽ More 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. △ Less

Submitted 26 April, 2017; originally announced April 2017.

MSC Class: Primary 11G20; secondary 14H45; 05C22

Quotients of hyperelliptic curves and etale cohomology

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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. 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. △ Less

Submitted 10 May, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 21 pages

MSC Class: 11G30; 14F20; 14H37; 11G20

Rational representations and permutation representations of finite groups

Authors: Alex Bartel, Tim Dokchitser

Abstract: 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 perm… ▽ More 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. △ Less

Submitted 13 May, 2015; v1 submitted 26 May, 2014; originally announced May 2014.

Comments: 16 pages; minor improvements and corrections. To appear in Math. Ann

MSC Class: 20C15; 20C33; 19A22

Journal ref: Math. Ann. 364 no. 1 (2016), 539-558

Growth of Sha in towers for isogenous curves

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 17 January, 2013; originally announced January 2013.

Comments: 28 pages

MSC Class: 11G07 (Primary); 11G05; 11G10; 11G40; 11R23 (Secondary)

Journal ref: Compositio Mathematica 151 (2015) 1981-2005

A remark on Tate's algorithm and Kodaira types

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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. 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. △ Less

Submitted 21 January, 2013; v1 submitted 6 September, 2012; originally announced September 2012.

Comments: 6 pages (minor changes)

MSC Class: 11G07 (Primary)

Journal ref: Acta Arith. 160 (2013), 95-100

Local invariants of isogenous elliptic curves

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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. 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. △ Less

Submitted 28 October, 2013; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 22 pages, final version, to appear in Trans. Amer. Math. Soc

MSC Class: 11G07 (Primary) 11G05; 11G40 (Secondary)

Non-commutative Iwasawa theory for modular forms

Authors: John Coates, Tim Dokchitser, Zhibin Liang, William Stein, Ramdorai Sujatha

Abstract: 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 b… ▽ More 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. △ Less

Submitted 8 March, 2012; originally announced March 2012.

Comments: 40 pages

MSC Class: 11F67 (Primary); 11F33; 11R23 (Secondary)

Journal ref: Proc. London Math. Soc. (2013) 107 (3), 481-516

Euler factors determine local Weil representations

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 20 December, 2011; originally announced December 2011.

Comments: 12 pages

MSC Class: 11F80 (Primary) 14G20; 11S40; 11G07; 11G20; 11G40 (Secondary)

Brauer relations in finite groups II - quasi-elementary groups of order p^aq

Authors: Alex Bartel, Tim Dokchitser

Abstract: 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 speci… ▽ More 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. △ Less

Submitted 23 September, 2013; v1 submitted 30 October, 2011; originally announced October 2011.

Comments: 11 pages; final version to appear in J. Group Theory

MSC Class: 19A22; 20B05; 20B10

Journal ref: J. Group Theory 17 no. 3 (2014), 381-393

Surjectivity of mod 2^n representations of elliptic curves

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 26 April, 2011; originally announced April 2011.

Comments: 3 pages

MSC Class: Primary 11G05; Secondary 11F80

Journal ref: Math. Zeitschrift, Vol. 272, Issue 3-4 (2012), 961-964

Brauer relations in finite groups

Authors: Alex Bartel, Tim Dokchitser

Abstract: 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-g… ▽ More 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. △ Less

Submitted 12 October, 2015; v1 submitted 10 March, 2011; originally announced March 2011.

Comments: 39 pages; final version

MSC Class: 19A22; 20B05; 20B10

Journal ref: J. Eur. Math. Soc. 17 (2015), 2473-2512

Notes on the Parity Conjecture

Authors: Tim Dokchitser

Abstract: 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 discus… ▽ More 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. △ Less

Submitted 17 January, 2012; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: minor corrections, to appear in a CRM Advanced Courses volume "Elliptic curves, Hilbert modular forms and Galois deformations"; 43 pages

MSC Class: 11G40 (Primary) 11G05; 11G07 (Secondary)

Journal ref: Elliptic Curves, Hilbert Modular Forms and Galois Deformations, Advanced Courses in Mathematics - CRM Barcelona, Springer Basel, 2013

Identifying Frobenius elements in Galois groups

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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. 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. △ Less

Submitted 22 April, 2011; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: Extended introduction and minor corrections; 25 pages

MSC Class: 11R32; 12F10 (Primary) 11R42 (Secondary)

Solomon's induction in quasi-elementary groups

Authors: Tim Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 29 June, 2010; originally announced June 2010.

Comments: 2 pages, to appear in J. Group Theory

MSC Class: 19A22 (Primary); 20F16 (Secondary)

Journal ref: J. Group Theory 14 (2011), 49-51

A note on the Mordell-Weil rank modulo n

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 23 October, 2009; originally announced October 2009.

Comments: 7 pages

MSC Class: 11G05 (Primary); 11G40 (Secondary)

Journal ref: J. Number Theory 131 (2011), 1833-1839

Root numbers and parity of ranks of elliptic curves

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 9 June, 2009; originally announced June 2009.

Comments: 25 pages

MSC Class: 11G05 (Primary) 11G07; 11G40 (Secondary)

Journal ref: Crelle, Volume 2011, Number 658, 39-64

A note on Larsen's conjecture and ranks of elliptic curves

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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 f… ▽ More 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. △ Less

Submitted 7 March, 2008; originally announced March 2008.

Comments: 7 pages

MSC Class: 11G05 (Primary); 11G40; 14G25 (Secondary)

Journal ref: Bull. London Math. Soc. (2009) 41 (6), 1002-1008

Elliptic curves with all quadratic twists of positive rank

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 30 January, 2009; v1 submitted 27 February, 2008; originally announced February 2008.

Comments: Minor corrections; final version, to appear in Acta Arithmetica; 4 pages

MSC Class: 11G05 (Primary) 11G40; 14G25 (Secondary)

Journal ref: Acta Arith. 137 (2009), 193-197

Regulator constants and the parity conjecture

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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 rep… ▽ More 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. △ Less

Submitted 21 March, 2009; v1 submitted 18 September, 2007; originally announced September 2007.

Comments: 50 pages; minor corrections; final version, to appear in Invent. Math

MSC Class: 11G05 (Primary); 11G07; 11G10; 11G40; 19A22; 20B99 (Secondary)

Journal ref: Invent. Math. 178, no. 1 (2009), 23-71

Self-duality of Selmer groups

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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 Tamagaw… ▽ More 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. △ Less

Submitted 12 June, 2008; v1 submitted 14 May, 2007; originally announced May 2007.

Comments: 12 pages; to appear in Proc. Cam. Phil. Soc

MSC Class: 11G40 (Primary) 11G05; 11G10 (Secondary)

Journal ref: Proc. Cam. Phil. Soc. 146 (2009), 257-267

Root numbers of elliptic curves in residue characteristic 2

Authors: T. Dokchitser, V. Dokchitser

Abstract: To determine the global root number of an elliptic curve defined over a number field, one needs to understand all the local root numbers. These have been classified except at places above 2, and in this paper we attempt to complete the classification. At places above 2, we express the local root numbers in terms of norm residue symbols (resp. root numbers of explicit 1-dimensional characters) in… ▽ More To determine the global root number of an elliptic curve defined over a number field, one needs to understand all the local root numbers. These have been classified except at places above 2, and in this paper we attempt to complete the classification. At places above 2, we express the local root numbers in terms of norm residue symbols (resp. root numbers of explicit 1-dimensional characters) in case when wild inertia acts through a cyclic (resp. quaternionic) quotient. △ Less

Submitted 2 December, 2006; originally announced December 2006.

Comments: 10 pages

MSC Class: 11G07; 11F80

Journal ref: Bull. London Math. Soc. 40 (2008), 516-524

On the Birch-Swinnerton-Dyer quotients modulo squares

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 20 October, 2008; v1 submitted 9 October, 2006; originally announced October 2006.

Comments: 29 pages; minor changes; to appear in Annals of Mathematics

MSC Class: 11G40 (Primary) 11G05; 11G10 (Secondary)

Journal ref: Annals of Math. 172 no. 1 (2010), 567-596

Parity of ranks for elliptic curves with a cyclic isogeny

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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. 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. △ Less

Submitted 9 April, 2007; v1 submitted 6 April, 2006; originally announced April 2006.

Comments: Minor corrections; 17 pages, to appear in J. Number Theory

MSC Class: 11G05; 11G07

Journal ref: J. Number Theory 128 (2008), 662-679

Quotients of functors of Artin rings

Authors: Tim Dokchitser

Abstract: 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… ▽ More 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. △ Less

Submitted 21 November, 2005; originally announced November 2005.

Comments: 4 pages

MSC Class: 14L30; 18A32

Journal ref: Proc. Cam. Phil. Soc. 146 (2009), 531-534

Ranks of elliptic curves in cubic extensions

Authors: Tim Dokchitser

Abstract: 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. 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. △ Less

Submitted 25 October, 2005; originally announced October 2005.

Comments: 3 pages

MSC Class: 11G05; 11G40

Journal ref: Acta Arith. 126 (2007), 357-360

Computations in non-commutative Iwasawa theory

Authors: Tim Dokchitser, Vladimir Dokchitser

Abstract: 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 f… ▽ More 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. △ Less

Submitted 13 September, 2005; originally announced September 2005.

Comments: 60 pages; with appendix by John Coates and Ramdorai Sujatha

MSC Class: 11G05 (Primary) 11G40; 11R23 (Secondary)

Journal ref: Proc. London Math. Soc. 94 (1), 2007, 211-272

Numerical verification of Beilinson's conjecture for K2 of hyperelliptic curves

Authors: Tim Dokchitser, Rob de Jeu, Don Zagier

Abstract: 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. 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. △ Less

Submitted 4 May, 2005; v1 submitted 4 May, 2004; originally announced May 2004.

Comments: 39 pages; to appear in Compositio Math

MSC Class: 19E08; 11G40 (primary); 11G30 (secondary)

Journal ref: Compositio Math. 142, Issue 02 (2006), 339-373

LLL & ABC

Authors: Tim Dokchitser

Abstract: 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. 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. △ Less

Submitted 11 December, 2003; v1 submitted 24 July, 2003; originally announced July 2003.

Comments: 6 pages; record algebraic example included; final version, to appear in J. Number Theory

MSC Class: 11D04; 11D41; 11D99

Journal ref: J. Number Theory 107, No.1 (2004), 161-167

Computing special values of motivic L-functions

Authors: Tim Dokchitser

Abstract: 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). 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). △ Less

Submitted 29 July, 2002; originally announced July 2002.

Comments: 19 pages (LaTeX), for PARI implementation and examples see http://maths.dur.ac.uk/~dma0td/computel/

MSC Class: 11M99 (Primary) 14G10; 11G40; 11R42; 11M41; 11F66 (Secondary)

Journal ref: Exper. Math. 13, No.2 (2004), 137-149