[論文レビュー] 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}$ 上の2つの区間の逆像であり、その合計測度が1未満である場合に限り成立する。
• ほぼ最小の拡張では、集合 $A$ と $B$ は、その誤差が $\varepsilon \mu_G(A)$ の定数倍以内に抑えられるように、このような準同型による区間の逆像と測度的に $\varepsilon$-近い。この定数は群と擬距離の構造にのみ依存する。
• 本論文は、連結なユニモジュラー群における測度拡張に対して鋭い$(3k-4)$-型定理を確立し、ほぼ最小の拡張の予想された構造を確認する。
• 連結なコンパクトな単純リー群に対して測度拡張ギャップが証明された：$\mu_G(AB) = \mu_G(A) + \mu_G(B)$ ならば、$A$ と $B$ は $\mathbb{T}$ への準同型による区間の逆像に含まれており、この構造からの任意のずれは、$AB$ の測度を顕著に増加させる。
• ほぼ最小の拡張から導かれる局所的に線形な擬距離は、連結な核を持つ連続的かつ全射な群準同型 $\phi: G \to \mathbb{T}$ を導き、$A$ と $B$ の構造は $\mathbb{T}$ における像を通じて制御される。
• $A$ と $B$ が区間の逆像に近似される際の誤差バウンドは定量的に制御されており、定数は群と擬距離パラメータにのみ依存する。これにより、漸近的領域における鋭さが保証される。