[논문 리뷰] Subamenable groups and their partitions

Тарас Банах, Ігор Протасов외 1명|arXiv (Cornell University)|2012. 10. 22.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 모든 가산 무한군 $G$가 두 집합 $A$와 $B$로 분할될 수 있음을 증명한다. 이때 임의의 $k$-원소 부분집합 $K \subset G$에 대해 곱집합 $KA$와 $KB$는 두껍지 않다—즉, 신티틱 보완집합을 가지지 않는다. 이 결과는 $G$ 위에 존재하는 신티픽 부분측도의 존재에 기반한다. 이는 임의의 측도가 1보다 작은 집합을 유한한 왼쪽 이동을 통해 $G$ 전체를 덮을 수 있도록 보장하는 왼쪽-불변 부분측도이다. 이를 통해 이러한 분할을 구성할 수 있다.

ABSTRACT

We prove that for every number k each countable infinite group $G$ admits a partition $G=A\cup B$ into two sets which are $k$-meager in the sense that for every $k$-element subset $K\subset G$ the sets $KA$ and $KB$ are not thick. The proof is based on the fact that $G$ possesses a syndetic submeasure, i.e., a left-invariant submeasure $\mu:\mathcal P(G) o[0,1]$ such that for each $\epsilon > 1/|G|$ and subset $A\subset G$ with $\mu(A)<1$ there is a set $B\subset G\setminus A$ such that $\mu(B)<\epsilon$ and $FB=G$ for some finite subset $F\subset G$.

연구 동기 및 목표

• 모든 가산 무한군이 주어진 $k$에 대해 두 부분집합으로 분할될 수 있는지 조사하는 것.
• 이러한 분할을 구성하는 데 기초가 되는 신티픽 부분측도의 존재를 확립하는 것.
• 왼쪽 이동으로 $G$를 두껍게 덮지 않는 집합—즉, $k$-미세 집합—이 그룹을 의미 있게 분할하는 데 사용될 수 있음을 보여주는 것.
• 부분측도와 유한한 덮개를 이용해 군 이론에서 두껍기와 미세성의 개념을 일반화하는 것.

제안 방법

• 군 $G$ 위에 존재하는 신티픽 부분측도 $\mu$를 이용하여, 왼쪽-불변 함수 $\mu: \mathcal{P}(G) \to [0,1]$를 정의하고, 특정한 덮개 조건과 측도 조건을 만족시키는 것.
• 임의의 $A \subset G$에 대해 $\mu(A) < 1$이면, $\mu(B) < \epsilon$이고, 어떤 유한한 $F \subset G$가 존재하여 $FB = G$가 되는 부분집합 $B \subset G \setminus A$가 존재한다는 성질을 적용하는 것. 여기서 $\epsilon > 1/|G|$이다.
• 작은 부분측도를 가진 집합을 반복적으로 선택하여 $G = A \cup B$의 분할을 구성하는 것. 이때 유한한 왼쪽 이동을 통해 $G$를 덮되, 두껍기 조건을 피하는 것을 보장하는 것.
• 부분측도 성질을 이용한 모순에 기반하여, 임의의 $k$-원소 부분집합 $K \subset G$에 대해 $KA$와 $KB$가 두껍지 않음을 증명하는 것.
• 부분측도의 불변성과 가법성의 성질을 이용해, 왼쪽 곱셈에 의한 $KA$와 $KB$의 성장률을 통제하는 것.
• 만약 $KA$가 두껍다면 $\mu(A)$가 1에 가까워져야 하는데, 이는 $A$가 작은 측도로 구성된 것과 모순됨을 이용하는 것.

실험 결과

연구 질문

• RQ1 모든 가산 무한군이 주어진 $k$에 대해 두 집합으로 분할될 수 있는가? 이때 각 집합의 $k$-원소 왼쪽 이동이 두껍지 않게 되도록 하는가?
• RQ2 모든 가산 무한군이 유한한 덮개를 가진 작은 측도 집합을 덮을 수 있는 신티픽 부분측도를 갖는가?
• RQ3 군 부분측도의 어떤 구조적 성질이 $k$-미세 집합이 그룹을 분할하는 데 사용될 수 있도록 보장하는가?
• RQ4 부분측도와 두껍기의 상호작용이 군 이론에서 부분집합의 가능한 구성 방식을 어떻게 제약하는가?

주요 결과

• 모든 가산 무한군 $G$는 $G = A \cup B$의 분할을 가지며, 임의의 $k$-원소 부분집합 $K \subset G$에 대해 $KA$와 $KB$는 두껍지 않다.
• 군 $G$ 위에 신티픽 부분측도가 존재하면, $\mu(A) < 1$인 임의의 집합 $A$는 측도가 작은 집합 $B$를 통해 유한한 왼쪽 이동 $FB = G$로 $G$ 전체를 덮을 수 있다.
• 모든 $\epsilon > 1/|G|$에 대해, $B \subset G \setminus A$이면서 $\mu(B) < \epsilon$이고, 어떤 유한한 $F \subset G$가 존재하여 $FB = G$인 집합 $B$가 존재함을 보장하여, 측도와 덮개를 통제할 수 있다.
• 구성 과정은 $KA$와 $KB$가 두껍지 않음을 보장한다. 이는 그들의 부분측도가 1에서 멀리 떨어져 있어 신티픽 보완집합을 가질 수 없기 때문이다.
• 이 결과는 모든 $k$에 대해 균일하게 성립하며, $k$-미세성은 이러한 분할에서 $k$의 크기에 관계없이 달성 가능하다는 것을 보여준다.
• 핵심 기술 기여는 $G$ 위에 존재하는 왼쪽-불변 부분측도의 존재이며, 이는 신티픽 덮개 성질을 갖추고 있어 분할 결과를 가능하게 한다.