Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-21T13:58:49.239Z Has data issue: false hasContentIssue false

The Frequency of Elliptic Curve Groups over Prime Finite Fields

Published online by Cambridge University Press:  20 November 2018

Vorrapan Chandee
Affiliation:
Department of Mathematics, Burapha University, 169 Long-hard Bangsaen rd, Saen suk, Mueang, Chonburi, 20131 Thailand e-mail: vorrapan@buu.ac.th
Chantal David
Affiliation:
Department of Mathematics and Statistics, Concordia University, 1455 de Maisonneuve West, Montréal, QC, H3G 1M8, Canada e-mail: cdavid@mathstat.concordia.ca
Dimitris Koukoulopoulos
Affiliation:
Département de mathématiques et de statistique, Université de Montréal, CP 6128 succ. Centre-Ville, Montréal, QC H3C 3J7, Canada e-mail: koukoulo@dms.umontreal.ca
Ethan Smith
Affiliation:
Department of Mathematics, Liberty University, 1971 University Blvd, MSC Box 710052, Lynchburg, VA 24502, USA e-mail: ecsmith13@liberty.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Letting $p$ vary over all primes and $E$ vary over all elliptic curves over the finite field ${{\mathbb{F}}_{p}}$, we study the frequency to which a given group $G$ arises as a group of points $E\left( {{\mathbb{F}}_{p}} \right)$. It is well known that the only permissible groups are of the form ${{G}_{m,\,k}}\,:=\,\mathbb{Z}\,/m\mathbb{Z}\,\times \,\mathbb{Z}/mk\mathbb{Z}$. Given such a candidate group, we let $M\left( {{G}_{m,\,k}} \right)$ be the frequency to which the group ${{G}_{m,\,k}}$ arises in this way. Previously, C.David and E. Smith determined an asymptotic formula for $M\left( {{G}_{m,\,k}} \right)$ assuming a conjecture about primes in short arithmetic progressions. In this paper, we prove several unconditional bounds for $M\left( {{G}_{m,\,k}} \right)$, pointwise and on average. In particular, we show that $M\left( {{G}_{m,\,k}} \right)$ is bounded above by a constant multiple of the expected quantity when $m\,\le \,{{k}^{A}}$ and that the conjectured asymptotic for $M\left( {{G}_{m,\,k}} \right)$ holds for almost all groups ${{G}_{m,\,k}}$ when $m\,\le \,{{k}^{1/4-\in }}$. We also apply our methods to study the frequency to which a given integer $N$ arises as a group order $\#E\left( {{\mathbb{F}}_{p}} \right)$.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2016

References

[BPS12 Banks, W. D., Pappalardi, F., and Shparlinski, I. E., On group structures realized by elliptic curves over arbitrary finite fields. Exp. Math. 21 (2012) no. 1,1125.http://dx.doi.org/10.1080/10586458.2011.606075 Google Scholar
[BV07] Buchmann, J. and Vollmer, U., Binary quadratic forms. An algorithmic approach. Algorithms and Computation in Mathematics, 20. Springer, Berlin, 2007.Google Scholar
[CDKS] Chandee, V., David, C., Koukoulopoulos, D., and E. Smith, , Group structures of elliptic curves over finite fields. Int. Math. Res. Not. 2014, no. 19, 52305248.Google Scholar
[DS13] David, C. and Smith, E., Elliptic curves with a given number of points over finite fields. Compos. Math. 149(2013), no. 2, 175203.http://dx.doi.Org/10.1112/S0010437X12000541 Google Scholar
[DS14a] David, C., Corrigendum to: Elliptic curves with a given number of points over finite fields. Compos. Math. 150(2014), no. 8,13471348.http://dx.doi.Org/10.1112/S0010437X14007283 Google Scholar
[DS14b] David, C., A Cohen-Lenstra phenomenon for elliptic curves. J. London Math. Soc. 89(2014), no. 1, 2444.http://dx.doi.Org/10.1112/jlms/jdtO36 Google Scholar
[DS14c] David, C. , Corrigendum to: A Cohen-Lenstra phenomenon for elliptic curves. J. London Math.Soc. 89(2014), no. 1, 4546.http://dx.doi.Org/10.1112/jlms/jduOO1 Google Scholar
[Deu41] Deuring, M., Die Typen der Multiplikatorenringe elliptischer Funktionenkorper. Abh. Math.Sem. Hansischen Univ. 14(1941), 197272,http://dx.doi.Org/10.1007/BF02940746 Google Scholar
[FI78] Friedlander, J. and Iwaniec, H., On Bombieri's asymptotic sieve. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 5(1978) no. 4, 719756.Google Scholar
[GS03] Granville, A. and Soundararajan, K., The distribution of values ofL(l,Xd). Geom. Funct. Anal. 13(2003), no. 5, 9921028.http://dx.doi.org/10.1007/s00039-003-0438-3 Google Scholar
[HR74] Halberstam, H. and Richert, H.-E., Sieve methods. London Mathematical Society Monographs, No. 4. Academic Press, London-New York, 1974.Google Scholar
[Kob88] Koblitz, N., Primality of the number of points on an elliptic curve over a finite field. Pacific J. Math. 131(1988), no. 1, 157165.http://dx.doi.org/10.2140/pjm.1988.131.157 Google Scholar
[Koul4] Koukoulopoulos, D., Prime numbers in short arithmetic progressions. 2014. arXiv:1405.6592.Google Scholar
[LT76] Lang, S. and Trotter, H., Frobenius distributions in GL2-extensions. Lecture Notes in Mathematics 504. Springer-Verlag, Berlin, 1976.Google Scholar
[Sch87] Schoof, R., Nonsingular plane cubic curves over finite fields. J. Combin. Theory Ser. A 46(1987), no. 2, 183211.http://dx.doi.org/10.1016/0097-3165(87)90003-3 Google Scholar
[Ste94] Stepanov, S. A., Arithmetic of algebraic curves. Monographs in Contemporary Mathematics. Consultants Bureau, New York, 1994. Translated from the Russian by Irene Aleksanova.Google Scholar