[论文解读] Minimal and nearly minimal measure expansions in connected unimodular groups

Yifan Jing, Chieu-Minh Tran|arXiv (Cornell University)|Jun 2, 2020

Advanced Topology and Set Theory参考文献 34被引用 6

一句话总结

本文通过刻画凯姆珀曼不等式中等式成立的条件，并为几乎最小测度扩张提供精确的定量界，解决了连通单模群中关于最小及近乎最小测度扩张的凯姆珀曼1964年猜想。研究发现，在紧致群中，几乎最小扩张的集合本质上是到圆群的连续群同态下的区间的原像，从而确认了非交换情形下$(3k-4)$-定理的类比，并为紧致单李群建立了测度扩张间隙。

ABSTRACT

Let $G$ be a connected unimodular group equipped with a (left and hence right) Haar measure $μ_G$, and suppose $A, B \subseteq G$ are nonempty and compact. An inequality by Kemperman gives us $μ_G(AB)\geq\min\{μ_G(A)+μ_G(B),μ_G(G)\}.$ Our first result determines the conditions for the equality to hold, providing a complete answer to a question asked by Kemperman in 1964. Our second result characterizes compact and connected $G$, $A$, and $B$ that nearly realize equality, with quantitative bounds having the sharp exponent. This can be seen up-to-constant as a $(3k-4)$-theorem for this setting and confirms the connected case of conjectures by Griesmer and by Tao. As an application, we get a measure expansion gap result for connected compact simple Lie groups. The tools developed in our proof include an analysis of the shape of minimally and nearly minimally expanding pairs of sets, a bridge from this to the properties of a certain pseudometric, and a construction of appropriate continuous group homomorphisms to either $\mathbb{R}$ or $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ from the pseudometric.

研究动机与目标

• 确定凯姆珀曼不等式在连通单模群中紧致子集上的等式成立的精确条件。
• 刻画紧致且连通的单模群以及几乎实现最小测度扩张的紧致集合对，给出偏差的精确定量控制。
• 确认格里塞默与陶关于非交换情形下近乎最小扩张的猜想的连通情形。
• 利用近乎最小扩张的结构刻画，建立连通紧致单李群的测度扩张间隙结果。

提出的方法

• 从测度扩张行为构造群上的伪度量，利用乘积集测度与因子测度之和的差值。
• 通过商结构与粗略逼近分析极小及近乎极小扩张对的几何性质。
• 利用近乎线性伪度量的性质，从伪度量构造到圆群$\mathbb{T} = \mathbb{R}/\mathbb{Z}$或$\mathbb{R}$的连续群同态。
• 应用类似Fubini的论证与测度论控制，证明近乎最小扩张的集合在测度上接近于此类同态下的区间的原像。
• 采用一系列约化：从近乎最小扩张到小测度集合，再到伪度量结构，最终到映射到$\mathbb{R}$或$\mathbb{T}$的群同态。
• 采用常数与误差界层级结构，实现定量估计中的精确指数，最终得出此情形下的$(3k-4)$型定理。

实验结果

研究问题

• RQ1 在连通单模群$G$中，对于紧致子集$A, B$，凯姆珀曼不等式$\mu_G(AB) \geq \min\{\mu_G(A)+\mu_G(B), \mu_G(G)\}$在何种条件下等式成立？
• RQ2 对于几乎实现凯姆珀曼不等式等式的紧致且连通的$G$、$A$与$B$，其精确结构特征为何？并给出偏差的定量控制？
• RQ3 能否将紧致单模群中近乎最小扩张集合的结构描述为接近于到$\mathbb{T}$的连续群同态下的区间的原像？
• RQ4 该框架是否能导出连通紧致单李群的测度扩张间隙结果，即在$\mu_G(A)+\mu_G(B)$之外存在$\mu_G(AB)$的下界？
• RQ5 从测度扩张行为导出的伪度量在多大程度上反映了到$\mathbb{R}$或$\mathbb{T}$的底层群同态？

主要发现

• 凯姆珀曼不等式等式成立当且仅当对$(A,B)$本质上是某个连续满射群同态$\chi: G \to \mathbb{T}$下$\mathbb{T}$中两个总测度小于1的区间的原像。
• 对于近乎最小扩张，集合$A$与$B$在测度上$\varepsilon$-接近于此类同态下的区间的原像，误差有界于$\varepsilon \mu_G(A)$的常数倍，其中常数仅依赖于群及伪度量的结构。
• 本文为连通单模群中的测度扩张建立了精确的$(3k-4)$型定理，确认了近乎最小扩张的猜想结构。
• 证明了连通紧致单李群的测度扩张间隙：若$\mu_G(AB) = \mu_G(A) + \mu_G(B)$，则$A$与$B$必须包含于某个到$\mathbb{T}$的同态下的区间的原像中，且任何对这一结构的偏离都会导致$AB$测度的显著增加。
• 从近乎最小扩张构造的局部线性伪度量导出连续满射群同态$\phi: G \to \mathbb{T}$，其核连通，通过其在$\mathbb{T}$中的像控制$A$与$B$的结构。
• 对$A$与$B$用区间原像逼近的误差界得到定量控制，常数仅依赖于群与伪度量参数，确保在渐近情形下的精确性。