On the proportions of soluble forms in some families of locally soluble binary quartic forms

Yasuhiro Ishitsuka,Yoshinori Kanamura
DOI: https://doi.org/10.48550/arXiv.2306.15233
2023-06-27
Abstract:An integral binary quartic form is said to be locally soluble (resp. soluble) if the corresponding genus one curve has a rational point over $\mathbb{Q}_v$ for every place $v$ of $\mathbb{Q}$ (resp. over $\mathbb{Q}$). We consider the proportion of soluble integral binary quartic forms in locally soluble forms. Bhargava showed the proportion is positive when one considers all binary quartics, and Bhargava--Ho proved the proportion is zero for a subfamily. In this paper, we estimate the proportions for some other subfamilies. It relies on results for elliptic curves $y^2=x^3-n^2x$ by Heath-Brown, Xiong--Zaharescu and Smith.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the proportion of solvable forms in some locally solvable binary quartic forms. Specifically, the author studied which forms of binary quartic forms in specific sub - families correspond to genus - one curves that have rational points over all \( \mathbb{Q}_v \) (i.e., are locally solvable) and also have rational points over \( \mathbb{Q} \) (i.e., are solvable). ### Background and Problem Description 1. **Definitions and Notations**: - An integral - coefficient binary quartic form \( f(x,y) \) is called locally solvable (resp. solvable) if the corresponding genus - one curve \( C_f:z^2 = f(x,y) \) has rational points over each \( \mathbb{Q}_v \) (resp. \( \mathbb{Q} \)). - The Bhargava and Bhargava - Ho heights are used to measure the forms in different sub - families respectively. 2. **Existing Results**: - Bhargava (2014) proved that when ordered by the naive height, the proportion of solvable forms among locally solvable binary quartic forms is positive. - Bhargava - Ho proved that for a certain sub - family, when ordered by the Bhargava - Ho height, the proportion of solvable forms is 0%. 3. **Objectives of This Paper**: - Estimate the proportion of solvable forms in other sub - families and find that these proportions vary significantly among different sub - families. - Study the proportion of strictly locally solvable forms to find a subset of locally solvable forms that is comparable in number to the solvable forms. ### Main Conclusions - **Theorem 1.3**: For some sub - families, when ordered by the Bhargava - Ho height, the proportion of solvable forms is 100%. - **Theorem 1.4**: For other sub - families, when ordered by the Bhargava - Ho height, the proportion of solvable forms is 0%. - **Theorem 1.5**: For strictly locally solvable forms, when ordered by the Bhargava - Ho height, the proportion of solvable forms is greater than 42%. ### Methods and Tools - Use the Selmer group and the weak Mordell - Weil group of the elliptic curve \( E_n:y^2=x^3 - n^2x \) to explain locally solvable and solvable forms. - Combine the results of Heath - Brown, Xiong - Zaharescu and Smith to calculate the average size of the Selmer group. - Through rigorous mathematical derivations and statistical analyses, verify the proportion of solvable forms in different sub - families. Through these methods, the author not only solved the above - mentioned problems, but also revealed the huge differences in the proportion of solvable forms in different sub - families, providing new perspectives and tools for further research.