English

Measure doubling in unimodular locally compact groups and quotients

Group Theory 2024-11-27 v1 Combinatorics Logic

Abstract

We consider a (possibly discrete) unimodular locally compact group GG with Haar measure μG\mu_G, and a compact AGA\subseteq G of positive measure with μG(A2)KμG(A)\mu_G(A^2)\leq K\mu_G(A). Let HH be a closed normal subgroup of G and π:GG/H\pi: G \rightarrow G/H be the quotient map. With the further assumption that A=A1A= A^{-1}, we show μG/H(πA2)K2μG/H(πA).\mu_{G/H}(\pi A ^2) \leq K^2 \mu_{G/H}(\pi A). We also demonstrate that K2K^2 cannot be replaced by (1ϵ)K2(1-\epsilon)K^2 for any ϵ>0\epsilon>0. In the general case (without A=A1A=A^{-1}), we show μG/H(πA2)K3μG/H(πA)\mu_{G/H}(\pi A ^2) \leq K^3 \mu_{G/H}(\pi A), improving an earlier result by An, Jing, Zhang, and the third author. Moreover, we are able to extract a compact set BAB\subseteq A with μG(B)>μG(A)/2\mu_G(B)> \mu_G(A)/2 such that μG/H(πB2)<2KμG/H(πB) \mu_{G/H}(\pi B^2) < 2K \mu_{G/H}(\pi B).

Keywords

Cite

@article{arxiv.2411.17246,
  title  = {Measure doubling in unimodular locally compact groups and quotients},
  author = {Zuxiang Kong and Fei Peng and Chieu-Minh Tran},
  journal= {arXiv preprint arXiv:2411.17246},
  year   = {2024}
}

Comments

12 pages