[논문 리뷰] Minimal and nearly minimal measure expansions in connected unimodular groups

Yifan Jing, Chieu-Minh Tran|arXiv (Cornell University)|2020. 06. 02.

Advanced Topology and Set Theory참고 문헌 34인용 수 6

한 줄 요약

이 논문은 연결된 유모듈라 군에서 최소 및 거의 최소 측도 확장을 다룬 Kemperman의 1964년 추측을 해결하며, Kemperman 부등식에서 등호가 성립할 조건을 특성화하고 거의 최소 확장을 위한 정밀한 양적 경계를 제공한다. 이는 거의 최소로 확장되는 집합이 컴팩트 군에서 연속 군 준동형사상에 의한 구간의 전이집합과 거의 일치함을 보여주며, $(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.

연구 동기 및 목표

• 연결된 유모듈라 군에서 컴팩트 부분집합에 대해 Kemperman 부등식에서 등호가 성립하는 정확한 조건을 규명하는 것.
• 측도 확장이 거의 최소가 되는 컴팩트하고 연결된 유모듈라 군 및 쌍 $A, B$를 특성화하고, 편차에 대한 정밀한 양적 경계를 제공하는 것.
• Griesmer와 Tao의 비아벨 환경에서 거의 최소 확장을 다룬 추측의 연결된 경우를 확인하는 것.
• 거의 최소 확장의 구조적 특성화를 이용하여 연결된 컴팩트 단순 리 군에 대해 측도 확장 갭 결과를 수립하는 것.

제안 방법

• 측도 확장 행동으로부터 군 위에 의사거리함수를 정의하며, 곱집합의 측도와 인자들의 측도 합의 차이를 사용한다.
• 약한 근사와 몫 구조를 이용해 최소 및 거의 최소로 확장되는 쌍의 기하학적 성질을 분석한다.
• 거의 선형 의사거리함수의 성질을 이용해 의사거리함수에서 원환군 $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ 또는 $\mathbb{R}$로의 연속 군 준동형사를 구성한다.
• 푸비니 유사 추론과 측도 이론적 제어를 적용하여, 거의 최소 집합이 이러한 준동형사상에 의한 구간의 전이집합과 측도에서 가까운 것을 보인다.
• 거의 최소 확장에서부터 작은 측도 집합, 의사거리 구조, 마지막으로 $\mathbb{R}$ 또는 $\mathbb{T}$로의 군 준동형사로의 감소 체계를 수립한다.
• 정밀한 지수를 확보하기 위해 상수와 오차 경계의 계층적 체계를 활용하며, 이는 이 설정에서 $(3k-4)$-유사 정리로 이어진다.

실험 결과

연구 질문

• RQ1 연결된 유모듈라 군 $G$의 컴팩트 부분집합 $A, B$에 대해 Kemperman 부등식 $\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)$를 초월하는 하한이 존재하는가?
• RQ5 측도 확장 행동으로 유도된 의사거리함수가 $\mathbb{R}$ 또는 $\mathbb{T}$로의 기본 군 준동형사를 얼마나 잘 반영하는가?

주요 결과

• Kemperman 부등식에서 등호가 성립하는 것은, 쌍 $(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}$ 를 이끌어내며, 이는 $A$ 와 $B$ 의 구조를 그들의 $\mathbb{T}$ 내 이미지를 통해 제어한다.
• 전이집합에 의한 $A$ 와 $B$ 의 근사 오차 경계는 정량적으로 제어되며, 이 정수는 군과 의사거리함수의 매개변수에만 의존하여 점근적 영역에서 정밀함을 보장한다.