Short description: Estimates the number of points on an elliptic curve over a finite field
Hasse's theorem on elliptic curves, also referred to as the Hasse bound, provides an estimate of the number of points on an elliptic curve over a finite field, bounding the value both above and below.
If N is the number of points on the elliptic curve E over a finite field with q elements, then Hasse's result states that
- [math]\displaystyle{ |N - (q+1)| \le 2 \sqrt{q}. }[/math]
The reason is that N differs from q + 1, the number of points of the projective line over the same field, by an 'error term' that is the sum of two complex numbers, each of absolute value [math]\displaystyle{ \sqrt{q}. }[/math]
This result had originally been conjectured by Emil Artin in his thesis.[1] It was proven by Hasse in 1933, with the proof published in a series of papers in 1936.[2]
Hasse's theorem is equivalent to the determination of the absolute value of the roots of the local zeta-function of E. In this form it can be seen to be the analogue of the Riemann hypothesis for the function field associated with the elliptic curve.
Hasse–Weil Bound
A generalization of the Hasse bound to higher genus algebraic curves is the Hasse–Weil bound. This provides a bound on the number of points on a curve over a finite field. If the number of points on the curve C of genus g over the finite field [math]\displaystyle{ \mathbb{F}_q }[/math] of order q is [math]\displaystyle{ \#C(\mathbb{F}_q) }[/math], then
- [math]\displaystyle{ |\#C(\mathbb{F}_q) - (q+1)| \le 2g \sqrt{q}. }[/math]
This result is again equivalent to the determination of the absolute value of the roots of the local zeta-function of C, and is the analogue of the Riemann hypothesis for the function field associated with the curve.
The Hasse–Weil bound reduces to the usual Hasse bound when applied to elliptic curves, which have genus g=1.
The Hasse–Weil bound is a consequence of the Weil conjectures, originally proposed by André Weil in 1949 and proved by André Weil in the case of curves.[3]
See also
- Sato–Tate conjecture
- Schoof's algorithm
- Weil's bound
Notes
- ↑ Artin, Emil (1924), "Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil", Mathematische Zeitschrift 19 (1): 207–246, doi:10.1007/BF01181075, ISSN 0025-5874
- ↑ Hasse, Helmut (1936), "Zur Theorie der abstrakten elliptischen Funktionenkörper. I, II & III", Crelle's Journal 1936 (175), doi:10.1515/crll.1936.175.193, ISSN 0075-4102
- ↑ Weil, André (1949), "Numbers of solutions of equations in finite fields", Bulletin of the American Mathematical Society 55 (5): 497–508, doi:10.1090/S0002-9904-1949-09219-4, ISSN 0002-9904, https://www.ams.org/bull/1949-55-05/S0002-9904-1949-09219-4/home.html
References
- Hurt, Norman E. (2003), Many Rational Points. Coding Theory and Algebraic Geometry, Mathematics and its Applications, 564, Dordrecht: Kluwer/Springer-Verlag, ISBN 1-4020-1766-9
- Niederreiter, Harald; Xing, Chaoping (2009), Algebraic Geometry in Coding Theory and Cryptography, Princeton: Princeton University Press, ISBN 978-0-6911-0288-7
- Chapter V of Silverman, Joseph H. (1994), The arithmetic of elliptic curves, Graduate Texts in Mathematics, 106, New York: Springer-Verlag, ISBN 978-0-387-96203-0
- Washington, Lawrence C. (2008), Elliptic Curves. Number Theory and Cryptography, 2nd Ed, Discrete Mathematics and its Applications, Boca Raton: Chapman & Hall/CRC Press, ISBN 978-1-4200-7146-7
Topics in algebraic curves |
|---|
| Rational curves |
- Five points determine a conic
- Projective line
- Rational normal curve
- Riemann sphere
- Twisted cubic
|
|---|
| Elliptic curves | | Analytic theory |
- Elliptic function
- Elliptic integral
- Fundamental pair of periods
- Modular form
|
|---|
| Arithmetic theory |
- Counting points on elliptic curves
- Division polynomials
- Hasse's theorem on elliptic curves
- Mazur's torsion theorem
- Modular elliptic curve
- Modularity theorem
- Mordell–Weil theorem
- Nagell–Lutz theorem
- Supersingular elliptic curve
- Schoof's algorithm
- Schoof–Elkies–Atkin algorithm
|
|---|
| Applications |
- Elliptic curve cryptography
- Elliptic curve primality
|
|---|
|
|---|
| Higher genus |
- De Franchis theorem
- Faltings's theorem
- Hurwitz's automorphisms theorem
- Hurwitz surface
- Hyperelliptic curve
|
|---|
| Plane curves |
- AF+BG theorem
- Bézout's theorem
- Bitangent
- Cayley–Bacharach theorem
- Conic section
- Cramer's paradox
- Cubic plane curve
- Fermat curve
- Genus–degree formula
- Hilbert's sixteenth problem
- Nagata's conjecture on curves
- Plücker formula
- Quartic plane curve
- Real plane curve
|
|---|
| Riemann surfaces |
- Belyi's theorem
- Bring's curve
- Bolza surface
- Compact Riemann surface
- Dessin d'enfant
- Differential of the first kind
- Klein quartic
- Riemann's existence theorem
- Riemann–Roch theorem
- Teichmüller space
- Torelli theorem
|
|---|
| Constructions |
- Dual curve
- Polar curve
- Smooth completion
|
|---|
| Structure of curves | | Divisors on curves |
- Abel–Jacobi map
- Brill–Noether theory
- Clifford's theorem on special divisors
- Gonality of an algebraic curve
- Jacobian variety
- Riemann–Roch theorem
- Weierstrass point
- Weil reciprocity law
|
|---|
| Moduli |
- ELSV formula
- Gromov–Witten invariant
- Hodge bundle
- Moduli of algebraic curves
- Stable curve
|
|---|
| Morphisms |
- Hasse–Witt matrix
- Riemann–Hurwitz formula
- Prym variety
- Weber's theorem
|
|---|
| Singularities |
- Acnode
- Crunode
- Cusp
- Delta invariant
- Tacnode
|
|---|
| Vector bundles |
- Birkhoff–Grothendieck theorem
- Stable vector bundle
- Vector bundles on algebraic curves
|
|---|
|
|---|
 | Original source: https://en.wikipedia.org/wiki/Hasse's theorem on elliptic curves. Read more |