This is the third part of a series of papers discussing the cyclic torsion subgroup of elliptic curves over cubic number fields. For $N=39$, we show that $\mathbb{Z}/N\mathbb{Z}$ is not a subgroup of $E(K)_{tor}$ for any elliptic curve $E$ over a cubic number field $K$.
In this paper, we classify torsion groups of rational Mordell curves explicitly over cubic fields as well as over sextic fields. Also, we classify torsion groups of Mordell curves over cubic fields and for Mordell curves over sextic fields, we produce all possible torsion groups.
We prove asymptotic formulas for cyclicity of reductions of elliptic curves over the rationals in a family of curves having specified torsion. These results agree with established conditional results and with average results taken over larger families. As a key tool, we prove an analogue of a result of Vlăduţ that estimates the number of elliptic curves over a finite field with a specified torsion point and cyclic group structure.
We prove that, on average, the monogenicity or $n$-monogenicity of a cubic field has an altering effect on the behavior of the 2-torsion in its class group.
We classify the possible torsion structures of rational elliptic curves over cubic fields. Along the way we find a previously unknown torsion structure over a cubic field, $\Z /21 \Z$, which corresponds to a sporadic point on $X_1(21)$ of degree 3, which is the lowest possible degree of a sporadic point on a modular curve $X_1(n)$.
Merel's result on the strong uniform boundedness conjecture made it meaningful to classify the torsion part of the Mordell-Weil groups of all elliptic curves defined over number fields of fixed degree $d$. In this paper, we discuss the cyclic torsion subgroup of elliptic curves over cubic number fields. For $N=49,40,25$ or $22$, we show that $\mathbb{Z}/N\mathbb{Z}$ is not a subgroup of $E(K)_{tor}$ for any elliptic curve $E$ over a cubic number field $K$.
Bhargava, Hanke, and Shankar have recently shown that the asymptotic average $2$-torsion subgroup size of the family of class groups of monogenized cubic fields with positive and negative discriminants is $3/2$ and $2$, respectively. In this paper, we provide strong computational evidence for these asymptotes. We then develop a pair of novel conjectures that predicts, for $p$ prime, the asymptotic average $p$-torsion subgroup size in class groups of monogenized cubic fields.
Let $E$ be an elliptic curve defined over $\Q$, and let $G$ be the torsion group $E(K)_{tors}$ for some cubic field $K$ which does not occur over $\Q$. In this paper, we determine over which types of cubic number fields (cyclic cubic, non-Galois totally real cubic, complex cubic or pure cubic) $G$ can occur, and if so, whether it can occur infinitely often or not. Moreover, if it occurs, we provide elliptic curves $E/\Q$ together with cubic fields $K$ so that $G= E(K)_{tors}$.
In this paper, we investigate the common index divisors of cyclic cubic fields. Let $a,b,c,d$ and $k$ are integers, we then solve the following Thue cubic equations:: \[ax^3+bx^2y+cxy^2+dy^3= k\ \] when $a,bc+d$ are odd and $3$ doesn't divide $v_2(k)$.
We describe a procedure for generating families of cyclic cubic fields with explicit fundamental units. This method generates all known families and gives new ones.
We compute all the moments of the p-torsion in the first step of a filtration of the class group defined by Gerth for cyclic fields of degree p, unconditionally for p=3 and under GRH in general. We show that it satisfies a distribution which Gerth conjectured as an extension of the Cohen-Lenstra-Martinet conjectures. In the p=3 case this gives the distribution of the 3-torsion of the class group modulo the Galois invariant part. We follow the strategy used by Fouvry and Kluners in their proof of the distribution of the 4-torsion in quadratic fields.
Let $E$ be an elliptic defined over a number field $K$. Then its Mordell-Weil group $E(K)$ is finitely generated: $E(K)\cong E(K)_{tor}\times\mathbb{Z}^r$. In this paper, we discuss the cyclic torsion subgroup of elliptic curves over cubic number fields. For $N=169,143,91,65,77$ or $55$, we show that $\mathbb{Z}/N\mathbb{Z}$ is not a subgroup of $E(K)_{tor}$ for any elliptic curve $E$ over a cubic number field $K$.
Let $K$ be a cyclic cubic field and $\mathcal{O}_K$ be its ring of integers. In this note we prove that all cyclic cubic number fields with conductors in the interval $ [73, 11971]$ and with class number one are Euclidean.
For all positive integers $\ell$, we prove non-trivial bounds for the $\ell$-torsion in the class group of $K$, which hold for almost all number fields $K$ in certain families of cyclic extensions of arbitrarily large degree. In particular, such bounds hold for almost all cyclic degree-$p$-extensions of $F$, where $F$ is an arbitrary number field and $p$ is any prime for which $F$ and the $p$-th cyclotomic field are linearly disjoint. Along the way, we prove precise asymptotic counting results for the fields of bounded discriminant in our families with prescribed splitting behavior at finitely…
By Dirichlet's Unit Theorem, under the log embedding the units in the ring of integers of a number field form a lattice, called the log-unit lattice. We investigate the geometry of these lattices when the number field is a biquadratic or cyclic cubic extension of $\mathbb{Q}$. In the biquadratic case, we determine when the log-unit lattice is orthogonal. In the cyclic cubic case, we show that the log-unit lattice is always equilateral triangular.
We provide an equivalent condition for the monogenity of the ring of integers of any cyclic cubic field. We show that if a cyclic cubic field is monogenic then it is a simplest cubic field $K_t$ which is the splitting field of a Shanks cubic polynomial $f_t(x):=x^3-tx^2-(t + 3)x-1$ with $t \in \mathbb Z$. Moreover we give an equivalent condition for when $K_t$ is monogenic, which is explicitly written in terms of $t$.
We compute the $p$-adic regulator of cyclic cubic extensions of $\mathbb Q$ with discriminant up to $10^{16}$ for $3<p<100$, and observe the distribution of the $p$-adic valuation of the regulators. We find that for almost all primes, the observation matches the model that the entries in the regulator matrix are random elements with respect to the obvious restrictions. Based on this random matrix model, a conjecture on the distribution of the valuations of $p$-adic regulators of cyclic cubic fields is stated.
The size function for a number field is an analogue of the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. It was conjectured to attain its maximum at the trivial class of Arakelov divisors. This conjecture was proved for many number fields with unit groups of rank one. Our research confirms that the conjecture also holds for cyclic cubic fields, which have unit groups of rank two.
We are interested in solving the congruences $f^3+g^3+1\equiv 0\pmod{fg}$ and $f^4-4g^2+4\equiv 0\pmod{fg}$ in polynomials $f, g$ with rational coefficients. Moreover, we present results of computations of all integer points on certain one parametric curves of genus 1 and 3, related to cubic and quartic fields, respectively.
Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(3^\infty)$ be the compositum of all cubic extensions of $\mathbb{Q}$. In this article we show that the torsion subgroup of $E(\mathbb{Q}(3^\infty))$ is finite and determine 20 possibilities for its structure, along with a complete description of the $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves that fall into each case. We provide rational parameterizations for each of the 16 torsion structures that occur for infinitely many $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves, and a complete list of $j$-inv…
We prove a generalization of a result of Bhargava regarding the average size $\mathrm{Cl}(K)[2]$ as $K$ varies among cubic fields. For a fixed set of rational primes $S$, we obtain a formula for the average size of $\mathrm{Cl}(K)/\langle S \rangle[2]$ as $K$ varies among cubic fields with a fixed signature, where $\langle S \rangle$ is the subgroup of $\mathrm{Cl}(K)$ generated by the classes of primes of $K$ above primes in $S$. As a consequence, we are able to calculate the average sizes of $K_{2n}(\mathcal{O}_K)[2]$ for $n > 0$ and for the relaxed Selmer group $\mathrm{Sel}_2^S(K)$ as $K$ …
Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a cubic number field. In particular, We study the number of cubic number fields K such that E(Q)_tors\neq E(K)_tors.
In this article we explicitly describe irreducible trinomials X^3-aX+b which gives all the cyclic cubic extensions of Q. In doing so, we construct all integral points (x,y,z) with GCD(y,z)=1, of the curves X^2+3Y^2 = 4DZ^3 and X^2+27Y^2=4DZ^3 as D varies over cube-free positive integers. We parametrise these points using well known parametrisation of integral points (x,y,z) of the curve X^2+3Y^2=4Z^3 with GCD(y,z)=1. As an accidental byproduct of our result we show that there are infinitely many primes congruent to 1 or 8 modulo 9, can be expressed as sum of two rational cubes.
For a given group $G$ and an elliptic curve $E$ defined over a number field $K$, I discuss the problem of finding $G$-extensions of $K$ over which $E$ gains rank. I prove the following theorem, extending a result of Fearnley, Kisilevsky, and Kuwata: Let $n = 3,4,$ or $6$. If $K$ contains its $n^{th}$-roots of unity then, for any elliptic curve $E$ over $K$, there are infinitely many $\mathbb{Z}/n\mathbb{Z}$-extensions of $K$ over which $E$ gains rank.
We consider the Galois group $G_2(K)$ of the maximal unramified $2$-extension of $K$ where $K/\mathbb{Q}$ is cyclic of degree $3$. We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the Cohen-Lenstra heuristics, we identify certain types of pro-$2$ group as the natural spaces where $G_2(K)$ and $G^+_2(K)$ live when the $2$-class group of $K$ is $2$-generated. While we do not have a theoretical scheme for assigning probabilities, we present data and make some observations and conjectures about the distribution of such groups.
This article is a contribution to the project of classifying the torsion growth of elliptic curve upon base-change. In this article we treat the case of elliptic curve defined over the rationals with complex multiplication. For this particular case, we give a description of the possible torsion growth over cubic fields and a completely explicit description of this growth in terms of some invariants attached to a given elliptic curve.
We present a criterion for proving that certain groups of the form $\mathbb Z/m\mathbb Z\oplus\mathbb Z/n\mathbb Z$ do not occur as the torsion subgroup of any elliptic curve over suitable (families of) number fields. We apply this criterion to eliminate certain groups as torsion groups of elliptic curves over cubic and quartic fields. We also use this criterion to give the list of all torsion groups of elliptic curves occurring over a specific cubic field and over a specific quartic field.
Given any family of cubic fields defined by local conditions at finitely many primes, we determine the mean number of 2-torsion elements in the class groups and narrow class groups of these cubic fields when ordered by their absolute discriminants. For an order $\cal O$ in a cubic field, we study the three groups: $\rm Cl_2(\cal O)$, the group of ideal classes of $\cal O$ of order 2; $\rm Cl^+_2(\cal O)$, the group of narrow ideal classes of $\cal O$ of order 2; and ${\cal I}_2(\cal O)$, the group of ideals of $\cal O$ of order 2. We prove that the mean value of the difference $|\rm Cl_2({\cal…
In this paper, we study dilation of cyclic polytopes with the vertices defined by a generator of the simplest cubic fields. In particular, for a specific range of values, we give a precise number of the contained lattice points.
Although it is not known which groups can appear as torsion groups of elliptic curves over cubic number fields, it is known which groups can appear for infinitely many non-isomorphic curves. We denote the set of these groups as $S$. In this paper we deal with three problems concerning the torsion of elliptic curves over cubic fields. First, we study the possible torsion groups of elliptic curves that appear over the field with smallest absolute value of its discriminant and having Galois group $S_3$ and over the field with smallest absolute value of its discriminant and having Galois group $\Z…
We study Tamagawa numbers of elliptic curves with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over cubic fields and of elliptic curves with an $n-$isogeny over $\mathbb{Q}$, for $n\in\{6,8,10,12,14,16,17,18,19,37,43,67,163\}$. Bruin and Najman proved that every elliptic curve with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over a cubic field is a base change of an elliptic curve defined over $\mathbb{Q}$. We find that Tamagawa numbers of elliptic curves defined over $\mathbb{Q}$ with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over a cu…
Let $G$ be the group of complex points of a real semi-simple Lie group whose fundamental rank is equal to 1, e.g. $G= \SL_2 (\C) \times \SL_2 (\C)$ or $\SL_3 (\C)$. Then the fundamental rank of $G$ is $2,$ and according to the conjecture made in \cite{BV}, lattices in $G$ should have 'little' --- in the very weak sense of 'subexponential in the co-volume' --- torsion homology. Using base change, we exhibit sequences of lattices where the torsion homology grows exponentially with the \emph{square root} of the volume. This is deduced from a general theorem that compares twisted and untwisted $L^…
We give two new examples of non-hyperelliptic curves whose Ceresa cycles have torsion images in the intermediate Jacobian. For one of them, the central value of the $L$-function of the relevant motive is non-vanishing and the Ceresa cycle is torsion in the Griffiths group, consistent with the conjectures of Beilinson and Bloch. We speculate on a possible explanation for the existence of these torsion Ceresa classes, based on some computations with cyclic Fermat quotients.
In this paper we highlight the connection between Ramanujan cubic polynomials (RCPs) and a class of polynomials, the Shanks cubic polynomials (SCPs), which generate cyclic cubic fields. In this way we provide a new characterization for RCPs and we express the zeros of any RCP in explicit form, using trigonometric functions. Moreover, we observe that a cyclic transform of period three permutes these zeros. As a consequence of these results we provide many new and beautiful identities. Finally we connect RCPs to Gaussian periods, finding a new identity, and we study some integer sequences relate…
This paper investigates which integers can appear as 2-Selmer ranks within the quadratic twist family of an elliptic curve E defined over a number field K with E(K)[2] = Z/2Z. We show that if E does not have a cyclic 4-isogeny defined over K(E[2]), then subject only to constant 2-Selmer parity, each non-negative integer appears infinitely often as the 2-Selmer rank of a quadratic twist of E. If E has a cyclic 4-isogeny defined over K(E[2]) but not over K, then we prove the same result for 2-Selmer ranks greater than or equal to r_2, the number of complex places of K. We also obtain results abo…
Let $K = \mathbb{Q}(\sqrt{-3})$ or $\mathbb{Q}(\sqrt{-1})$ and let $C_n$ denote the cyclic group of order $n$. We study how the torsion part of an elliptic curve over $K$ grows in a quadratic extension of $K$. In the case $E(K)[2] \approx C_2 \oplus C_2$ we determine how a given torsion structure can grow in a quadratic extension and the maximum number of quadratic extensions in which it grows. We also classify the torsion structures which occur as the quadratic twist of a given torsion structure.
We show that torsion points of certain orders are not on a theta divisor in the Jacobian variety of a hyperelliptic curve given by the equation $y^2=x^{2g+1}+x$ with $g \geq 2$. The proof employs a method of Anderson who proved an analogous result for a cyclic quotient of a Fermat curve of prime degree.
Conditionally on the Generalized Riemann Hypothesis (GRH), we prove the following results: (1) a cyclic number field of degree $5$ is norm-Euclidean if and only if $Δ=11^4,31^4,41^4$; (2) a cyclic number field of degree $7$ is norm-Euclidean if and only if $Δ=29^6,43^6$; (3) there are no norm-Euclidean cyclic number fields of degrees $19$, $31$, $37$, $43$, $47$, $59$, $67$, $71$, $73$, $79$, $97$. Our proofs contain a large computational component, including the calculation of the Euclidean minimum in some cases; the correctness of these calculations does not depend upon the GRH. Finally, we …
For every finite $p$-group $G_p$ that is non-cyclic and non-quaternion and every positive integer $\ell\neq p$ that is greater than $2$, we prove the first non-trivial bound on $\ell$-torsion in class group of every $G_p$-extension. More generally, for every nilpotent group $G$ where every Sylow-$p$ subgroup $G_p\subset G$ is non-cyclic and non-quaternion, we prove a non-trivial bound on $\ell$-torsion in class group of every $G$-extension for every integer $\ell>1$.
What is the true order of growth of torsion in the cohomology of an arithmetic group? Let $D$ be a quaternion over an imaginary quadratic field $F.$ Let $E/F$ be a cyclic Galois extension with $\mathrm{Gal}(E/F) = \langle σ\rangle.$ We prove lower bounds for "the Lefschetz number of $σ$ acting on torsion cohomology" of certain Galois-stable arithmetic subgroups of $D_E^\times.$ For these same subgroups, we unconditionally prove a would-be-numerical consequence of the existence of a hypothetical base change map for torsion cohomology.