Author Description

Login to generate an author description

Ask a Question About This Mathematician

Given an elliptic curve $E$ over a number field $F$ and an isogeny $\varphi$ of $E$ defined over $F$, the study of the $\varphi$-Selmer group has a rich history going … Given an elliptic curve $E$ over a number field $F$ and an isogeny $\varphi$ of $E$ defined over $F$, the study of the $\varphi$-Selmer group has a rich history going back to the works of Cassels and the recent works of Bhargava et al. and Chao Li. Let $E/\mathbb Q$ be an elliptic curve with a rational $3$-isogeny. In this article, we give an upper bound and a lower bound of the rank of the Selmer group of $E$ over $\mathbb Q(\zeta_3)$ induced by the $3$-isogeny in terms of the $3$-part of the ideal class group of certain quadratic extension of $\mathbb Q(\zeta_3)$. Using our bounds on the Selmer groups, we prove some cases of Sylvester's conjecture on the rational cube sum problem and also exhibit infinitely many elliptic curves of arbitrary large $3$-Selmer rank over $\mathbb Q(\zeta_3)$. Our method also produces infinitely many imaginary quadratic fields and biquadratic fields with non-trivial $3$-class groups.
Given an integer n>1, it is a classical Diophantine problem that whether n can be written as a sum of two rational cubes. The study of this problem, considering several … Given an integer n>1, it is a classical Diophantine problem that whether n can be written as a sum of two rational cubes. The study of this problem, considering several special cases of n, has a copious history that can be traced back to the works of Sylvester, Satg\'e, Selmer etc. and up to the recent works of Alp\"oge-Bhargava-Shnidman. In this article, we consider the cube sum problem for cube-free integers n which has two distinct prime factors none of which is 3.
We study the Iwasawa theory of $p$-primary Selmer groups of elliptic curves $E$ over a number field $K$. Assume that $E$ has additive reduction at the primes of $K$ above … We study the Iwasawa theory of $p$-primary Selmer groups of elliptic curves $E$ over a number field $K$. Assume that $E$ has additive reduction at the primes of $K$ above $p$. In this context, we prove that the Iwasawa invariants satisfy an analogue of the Riemann--Hurwitz formula. This generalizes a result of Hachimori and Matsuno. We apply our results to study rank stability questions for elliptic curves in prime cyclic extensions of $\mathbb{Q}$. These extensions are ordered by their absolute discriminant and we prove an asymptotic lower bound for the density of extensions in which the Iwasawa invariants as well as the rank of the elliptic curve is stable.
Let $a$ be an integer which is not of the form $n^2$ or $-3 n^2$ for $n\in \mathbb{Z}$. Let $E_a$ be the elliptic curve with rational $3$-isogeny defined by $E_a:y^2=x^3+a$, … Let $a$ be an integer which is not of the form $n^2$ or $-3 n^2$ for $n\in \mathbb{Z}$. Let $E_a$ be the elliptic curve with rational $3$-isogeny defined by $E_a:y^2=x^3+a$, and $K:=\mathbb{Q}(\mu_3)$. Assume that the $3$-Selmer group of $E_a$ over $K$ vanishes. It is shown that there is an explicit infinite set of cubefree integers $m$ such that the $3$-Selmer groups over $K$ of $E_{m^2 a}$ and $E_{m^4 a}$ both vanish. In particular, the ranks of these cubic twists are seen to be $0$ over $K$. Our results are proven by studying stability properties of $3$-Selmer groups in cyclic cubic extensions of $K$, via local and global Galois cohomological techniques.
Given a sixth power free integer $a$, let $E_a$ be the elliptic curve defined by $y^2=x^3+a$. We prove explicit results for the lower density of sixth power free integers $a$ … Given a sixth power free integer $a$, let $E_a$ be the elliptic curve defined by $y^2=x^3+a$. We prove explicit results for the lower density of sixth power free integers $a$ for which the $3$-isogeny induced Selmer group of $E_a$ over $\mathbb{Q}(\mu_3)$ has dimension $\leq 1$. The results are proven by refining the strategy of Davenport--Heilbronn, by relating the statistics for integral binary cubic forms to the statistics for $3$-isogeny induced Selmer groups.
Let $p \in \{3, 5\}$ and consider a cyclic $p$-extension $L/\mathbb{Q}$. We show that there exists an effective positive density of elliptic curves $ E $ defined over $ \mathbb{Q} … Let $p \in \{3, 5\}$ and consider a cyclic $p$-extension $L/\mathbb{Q}$. We show that there exists an effective positive density of elliptic curves $ E $ defined over $ \mathbb{Q} $, ordered by height, that are diophantine stable in $ L $.
We consider the family of elliptic curves $E_{a,b}:y^2=x^3+a(x-b)^2$ with $a,b \in \mathbb{Z}$. These elliptic curves have a rational $3$-isogeny, say $\varphi$. We give an upper and a lower bound on … We consider the family of elliptic curves $E_{a,b}:y^2=x^3+a(x-b)^2$ with $a,b \in \mathbb{Z}$. These elliptic curves have a rational $3$-isogeny, say $\varphi$. We give an upper and a lower bound on the rank of the $\varphi$-Selmer group of $E_{a,b}$ over $K:=\mathbb{Q}(\zeta_3)$ in terms of the $3$-part of the ideal class group of certain quadratic extension of $K$. Using our bounds on the Selmer groups, we construct infinitely many curves in this family with arbitrary large $3$-Selmer rank over $K$ and no non-trivial $K$-rational point of order $3$. We also show that for a positive proportion of natural numbers $n$, the curve $E_{n,n}/\mathbb{Q}$ has root number $-1$ and $3$-Selmer rank $=1$.
We consider the family of elliptic curves $E_{a,b}:y^2=x^3+a(x-b)^2$ with $a,b \in \mathbb{Z}$. These elliptic curves have a rational $3$-isogeny, say $\varphi$. We give an upper and a lower bound on … We consider the family of elliptic curves $E_{a,b}:y^2=x^3+a(x-b)^2$ with $a,b \in \mathbb{Z}$. These elliptic curves have a rational $3$-isogeny, say $\varphi$. We give an upper and a lower bound on the rank of the $\varphi$-Selmer group of $E_{a,b}$ over $K:=\mathbb{Q}(\zeta_3)$ in terms of the $3$-part of the ideal class group of certain quadratic extension of $K$. Using our bounds on the Selmer groups, we construct infinitely many curves in this family with arbitrary large $3$-Selmer rank over $K$ and no non-trivial $K$-rational point of order $3$. We also show that for a positive proportion of natural numbers $n$, the curve $E_{n,n}/\mathbb{Q}$ has root number $-1$ and $3$-Selmer rank $=1$.
Let $p \in \{3, 5\}$ and consider a cyclic $p$-extension $L/\mathbb{Q}$. We show that there exists an effective positive density of elliptic curves $ E $ defined over $ \mathbb{Q} … Let $p \in \{3, 5\}$ and consider a cyclic $p$-extension $L/\mathbb{Q}$. We show that there exists an effective positive density of elliptic curves $ E $ defined over $ \mathbb{Q} $, ordered by height, that are diophantine stable in $ L $.
Given a sixth power free integer $a$, let $E_a$ be the elliptic curve defined by $y^2=x^3+a$. We prove explicit results for the lower density of sixth power free integers $a$ … Given a sixth power free integer $a$, let $E_a$ be the elliptic curve defined by $y^2=x^3+a$. We prove explicit results for the lower density of sixth power free integers $a$ for which the $3$-isogeny induced Selmer group of $E_a$ over $\mathbb{Q}(\mu_3)$ has dimension $\leq 1$. The results are proven by refining the strategy of Davenport--Heilbronn, by relating the statistics for integral binary cubic forms to the statistics for $3$-isogeny induced Selmer groups.
Let $a$ be an integer which is not of the form $n^2$ or $-3 n^2$ for $n\in \mathbb{Z}$. Let $E_a$ be the elliptic curve with rational $3$-isogeny defined by $E_a:y^2=x^3+a$, … Let $a$ be an integer which is not of the form $n^2$ or $-3 n^2$ for $n\in \mathbb{Z}$. Let $E_a$ be the elliptic curve with rational $3$-isogeny defined by $E_a:y^2=x^3+a$, and $K:=\mathbb{Q}(\mu_3)$. Assume that the $3$-Selmer group of $E_a$ over $K$ vanishes. It is shown that there is an explicit infinite set of cubefree integers $m$ such that the $3$-Selmer groups over $K$ of $E_{m^2 a}$ and $E_{m^4 a}$ both vanish. In particular, the ranks of these cubic twists are seen to be $0$ over $K$. Our results are proven by studying stability properties of $3$-Selmer groups in cyclic cubic extensions of $K$, via local and global Galois cohomological techniques.
We study the Iwasawa theory of $p$-primary Selmer groups of elliptic curves $E$ over a number field $K$. Assume that $E$ has additive reduction at the primes of $K$ above … We study the Iwasawa theory of $p$-primary Selmer groups of elliptic curves $E$ over a number field $K$. Assume that $E$ has additive reduction at the primes of $K$ above $p$. In this context, we prove that the Iwasawa invariants satisfy an analogue of the Riemann--Hurwitz formula. This generalizes a result of Hachimori and Matsuno. We apply our results to study rank stability questions for elliptic curves in prime cyclic extensions of $\mathbb{Q}$. These extensions are ordered by their absolute discriminant and we prove an asymptotic lower bound for the density of extensions in which the Iwasawa invariants as well as the rank of the elliptic curve is stable.
Given an elliptic curve $E$ over a number field $F$ and an isogeny $\varphi$ of $E$ defined over $F$, the study of the $\varphi$-Selmer group has a rich history going … Given an elliptic curve $E$ over a number field $F$ and an isogeny $\varphi$ of $E$ defined over $F$, the study of the $\varphi$-Selmer group has a rich history going back to the works of Cassels and the recent works of Bhargava et al. and Chao Li. Let $E/\mathbb Q$ be an elliptic curve with a rational $3$-isogeny. In this article, we give an upper bound and a lower bound of the rank of the Selmer group of $E$ over $\mathbb Q(\zeta_3)$ induced by the $3$-isogeny in terms of the $3$-part of the ideal class group of certain quadratic extension of $\mathbb Q(\zeta_3)$. Using our bounds on the Selmer groups, we prove some cases of Sylvester's conjecture on the rational cube sum problem and also exhibit infinitely many elliptic curves of arbitrary large $3$-Selmer rank over $\mathbb Q(\zeta_3)$. Our method also produces infinitely many imaginary quadratic fields and biquadratic fields with non-trivial $3$-class groups.
Given an integer n>1, it is a classical Diophantine problem that whether n can be written as a sum of two rational cubes. The study of this problem, considering several … Given an integer n>1, it is a classical Diophantine problem that whether n can be written as a sum of two rational cubes. The study of this problem, considering several special cases of n, has a copious history that can be traced back to the works of Sylvester, Satg\'e, Selmer etc. and up to the recent works of Alp\"oge-Bhargava-Shnidman. In this article, we consider the cube sum problem for cube-free integers n which has two distinct prime factors none of which is 3.
The elliptic curve E k : y 2 = x 3 + k admits a natural 3-isogeny ϕ k : E k → E − 27 k . We compute … The elliptic curve E k : y 2 = x 3 + k admits a natural 3-isogeny ϕ k : E k → E − 27 k . We compute the average size of the ϕ k -Selmer group as k varies over the integers. Unlike previous results of Bhargava and Shankar on n-Selmer groups of elliptic curves, we show that this average can be very sensitive to congruence conditions on k; this sensitivity can be precisely controlled by the Tamagawa numbers of E k and E − 27 k . As a consequence, we prove that the average rank of the curves E k , k ∈ Z , is less than 1.21 and over 23 % (respectively, 41 % ) of the curves in this family have rank 0 (respectively, 3-Selmer rank 1).
Let $p\equiv 8\mod 9$ be a prime. In this paper we give a sufficient condition such that at least one of $p$ and $p^2$ is the sum of two rational … Let $p\equiv 8\mod 9$ be a prime. In this paper we give a sufficient condition such that at least one of $p$ and $p^2$ is the sum of two rational cubes. This is the first general result on the $8$ case of the so-called Sylvester conjecture.
has a rational solution. An extensive compilation of the older history of the problem is given in Dickson [6]. Within the past century, researchers have tried to exploit (either explicitly … has a rational solution. An extensive compilation of the older history of the problem is given in Dickson [6]. Within the past century, researchers have tried to exploit (either explicitly or unknowingly) the fact that the curve (0.1) is in fact an elliptic curve. During the nineteenth century, Lucas, and later Sylvester, used a descent argument to prove that (0.1) had no solution for infinitely many D in certain congruence classes mod 9 and 18 (see [6], Ch. XXI). Zagier and Kramarz [19] have produced a great deal of numerical evidence about the L-series of the curves; based on these computations, they have argued heuristically that for
A nonzero rational number is called a {\it cube sum} if it is of the form $a^3+b^3$ with $a,b\in{\Bbb Q}^\times$. In this paper, we prove that for any odd integer … A nonzero rational number is called a {\it cube sum} if it is of the form $a^3+b^3$ with $a,b\in{\Bbb Q}^\times$. In this paper, we prove that for any odd integer $k\geq 1$, there exist infinitely many cube-free odd integers $n$ with exactly $k$ distinct prime factors such that $2n$ is a cube sum (resp. not a cube sum). We present also a general construction of Heegner points and obtain an explicit Gross-Zagier formula which is used to prove the Birch and Swinnerton-Dyer conjecture for certain elliptic curves related to the cube sum problem.
Here we summarize the results presented in the first author's lecture at the Millennial Conference on Number Theory. These results appear in [16] in full detail. In addition, we present … Here we summarize the results presented in the first author's lecture at the Millennial Conference on Number Theory. These results appear in [16] in full detail. In addition, we present a new result regarding the growth of Tate-Shafarevich groups of certain elliptic curves over elementary abelian simple 2-extensions.
We determine the irreducible trinomials [Formula: see text] for integers [Formula: see text] which generate precisely all possible Galois extensions of degree [Formula: see text] over [Formula: see text]. The … We determine the irreducible trinomials [Formula: see text] for integers [Formula: see text] which generate precisely all possible Galois extensions of degree [Formula: see text] over [Formula: see text]. The proof, although involved, is elementary and one can parametrize all these polynomials explicitly. As an accidental by-product of the results, we prove that infinitely many primes congruent to [Formula: see text] or [Formula: see text] mod [Formula: see text] are sums of two rational cubes - thereby, giving the first unconditional result on a classical open problem.
In this paper, we describe an algorithm that reduces the computation of the (full) <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-Selmer group of an elliptic … In this paper, we describe an algorithm that reduces the computation of the (full) <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-Selmer group of an elliptic curve <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding="application/x-tex">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> over a number field to standard number field computations such as determining the (<inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-torsion of) the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S"> <mml:semantics> <mml:mi>S</mml:mi> <mml:annotation encoding="application/x-tex">S</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-class group and a basis of the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S"> <mml:semantics> <mml:mi>S</mml:mi> <mml:annotation encoding="application/x-tex">S</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-units modulo <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>th powers for a suitable set <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S"> <mml:semantics> <mml:mi>S</mml:mi> <mml:annotation encoding="application/x-tex">S</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of primes. In particular, we give a result reducing this set <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S"> <mml:semantics> <mml:mi>S</mml:mi> <mml:annotation encoding="application/x-tex">S</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of ‘bad primes’ to a very small set, which in many cases only contains the primes above <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. As of today, this provides a feasible algorithm for performing a full <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="3"> <mml:semantics> <mml:mn>3</mml:mn> <mml:annotation encoding="application/x-tex">3</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-descent on an elliptic curve over <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper Q"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb Q</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, but the range of our algorithm will certainly be enlarged by future improvements in computational algebraic number theory. When the Galois module structure of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E left-bracket p right-bracket"> <mml:semantics> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo stretchy="false">[</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy="false">]</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">E[p]</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is favorable, simplifications are possible and <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-descents for larger <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> are accessible even today. To demonstrate how the method works, several worked examples are included.
We study elliptic curves of the form x^3+y^3=2p and x^3+y^3=2p^2 where p is any odd prime satisfying p\equiv 2 \mod 9 or p\equiv 5 \mod 9 . We first show … We study elliptic curves of the form x^3+y^3=2p and x^3+y^3=2p^2 where p is any odd prime satisfying p\equiv 2 \mod 9 or p\equiv 5 \mod 9 . We first show that the 3 -part of the Birch-Swinnerton-Dyer conjecture holds for these curves. Then we relate their 2 -Selmer group to the 2 -rank of the ideal class group of \mathbb{Q}(\sqrt[3]{p}) to obtain some examples of elliptic curves with rank one and non-trivial 2 -part of the Tate-Shafarevich group.
We propose a very precise conjecture on the asymptotics of the counting function for extensions of number fields with fixed Galois group and bounded norm of the discriminant. This sharpens … We propose a very precise conjecture on the asymptotics of the counting function for extensions of number fields with fixed Galois group and bounded norm of the discriminant. This sharpens a previous conjecture of the author. The conjecture is known to hold for abelian groups and a few nonabelian ones. We give a heuristic argument why the conjecture should be true. We also present some computational data for the nonsolvable groups of degree 5.
If $G$ is a pro-$p$, $p$-adic, Lie group containing no element of order $p$ and if $\Lambda (G)$ denotes the Iwasawa algebra of $G$ then we propose a number of … If $G$ is a pro-$p$, $p$-adic, Lie group containing no element of order $p$ and if $\Lambda (G)$ denotes the Iwasawa algebra of $G$ then we propose a number of invariants associated to finitely generated $\Lambda (G)$-modules, all given by various forms of Euler characteristic. The first turns out to be none other than the rank, and this gives a particularly convenient way of calculating the rank of Iwasawa modules. Others seem to play similar roles to the classical Iwasawa $\lambda $- and $\mu $-invariants. We explore some properties and give applications to the Iwasawa theory of elliptic curves. 2000 Mathematical Subject Classification: primary 16E10; seconday 11R23.
An asymptotic formula is proved for the number of cubic fields of discriminant δ in 0 &lt; δ &lt; X ; and in - X &lt; δ &lt; 0. An asymptotic formula is proved for the number of cubic fields of discriminant δ in 0 &lt; δ &lt; X ; and in - X &lt; δ &lt; 0.
Abstract In this paper families of elliptic curves admitting a rational isogeny of degree 3 are studied. It is known that the 3-torsion in the class group of the field … Abstract In this paper families of elliptic curves admitting a rational isogeny of degree 3 are studied. It is known that the 3-torsion in the class group of the field defined by the points in the kernel of such an isogeny is related to the rank of the elliptic curve. Families in which almost all the curves have rank at least 3 are constructed. In some cases this provides lower bounds for the number of quadratic fields which have a class number divisible by 3.
Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E colon y squared equals upper F left-parenthesis x right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo>:</mml:mo> <mml:msup> <mml:mi>y</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mo>=</mml:mo> <mml:mi>F</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>x</mml:mi> <mml:mo … Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E colon y squared equals upper F left-parenthesis x right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo>:</mml:mo> <mml:msup> <mml:mi>y</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mo>=</mml:mo> <mml:mi>F</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>x</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">E: y^2=F(x)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be an elliptic curve over <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper Q"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> defined by a monic irreducible integral cubic polynomial <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper F left-parenthesis x right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>F</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>x</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">F(x)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with negative square-free discriminant <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="negative upper D"> <mml:semantics> <mml:mrow> <mml:mo>−</mml:mo> <mml:mi>D</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">-D</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We determine its <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="2"> <mml:semantics> <mml:mn>2</mml:mn> <mml:annotation encoding="application/x-tex">2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-Selmer rank in terms of the 2-rank of the class group of the cubic field <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L equals double-struck upper Q left-bracket x right-bracket slash upper F left-parenthesis x right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>L</mml:mi> <mml:mo>=</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:mo stretchy="false">[</mml:mo> <mml:mi>x</mml:mi> <mml:mo stretchy="false">]</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>F</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>x</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">L=\mathbb {Q}[x]/F(x)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. When the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="2"> <mml:semantics> <mml:mn>2</mml:mn> <mml:annotation encoding="application/x-tex">2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-rank of the class group of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L"> <mml:semantics> <mml:mi>L</mml:mi> <mml:annotation encoding="application/x-tex">L</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is at most <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="1"> <mml:semantics> <mml:mn>1</mml:mn> <mml:annotation encoding="application/x-tex">1</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and the root number of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding="application/x-tex">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="negative 1"> <mml:semantics> <mml:mrow> <mml:mo>−</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">-1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, the Birch and Swinnerton-Dyer conjecture predicts that <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E left-parenthesis double-struck upper Q right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">E(\mathbb {Q})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> should have rank <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="1"> <mml:semantics> <mml:mn>1</mml:mn> <mml:annotation encoding="application/x-tex">1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We construct a canonical point in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E left-parenthesis double-struck upper Q right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">E(\mathbb {Q})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> using a new Heegner point construction. We naturally conjecture it to be of infinite order. We verify this conjecture explicitly for the case <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D equals 11"> <mml:semantics> <mml:mrow> <mml:mi>D</mml:mi> <mml:mo>=</mml:mo> <mml:mn>11</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">D=11</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, and propose an approach towards the general case based on a mod 2 congruence between elliptic curves and Artin representations.
Let $A$ be an abelian variety over a number field $F$ and let $p$ be a prime. Cohen-Lenstra-Delaunay-style heuristics predict that the Tate-Shafarevich group of $A_s$ should contain an element … Let $A$ be an abelian variety over a number field $F$ and let $p$ be a prime. Cohen-Lenstra-Delaunay-style heuristics predict that the Tate-Shafarevich group of $A_s$ should contain an element of order $p$ for a positive proportion of quadratic twists $A_s$ of $A$. We give a general method to prove instances of this conjecture by exploiting independent isogenies of $A$. For each prime $p$, there is a large class of elliptic curves for which our method shows that a positive proportion of quadratic twists have nontrivial $p$-torsion in their Tate-Shafarevich groups. In particular, when the modular curve $X_0(3p)$ has infinitely many $F$-rational points the method applies to ``most'' elliptic curves $E$ having a cyclic $3p$-isogeny. It also applies in certain cases when $X_0(3p)$ has only finitely many points. For example, we find an elliptic curve over $\mathbb{Q}$ for which a positive proportion of quadratic twists have an element of order $5$ in their Tate-Shafarevich groups. The method applies to abelian varieties of arbitrary dimension, at least in principle. As a proof of concept, we give, for each prime $p \equiv 1 \pmod 9$, examples of CM abelian threefolds with a positive proportion of quadratic twists having elements of order $p$ in their Tate-Shafarevich groups.
We prove a theorem giving the asymptotic number of binary quartic forms having bounded invariants; this extends, to the quartic case, the classical results of Gauss and Davenport in the … We prove a theorem giving the asymptotic number of binary quartic forms having bounded invariants; this extends, to the quartic case, the classical results of Gauss and Davenport in the quadratic and cubic cases, respectively.Our techniques are quite general and may be applied to counting integral orbits in other representations of algebraic groups.We use these counting results to prove that the average rank of elliptic curves over Q, when ordered by their heights, is bounded.In particular, we show that when elliptic curves are ordered by height, the mean size of the 2-Selmer group is 3.This implies that the limsup of the average rank of elliptic curves is at most 1.5.
We prove an asymptotic formula for the number of SL3(Z)-equivalence classes of integral ternary cubic forms having bounded invariants.We use this result to show that the average size of the … We prove an asymptotic formula for the number of SL3(Z)-equivalence classes of integral ternary cubic forms having bounded invariants.We use this result to show that the average size of the 3-Selmer group of all elliptic curves, when ordered by height, is equal to 4. This implies that the average rank of all elliptic curves, when ordered by height, is less than 1.17.Combining our counting techniques with a recent result of Dokchitser and Dokchitser, we prove that a positive proportion of all elliptic curves have rank 0. Assuming the finiteness of the Tate-Shafarevich group, we also show that a positive proportion of elliptic curves have rank 1.Finally, combining our counting results with the recent work of Skinner and Urban, we show that a positive proportion of elliptic curves have analytic rank 0; i.e., a positive proportion of elliptic curves have nonvanishing L-function at s = 1.It follows that a positive proportion of all elliptic curves satisfy BSD.
If $V$ is an irreducible algebraic variety over a number field $K$, and $L$ is a field containing $K$, we say that $V$ is {\it diophantine-stable} for $L/K$ if $V(L)=V(K)$. … If $V$ is an irreducible algebraic variety over a number field $K$, and $L$ is a field containing $K$, we say that $V$ is {\it diophantine-stable} for $L/K$ if $V(L)=V(K)$. We prove that if $V$ is either a simple abelian variety, or a curve of genus at least one, then under mild hypotheses there is a set $S$ of rational primes with positive density such that for every $\ell\in S$ and every $n\ge 1$, there are infinitely many cyclic extensions $L/K$ of degree $\ell^n$ for which $V$ is diophantine-stable. We use this result to study the collection of finite extensions of $K$ generated by points in $V(\bar{K})$.
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content. A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
The paper formulates a precise relationship between the Tate-Shafarevich group X(E) of an elliptic curve E over Q with a quotient of the classgroup of Q(E[p]) on which Gal(Q(E[p]/Q) = … The paper formulates a precise relationship between the Tate-Shafarevich group X(E) of an elliptic curve E over Q with a quotient of the classgroup of Q(E[p]) on which Gal(Q(E[p]/Q) = GL 2 (Z/p) operates by its standard 2 dimensional representation over Z/p.We establish such a relationship in most cases when E has good reduction at p.
Elementary methods Some tools from real analysis Prime numbers Arithmetic functions Average orders Sieve methods Extremal orders The method of van der Corput Diophantine approximation Complex analysis methods The Euler … Elementary methods Some tools from real analysis Prime numbers Arithmetic functions Average orders Sieve methods Extremal orders The method of van der Corput Diophantine approximation Complex analysis methods The Euler gamma function Generating functions: Dirichlet series Summation formulae The Riemann zeta function The prime number theorem and the Riemann hypothesis The Selberg-Delange method Two arithmetic applications Tauberian theorems Primes in arithmetic progressions Probabilistic methods Densities Limiting distributions of arithmetic functions Normal order Distribution of additive functions and mean values of multiplicative functions Friable integers The saddle-point method Integers free of small factors Bibliography Index
Let $t$ be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants $D>0$ with a positive density such that the class numbers of quadratic … Let $t$ be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants $D>0$ with a positive density such that the class numbers of quadratic fields ${\mathbb Q}(\sqrt {D})$ and ${\mathbb Q}(\sqrt {tD})$ are both not divisible by 3.
Article Arithmetic on Curves of genus 1. VI. The Tate-Safarevic group can be arbitrarily large. was published on June 1, 1964 in the journal Journal für die reine und angewandte … Article Arithmetic on Curves of genus 1. VI. The Tate-Safarevic group can be arbitrarily large. was published on June 1, 1964 in the journal Journal für die reine und angewandte Mathematik (volume 1964, issue 214-215).
Article Arithmetic on curves of genus 1. VIII. On conjectures of Birch and Swinnerton-Dyer. was published on January 1, 1965 in the journal Journal für die reine und angewandte Mathematik … Article Arithmetic on curves of genus 1. VIII. On conjectures of Birch and Swinnerton-Dyer. was published on January 1, 1965 in the journal Journal für die reine und angewandte Mathematik (volume 1965, issue 217).