[논문 리뷰] Some remarks on topological full groups of Cantor minimal systems II

Hiroki Matui|arXiv (Cornell University)|2011. 11. 14.

Mathematical Dynamics and Fractals참고 문헌 17인용 수 9

한 줄 요약

이 논문은 최소 부분이음의 위상적 전체군의 교환자부군이 지수성장을 한다는 것을 증명하며, 가산적이고 측도를 보존하며, 에르고딕이고, 초유한인 동치관계의 가측 전체군이 두 원소에 의해 위상적으로 생성된다는 것을 증명한다. 이러한 결과들은 칸토어 최소 체계와 슈투르미안 이음의 맥락에서 위상적 전체군과 그 부분군의 군론적 분석을 통해 도출된다.

ABSTRACT

We prove that commutator subgroups of topological full groups arising from minimal subshifts have exponential growth. We also prove that the measurable full group associated to the countable, measure-preserving, ergodic and hyperfinite equivalence relation is topologically generated by two elements.

연구 동기 및 목표

• 칸토어 최소 체계의 위상적 전체군 내 교환자부군의 성장 성질을 조사한다.
• 가산적이고 측도를 보존하며, 에르고딕인 초유한 동치관계와 관련된 가측 전체군의 최소 위상 생성자 수를 규명한다.
• 특히 슈투르미안 이음과 오도미터와의 관계에서 위상적 전체군의 대수적 구조를 명확히 한다.
• 전체군의 군 생성 및 애너미성에 관한 이전 결과들을 동적 시스템의 전체군의 맥락에서 확장한다.

제안 방법

• 연속 코ycle 함수 c:X→Z를 사용하여 칸토어 최소 체계의 위상적 전체군 [[φ]]를 분석한다. 여기서 ψ(x) = φ^{c(x)}(x)이다.
• 군론적 기법을 적용하여 D([[φ]])가 람플라이터 군을 포함함과 동시에 φ가 오도미터가 아닐 때에만 성립함을 보인다.
• 슈투르미안 이음의 구조와 임의의 닫힌집합의 동역학을 활용하여, 교환자부군을 조밀하게 생성하는 두 생성자를 구성한다.
• [[φ]]가 균일 위상 하에서 가측 전체군 [E]에 밀도를 이룬다는 사실을 활용하여 군 생성 결과를 전이한다.
• 문헌 [10]과 [9]의 군 생성 및 비용에 관한 결과를 적용하여 위상 생성자 수의 범위를 보다 정밀하게 조정한다.
• Aut(X,μ)에 대한 균일 위상과 거리 함수 d(f,g) = μ({x | f(x) = g(x)})를 사용하여 닫힘 및 조밀성 성질을 분석한다.

실험 결과

연구 질문

• RQ1 최소 부분이음의 위상적 전체군의 교환자부군은 지수성장을 하는가?
• RQ2 초유한이고 측도를 보존하며, 에르고딕인 동치관계의 가측 전체군은 두 원소에 의해 위상적으로 생성될 수 있는가?
• RQ3 [[φ]]의 대수적 구조와 시스템의 동역학적 유형(예: 오도미터 대비 부분이음) 사이의 관계는 무엇인가?
• RQ4 D([[φ]]) 내에 람플라이터 군이 존재하는가의 여부는 군의 성장 유형과 어떻게 관련되는가?
• RQ5 유한 비용을 지닌 동치관계의 가측 전체군 또는 자유군 작용에서 유도된 동치관계의 가측 전체군에 대한 최소 위상 생성자 수는 얼마인가?

주요 결과

• 최소 부분이음의 위상적 전체군의 교환자부군 D([[φ]])는 지수성장을 한다. 이는 람플라이터 군을 포함하고 있음을 통해 입증된다.
• 슈투르미안 이음의 경우, 교환자부군 D([[φ]])는 두 원소에 의해 생성되는 부분군에 포함되며, 이는 관련 동치관계의 가측 전체군이 두 원소에 의해 위상적으로 생성됨을 의미한다.
• 가산적이고 측도를 보존하며, 에르고딕이고 초유한 동치관계의 가측 전체군 [E]는 두 원소에 의해 위상적으로 생성되며, 이는 [9, 질문 4.3]에 대한 긍정적 해답을 제시한다.
• 교환자부군 D([[φ]])는 φ가 유한 알파벳 위의 최소 부분이음일 때에만 유한 생성 가능하며, 이는 구조적 이분법을 확인한다.
• 오도미터의 위상적 전체군의 임의의 유한 생성 부분군은 다항식 성장을 보이며, 이는 부분이음의 지수성장과 대비된다.
• 군 [[φ]]는 균일 위상 하에서 가측 전체군 [E]에 밀도를 이룬다. 이는 위상적 맥락에서의 군 생성 결과를 가측적 맥락으로 전이할 수 있음을 가능하게 한다.