English

Computation of the Kummer ratio of the class number for prime cyclotomic fields

Number Theory 2019-10-22 v4

Abstract

Let ζq\zeta_q be a primitive qthq^{\text{th}} root of unity with qq an arbitrary odd prime. The ratio of Kummer's first factor of the class number of the cyclotomic number field Q(ζq)\mathbb{Q}(\zeta_q) and its expected order of magnitude (a simple function of qq) is called the Kummer ratio and denoted by r(q)r(q). It is known that typically r(q)r(q) is close to 1, but nevertheless it is believed that it is unbounded, but only large on a very thin sequence of primes qq. We propose an algorithm to compute r(q)r(q) requiring the evaluation of O(qlogq)O(q\log q) products and O(q)O(q) logarithms. Using it we obtain a new record maximum for r(q)r(q), namely r(6766811)=1.709379r(6766811) =1.709379\dotsc (the old record being r(5231)=1.556562r(5231)=1.556562\dotsc). The program used and the results described here, are collected at the following address \url{http://www.math.unipd.it/~languasc/rq-comput.html}. This is a (preliminary) report about the computational part of a joint project with Pieter Moree, Sumaia Saad Eddin, and Alisa Sedunova.

Keywords

Cite

@article{arxiv.1908.01152,
  title  = {Computation of the Kummer ratio of the class number for prime cyclotomic fields},
  author = {Alessandro Languasco and Pieter Moree and Sumaia Saad Eddin and Alisa Sedunova},
  journal= {arXiv preprint arXiv:1908.01152},
  year   = {2019}
}

Comments

Extended computations up to $3\le q \le 2\cdot 10^6$, $q$ prime. 11 pages, 2 figures, 4 tables