Densities on Dedekind domains, completions and Haar measure

From MaRDI portal
Publication:6184096

DOI10.1007/S00209-023-03415-2arXiv2009.04229OpenAlexW3083836384MaRDI QIDQ6184096FDOQ6184096


Authors: Luca Demangos, Ignazio Longhi Edit this on Wikidata


Publication date: 24 January 2024

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Abstract: Let D be the ring of S-integers in a global field and hatD its profinite completion. We discuss the relation between density in D and the Haar measure of hatD: in particular, we ask when the density of a subset X of D is equal to the Haar measure of its closure in hatD. In order to have a precise statement, we give a general definition of density which encompasses the most commonly used ones. Using it we provide a necessary and sufficient condition for the equality between density and measure which subsumes a criterion due to Poonen and Stoll. In another direction, we extend the Davenport-ErdH{o}s theorem to every D as above and offer a new interpretation of it as a "density=measure" result. Our point of view also provides a simple proof that in any D the set of elements divisible by at most k distinct primes has density 0 for any natural number k. Finally, we show that the closure of the set of prime elements of D is the union of the group of units of hatD with a negligible part.


Full work available at URL: https://arxiv.org/abs/2009.04229




Recommendations




Cites Work






This page was built for publication: Densities on Dedekind domains, completions and Haar measure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6184096)