Search ResultsShowing 1-9 of 9
-
arXiv:2406.03399 (Published 2024-06-05)
Elliptic curves over Hasse pairs
We call a pair of distinct prime powers $(q_1,q_2) = (p_1^{a_1},p_2^{a_2})$ a Hasse pair if $|\sqrt{q_1}-\sqrt{q_2}| \leq 1$. For such pairs, we study the relation between the set $\mathcal{E}_1$ of isomorphism classes of elliptic curves defined over $\mathbb{F}_{q_1}$ with $q_2$ points, and the set $\mathcal{E}_2$ of isomorphism classes of elliptic curves over $\mathbb{F}_{q_2}$ with $q_1$ points. When both families $\mathcal{E}_i$ contain only ordinary elliptic curves, we prove that their isogeny graphs are isomorphic. When supersingular curves are involved, we describe which curves might belong to these sets. We also show that if both the $q_i$'s are odd and $\mathcal{E}_1 \cup \mathcal{E}_2 \neq \emptyset$, then $\mathcal{E}_1 \cup \mathcal{E}_2$ always contains an ordinary elliptic curve. Conversely, if $q_1$ is even, then $\mathcal{E}_1 \cup \mathcal{E}_2$ may contain only supersingular curves precisely when $q_2$ is a given power of a Fermat or a Mersenne prime. In the case of odd Hasse pairs, we could not rule out the possibility of an empty union $\mathcal{E}_1 \cup \mathcal{E}_2$, but we give necessary conditions for such a case to exist. In an appendix, Moree and Sofos consider how frequently Hasse pairs occur using analytic number theory, making a connection with Andrica's conjecture on the difference between consecutive primes.
-
arXiv:2103.06787 (Published 2021-03-11)
Primitive divisors of sequences associated to elliptic curves over function fields
Comments: 13 pagesWe study the existence of a Zsigmondy bound for a sequence of divisors associated to points on an elliptic curve over a function field. More precisely, let $k$ be an algebraically closed field, let $\mathcal{C}$ be a nonsingular projective curve over $k$, and let $K$ denote the function field of $\mathcal{C}$. Suppose $E$ is an ordinary elliptic curve over $K$ and suppose there does not exist an elliptic curve $E_0$ defined over $k$ that is isomorphic to $E$ over $K$. Suppose $P\in E(K)$ is a non-torsion point and $Q\in E(K)$ is a torsion point of prime order $r$. The sequence of points $\{nP+Q\}\subset E(K)$ induces a sequence of effective divisors $\{D_{nP+Q}\}$ on $\mathcal{C}$. We provide conditions on $r$ and the characteristic of $k$ for there to exist a bound $N$ such that $D_{nP+Q}$ has a primitive divisor for all $n\geq N$. This extends the analogous result of Verzobio in the case where $K$ is a number field.
-
arXiv:2004.08315 (Published 2020-04-17)
Spanning the isogeny class of a power of an ordinary elliptic curve over a finite field. Application to the number of rational points of curves of genus $\leq 4$
Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class of $E^g$. The varieties are first described as hermitian lattices over (not necessarily maximal) quadratic orders and then geometrically in terms of their algebraic theta null point. We also show how to algebraically compute Siegel modular forms of even weight given as polynomials in the theta constants by a careful choice of an affine lift of the theta null point. We then use these results to give an algebraic computation of Serre's obstruction for principally polarized abelian threefolds isogenous to $E^3$ and of the Igusa modular form in dimension $4$. We illustrate our algorithms with examples of curves with many rational points over finite fields.
-
arXiv:2003.10301 (Published 2020-03-23)
$Λ$-submodules of finite index of anticyclotomic plus and minus Selmer groups of elliptic curves
Comments: 21 pagesLet $p$ be an odd prime and $K$ an imaginary quadratic field where $p$ splits. Under appropriate hypotheses, Bertolini showed that the Selmer group of a $p$-ordinary elliptic curve over the anticyclotomic $\mathbb Z_p$-extension of $K$ does not admit any proper $\Lambda$-submodule of finite index, where $\Lambda$ is a suitable Iwasawa algebra. We generalize this result to the plus and minus Selmer groups (in the sense of Kobayashi) of $p$-supersingular elliptic curves. In particular, in our setting the plus/minus Selmer groups have $\Lambda$-corank one, so they are not $\Lambda$-cotorsion. As an application of our main theorem, we prove results in the vein of Greenberg-Vatsal on Iwasawa invariants of $p$-congruent elliptic curves, extending to the supersingular case results for $p$-ordinary elliptic curves due to Hatley-Lei.
-
Coleman-Gross height pairings and the $p$-adic sigma function
Comments: AMS-LaTeX 17 pagesWe give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis, show that, in particular, its component above $p$ gives, in the special case of an ordinary elliptic curve, the $p$-adic sigma function. We use this result to give a short proof of a theorem of Kim characterizing integral points on elliptic curves in some cases under weaker assumptions. As a further application, we give new formulas to compute double Coleman integrals from tangential basepoints.
-
Computing the endomorphism ring of an ordinary elliptic curve over a finite field
Comments: 16 pages (minor edits)Journal: Journal of Number Theory 113 (2011), 815-831Categories: math.NTTags: journal articleWe present two algorithms to compute the endomorphism ring of an ordinary elliptic curve E defined over a finite field F_q. Under suitable heuristic assumptions, both have subexponential complexity. We bound the complexity of the first algorithm in terms of log q, while our bound for the second algorithm depends primarily on log |D_E|, where D_E is the discriminant of the order isomorphic to End(E). As a byproduct, our method yields a short certificate that may be used to verify that the endomorphism ring is as claimed.
-
arXiv:0806.0640 (Published 2008-06-03)
On the Sum-Product Problem on Elliptic Curves
Comments: 13 pagesLet $\E$ be an ordinary elliptic curve over a finite field $\F_{q}$ of $q$ elements and $x(Q)$ denote the $x$-coordinate of a point $Q = (x(Q),y(Q))$ on $\E$. Given an $\F_q$-rational point $P$ of order $T$, we show that for any subsets $\cA, \cB$ of the unit group of the residue ring modulo $T$, at least one of the sets $$ \{x(aP) + x(bP) : a \in \cA, b \in \cB\} \quad\text{and}\quad \{x(abP) : a \in \cA, b \in \cB\} $$ is large. This question is motivated by a series of recent results on the sum-product problem over finite fields and other algebraic structures.
-
Ordinary elliptic curves of high rank over $\bar F_p(x)$ with constant j-invariant II
Comments: 14 pages, new versionWe show that for all odd primes $p$, there exist ordinary elliptic curves over $\bar{\mathbb{F}}_p(x)$ with arbitrarily high rank and constant $j$-invariant. This shows in particular that there are elliptic curves with arbitrarily high rank over these fields for which the corresponding elliptic surface is not supersingular. The result follows from a theorem which states that for all odd prime numbers $p$ and $\ell$, there exists a hyperelliptic curve over $\bar{\mathbb{F}}_p$ of genus $(\ell-1)/2$ whose Jacobian is isogenous to the power of one ordinary elliptic curve.
-
arXiv:math/0305064 (Published 2003-05-04)
Ordinary elliptic curves of high rank over $\bar F_p(x)$ with constant j-invariant
Comments: 15 pages, 0 figures, LaTeXWe show that under the assumption of Artin's Primitive Root Conjecture, for all primes p there exist ordinary elliptic curves over $\bar F_p(x)$ with arbitrary high rank and constant j-invariant. For odd primes p, this result follows from a theorem which states that whenever p is a generator of (Z/ell Z)^*/<-1> (ell an odd prime) there exists a hyperelliptic curve over $\bar F_p$ whose Jacobian is isogenous to a power of one ordinary elliptic curve.