Abstract
We discuss how to compute the Brauer group of the product of two elliptic curves over a finite field. Specifically, we apply the Artin–Tate formula for abelian surfaces to give a simple formula for computing the order of the Brauer group of the product of two elliptic curves. Our formula enables to compute the order of the Brauer group using traces of Frobenius maps on elliptic curves and the discriminant of the group of homomorphisms between two elliptic curves. In addition, for the product of non-isogenous elliptic curves, we give an algorithm for computing torsion subgroups of a certain Galois cohomology that can be embedded as subgroups of the Brauer group.
Similar content being viewed by others
Data availability
Data availability is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Bisson, G., Sutherland, A.V.: Computing the endomorphism ring of an ordinary elliptic curve over a finite field. J. Numb. Theory 131(5), 815–831 (2011)
Blake, I.F., Seroussi, G., Smart, N.P.: Elliptic Curves in Cryptography, Volume of 265 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (1999)
Chernousov, V., Guletskii, V.: 2-torsion of the Brauer group of an elliptic curve: generators and relations. Documenta Mathematica Extra Volume, pp. 85–120 (2001)
Delfs, C., Galbraith, S.D.: Computing isogenies between supersingular elliptic curves over \(\mathbb{F} _p\). Des. Codes Crypt. 78(2), 425–440 (2016)
Eisenträger, K., Hallgren, S., Leonardi, C., Morrison, T., Park, J.: Computing endomorphism rings of supersingular elliptic curves and connections to pathfinding in isogeny graphs. Open Book Ser. 4(1), 215–232 (2020)
Fouquet, M., Morain, F.: Isogeny Volcanoes and the SEA Algorithm, Algorithmic Number Theory (ANTS-V). Springer, Lecture Notes in Computer Science vol. 2369, pp. 276–291 (2002)
Galbraith, S.D.: Mathematics of Public Key Cryptography. Cambridge University Press, Cambridge (2012)
Gille, P., Szamuely, T.: Central Simple Algebras and Galois Cohomology, Volume of 165 of Cambridge Studies in Advanced Mathematics, 2nd edn. Cambridge University Press, Cambridge (2017)
Kohel, D.: Endomorphism rings of elliptic curves over finite fields. Ph.D. thesis, University of California, Berkeley (1996)
Manin, Y.I.: Cubic Forms: Algebra, Geometry, Arithmetic. Elsevier, New York (1986)
J.-F. Mestre, La méthode des graphes. Exemples et applications. In: Proceedings of the International Conference on Class Numbers and Fundamental Units of Algebraic Number Fields, pp. 217–242 (1986)
Milne, J.S.: On a conjecture of Artin and Tate. Ann. Math. 102(3), 517–533 (1975)
Mumford, D.: Abelian Varieties. Oxford University Press, Oxford (1970)
Rück, H.G.: A note on elliptic curves over finite fields. Math. Comput. 49(179), 301–304 (1987)
Schoof, R.: Elliptic curves over finite fields and the computation of square roots \({p}\). Math. Comput. 44(170), 483–494 (1985)
Silverman, J.H.: The Arithmetic of Elliptic Curves. Graduate Texts in Mathematics, vol. 106, 2nd edn. Springer, New York (2009)
B. Smith, Explicit endomorphisms and correspondences, Ph.D. thesis, The University of Sydney (2005)
Suwa, N., Yui, N.: Arithmetic of Certain Algebraic Surfaces Over Finite Fields. Number Theory Seminar. Lecture Notes in Mathematics, vol. 1383, pp. 186–256. Springer, New York (1989)
Tate, J.: On the conjectures of Birch and Swinnerton–Dyer and a geometric analog. Sémin. N. Bourbaki Exp. No 306, 415–440 (1966)
Uematsu, T.: On the Brauer group of diagonal cubic surfaces. Q. J. Math. 65(2), 677–701 (2014)
Voight, J.: Quaternion Algebras. Graduate Texts in Mathematics, vol. 288. Springer, New York (2021)
Washington, L.C.: Elliptic Curves: Number Theory and Cryptography. CRC, Boca Raton (2008)
W. C. Waterhouse, Abelian varieties over finite fields. Ann. Sci. L’É.N.S. 2(4), 521–560 (1969)
Yui, N.: The arithmetic of the product of two algebraic curves over a finite field. J. Algebra 98(1), 102–142 (1986)
Acknowledgements
We would like to thank Professor Kazuhiro Yokoyama for his useful comments. This work was supported by JST CREST Grant Number JPMJCR2113 and JSPS KAKENHI Grant Number JP23K18469.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Katayama, A., Yasuda, M. Computing the Brauer group of the product of two elliptic curves over a finite field. Japan J. Indust. Appl. Math. 41, 919–943 (2024). https://doi.org/10.1007/s13160-023-00638-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13160-023-00638-y