Abstract
Following Darji, we say that a Borel subset B of an abelian Polish group G is Haar meager if there is a compact metric space K and a continuous function f : K → G such that the preimage of the translate f−1(B + g) is meager in K for every g ∈ G. The set B is called strongly Haar meager if there is a compact set C ⊆ G such that (B + g) ⋂ C is meager in C for every g ∈ G. The main open problem in this area is Darji’s question asking whether these two notions are the same. Even though there have been several partial results suggesting a positive answer, in this paper we construct a counterexample. More specifically, we construct a Gδ set in ℤω that is Haar meager but not strongly Haar meager. We also show that no Fσ counterexample exists, hence our result is optimal.
Similar content being viewed by others
References
T. Banakh, S. Głąb, E. Jabłońska and J. Swaczyna, Haar-\({\cal I}\)sets: looking at small sets in Polish groups through compact glasses, https://doi.org/abs/1803.06712v4.
U. B. Darji, On Haar meager sets, Topology and its Applications 160 (2013), 2396–2400.
M. Doležal, M. Rmoutil, B. Vejnar and V. Vlasák, Haar meager sets revisited, Journal of Mathematical Analysis and Applications 440 (2016), 922–939.
M. Doležal and V. Vlasák, Haar meager sets, their hulls, and relationship to compact sets, Journal of Mathematical Analysis and Applications 446 (2017), 852–863.
M. Elekes and D. Nagy, Haar null and Haar meager sets: a survey and new results, https://doi.org/abs/1606.06607.
M. Elekes and Z. Vidnyánszky, Haar null sets without Gδhulls, Israel Journal of Mathematics 209 (2015), 199–214.
A. S. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, Vol. 156, Springer, New York, 1995.
E. Michael, Topologies on spaces of subsets, Transactions of the American Mathematical Society 71 (1951), 152–182.
S. Solecki, On Haar null sets, Fundamenta Mathematicae 149 (1996), 205–210.
S. Solecki, Haar null and non-dominating sets, Fundamenta Mathematicae 170 (2001), 197–217.
Author information
Authors and Affiliations
Corresponding author
Additional information
All four authors were supported by the National Research, Development and Innovation Office - NKFIH, grants no. 104178 and 124749. The first and fourth authors were also supported by the National Research, Development and Innovation Office - NKFIH, grant no. 113047. The fourth author was also supported by FWF Grant P29999.
Supported by the ÚNKP-17-3 New National Excellence Program of the Ministry of Human Capacities.
Rights and permissions
About this article
Cite this article
Elekes, M., Nagy, D., Poór, M. et al. A Haar meager set that is not strongly Haar meager. Isr. J. Math. 235, 91–109 (2020). https://doi.org/10.1007/s11856-019-1950-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-019-1950-y