We consider the proportion of genus one curves over $\mathbb{Q}$ of the form $z^2=f(x,y)$ where $f(x,y)\in\mathbb{Z}[x,y]$ is a binary quartic form (or more generally of the form $z^2+h(x,y)z=f(x,y)$ where also $h(x,y)\in\mathbb{Z}[x,y]$ is a binary quadratic form) that have points everywhere locally. We show that the proportion of these curves that are locally soluble, computed as a product of local densities, is approximately 75.96%. We prove that the local density at a prime $p$ is given by a fixed degree-$9$ rational function of $p$ for all odd $p$ (and for the generalised equation, the same rational function gives the local density at every prime). An additional analysis is carried out to estimate rigorously the local density at the real place.
We show that the proportion of plane cubic curves over ${\mathbb Q}_p$ that have a ${\mathbb Q}_p$-rational point is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, we obtain the density of plane cubic curves over ${\mathbb Q}$ that have points everywhere locally; numerically, this density is shown to be $\approx 97.3\%$.
For any fixed nonzero integer $h$, we show that a positive proportion of integral binary quartic forms $F$ do locally everywhere represent $h$, but do not globally represent $h$. We order classes of integral binary quartic forms by the two generators of their ring of $\textrm{GL}_{2}(\mathbb{Z})$-invariants, classically denoted by $I$ and $J$.
In this paper, we establish a strategy for the calculation of the proportion of everywhere locally soluble diagonal hypersurfaces of $\mathbb{P}^{n}$ of fixed degree. Our strategy is based on the product formula established by Bright, Browning and Loughran. Their formula reduces the problem into the calculation of the proportions of $\mathbb{Q}_{v}$-soluble diagonal hypersurfaces for all places $v$. As worked examples, we carry out our strategy in the cases of quadratic and cubic hypersurfaces. As a consequence, we prove that around $99.99\%$ of diagonal cubic $4$-folds have $\mathbb{Q}$-ratio…
We show that a positive proportion of quartic fields are not monogenic, despite having no local obstruction to being monogenic. Our proof builds on the corresponding result for cubic fields that we obtained in a previous work. Along the way, we also prove that a positive proportion of quartic rings of integers do not arise as the invariant order of an integral binary quartic form despite having no local obstruction.
Let $P(X)\in\mathbb{Z}[X]$ be an irreducible, monic, quartic polynomial with cyclic or dihedral Galois group. We prove that there exists a constant $c_P>0$ such that for a positive proportion of integers $n$, $P(n)$ has a prime factor $\ge n^{1+c_P}$.
We prove that a positive proportion of hypersurfaces in products of projective spaces over $\mathbb{Q}$ are everywhere locally soluble, for almost all multidegrees and dimensions, as a generalization of a theorem of Poonen and Voloch. We also study the specific case of genus $1$ curves in $\mathbb{P}^1 \times \mathbb{P}^1$ defined over $\mathbb{Q}$, represented as bidegree $(2,2)$-forms, and show that the proportion of everywhere locally soluble such curves is approximately $87.4\%$. The proportion of these curves in $\mathbb{P}^1 \times \mathbb{P}^1$ soluble over $\mathbb{Q}_p$ is a rational …
We obtain an asymptotic formula for the number of $\operatorname{GL}_2(\mathbb{Z})$-equivalence classes of irreducible binary quartic forms with integer coefficients with vanishing $J$-invariant and whose Hessians are proportional to the squares of reducible or positive definite binary quadratic form. These results give a case where one is able to count integral orbits inside a relatively open real orbit of a variety closed under a group action of degree at least three.
When ordered by discriminant, it is known that about 83% of quartic fields over Q have associated Galois group S_4, while the remaining 17% have Galois group D_4. We study these proportions over a general number field F. We find that asymptotically 100% of quadratic number fields have more D_4 extensions than S_4 and that the ratio between the number of D_4 and S_4 quartic extensions is biased arbitrarily in favor of D_4 extensions. Under GRH, we give a lower bound that holds for general number fields.
For any nonzero $h\in\mathbb{Z}$, we prove that a positive proportion of integral binary cubic forms $F$ do locally everywhere represent $h$ but do not globally represent $h$; that is, a positive proportion of cubic Thue equations $F(x,y)=h$ fail the integral Hasse principle. Here, we order all classes of such integral binary cubic forms $F$ by their absolute discriminants. We prove the same result for Thue equations $G(x,y)=h$ of any fixed degree $n \geq 3$, provided that these integral binary $n$-ic forms $G$ are ordered by the maximum of the absolute values of their coefficients.
An ADE Dynkin diagram gives rise to a family of algebraic curves. In this paper, we use arithmetic invariant theory to study the integral points of the curves associated to the exceptional diagrams $E_6, E_7$, $E_8$. These curves are non-hyperelliptic of genus 3 or 4. We prove that a positive proportion of each family consists of curves with integral points everywhere locally but no integral points globally.
We explicitly construct the Dirichlet series $$L_{\mathrm{Tam}}(s):=\sum_{m=1}^{\infty}\frac{P_{\mathrm{Tam}}(m)}{m^s},$$ where $P_{\mathrm{Tam}}(m)$ is the proportion of elliptic curves $E/\mathbb{Q}$ in short Weierstrass form with Tamagawa product $m.$ Although there are no $E/\mathbb{Q}$ with everywhere good reduction, we prove that the proportion with trivial Tamagawa product is $P_{\mathrm{Tam}}(1)=0.5053\dots.$ As a corollary, we find that $L_{\mathrm{Tam}}(-1)=1.8193\dots$ is the average Tamagawa product for elliptic curves over $\mathbb{Q}.$ We give an application of these results to c…
When all ternary cubic forms over $\mathbb Z$ are ordered by the heights of their coefficients, we show that a positive proportion of them fail the Hasse principle, i.e., they have a zero over every completion of $\mathbb Q$ but no zero over $\mathbb Q$. We also show that a positive proportion of all ternary cubic forms over $\mathbb Z$ nontrivially satisfy the Hasse principle, i.e., they possess a zero over every completion of $\mathbb Q$ and also possess a zero over $\mathbb Q$. Analogous results are proven for other genus one models, namely, for equations of the form $z^2=f(x,y)$ where $f$ …
Average analytic rank for the $L$-functions of the elliptic curves $y^2=x^3-dx$
Concordia University（康科迪亚大学）；Univ. Littoral Côte d’Opale（滨海大学）；CNRS – Université de Montréal CRM - CNRS（加拿大国家科学研究中心蒙特利尔大学CRM-CNRS）；DIMA - Dipartimento di Matematica（数学系）；Afeka — The Academic College of Engineering in Tel Aviv（特拉维夫阿费卡工程学术学院）；University of Haifa（海法大学）
By a hyperelliptic curve over Q, we mean a smooth, geometrically irreducible, complete curve C over Q equipped with a fixed map of degree 2 to P^1 defined over Q. Thus any hyperelliptic curve C over Q of genus g can be embedded in weighted projective space P(1,1,g+1) via an equation of the form C : z^2 = f(x,y) = f_0 x^n + f_1 x^{n-1} y + ... + f_n y^n where n=2g+2, the coefficients f_i lie in Z, and f factors into distinct linear factors over Q-bar. Define the height H(C) of C by H(C):=max{|f_i|}, and order all hyperelliptic curves over Q of genus g by height. Then we prove that, as g tends t…
