This paper gives additional background in algebraic geometry as an accompaniment to the article, ``Formal Groups, Elliptic Curves, and some Theorems of Couveignes'' [arXiv:math.NT/9708215]. Section 1 discusses the addition law on elliptic curves, and Sections 2 and 3 explain about function fields, uniformizers, and power series expansions with respect to a uniformizer.
Let K denote the quadratic field $\mathbb{Q}(\sqrt{d})$ where d=$-1$ or $-3$. Let E be an elliptic curve defined over K. In this paper, we analyze the torsion subgroups of E in the maximal elementary abelian $2$-extension of $K$.
A classical result of Dirichlet shows that certain elementary character sums compute class numbers of quadratic imaginary number fields. We obtain analogous relations between class numbers and a weighted character sum associated to a 2-isogeny of elliptic curves.
To compute generators for the Mordell-Weil group of an elliptic curve over a number field, one needs to bound the difference between the naive and the canonical height from above. We give an elementary and fast method to compute an upper bound for the local contribution to this difference at an archimedean place, which sometimes gives better results than previous algorithms.
Using some theory of (rational) elliptic surfaces plus elementary properties of a Mordell-Weil group regarded as module over the endomorphism ring of a (CM) elliptic curve, we present examples of such surfaces with j-invariant zero. In particular, a K3 example is given with the maximal possible rank 18, plus that many explicit independent sections on it. Several other high rank cases are discussed; for instance Shioda's example with rank 68.
We prove, using elementary methods, that each member of the infinite families of elliptic curves given by $E_m \colon y^2=x^3 - x + m^6$ and $E_m' \colon y^2=x^3 + x - m^6$ have rank at least $2$ and 3, respectively, under mild restrictions on $m$. We also prove stronger results for $E_m$ and $E_m'$ using more technical machinery.
We discuss a non-computational elementary approach to a well-known criterion of divisibility by 2 in the group of rational points on an elliptic curve.
We extend the algorithm of Darmon-Green and Darmon-Pollack for computing p-adic Darmon points on elliptic curves to the case of composite conductor. We also extend the algorithm of Darmon-Logan for computing ATR Darmon points to treat curves of nontrivial conductor. Both cases involve an algorithmic decomposition into elementary matrices in congruence subgroups Γ(N) for ideals N in certain rings of S-integers. We use these extensions to provide additional evidence in support of the conjectures on the rationality of Darmon points.
The formal group law of an elliptic curve has seen recent applications to computational algebraic geometry in the work of Couveignes to compute the order of an elliptic curve over finite fields of small characteristic. The purpose of this paper is to explain in an elementary way how to associate a formal group law to an elliptic curve and to expand on some theorems of Couveignes. In addition, the paper serves as background for [J. Number Theory 70 (1998), 127-145]. We treat curves defined over arbitrary fields, including fields of characteristic two or three.
We give an elementary and self-contained introduction to pairings on elliptic curves over finite fields. For the first time in the literature, the three different definitions of the Weil pairing are stated correctly and proved to be equivalent using Weil reciprocity. Pairings with shorter loops, such as the ate, ate$_i$, R-ate and optimal pairings, together with their twisted variants, are presented with proofs of their bilinearity and non-degeneracy. Finally, we review different types of pairings in a cryptographic context. This article can be seen as an update chapter to A. Enge, Elliptic Cu…
In 1989, Ming Luo \cite{L2} showed that the Fibonacci number $U_n$ is Triangular if and only if $n=\pm1,2,4,8,10$. For this, he established a Jacobi Symbol Criterion. Moreover, he observed that this problem is equivalent to finding all integer points on two elliptic curves. In this paper, we prove a Jacobi Symbol Criterion for more general families of binary recurrences. In addition, applying the criterion and elementary methods, we determine all integer points on the elliptic curves $y^2=5x^2(x+3)^2+4(-1)^n$.
It is known, that for every elliptic curve over Q there exists a quadratic extension in which the rank does not go up. For a large class of elliptic curves, the same is known with the rank replaced by the 2-Selmer group. We show, however, that there exists a large supply of semistable elliptic curves E/Q whose 2-Selmer group goes up in every bi-quadratic extension and for any odd prime p, the p-Selmer group goes up in every D_{2p}-extension and every elementary abelian p-extension of rank at least 2. We provide a simple criterion for an elliptic curve over an arbitrary number field to exhibit …
We consider the question of which quadratic fields have elliptic curves with everywhere good reduction. By revisiting work of Setzer, we expand on congruence conditions that determine the real and imaginary quadratic fields with elliptic curves of everywhere good reduction and rational $j$-invariant. Using this, we determine the density of such real and imaginary quadratic fields. If $R(X)$ (respectively $I(X)$) denotes the number of real (respectively imaginary) quadratic fields $K=\mathbb{Q}[\sqrt{m}]$ such that $|Δ_K| < X$ and for which there exists an elliptic curve $E/K$ with rational $j$…
This note contains an elementary discussion of the Arakelov intersection theory of elliptic curves. The main new results are a projection formula for elliptic arithmetic surfaces and a formula for the "energy" of an isogeny between Riemann surfaces of genus 1. The latter formula provides an answer to a question originally posed by Szpiro.
Motivated by recent work of Florian Pop, we study the connections between three notions of equivalence of function fields: isomorphism, elementary equivalence, and the condition that each of a pair of fields can be embedded in the other, which we call isogeny. Some of our results are purely geometric: we give an isogeny classification of Severi-Brauer varieties and of quadric surfaces. These results are applied to deduce new instances of "elementary equivalence implies isomorphism": for all genus zero curves over a number field, and for certain genus one curves over a number field, including s…
We present an elementary proof of the group properties of the elliptic curve known as "Curve25519", as a component of a comprehensive proof of correctness of a hardware implementation of the associated Diffie-Hellman key agreement algorithm. The entire proof has been formalized and mechanically verified with ACL2, and is computationally surveyable in the sense that all steps that require mechanical support are presented in such a way that they may readily reproduced in any suitable programming language.
These informal notes are an expanded version of lectures on the moduli space of elliptic curves given at Zhejiang University in July, 2008. Their goal is to introduce and motivate basic concepts and constructions (such as orbifolds and stacks) important in the study of moduli spaces of curves and abelian varieties through the example of elliptic curves. The reason for working with elliptic curves is that most constructions are elementary and explicit in this case. All four approaches to moduli spaces of curves -- complex analytic, topological, algebro-geometric, and number theoretic -- are con…