[논문 리뷰] The comparison property of amenable groups

Tomasz Downarowicz, Guohua Zhang|arXiv (Cornell University)|2017. 12. 14.

Mathematical Dynamics and Fractals참고 문헌 21인용 수 12

한 줄 요약

이 논문은 유한 생성 부분군이 초지수적 성장을 갖는 가산 애먼 군—예를 들어, 거의 노름군 및 그리고르추크 군—이 0차원 컴팩트 메트릭 공간 위에서의 작용에 대해 비교 성질을 만족함을 증명한다. 저자들은 부분 등변 매핑을 연장하기 위해 새로운 도구인 '보정 체인(correction chain)'을 도입하여, 이러한 군들이 임의로 좋은 폴러르 성질을 갖는 동적 타일링을 갖는다는 것을 증명한다. 이는 비교 성질을 유도한다.

ABSTRACT

Let a countable amenable group $G$ act on a \zd\ compact metric space $X$. For two clopen subsets $\mathsf A$ and $\mathsf B$ of $X$ we say that $\mathsf A$ is \emph{subequivalent} to $\mathsf B$ (we write $\mathsf A\preccurlyeq \mathsf B$), if there exists a finite partition $\mathsf A=\bigcup_{i=1}^k \mathsf A_i$ of $\mathsf A$ into clopen sets and there are elements $g_1,g_2,\dots,g_k$ in $G$ such that $g_1(\mathsf A_1), g_2(\mathsf A_2),\dots, g_k(\mathsf A_k)$ are disjoint subsets of $\mathsf B$. We say that the action \emph{admits comparison} if for any clopen sets $\mathsf A, \mathsf B$, the condition, that for every $G$-invariant probability measure $μ$ on $X$ we have the sharp inequality $μ(\mathsf A)

연구 동기 및 목표

• 가산 애먼 군이 0차원 컴팩트 메트릭 공간 위에서 작용할 때 비교 성질을 확립하기.
• 서브지수적 성장을 갖는 광범위한 군의 클래스—특히 서브지수적 성장을 갖는 군—이 그 작용에서 반드시 비교 성질을 갖는다는 것을 규명하기.
• 군 작용의 맥락에서 부분 등변 매핑을 연장하기 위한 새로운 기술적 도구인 '보정 체인'을 개발하기.
• 비교 성질과 강력한 폴러르 성질을 갖는 동적 타일링의 존재 사이의 관계를 연결하기.
• 자기 동치 작용에 국한된 타일링 성질이 모든 작용에 대해 비교 성질을 유도하는지 조사하기.

제안 방법

• 부분적으로 정의된 매핑의 반복적 개선을 가능하게 하는 의사궤도 유사 구조인 '보정 체인'의 개념을 도입하기.
• 보정 체인을 사용하여 닫힌 열린 부분집합에서 정의된 매핑을 등변성 및 소거 조건을 유지하면서 더 큰 정의역으로 연장하기.
• 보정 체인 기법을 활용해 임의로 좋은 폴러르 성질을 갖는 동적 타일링을 구성하기.
• 타일링 구조를 이용해 이동 등변 포함 사상(Shift-equivariant injection)을 실현하는 블록 코드 정의하기.
• 그러한 타일링의 존재를 활용하여 군 작용 하에서 부분적으로 비교 가능한 집합들이 더 큰 집합에 매핑될 수 있음을 증명하고, 비교 조건을 만족함을 보이기.
• 기호 확장 이론과 인자 사상 이론을 활용하여 비교 성질이 강력한 동적 성질을 갖는 타일링의 존재를 유도함을 보여주기.

실험 결과

연구 질문

• RQ1 가산 애먼 군이 0차원 컴팩트 메트릭 공간 위에서 작용할 때 항상 비교 성질을 갖는가?
• RQ2 서브지수적 성장을 갖는 군, 특히 그리고르추크 군과 같은 중간 성장 군의 경우 비교 성질을 확립할 수 있는가?
• RQ3 군 작용에서 닫힌 열린 집합 간 부분 등변 매핑을 일반적으로 연장할 수 있는 방법이 존재하는가?
• RQ4 좋은 폴러르 성질을 갖는 동적 타일링의 존재와 비교 성질 사이의 관계는 무엇인가?
• RQ5 자기 동치 작용에 국한된 타일링 성질이 동일 군의 모든 작용에 대해 비교 성질을 유도하는가?

주요 결과

• 유한 생성 부분군이 서브지수적 성장을 갖는 가산 애먼 군의 모든 작용은 비교 성질을 만족한다.
• 유명한 중간 성장 군인 그리고르추크 군은 0차원 컴팩트 메트릭 공간 위에서의 모든 작용에 대해 비교 성질을 만족한다.
• 비슷하게, 비교 성질을 갖는 군의 범주는 모든 거의 노름군을 포함한다. 이는 다항식(따라서 서브지수적) 성장을 갖기 때문이다.
• 자기 동치 작용에서, 임의로 좋은 폴러르 성질을 갖는 동적 타일링의 존재는 비교 성질과 동치이다.
• 보정 체인 구성은 부분 등변 매핑의 연장을 가능하게 하며, 이는 전체 마커 성질이 없는 상황에서 비교 성질을 증명하는 데 핵심적이다.
• 논문은 자기 동치 작용에 대해 타일링 성질이 비교 성질을 유도한다는 것을 증명하지만, 비자기 동치 작용에 대해서는 여전히 추측으로 남아 있다.