Weber's class invariants revisited
Journal de théorie des nombres de Bordeaux, Tome 14 (2002) no. 1, pp. 325-343.

Let K be a quadratic imaginary number field of discriminant d. For t∈ℕ let 𝔒t denote the order of conductor t in K and j(𝔒t) its modular invariant which is known to generate the ring class field modulo t over K. The coefficients of the minimal equation of j(𝔒t) being quite large Weber considered in [We] the functions f,f1,f2,γ2,γ3 defined below and thereby obtained simpler generators of the ring class fields. Later on the singular values of these functions played a crucial role in Heegner’s solution [He] of the class number one problem for quadratic imaginary number fields [He,Me2,St]. Actually these numbers are used in cryptography to find elliptic curves over finite fields with nice properties. It is the aim of this paper i) to enunciate some known results of [We,Bi,Me2,Sch1] cf. Theorem 1, 2 and 3, concerning singular values of the functions f,f1,f2,γ2,γ3, and ii) to give a short and easy proof of these results. That method also applies to other functions, such as those in the table preceding Theorem 4. The proofs of Theorems 1 to 4 are given at the end of our article. Our proofs rely on the reciprocity law of Shimura (cf. Theorem 5, and also Theorem 6 and 7), and on the knowledge of the 24-th root of unity that acquires η=Δ24 by unimodular substitution (cf. Proposition 2, and [Mel] p.162); they also give via Proposition 3 explicit formulas for the conjugates of the singular values (of the above functions), that are quite useful for numerical calculations. Examples of such calculations are to be found immediately before the references.

Soit K un corps quadratique imaginaire de discriminant d et 𝔒t l’ordre à conducteur t∈ℕ dans K. L’invariant modulaire j(𝔒t) est un nombre algébrique qui génère sur K le corps de classes d’anneau modulo t. Les coefficients du polynôme minimal de j(𝔒t) étant assez large, Weber considère dans [We] les fonctions f,f1,f2,γ2,γ3 définies plus bas, par lesquelles il construit des générateurs plus simples pour les corps de classes d’anneau. Plus tard les valeurs singulières de ces fonctions ont joué un rôle central dans la solution de Heegner [He] du célèbre problème de déterminer tous les corps quadratiques imaginaires dont le nombre de classes est égal à 1 [He,Me2,St]. Actuellement on s’en sert en cryptographie pour trouver des courbes elliptiques sur des corps finis avec certaines jolies propriétés. Le but de cet article est i) d’énoncer certains résultats déjà connus de [We,Bi,Me2,Schl] cf. Théorèmes 1,2 et 3, concernant les valeurs singulières des fonctions f,f1,f2,γ2,γ3, et ii) de développer une preuve courte de ces résultats. Cette méthode s’applique aussi à d’autres fonctions cf. Théorème 4 et le tableau précédent celui-ci. Les preuves des théorèmes 1 à 4 sont données en fin d’article. Ces démonstrations résultent de la loi de réciprocité de Shimura (cf. théorème 5, ainsi que théorèmes 6 et 7), du calcul de la racine 24-ième de l’unité de η=Δ24 lors des transformations unimodulaires (cf. proposition 2, tirée de [Me1] formules (4.21) à (4.23) p.162), et donnent aussi via la proposition 3 des formules explicites pour les conjugués des valeurs singulières, qui sont très utiles pour des calculs numériques. Certains de ceux-ci sont donnés comme exemples juste avant la bibliograpie.

@article{JTNB_2002__14_1_325_0,
     author = {Reinhard Schertz},
     title = {Weber's class invariants revisited},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     pages = {325--343},
     publisher = {Universit\'e Bordeaux I},
     volume = {14},
     number = {1},
     year = {2002},
     zbl = {1022.11056},
     mrnumber = {1926005},
     language = {en},
     url = {https://jtnb.centre-mersenne.org/item/JTNB_2002__14_1_325_0/}
}
TY  - JOUR
AU  - Reinhard Schertz
TI  - Weber's class invariants revisited
JO  - Journal de théorie des nombres de Bordeaux
PY  - 2002
SP  - 325
EP  - 343
VL  - 14
IS  - 1
PB  - Université Bordeaux I
UR  - https://jtnb.centre-mersenne.org/item/JTNB_2002__14_1_325_0/
LA  - en
ID  - JTNB_2002__14_1_325_0
ER  - 
%0 Journal Article
%A Reinhard Schertz
%T Weber's class invariants revisited
%J Journal de théorie des nombres de Bordeaux
%D 2002
%P 325-343
%V 14
%N 1
%I Université Bordeaux I
%U https://jtnb.centre-mersenne.org/item/JTNB_2002__14_1_325_0/
%G en
%F JTNB_2002__14_1_325_0
Reinhard Schertz. Weber's class invariants revisited. Journal de théorie des nombres de Bordeaux, Tome 14 (2002) no. 1, pp. 325-343. https://jtnb.centre-mersenne.org/item/JTNB_2002__14_1_325_0/

[Bi] B.J. Birch, Weber's Class Invariants. Mathematika 16 (1969), 283-294. | MR | Zbl

[De] M. Deuring, Die Klassenkörper der komplexen Multiplikation. Enzykl. d. math. Wiss. I/2, 2.Auflage, Heft 10, Stuttgart, 1958. | MR | Zbl

[Ha-Vi] F. Hajir, F.R. Villegas, Explicit elliptic units, I. Duke Math. J. 90 (1997), 495-521. | MR | Zbl

[He] K. Heegner, Diophantische Analysis und Modulfunktionen. Math. Zeitschrift 56 (1952), 227-253. | MR | Zbl

[La] S. Lang, Elliptic functions. Addison Wesley, 1973. | MR | Zbl

[Me1] C. Meyer, Über einige Anwendungen Dedekindscher Summen. J. Reine Angew. Math. 198 (1957), 143-203. | MR | Zbl

[Me2] C. Meyer, Bemerkungen zum Satz von Heegner-Stark über die imaginär-quadratischen Zahlkörper mit der Klassenzahl Eins. J. Reine Angew. Math. 242 (1970), 179-214. | MR | Zbl

[Mo] F. Morain, Modular Curves, Class Invariants and Applications, preprint.

[Sch1] R. Schertz, Die singulären Werte der Weberschen Funktionen f, f1, f2, γ2, γ3. J. Reine Angew. Math. 286/287 (1976), 46-74. | Zbl

[Sch2] R. Schertz, Zur Theorie der Ringklassenkörper über imaginär-quadratischen Zahlkörpern. J. Number Theory 10 (1978), 70-82. | MR | Zbl

[Sch3] R. Schertz, Zur expliziten Berechnung von Ganzheitsbasen in Strahiklassenkörpern über einem imaginär-quadratischen Zahlkörper. J. Number Theory 34 (1990), 41-53. | MR | Zbl

[Sch4] R. Schertz, Construction of Ray Class Fields by Elliptic Units. J. Théor. Nombres Bordeaux 9 (1997), 383-394. | Numdam | MR | Zbl

[Sh] G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Iwanami Shoten and Princeton University Press, 1971. | MR | Zbl

[St] H. Stark, On the "Gap" in a Theorem of Heegner. J. Number Theory 1 (1969),16-27. | MR | Zbl

[We] H. Weber, Lehrbuch der Algebra, Bd 3, 2. Aufl. Braunschweig, 1908; Neudruck, New York, 1962.