[论文解读] 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

一句话总结

本文为局部紧群建立了非交换的Brunn-Minkowski不等式，证明其对无螺旋（helix-free）群（包括实线性代数群、半单和可解李群）是精确的。证明方法基于维数归纳法，针对非单模群引入了修正的不等式，并采用比例平均技术，将经典Brunn-Minkowski不等式推广至非交换情形。

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.

研究动机与目标

• 将经典的Brunn-Minkowski不等式推广至非交换局部紧群。
• 解决Henstock、Macbeath、Hrushovski、McCrudden与Tao长期提出的关于非交换推广的开放问题。
• 建立一个适用于单模与非单模群（包括实线性代数群与李群）的精确不等式。
• 构建一个能考虑模函数与非不变哈 measures 的非单模情形的理论框架。

提出的方法

• 通过群的维数进行归纳，将问题约化为更简单的子结构。
• 引入一种修正的Brunn-Minkowski型不等式，结合左与右哈 measures 以处理非单模群。
• 使用比例平均技巧，控制群积中测度的增长。
• 分析李群中极大紧子群的作用，以分解群结构并控制测度行为。
• 通过短正合列将问题约化为余紧与余离散子群。
• 应用Gleason–Yamabe定理与近似李群的结构理论，处理一般的局部紧群。

实验结果

研究问题

• RQ1 Brunn-Minkowski不等式能否推广至非交换局部紧群，特别是非单模情形？
• RQ2 当哈 measures 不是右不变时，不等式的正确形式是什么？
• RQ3 该不等式在哪些局部紧群类中是精确的？
• RQ4 极大紧子群的维数如何影响群积中的测度增长？
• RQ5 李群的哪些结构性质（如可解性、半单性）会影响不等式的有效性与精确性？

主要发现

• 本文为无螺旋局部紧群（包括实线性代数群与中心有限的半单李群）建立了精确的非交换Brunn-Minkowski不等式。
• 证明了对于单模可解李群（维数为d，极大紧子群维数为m），不等式精确成立，即 μ(XY)^{1/(d−m)} ≥ μ(X)^{1/(d−m)} + μ(Y)^{1/(d−m)} 成立。
• 对于非单模群，引入了一种修正不等式，同时涉及左与右哈 measures，确保 μ(XY) 有有意义的下界。
• 证明表明，即使仅关注单模群，非单模情形在归纳论证中也至关重要。
• 比例平均技术成功控制了非不变情形下的测度畸变，使推广成为可能。
• 结果证实McCrudden对可解李群的不等式是精确的，并将其推广至更广的群类。