[論文レビュー] A nonabelian Brunn-Minkowski inequality

Yifan Jing, Chieu-Minh Tran+1 more|arXiv (Cornell University)|Jan 19, 2021

Point processes and geometric inequalities参考文献 13被引用数 4

ひとこと要約

この論文は、局所コンパクト群に対して非アーベルなブランヌ＝ミンコフスキー不等式を確立し、ヘリックスを含まない群、特に実線型代数群、単純なLie群、可解Lie群に対してそれが鋭いことを証明している。証明は次元に関する帰納法を用い、非ユニモジュラー群に対しては修正された不等式を導入し、測度の成長を制御するための割合調整平均化技術を採用することで、アーベルな設定を超えて古典的ブランヌ＝ミンコフスキー不等式を一般化している。

ABSTRACT

Henstock and Macbeath asked in 1953 whether the Brunn-Minkowski inequality can be generalized to nonabelian locally compact groups; questions along the same line were also asked by Hrushovski, McCrudden, and Tao. We obtain here such an inequality and prove that it is sharp for helix-free locally compact groups, which includes real linear algebraic groups, Nash groups, semisimple Lie groups with finite center, solvable Lie groups, etc. The proof follows an induction on dimension strategy; new ingredients include an understanding of the role played by maximal compact subgroups of Lie groups, a necessary modified form of the inequality which is also applicable to nonunimodular locally compact groups, and a proportionated averaging trick.

研究の動機と目的

• 古典的ブランヌ＝ミンコフスキー不等式を非アーベルな局所コンパクト群に一般化すること。
• ヘンストック、マクビース、フラシュフスキー、マククルーデン、タオらが提起した、非アーベル一般化に関する長年の未解決問題を解消すること。
• ユニモジュラーおよび非ユニモジュラー群、特に実線型代数群やLie群に適用可能な鋭い不等式を確立すること。
• 非ユニモジュラー状況におけるモジュラー関数および不変でないハール測度を考慮する枠組みを構築すること。

提案手法

• 群の次元に関する帰納法を用いて、問題をより単純な部分構造に還元する。
• 非ユニモジュラー群を取り扱うために、左および右のハール測度を組み込んだ、ブランヌ＝ミンコフスキー型の修正不等式を導入する。
• 群の積における測度の成長を制御するため、割合調整平均化のテクニックを用いる。
• Lie群における最大コンパクト部分群の役割を分析し、構造を分解し、測度の振る舞いを制御する。
• 短い完全系列を用いて、問題をココ compact およびコディスクリート部分群に還元する。
• グレアソン–ヤマベの定理およびほぼLie群の構造論を応用して、一般の局所コンパクト群を扱う。

実験結果

リサーチクエスチョン

• RQ1 ブランヌ＝ミンコフスキー不等式は、特に非ユニモジュラーの場合に、非アーベルな局所コンパクト群に一般化可能か？
• RQ2 ハール測度が右不変でない場合、不等式の正しい形は何か？
• RQ3 どのクラスの局所コンパクト群に対して不等式が鋭いか？
• RQ4 最大コンパクト部分群の次元が、群の積における測度の成長にどのように影響するか？
• RQ5 Lie群の構造的性質（例えば、可解性、単純性）は、不等式の妥当性および鋭さにどのように影響するか？

主な発見

• 本論文は、ヘリックスを含まない局所コンパクト群、特に実線型代数群や中心が有限な単純Lie群に対して、鋭い非アーベルブランヌ＝ミンコフスキー不等式を確立した。
• ユニモジュラーな可解Lie群（次元d、最大コンパクト部分群の次元m）に対して、不等式が鋭いことが示され、μ(XY)^{1/(d−m)} ≥ μ(X)^{1/(d−m)} + μ(Y)^{1/(d−m)} が成り立つ。
• 非ユニモジュラー群に対しては、左および右のハール測度を含む修正された不等式が導入され、μ(XY)に対する意味のある下界を保証する。
• 証明から、ユニモジュラー群に注目しても、非ユニモジュラーの場合が帰納法の議論において本質的であることが明らかになった。
• 割合調整平均化技術は、不変でない設定における測度の歪みを効果的に制御でき、一般化を可能にした。
• マククルーデンの可解Lie群に対する不等式が鋭いことが確認され、より広いクラスの群へと拡張された。