The Brauer-Siegel ratio for prime cyclotomic fields

Neelam Kandhil,Alessandro Languasco,Pieter Moree

2024-02-21

Abstract:The Brauer-Siegel theorem concerns the size of the product of the class number and the regulator of a number field $K$. We derive bounds for this product in case $K$ is a prime cyclotomic field, distinguishing between whether there is a Siegel zero or not. In particular, we make a result of Tatuzawa (1953) more explicit. Our theoretical advancements are complemented by numerical illustrations that are consistent with our findings.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the estimation of the Brauer - Siegel ratio in prime cyclotomic fields. Specifically, the authors aim to provide more precise bounds for the product of the class number \(h(q)\) and the regulator \(Reg(q)\) in the prime cyclotomic field \(Q(\zeta_q)\), and distinguish between the cases where Siegel zeros exist or not. In this way, they improve the results obtained by Tatuzawa in 1953 and conduct an in - depth exploration of the application of the Brauer - Siegel theorem in this particular case.

The main contributions of the paper include:
- **Theoretical results**: Provide the upper and lower bounds of \(R(q)\) when Siegel zeros exist and do not exist, where \(R(q)\) is the Brauer - Siegel ratio.
- **Numerical verification**: Verify the theoretical results through numerical calculations, indicating that these results are consistent with the actual data.

Specifically, the key formulas and conclusions of the paper are as follows:

1. **Definition of the Brauer - Siegel ratio**:
\[
R(q)=\frac{h(q)\cdot Reg(q)}{H(q)}
\]
where \(H(q) = 2\sqrt{q}\left(\frac{q}{2\pi}\right)^{\frac{q - 1}{2}}\).

2. **Bounds when Siegel zeros exist**:
If there is a Siegel zero \(\beta_0\), then:
\[
e^{-1.91}e^{-E_1(1 - \beta_0)}(\log q)^{2\ell(q)}<\prod_{\chi\neq\chi_0}L(1,\chi)<e^{0.56}e^{-E_1(1 - \beta_0)}(\log q)^{2\ell(q)}
\]

3. **Bounds when Siegel zeros do not exist**:
If there are no Siegel zeros, then:
\[
e^{-1.91}(\log q)^{1 - \xi}<\prod_{\chi\neq\chi_0}L(1,\chi)<e^{0.56}(\log q)^{1 - \xi}
\]
where \(\xi\) is an absolute constant.

4. **Numerical results**:
The numerical results show that there is a good fitting relationship between \(R(q)\) and \(\frac{c}{(\log q)^{3/4}}\) (where \(c\in(1/5,2/3)\)), which is consistent with the theoretical results.

Through these studies, the authors not only improve the existing theory but also provide new perspectives and tools for future research.