[논문 리뷰] Sur les espaces test pour la moyennabilité

Yousef Al-Gadid, Brice Mbombo외 1명|arXiv (Cornell University)|2010. 06. 25.

Advanced Topology and Set Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 힐버트 입자와 칸토어 공간이 폴란드군 및 이산 가산군에서의 단순성, 극도로 단순성, 무한대에서의 단순성을 위한 일반 테스트 공간으로 기능한다는 것을 증명한다. 이는 보가티와 페도르추크, 지오르다노와 드라하르프의 결과를 일반화하여, 폴란드군이 단순성을 갖는다하는 것과 힐버트 입자 위의 연속적 작용이 항상 불변 확률 측도를 갖는 것 사이의 필요충분조건임을 증명한다.

ABSTRACT

We observe that a Polish group $G$ is amenable if and only if every continuous action of $G$ on the Hilbert cube admits an invariant probability measure. This generalizes a result of Bogatyi and Fedorchuk. We also show that actions on the Cantor space can be used to detect amenability and extreme amenability of Polish non-archimedean groups as well as amenability at infinity of discrete countable groups. As corollary, the latter property can also be tested by actions on the Hilbert cube. These results generalize a criterion due to Giordano and de la Harpe.

연구 동기 및 목표

• 이산 가산군에서의 지오르다노와 드라하르프의 단순성 기준을 모든 폴란드군으로 일반화하는 것.
• 힐버트 입자가 폴란드군의 단순성에 대한 일반 테스트 공간임을 보여주는 것. 보가티와 페도르추크의 결과를 확장한다.
• 비아르키메데스 폴란드군에서의 극도로 단순성에 대해 칸토어 공간이 탐지 가능하다는 것을 확립하는 것.
• 이산 가산군의 무한대에서의 단순성이 칸토어 공간 또는 힐버트 입자 위의 작용을 통해 테스트 가능하다는 것을 증명하는 것.
• 샘류의 콪팩티피케이션과 유니버설 최소 공간 위의 동역학계를 활용하여 기존의 단순성 기준을 통합하고 확장하는 것.

제안 방법

• 폴란드군 $G$의 샘류 콱팩티피케이션 $\mathcal{S}(G)$을 일반 동역학 모델로 사용한다.
• 겔판드-나이마르크 이중성을 적용하여 $C(\mathcal{S}(G))$를 $G$ 위의 오른쪽 균일 연속 유계 함수의 대수로 식별한다.
• 연속적 작용 하에서 유한 지지 측도의 근사에 의해 힐버트 입자 $I^{\aleph_0}$ 위에 불변 확률 측도를 구성한다.
• $\mathcal{P}(D^{\aleph_0})$가 $I^{\aleph_0}$ 위에 위상동형이라는 사실을 활용하여 칸토어 공간과 힐버트 입자 사이의 결과를 이전한다.
• 근사적으로 불변하는 넷을 갖는 연속적 사상 $b^n: X \to \mathcal{P}(G)$에 의한 위상적 단순성의 개념을 사용한다.
• 켈러의 정리를 적용하여 칸토어 공간 위의 확률 측도 공간을 힐버트 입자와 위상동형으로 표현함으로써 결과의 이전을 가능하게 한다.

실험 결과

연구 질문

• RQ1 힐버트 입자는 이산 가산군이 아닌 모든 폴란드군의 단순성에 대한 일반 테스트 공간이 될 수 있는가?
• RQ2 칸토어 공간은 비아르키메데스 폴란드군에서의 극도로 단순성에 대한 일반 테스트 공간인가?
• RQ3 이산 가산군의 무한대에서의 단순성은 힐버트 입자 또는 칸토어 공간 위의 작용을 통해 탐지될 수 있는가?
• RQ4 지오르다노와 드라하르프의 고전적 기준은 이산 가산군을 초월하여 일반 폴란드군으로 확장되는가?
• RQ5 힐버트 입자가 실패하는 일반 폴란드군에서의 극도로 단순성에 대한 일반 테스트 공간이 존재하는가?

주요 결과

• 모든 연속적 작용이 힐버트 입자 $I^{\aleph_0}$ 위에 불변 확률 측도를 갖는다면, 폴란드군 $G$는 단순성을 갖는다.
• 칸토어 공간 $D^{\aleph_0}$는 비아르키메데스 폴란드군의 극도로 단순성에 대한 일반 테스트 공간이다.
• 이산 가산군 $G$는 칸토어 공간 또는 힐버트 입자 위에 위상적 단순성 작용을 갖는다할 때 무한대에서의 단순성을 갖는다.
• 지오르다노와 드라하르프가 이산 가산군의 단순성 탐지에 대해 칸토어 공간을 사용한 결과는 비아르키메데스 폴란드군으로 확장된다.
• 칸토어 공간 위의 확률 측도 공간 $\mathcal{P}(D^{\aleph_0})$는 힐버트 입자 $I^{\aleph_0}$와 위상동형이므로, 동역학적 기준의 이전이 가능하다.
• 샘류 콱팩티피케이션 $\mathcal{S}(G)$는 위상군에서 불변 측도와 단순성 분석을 위한 일반 프레임워크를 제공한다.