On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring

Fung, King Cheong; Kane, Ben

doi:10.1090/mcom/3206

On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring
HTML articles powered by AMS MathViewer

by King Cheong Fung and Ben Kane PDF

Math. Comp. 87 (2018), 501-514 Request permission

Abstract:

Chevyrev and Galbraith recently devised an algorithm which inputs a maximal order of the quaternion algebra ramified at one prime and infinity and constructs a supersingular elliptic curve whose endomorphism ring is precisely this maximal order. They proved that their algorithm is correct whenever it halts, but did not show that it always terminates. They did however prove that the algorithm halts under a reasonable assumption which they conjectured to be true. It is the purpose of this paper to verify their conjecture and in turn prove that their algorithm always halts.

More precisely, Chevyrev and Galbraith investigated the theta series associated with the norm maps from primitive elements of two maximal orders. They conjectured that if one of these theta series “dominated” the other in the sense that the $n$th (Fourier) coefficient of one was always larger than or equal to the $n$th coefficient of the other, then the maximal orders are actually isomorphic. We prove that this is the case.

References

Sara Arias-de-Reyna, Ilker Inam, and Gabor Wiese, On conjectures of Sato-Tate and Bruinier-Kohnen, Ramanujan J. 36 (2015), no. 3, 455–481. MR 3317867, DOI 10.1007/s11139-013-9547-2
Jan Hendrik Bruinier and Winfried Kohnen, Sign changes of coefficients of half integral weight modular forms, Modular forms on Schiermonnikoog, Cambridge Univ. Press, Cambridge, 2008, pp. 57–65. MR 2512356, DOI 10.1017/CBO9780511543371.005
Ilya Chevyrev and Steven D. Galbraith, Constructing supersingular elliptic curves with a given endomorphism ring, LMS J. Comput. Math. 17 (2014), no. suppl. A, 71–91. MR 3240797, DOI 10.1112/S1461157014000254
Max Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Hansischen Univ. 14 (1941), 197–272 (German). MR 5125, DOI 10.1007/BF02940746
W. Duke, Hyperbolic distribution problems and half-integral weight Maass forms, Invent. Math. 92 (1988), no. 1, 73–90. MR 931205, DOI 10.1007/BF01393993
Noam Elkies, Ken Ono, and Tonghai Yang, Reduction of CM elliptic curves and modular function congruences, Int. Math. Res. Not. 44 (2005), 2695–2707. MR 2181309, DOI 10.1155/IMRN.2005.2695
Benedict H. Gross, Heights and the special values of $L$-series, Number theory (Montreal, Que., 1985) CMS Conf. Proc., vol. 7, Amer. Math. Soc., Providence, RI, 1987, pp. 115–187. MR 894322
Benedict H. Gross and Mark W. Lucianovic, On cubic rings and quaternion rings, J. Number Theory 129 (2009), no. 6, 1468–1478. MR 2521487, DOI 10.1016/j.jnt.2008.06.003
Jonathan Hanke, Some recent results about (ternary) quadratic forms, Number theory, CRM Proc. Lecture Notes, vol. 36, Amer. Math. Soc., Providence, RI, 2004, pp. 147–164. MR 2076591, DOI 10.1090/crmp/036/10
Ilker Inam and Gabor Wiese, Equidistribution of signs for modular eigenforms of half integral weight, Arch. Math. (Basel) 101 (2013), no. 4, 331–339. MR 3116654, DOI 10.1007/s00013-013-0566-4
Ilker Inam and Gabor Wiese, A short note on the Bruiner-Kohnen sign equidistribution conjecture and Halász’ theorem, Int. J. Number Theory 12 (2016), no. 2, 357–360. MR 3461436, DOI 10.1142/S1793042116500214
Henryk Iwaniec, Fourier coefficients of modular forms of half-integral weight, Invent. Math. 87 (1987), no. 2, 385–401. MR 870736, DOI 10.1007/BF01389423
Dimitar Jetchev and Ben Kane, Equidistribution of Heegner points and ternary quadratic forms, Math. Ann. 350 (2011), no. 3, 501–532. MR 2805634, DOI 10.1007/s00208-010-0568-5
Marvin Knopp, Winfried Kohnen, and Wladimir Pribitkin, On the signs of Fourier coefficients of cusp forms, Ramanujan J. 7 (2003), no. 1-3, 269–277. Rankin memorial issues. MR 2035806, DOI 10.1023/A:1026207515396
Winfried Kohnen, Newforms of half-integral weight, J. Reine Angew. Math. 333 (1982), 32–72. MR 660784, DOI 10.1515/crll.1982.333.32
W. Kohnen, Y.-K. Lau, and J. Wu, Fourier coefficients of cusp forms of half-integral weight, Math. Z. 273 (2013), no. 1-2, 29–41. MR 3010150, DOI 10.1007/s00209-012-0994-z
Winfried Kohnen and Jyoti Sengupta, On the first sign change of Hecke eigenvalues of newforms, Math. Z. 254 (2006), no. 1, 173–184. MR 2232011, DOI 10.1007/s00209-006-0940-z
O. Timothy O’Meara, Introduction to quadratic forms, Classics in Mathematics, Springer-Verlag, Berlin, 2000. Reprint of the 1973 edition. MR 1754311
Ken Ono, The web of modularity: arithmetic of the coefficients of modular forms and $q$-series, CBMS Regional Conference Series in Mathematics, vol. 102, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2004. MR 2020489
Hans Petersson, Konstruktion der Modulformen und der zu gewissen Grenzkreisgruppen gehörigen automorphen Formen von positiver reeller Dimension und die vollständige Bestimmung ihrer Fourierkoeffizienten, S.-B. Heidelberger Akad. Wiss. Math.-Nat. Kl. 1950 (1950), 417–494 (German). MR 0041172
Alexander Schiemann, Ternary positive definite quadratic forms are determined by their theta series, Math. Ann. 308 (1997), no. 3, 507–517. MR 1457743, DOI 10.1007/s002080050086
R. Schulze-Pillot, Thetareihen positiv definiter quadratischer Formen, Invent. Math. 75 (1984), no. 2, 283–299 (German). MR 732548, DOI 10.1007/BF01388566
Goro Shimura, On modular forms of half integral weight, Ann. of Math. (2) 97 (1973), 440–481. MR 332663, DOI 10.2307/1970831
Carl Ludwig Siegel, Über die analytische Theorie der quadratischen Formen, Ann. of Math. (2) 36 (1935), no. 3, 527–606 (German). MR 1503238, DOI 10.2307/1968644
Carl Ludwig Siegel, Berechnung von Zetafunktionen an ganzzahligen Stellen, Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1969 (1969), 87–102 (German). MR 252349
Marie-France Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics, vol. 800, Springer, Berlin, 1980 (French). MR 580949