Abstract
We generalize results of Alladi, Dawsey, and Sweeting and Woo for Chebotarev densities to general densities of sets of primes. We show that if K is a number field and S is any set of prime ideals with natural density \(\delta (S)\) within the primes, then
where \(\mu (\mathfrak {a})\) is the generalized Möbius function and D(K, S) is the set of integral ideals \( \mathfrak {a} \subseteq \mathcal {O}_K\) with unique prime divisor of minimal norm lying in S. Our result can be applied to give formulas for densities of various sets of prime numbers, including those lying in a Sato–Tate interval of a fixed elliptic curve, and those in a Beatty sequence such as \(\lfloor \pi n\rfloor \).
Similar content being viewed by others
Notes
Sweeting and Woo [16] call these ideals salient.
References
Alladi, K.: Duality between prime factors and an application to the prime number theorem for arithmetic progressions. J. Number Theory 9, 436–451 (1977)
Axer, A.: Beitrag zur Kenntnis der zahlentheoretischen Funktionen \(\mu (n)\) und \(\lambda (n)\). Prace matematyczno-fizyczne 21, 65–95 (1910)
Banks, W.D., Shparlinski, I.E.: Prime numbers with Beatty sequences. Colloq. Math. 115, 147–157 (2009)
Barnet-Lamb, T., Geraghty, D., Harris, M., Taylor, R.: A family of Calabi–Yau varieties and potential automorphy II. Publ. Res. Inst. Math. Sci. 47, 29–98 (2011)
Dawsey, M.L.: A new formula for Chebotarev densities. Res. Number Theory 3, Art. 27, 13 (2017)
Deuring, M.: Die Typen der Multiplikatorenringe elliptischer Funktionenkörper. Abh. Math. Sem. Hansischen Univ. 14, 197–272 (1941)
Fujisawa, Y., Minamide, M.: On partial sums of the Möbius and Liouville functions for number fields. arXiv:1212.4348
Ji, C., Kazdan, J., McDonald, V.: Primes with Beatty and Chebotarev conditions. arXiv:1907.12529
Lagarias, J.C., Odlyzko, A.M.: Effective Versions of the Chebotarev Density Theorem. Academic Press, London (1977)
Landau, E.: Neuer Beweis des Primzahlsatzes und Beweis des Primidealsatzes. Math. Ann. 56, 645–670 (1903)
Moree, P.: An interval result for the number field \(\psi (x, y)\) function. Manuscripta Math. 76, 437–450 (1992)
Salikhov, V.K.: On the irrationality measure of \(\pi \). Uspekhi Mat. Nauk 63, 163–164 (2008)
Serre, J.-P.: Quelques applications du théorème de densité de Chebotarev. Inst. Hautes Études Sci. Publ. Math. 54, 323–401 (1981)
Shapiro, H.N.: An elementary proof of the prime ideal theorem. Comm. Pure Appl. Math. 2, 309–323 (1949)
Skałba, M.: On Euler-von Mangoldt’s equation. Colloq. Math. 69, 143–145 (1995)
Sweeting, N., Woo, K.: Formulas for Chebotarev densities of Galois extensions of number fields. Res. Number Theory 5, Art. 4,13 (2019)
Tao, T.: A remark on partial sums involving the Möbius function. Bull. Aust. Math. Soc. 81, 343–349 (2010)
Acknowledgements
This research was conducted at the Emory University Mathematics Research Experience for Undergraduates, supported by the NSA (grant H98230-19-1-0013) and the NSF (Grants 1849959, 1557960). We thank Harvard University and the Asa Griggs Candler Fund for their support. The authors thank Professor Ken Ono and Jesse Thorner for guidance and suggestions. We also thank Peter Humphries for pointing out some additional references.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kural, M., McDonald, V. & Sah, A. Möbius formulas for densities of sets of prime ideals. Arch. Math. 115, 53–66 (2020). https://doi.org/10.1007/s00013-020-01458-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-020-01458-z