$6$-torsion and integral points on quartic threefolds

Stephanie Chan,Peter Koymans,Carlo Pagano,Efthymios Sofos

2024-10-05

Abstract:We prove matching upper and lower bounds for the average of the 6-torsion of class groups of quadratic fields. Furthermore, we count the number of integer solutions on an affine quartic threefold.

Number Theory

What problem does this paper attempt to address?

Torsion Points and the Latte'S Family

Laura DeMarco,Xiaoguang Wang,Hexi Ye

DOI: https://doi.org/10.1353/ajm.2016.0026

IF: 1.835

2016-01-01

American Journal of Mathematics

Abstract:We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.
Torsion points and the Lattes family

Laura DeMarco,Xiaoguang Wang,Hexi Ye

DOI: https://doi.org/10.48550/arXiv.1311.1792

2014-10-28

Abstract:We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.

Dynamical Systems,Number Theory
On the torsion part in the K-theory of imaginary quadratic fields

Emery, Vincent

DOI: https://doi.org/10.1007/s00229-024-01598-4

2024-10-10

manuscripta mathematica

Abstract:We obtain upper bounds for the torsion in the K -groups of the ring of integers of imaginary quadratic number fields, in terms of their discriminants.

mathematics
3-Torsion Subgroups of Jacobians of Plane Quartics

Elvira Lupoian,James Rawson

2024-01-25

Abstract:In this paper we give an algorithm to find the 3-torsion subgroup of the Jacobian of a smooth plane quartic curve. We describe $3-$torsion points in terms of cubics which triply intersect the curve, and use this to define a system of equations whose solution set corresponds to the coefficients of these cubics. We compute the points of this zero-dimensional, degree $728$ scheme first by approximation, using homotopy continuation and Newton-Raphson, and then using lattice reduction or continued fractions to obtain accurate expressions for these points. We describe how the Galois structure of the field of definition of the $3$-torsion subgroup can be used to compute local conductor exponents, including at $p=2$.

Number Theory
Classification of torsion of elliptic curves over quartic fields

Maarten Derickx,Filip Najman

2024-12-21

Abstract:Let $E$ be an elliptic curve over a quartic field $K$. By the Mordell-Weil theorem, $E(K)$ is a finitely generated group. We determine all the possibilities for the torsion group $E(K)_{tor}$ where $K$ ranges over all quartic fields $K$ and $E$ ranges over all elliptic curves over $K$. We show that there are no sporadic torsion groups, or in other words, that all torsion groups either do not appear or they appear for infinitely many non-isomorphic elliptic curves $E$. Proving this requires showing that numerous modular curves $X_1(m,n)$ have no non-cuspidal degree $4$ points. We deal with almost all the curves using one of 3 methods: a method for the rank 0 cases requiring no computation, the Hecke sieve; a local method requiring computer-assisted computations and the Derickx-Stoll method; a global argument for the positive rank cases also requiring no computation. We deal with the handful of remaining cases using ad hoc methods.

Number Theory,Algebraic Geometry
Torsion Points on CM Elliptic Curves Over Real Number Fields

Abbey Bourdon,Pete L. Clark,James Stankewicz

DOI: https://doi.org/10.48550/arXiv.1411.2742

2015-09-25

Abstract:We study torsion subgroups of elliptic curves with complex multiplication (CM) defined over number fields which admit a real embedding. We give a complete classification of the groups which arise up to isomorphism as the torsion subgroup of a CM elliptic curve defined over a number field of odd degree: there are infinitely many. Restricting to the case of prime degree, we show that there are only finitely many isomorphism classes. More precisely, there are six "Olson groups" which arise as torsion subgroups of CM elliptic curves over number fields of every degree, and there are precisely 17 "non-Olson" CM elliptic curves defined over a prime degree number field.

Number Theory
Points of bounded height on quintic del Pezzo surfaces over number fields

Christian Bernert,Ulrich Derenthal

2024-05-31

Abstract:We prove Manin's conjecture for split smooth quintic del Pezzo surfaces over arbitrary number fields with respect to fairly general anticanonical height functions. After passing to universal torsors, we first show that we may restrict the torsor variables to their typical sizes, and then we can solve the counting problem in the framework of o-minimal structures.

Number Theory,Algebraic Geometry
On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

Mustafa Umut Kazancıoğlu,Mohammad Sadek

2024-11-05

Abstract:The list of all groups that can appear as torsion subgroups of elliptic curves over number fields of degree $d$, $d=4,5,6$, is not completely determined. However, the list of groups $\Phi^{\infty}(d)$, $d=4,5,6$, that can be realized as torsion subgroups for infinitely many non-isomorphic elliptic curves over these fields are known. We address the question of which torsion subgroups can arise over a given number field of degree $d$. In fact, given $G\in\Phi^{\infty}(d)$ and a number field $K$ of degree $d$, we give explicit criteria telling whether $G$ is realized finitely or infinitely often over $K$. We also give results on the field with the smallest absolute value of its discriminant such that there exists an elliptic curve with torsion $G$. Finally, we give examples of number fields $K$ of degree $d$, $d=4,5,6$, over which the Mordell-Weil rank of elliptic curves with prescribed torsion is bounded from above.

Number Theory
Counting integral points on symmetric varieties with applications to arithmetic statistics

Arul Shankar,Artane Siad,Ashvin A. Swaminathan

2023-04-03

Abstract:In this article, we combine Bhargava's geometry-of-numbers methods with the dynamical point-counting methods of Eskin--McMullen and Benoist--Oh to develop a new technique for counting integral points on symmetric varieties lying within fundamental domains for coregular representations. As applications, we study the distribution of the $2$-torsion subgroup of the class group in thin families of cubic number fields, as well as the distribution of the $2$-Selmer groups in thin families of elliptic curves over $\mathbb{Q}$. For example, our results suggest that the existence of a generator of the ring of integers with small norm has an increasing effect on the average size of the $2$-torsion subgroup of the class group, relative to the Cohen--Lenstra predictions.

Number Theory,Dynamical Systems
Rational torsion points on abelian surfaces with quaternionic multiplication

Jef Laga,Ciaran Schembri,Ari Shnidman,John Voight

DOI: https://doi.org/10.1017/fms.2024.105

2024-11-10

Forum of Mathematics Sigma

Abstract:Let A be an abelian surface over whose geometric endomorphism ring is a maximal order in a non-split quaternion algebra. Inspired by Mazur's theorem for elliptic curves, we show that the torsion subgroup of is -torsion and has order at most . Under the additional assumption that A is of -type, we give a complete classification of the possible torsion subgroups of .

mathematics, applied
$K_2$ of families of elliptic curves over non-Abelian cubic and quartic fields

François Brunault,Rob de Jeu,Hang Liu,Fernando Rodriguez Villegas

2024-01-09

Abstract:We give two constructions of families of elliptic curves over cubic or quartic fields with three, respectively four, `integral' elements in the kernel of the tame symbol on the curves. The fields are in general non-Abelian, and the elements linearly independent. For their integrality, we prove a new criterion that does not ignore any torsion. We also verify Beilinson's conjecture numerically for just over 90 of the curves.

Number Theory,Algebraic Geometry,K-Theory and Homology
Torsion in $p$-adic étale cohomology: remarks and conjectures

Guido Bosco

2024-11-12

Abstract:Let $C$ be a complete algebraically closed extension of $\mathbb{Q}_p$, and let $\mathfrak{X}$ be a smooth formal scheme over $\mathcal{O}_C$. By the work of Bhatt--Morrow--Scholze, it is known that when $\mathfrak{X}$ is proper, the length of the torsion in the integral $p$-adic étale cohomology of the generic fiber $\mathfrak{X}_C$ is bounded above by the length of the torsion in the crystalline cohomology of its special fiber. In this note, we focus on the non-proper case and observe that when $\mathfrak{X}$ is affine, the torsion in the integral $p$-adic étale cohomology of $\mathfrak{X}_C$ can even be expressed as a functor of the special fiber, unlike in the proper case. As a consequence, we show that, surprisingly, if $\mathfrak{X}$ is affine, the integral $p$-adic étale cohomology groups of $\mathfrak{X}_C$ have finite torsion subgroups. We discuss further applications and propose conjectures predicting the torsion in the integral $p$-adic étale cohomology of a broader class of rigid-analytic varieties over $C$.

Algebraic Geometry,Number Theory
Torsion points and Galois representations on CM elliptic curves

Abbey Bourdon,Pete L. Clark

DOI: https://doi.org/10.2140/pjm.2020.305.43

2019-09-16

Abstract:We prove several results on torsion points and Galois representations for complex multiplication (CM) elliptic curves over a number field containing the CM field. One result computes the degree in which such an elliptic curve has a rational point of order $N$, refining results of Silverberg. Another result bounds the size of the torsion subgroup of an elliptic curve with CM by a nonmaximal order in terms of the torsion subgroup of an elliptic curve with CM by the maximal order. Our techniques also yield a complete classification of both the possible torsion subgroups and the rational cyclic isogenies of a $K$-CM elliptic curve $E$ defined over $K(j(E))$.

Number Theory
Counting integral points on universal torsors

Ulrich Derenthal

DOI: https://doi.org/10.48550/arXiv.0810.4122

2009-02-14

Abstract:Manin's conjecture for the asymptotic behavior of the number of rational points of bounded height on del Pezzo surfaces can be approached through universal torsors. We prove several auxiliary results for the estimation of the number of integral points in certain regions on universal torsors. As an application, we prove Manin's conjecture for a singular quartic del Pezzo surface.

Number Theory,Algebraic Geometry
On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

Werner Mueller,Frédéric Rochon

2024-01-25

Abstract:Given a number field $F$ with ring of integers $\mathcal{O}_{F}$, one can associate to any torsion free subgroup of $\operatorname{SL}(2,\mathcal{O}_{F})$ of finite index a complete Riemannian manifold of finite volume with fibered cusp ends. For natural choices of flat vector bundles on such a manifold, we show that analytic torsion is identified with the Reidemeister torsion of the Borel-Serre compactification. This is used to obtain exponential growth of torsion in the cohomology for sequences of congruence subgroups.

Differential Geometry,Geometric Topology,Number Theory
The mean number of $2$-torsion elements in the class groups of cubic orders

Ashvin Swaminathan

2024-08-31

Abstract:We determine the mean number of 2-torsion elements in class groups of cubic orders, when such orders are enumerated by discriminant. Specifically, we prove that when isomorphism classes of totally real (resp., complex) cubic orders are enumerated by discriminant, the average $2$-torsion in the class group is $1 + \frac{1}{4} \times \frac{\zeta(2)}{\zeta(4)}$ (resp., $1 + \frac{1}{2} \times \frac{\zeta(2)}{\zeta(4)}$). In particular, we find that the average $2$-torsion in the class group increases when one ranges over all orders in cubic fields instead of restricting to the subfamily of rings of integers of cubic fields, where the average $2$-torsion in the class group was first determined in work of Bhargava to be $\frac{5}{4}$ (resp., $\frac{3}{2}$). By work of Bhargava--Varma, proving this result amounts to obtaining an asymptotic count of the number of "reducible" $\operatorname{SL}_3(\mathbb{Z})$-orbits on the space $\mathbb{Z}^2 \otimes_{\mathbb{Z}} \operatorname{Sym}^2 \mathbb{Z}^3$ of $3 \times 3$ symmetric integer matrices having bounded invariants and satisfying local conditions. In this paper, we resolve the generalization of this orbit-counting problem where the dimension $3$ is replaced by any fixed odd integer $N \geq 3$. More precisely, we determine asymptotic formulas for the number of reducible $\operatorname{SL}_N(\mathbb{Z})$-orbits on $\mathbb{Z}^2 \otimes_{\mathbb{Z}} \operatorname{Sym}^2 \mathbb{Z}^N$ satisfying general infinite sets of congruence conditions.

Number Theory
Torsion and twists of abelian varieties

Mentzelos Melistas

2023-10-17

Abstract:In this article, we investigate the possible torsion subgroups of twists of abelian varieties with good reduction. As an application, we prove a theorem concerning ramified primes over any quadratic extension where odd-order torsion growth is achieved. In particular, we show that for every rational elliptic curve and every imaginary quadratic field not equal to $\mathbb{Q}(\sqrt{-3})$ satisfying the Heegner hypothesis no odd-order torsion growth can occur.

Number Theory,Algebraic Geometry
Sporadic Cubic Torsion

Maarten Derickx,Anastassia Etropolski,Mark van Hoeij,Jackson S. Morrow,David Zureick-Brown

DOI: https://doi.org/10.2140/ant.2021.15.1837

2024-06-04

Abstract:Let $K$ be a number field, and let $E/K$ be an elliptic curve over $K$. The Mordell--Weil theorem asserts that the $K$-rational points $E(K)$ of $E$ form a finitely generated abelian group. In this work, we complete the classification of the finite groups which appear as the torsion subgroup of $E(K)$ for $K$ a cubic number field. To do so, we determine the cubic points on the modular curves $X_1(N)$ for \[N = 21, 22, 24, 25, 26, 28, 30, 32, 33, 35, 36, 39, 45, 65, 121.\] As part of our analysis, we determine the complete list of $N$ for which $J_0(N)$ (resp., $J_1(N)$, resp., $J_1(2,2N)$) has rank 0. We also provide evidence to a generalized version of a conjecture of Conrad, Edixhoven, and Stein by proving that the torsion on $J_1(N)(\mathbb{Q})$ is generated by $\text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$-orbits of cusps of $X_1(N)_{\bar{\mathbb{Q}}}$ for $N\leq 55$, $N \neq 54$.

Number Theory,Algebraic Geometry
Anatomy of torsion in the CM case

Abbey Bourdon,Pete L. Clark,Paul Pollack

DOI: https://doi.org/10.48550/arXiv.1506.00565

2015-06-02

Abstract:Let $T_{\mathrm{CM}}(d)$ denote the maximum size of a torsion subgroup of a CM elliptic curve over a degree $d$ number field. We initiate a systematic study of the asymptotic behavior of $T_{\mathrm{CM}}(d)$ as an "arithmetic function". Whereas a recent result of the last two authors computes the upper order of $T_{\mathrm{CM}}(d)$, here we determine the lower order, the typical order and the average order of $T_{\mathrm{CM}}(d)$ as well as study the number of isomorphism classes of groups $G$ of order $T_{\mathrm{CM}}(d)$ which arise as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. To establish these analytic results we need to extend some prior algebraic results. Especially, if $E_{/F}$ is a CM elliptic curve over a degree $d$ number field, we show that $d$ is divisible by a certain function of $\# E(F)[\mathrm{tors}]$, and we give a complete characterization of all degrees $d$ such that every torsion subgroup of a CM elliptic curve defined over a degree $d$ number field already occurs over $\mathbb{Q}$.

Number Theory
On some invariants of cubic fourfolds

Frank Gounelas,Alexis Kouvidakis

DOI: https://doi.org/10.1007/s40879-023-00651-y

2023-09-06

Abstract:For a general cubic fourfold $X \subset \mathbb{P}^5$, we compute the Hodge numbers of the locus $S \subset F$ of lines of second type. We also give an upper bound of 6 for the degree of irrationality of the Fano scheme of lines of any smooth cubic hypersurface.

Algebraic Geometry

$6$-torsion and integral points on quartic threefolds

Torsion Points and the Latte'S Family

Torsion points and the Lattes family

On the torsion part in the K-theory of imaginary quadratic fields

3-Torsion Subgroups of Jacobians of Plane Quartics

Classification of torsion of elliptic curves over quartic fields

Torsion Points on CM Elliptic Curves Over Real Number Fields

Points of bounded height on quintic del Pezzo surfaces over number fields

On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

Counting integral points on symmetric varieties with applications to arithmetic statistics

Rational torsion points on abelian surfaces with quaternionic multiplication

$K_2$ of families of elliptic curves over non-Abelian cubic and quartic fields

Torsion in $p$-adic étale cohomology: remarks and conjectures

Torsion points and Galois representations on CM elliptic curves

Counting integral points on universal torsors

On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

The mean number of $2$-torsion elements in the class groups of cubic orders

Torsion and twists of abelian varieties

Sporadic Cubic Torsion

Anatomy of torsion in the CM case

On some invariants of cubic fourfolds