[논문 리뷰] Finitely presented groups associated with expanding maps

Volodymyr Nekrashevych|arXiv (Cornell University)|2013. 12. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 18

한 줄 요약

이 논문은 컴팩트하고 경로로 연결된 미터릭 공간 위의 국소적으로 확장되는 자기커버링 사상 $f:\mathcal{M}\to\mathcal{M}$에 대해, 그에 관련된 유한형성된 군 $\mathcal{V}_f$를 제안한다. 이 군은 전이의 루트 트리 경계에서 경로의 릿지에 의한 작용으로 구성되며, 위상적 불변량으로서 완전하다: $\mathcal{V}_{f_1} \cong \mathcal{V}_{f_2}$이면 그리고 그 때에만 $f_1$과 $f_2$는 위상적으로 동치이다. 교환자부군은 단순하며, 아벨화는 동역학적 해석을 가진다.

ABSTRACT

We associate with every locally expanding self-covering $f:M o M$ of a compact path connected metric space a finitely presented group $V_f$. We prove that this group is a complete invariant of the dynamical system: two groups $V_{f_1}$ and $V_{f_2}$ are isomorphic as abstract groups if and only if the corresponding dynamical systems are topologically conjugate. We also show that the commutator subgroup of $V_f$ is simple, and give a topological interpretation of $V_f/V_f'$.

연구 동기 및 목표

• 컴팩트하고 경로로 연결된 미터릭 공간 위의 국소적으로 확장되는 자기커버링 사상에 대해, 그에 대응하는 유한형성 군 불변량을 수립하는 것.
• 이 군 $\mathcal{V}_f$가 동역학계의 완전한 불변량임을 보여주는 것: 군의 동형이 존재하는 것과 위상적 동치성의 존재가 동시에 성립함.
• 군 $\mathcal{V}_f$의 교환자부군이 단순함을 증명하고, 아벨화의 위상적 해석을 제공하는 것.

제안 방법

• 기저점 $t \in \mathcal{M}$에 대한 반복적 $f$-역상에 의한 루트 트리 $T_t$를 구성한다.
• 경로의 릿지에 의해 유도된 경계 $\partial T_t$ 위의 호메오모르피즘 $S_\gamma$를 정의하며, 이는 부분트리 위에서 국소적으로 등장하는 등장사상으로 작용한다.
• $\mathcal{V}_f$를 $\partial T_t$ 위의 모든 호메오모르피즘으로서, 이러한 $S_\gamma$와 국소적으로 일치하는 것들로 정의한다.
• $\mathcal{V}_f$가 히그먼-탐슨 군과 반복 단일화군 $\mathrm{IMG}(f)$에 의해 생성됨을 보이며, 이는 $f$의 단일화 데이터를 포괄한다.
• 군oid 이론적 이중성과 하이퍼볼릭성을 활용하여 군 $\mathcal{V}_f$를 $f$의 동역학, 특히 점근적 근처와 자연스러운 확장에 의해 연결한다.
• 칸토어 집합 위의 군 작용에 관한 M. 루빈의 정리를 적용하여, $\mathcal{V}_f$로부터 동역학계를 재구성한다.

실험 결과

연구 질문

• RQ1 국소적으로 확장되는 자기커버링 사상이 컴팩트하고 경로로 연결된 미터릭 공간 위에 존재할 경우, 그에 대해 자연스럽게 관련된 유한형성 군을 부여할 수 있는가?
• RQ2 군 $\mathcal{V}_f$가 동역학계의 완전한 불변량인가? 즉, 군의 동형이 존재하면 반드시 사상의 위상적 동치성도 성립하는가?
• RQ3 교환자부군 $\mathcal{V}_f'$의 구조는 어떠한가? 특히 단순성 같은 특수한 성질을 갖는가?
• RQ4 아벨화 $\mathcal{V}_f / \mathcal{V}_f'$는 $f$의 동역학과 어떻게 관련이 있는가?
• RQ5 원래의 동역학계는 군 $\mathcal{V}_f$만으로 재구성할 수 있는가?

주요 결과

• 모든 국소적으로 확장되는 자기커버링 사상 $f:\mathcal{M}\to\mathcal{M}$에 대해, 컴팩트하고 경로로 연결된 미터릭 공간 위에서 군 $\mathcal{V}_f$는 유한형성이다.
• 군 $\mathcal{V}_f$는 완전한 불변량이다: $\mathcal{V}_{f_1} \cong \mathcal{V}_{f_2}$이면 그리고 그 때에만 $f_1$과 $f_2$는 위상적으로 동치이다.
• 교환자부군 $\mathcal{V}_f'$는 단순하다. 이는 자기유사 군과 그에 관련된 군에 관한 일반적 성질을 통해 증명된다.
• 아벨화 $\mathcal{V}_f / \mathcal{V}_f'$는 $f$와 관련된 극한 솔레노이드의 기본군으로서 위상적 해석을 가지며, 동치로 극한 공간의 첫 번째 호모로지 군으로도 기술할 수 있다.
• $\mathcal{V}_f$는 $\mathcal{V}_{\mathrm{IMG}(f)}$와 동형이다. 즉, $f$의 반복 단일화군에 의해 완전히 결정되며, 추가적인 자기유사 구조가 필요하지 않다.
• 동역학계 $f$는 군의 점근적 근처와 칸토어 집합 $\partial T_t$ 위의 작용을 통해 $\mathcal{V}_f$로부터 재구성 가능하며, 이는 완전한 분류를 확립한다.