[논문 리뷰] Groupes pleins-topologiques [d'après Matui, Juschenko, Monod...]

Yves Cornulier|arXiv (Cornell University)|2020. 02. 21.

Homotopy and Cohomology in Algebraic Topology인용 수 10

한 줄 요약

이 논문은 최소 캔터 동역계의 위상적 전체군을 통해 무한, 유한 생성, 단순, 애매한 군의 구성에 대해 서베이한다. 이는 최소 캔터 자동사상의 위상적 전체군의 도함수군이 최소 위상 소픽 시프트일 경우 단순하고 유한 생성됨을 증명하며, Juschenko와 Monod의 최근 결과를 통해 그 애매성도 증명한다.

ABSTRACT

This is the written version of the Bourbaki seminar given in January 2013 and published in 2014 (modulo an additional early reference added subsequently). It describes the first construction of infinite, finitely generated amenable simple groups. It starts with a general study of topological-full groups, along with indications on the first appearances of such groups. Then the theorem is proved, namely that the derived subgroup of the topological-full group of an infinite minimal subshift is both simple and finitely generated (Matui 2006) and amenable (Juschenko-Monod 2013, after being conjectured by Grigorchuk-Medynets). Some other properties of these groups are discussed. None of the numerous subsequent developments since 2013 are mentioned.

연구 동기 및 목표

• 최소 캔터 동역계의 위상적 전체군을 이용한 무한, 유한 생성, 단순, 애매한 군의 구성 방식을 제시하고 분석한다.
• 위상적 전체군이 캔터 최소 시스템의 분류에서 군의 동형 불변량을 통해 어떤 역할을 하는지 명확히 한다.
• 이러한 군의 도함수군이 새로운 유한 생성 단순 군의 예를 제공하는 데서 중요한 의미를 지닌다는 것을 부각시킨다.
• 이 군들의 애매성과 더 넓은 동역학적 및 연산자 대수적 프레임워크(특히 C*-대수와 랜덤 워크를 통해)를 연결한다.
• Matui, Juschenko, Monod 등이 제시한 위상적 전체군의 구조 및 성질에 관한 결과들을 통합하고 체계화한다.

제안 방법

• 캔터 공간에서 최소 호메오모르피즘 $\varphi$의 위상적 전체군 $[\![\varphi]\!]$을 정의한다. 이는 어떤 거듭제곱과 국소적으로 일치하는 호메오모르피즘의 군이다.
• 최소 위상 소픽 시프트일 경우(예: 캔터 집합에서의 무리수 회전) $[\![\varphi]\!]'$가 단순하고 유한 생성됨을 보여주는 정리를 적용한다.
• Juschenko와 Monod(2012)의 결과를 활용하여 $[\![\varphi]\!]$의 애매성을 증명하고, 그 도함수군의 애매성도 유도한다.
• Giordano, Putnam, Skau의 이sov미즘 불변량을 활용하여, $[\![\varphi]\!]$의 동형류가 캔터 공간 호메오모르피즘 군 내에서 $\{\varphi, \varphi^{-1}\}$의 동치류를 분류함을 보여준다.
• Putnam과 Krieger가 개발한 C*-대수와 Vershik의 측도적 구성 방법과의 연결을 활용하여 군을 연산자 대수학적 관점에서 해석한다.
• 애매성의 동역학적 및 확률적 특성화(예: 거의 불변 집합, 불변 측도, 랜덤 워크)를 적용하여 군의 애매성을 확인한다.

실험 결과

연구 질문

• RQ1 최소 캔터 호메오모르피즘의 위상적 전체군은 어떤 구조적 성질(유한성, 단순성, 애매성)을 갖는가?
• RQ2 위상적 전체군의 도함수군이 유한 생성이 되는 조건은 무엇인가?
• RQ3 위상적 전체군의 동형류는 기저 호메오모르피즘의 동치류와 어떻게 관련이 있는가?
• RQ4 이 군의 애매성은 그 대수적 구조와 독립적으로 증명될 수 있는가?
• RQ5 위상적 전체군은 캔터 최소 시스템의 분류에서 어떤 역할을 하는가?

주요 결과

• 최소 캔터 호메오모르피즘 $\varphi$의 위상적 전체군의 도함수군 $[\![\varphi]\!]'$은 단순하다.
• 만약 $\varphi$가 최소 위상 소픽 시프트이면(예: 캔터 집합에서의 무리수 회전), $[\![\varphi]\!]'$은 유한 생성된다.
• Juschenko와 Monod(2012)의 결과에 의해 $[\![\varphi]\!]$는 애매하며, 따라서 그 도함수군 역시 애매하다.
• $[\![\varphi]\!]$의 동형류는 캔터 공간 호메오모르피즘 군 내에서 $\{\varphi, \varphi^{-1}\}$의 동치류를 분류한다.
• 서로 동치가 아니며, 비동형인 최소 호메오모르피즘 $\varphi$에 대해 $[\![\varphi]\!]'$으로서 유한 생성, 단순, 애매한 군이 연속체의 수만큼 존재한다.
• 이 구성은 기존의 그리고치크의 중간 성장도를 갖는 군들 외에, 초등 애매하지 않은 유한 생성 단순 애매한 군의 새로운 예를 제공한다.