Searcharxiv⌕ Search

arXiv · 2610.20273

An upper bound for valuations of elliptic nets at primes of bad reduction

Abstract

Let $E/K$ be an elliptic curve over a field defined by the short Weierstrass equation and let $\mathbf{P}=(P_1, P_2) \in E(K)^2\setminus \{(O, O), (\pm P, \pm P)\}$ be a pair of non-torsion points, where $O$ denotes the point at infinity. We give a uniform upper bound for the quantity $\min(ν(Φ_{(v_1, v_2)}(\mathbf{P})), 2ν(Ψ_{(v_1, v_2)}(\mathbf{P})))$, where $ν$ is a normalised discrete valuation associated to primes where $E$ has bad reduction and $Ψ^2_{(v_1, v_2)}(\mathbf{P})$, $Φ_{(v_1, v_2)}(\mathbf{P})$ are rational functions for describing $\mathbb{Z}$--linear combination of points $[v_1]P_1+[v_2]P_2$ on $E$, higher--dimensional analogues of division polynomials $ψ^2_n, ϕ_n$ known as net polynomials. They are also elliptic nets, which are $n$--dimensional arrays with values in $K$ satisfying the same nonlinear recurrence relation that division polynomials do as well. Hence, they are useful in studying counting problems on elliptic curves.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hang Lok Edison Au-Yeung. 2026-10-14. An upper bound for valuations of elliptic nets at primes of bad reduction. https://arxiv.org/abs/2610.20273

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Solutions of $x_1^2+x_2^2-x_3^2=n^2$ with small $x_3$, revisited

Let $r(N)$ be the number of representations of $N$ as a sum of two squares. For every integer $n\ge 2$ we prove an asymptotic formula for $\sum_{x\equiv e \bmod 2}Φ(x/M)\,r(n^2+x^2)$, that is, for the number of integral solutions of $x_1^2+x_2^2-x_3^2=n^2$ with $x_3\equiv e \bmod 2$ in a range $|x_3|\ll M$, with smooth weight $Φ$. The formula has an explicit secondary term and a power saving in the error term, and it is non-trivial as soon as $M\ge n^{5/6+\varepsilon}$, that is, $M\ge D^{1/2-1/12+\varepsilon}$ with $D=n^2$. The leading term is $\frac{4}π(\log n)\intΦ(x/M)\,dx$, independently of the arithmetic of $n$; this corrects the main term stated in the published version (Ramanujan J. 63 (2024), 293-337). The proof factorises $n+ix_3$ in $\mathbb{Z}[i]$, which leads to Kloosterman sums. These are estimated by Weil's bound, combined with a Plancherel argument that exploits the curvature of the underlying quadric. This paper was written in collaboration with Claude (Opus 5.5, High), an AI model developed by Anthropic.

math.NT↗

Bessel Periods on $U(2,1) \times U(1,1)$, Relative Trace Formula and Non-Vanishing of Central $L$-values

In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(π, π')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $π$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, π\times π')$, which are of degree twelve over ${\mathbb Q}$, with concomitant difficulty in applying standard methods, especially since we are in a `conductor dropping' situation. We use the relative trace formula, and the orbital integrals are evaluated rather than compared with others. Besides their intrinsic interest, non-vanishing of these critical values also leads, by known results, to deducing certain associated Selmer groups have rank zero.

math.NT↗

Rational points on $X_0(N)^*$ when $N$ is non-squarefree

Let $N$ be a positive integer and $X_0(N)^*$ be the quotient of the modular curve $X_0(N)$ by its full group of Atkin-Lehner involutions. Elkies conjectures that the rational points on $X_0(N)^*$ are only cusps or CM points when $N$ is large enough. We establish an integrality result for the $j$-invariants of non-cuspidal rational points on $X_0(N)^*$ when $N$ is non-squarefree, representing a significant step toward resolving a key subcase of Elkies' conjecture. To this end, we prove the existence of rank-zero quotients of certain modular Jacobians $J_0(pq)$. Furthermore, in the non-squarefree case we provide a complete classification of the rational points on $X_0(N)^*$ of genus $1 \leq g \leq 5$, when they are finite. In the process we identify exceptional rational points on $X_0(75)^*$ and $X_0(147)^*$ which were not known before.

math.NT↗