[논문 리뷰] On a group associated to $z^2-1$

Laurent Bartholdi, Rostislav Grigorchuk|ArXiv.org|2002. 03. 23.

Geometric and Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 이차 다항식 $f(z) = z^2 - 1$ 와 관련된 반복 단형군 $G$ 를 구축하여, 이가 이진 루트 트리 위에 작용하고 군론, 동역학, 기하학 사이의 깊은 연결 고리를 보여준다. 주요 결과는 $G$ 의 슈라이어 그래프가 $f(z) = z^2 - 1$ 의 조르부 집합으로 하우스도르프 거리에서 수렴한다는 것이다. 이는 군론적 대상과 복소 동역학 사이의 직접적인 연결 고리를 확립한다.

ABSTRACT

We construct a group acting on a binary rooted tree; this discrete group mimics the monodromy action of iterates of $f(z)=z^2-1$ on associated coverings of the Riemann sphere. We then derive some algebraic properties of the group, and describe for that specific example the connection between group theory, geometry and dynamics. The most striking is probably that the quotient Cayley graphs of the group (aka ``Schreier graphs'') converge to the Julia set of $f$.

연구 동기 및 목표

• 복소수 평면에서 세 개의 구멍이 난 영역 $\mathbb{C} \setminus \{0,1,\infty\}$ 의 기저점의 역상 반복에 대한 단형 작용을 통해, $2$-정규 루트 트리의 자기동형사상 부분군으로서 반복 단형군 $G = G(f)$ 를 정의하고 연구한다.
• 약한 분지 구조, 토크션-프리 성질, 성장 유형 등의 대수적 성질을 포함하여 $G$ 의 대수적 성질을 확립한다.
• $G$ 의 정규 표현의 스펙트럼 성질을 탐색하고, 이와 $f(z)$ 의 동역학과의 관계를 연결한다.
• 하우스도르프 거리에서 $G$ 의 슈라이어 그래프가 $f(z) = z^2 - 1$ 의 조르부 집합으로 수렴함을 보여준다.
• $G$ 의 완전한 표현을 제공하고, 몫 구조 및 코homological 성질을 분석한다.

제안 방법

• 기저점의 역상 반복에 대한 단형 작용을 통해, $2$-정규 루트 트리의 자기동형사상 부분군으로서 반복 단형군 $G = G(f)$ 를 구성한다.
• 와이어드 프로덕트 표현을 사용하여 생성자 $a$ 와 $b$ 를 통해 $G$ 를 기술한다. 여기서 $a = \langle b,1 \rangle (1,2)$ 이고 $b = \langle a,1 \rangle$ 이며, 이는 부분트리 위에서 자기유사 작용을 표현한다.
• 재귀적 관계와 슈라이어 그래프 $\mathfrak{G}_n$ 의 재귀적 구성 방법을 사용하여, $2^n$ 개의 정점 위에 있는 그래프의 군 구조를 분석한다. 각 간선은 $a$ 와 $b$ 로 레이블이 붙어 있다.
• 정규 표현 $\pi$ 의 스펙트럼을 재귀적 다항식 시스템 $Q_{n+1}(\lambda,\mu,\nu) = Q_n(F(\lambda,\mu,\nu))$ 를 통해 유도한다. 여기서 $F(\lambda,\mu,\nu) = (\lambda^2 + 2\lambda\nu - 2\mu^2, \lambda\nu + 2\nu^2, -\mu^2)$ 이다.
• 표현 $\pi$ 의 스펙트럼이 $\mu = \nu = -1/4$ 의 직선과 $F$ 에서의 $\{Q_1 = 0\}$ 의 역궤도의 폐쇄와의 교차로 이루어져 있음을 증명한다.
• 평면 임베딩과 하이퍼볼릭 동역학의 결과를 사용하여, 슈라이어 그래프 $\mathfrak{G}_n$ 이 조르부 집합 $\mathfrak{J}$ 로 수렴함을 확립한다.

실험 결과

연구 질문

• RQ1 반복 단형군 $f(z) = z^2 - 1$ 는 어떻게 명시적으로 구성되고, 자기유사 트리 자기동형사상에 의해 어떻게 기술될 수 있는가?
• RQ2 이 군의 대수적 성질은 무엇인가? 예를 들어 성장, 토크션-프리 성질, 몫의 가해성 등이다.
• RQ3 군의 정규 표현의 스펙트럼은 $f(z)$ 의 동역학과 어떻게 관련되어 있는가?
• RQ4 이 군의 슈라이어 그래프는 복소 평면에 임베딩될 수 있는가? 만약 그렇다면, 이 그래프는 조르부 집합으로 수렴하는가?
• RQ5 특히 군의 코homology, 특히 두 번째 호모로지아와 그 동역학적 구조 사이의 관계는 무엇인가?

주요 결과

• 군 $G$ 는 약한 분지 구조를 지닌다. 즉, 트리의 모든 수준에서 비자명하게 작용하는 비자명한 정규부분군을 포함한다.
• 군 $G$ 는 토크션-프리이다. 즉, 유한 순서를 가진 비자명한 원소가 존재하지 않는다.
• 군 $G$ 는 랭크 2의 자유 모노이드를 포함한다. 이는 지수 성장임을 의미하지만, 비아벨 자유군을 포함하지는 않는다.
• 모든 진부분군은 (자유 아벨군)-by-(유한 2-군) 이며, $G$ 자체는 가해적이지 않다.
• 군 $G$ 는 모든 $p$ 가 2의 거듭제곱일 때, 관계 $[[a^p, b^p], b^p]$ 와 $[[b^p, a^{2p}], a^{2p}]$ 를 가진 표현을 갖는다.
• 슈라이어 그래프 $\mathfrak{G}_n$ 은 하우스도르프 거리에서 $z^2 - 1$ 의 조르부 집합 $\mathfrak{J}$ 로 수렴하며, 평면적이고 $2^k$-다각형과 부분트리에 기반한 재귀적 구조를 가진다.