Hilbert symbols, class groups and quaternion algebras
Journal de théorie des nombres de Bordeaux, Volume 12 (2000) no. 2, p. 367-377

Let B be a quaternion algebra over a number field k. To a pair of Hilbert symbols {a,b} and {c,d} for B we associate an invariant ρ=ρ R [𝒟(a,b)],[𝒟(c,d)] in a quotient of the narrow ideal class group of k. This invariant arises from the study of finite subgroups of maximal arithmetic kleinian groups. It measures the distance between orders 𝒟(a,b) and 𝒟(c,d) in B associated to {a,b} and {c,d}. If a=c, we compute ρ R ([𝒟(a,b)],[𝒟(c,d)]) by means of arithmetic in the field k(a). The problem of extending this algorithm to the general case leads to studying a finite graph associated to different Hilbert symbols for B. An example arising from the determination of the smallest arithmetic hyperbolic 3-manifold is discussed.

Soit B une algèbre de quaternions définie sur un corps de nombres k. Nous associons à tout couple de symboles de Hilbert {a,b} et {c,d} pour B un invariant ρ=ρ R [𝒟(a,b)],[𝒟(c,d)] dans un quotient du groupe des classes au sens restreint de k. Cet invariant a son origine dans l’étude des sous-groupes finis d’un groupe kleinien arithmétique maximal. Il mesure la distance entre les ordres 𝒟(a,b) et 𝒟(c,b) dans B associés à a,b et c,d. Si a=c, nous calculons ρ R ([𝒟(a,b)],[𝒟(c,d)]) en termes de l’arithmétique du corps k(a). Le problème d’étendre ce calcul au cas général conduit à l’étude d’un graphe fini lié aux différents symboles de Hilbert pour B. Nous considérons en détail un exemple issu de la détermination de la plus petite variété hyperbolique arithmétique de dimension trois.

@article{JTNB_2000__12_2_367_0,
     author = {Chinburg, Ted and Friedman, Eduardo},
     title = {Hilbert symbols, class groups and quaternion algebras},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     publisher = {Universit\'e Bordeaux I},
     volume = {12},
     number = {2},
     year = {2000},
     pages = {367-377},
     zbl = {0973.11097},
     mrnumber = {1823190},
     language = {en},
     url = {http://www.numdam.org/item/JTNB_2000__12_2_367_0}
}
Chinburg, Ted; Friedman, Eduardo. Hilbert symbols, class groups and quaternion algebras. Journal de théorie des nombres de Bordeaux, Volume 12 (2000) no. 2, pp. 367-377. http://www.numdam.org/item/JTNB_2000__12_2_367_0/

[B] A. Borel, Commensumbility classes and volumes of hyperbolic 3-manifolds. Ann. Scuola Norm. Sup. Pisa 8 (1981), 1-33. Also in Borel's Oeuvres, Berlin Springer (1983). | Numdam | MR 616899 | Zbl 0473.57003

[CF1] T. Chinburg, E. Friedman, An embedding theorem for quaternion algebras. J. London Math. Soc. (2) 60 (1999), 33-44. | MR 1721813 | Zbl 0940.11053

[CF2] T. Chinburg, E. Friedman, The finite subgroups of maximal arithmetic Kleinian groups. Ann. Institut Fourier 50 (2000), 1765-1798. | Numdam | MR 1817383 | Zbl 0973.20040

[CFJR] T. Chinburg, E. Friedman, K.N. Jones, A.W. Reid, The arithmetic hyperbolic 3-manifold of smallest volume. Ann. Scuola Norm. Sup. Pisa (to appear). | Numdam | MR 1882023 | Zbl 1008.11015

[R] I. Reiner, Maximal Orders. Acad. Press London (1975). | MR 1972204 | Zbl 0305.16001

[V] M.-F. Vigngras, Arithmétique des algèbres de Quaternions. Lecture Notes in Math. 800, Springer-Verlag Berlin (1980). | MR 580949 | Zbl 0422.12008