An effective version of Chebotarev's density theorem
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915443739983872 |
|---|---|
| author | Das, Sourabhashis Kadiri, Habiba Ng, Nathan |
| author_facet | Das, Sourabhashis Kadiri, Habiba Ng, Nathan |
| contents | Chebotarev's density theorem asserts that the prime ideals are equidistributed among the conjugacy classes of the Galois group of any normal extension of number fields. An effective version of this theorem was first established by Lagarias and Odlyzko in 1977. In this article, we present an explicit refinement of their statement that applies to all non-rational fields, with every implicit constant expressed explicitly in terms of the field invariants. Additionally, we provide a sharper bound for extensions of sufficiently small degree. Our approach begins by proving an explicit formula for a smoothed prime ideal counting function. This relies on recent zero-free regions for Dedekind zeta functions, improved estimates on the number of low-lying zeros, and precise bounds for sums over the non-trivial zeros of the Dedekind $ζ$-function. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_09480 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An effective version of Chebotarev's density theorem Das, Sourabhashis Kadiri, Habiba Ng, Nathan Number Theory 11R42, 11R44, 11R45, 11Y35 Chebotarev's density theorem asserts that the prime ideals are equidistributed among the conjugacy classes of the Galois group of any normal extension of number fields. An effective version of this theorem was first established by Lagarias and Odlyzko in 1977. In this article, we present an explicit refinement of their statement that applies to all non-rational fields, with every implicit constant expressed explicitly in terms of the field invariants. Additionally, we provide a sharper bound for extensions of sufficiently small degree. Our approach begins by proving an explicit formula for a smoothed prime ideal counting function. This relies on recent zero-free regions for Dedekind zeta functions, improved estimates on the number of low-lying zeros, and precise bounds for sums over the non-trivial zeros of the Dedekind $ζ$-function. |
| title | An effective version of Chebotarev's density theorem |
| topic | Number Theory 11R42, 11R44, 11R45, 11Y35 |
| url | https://arxiv.org/abs/2508.09480 |