[논문 리뷰] On deformation spaces of quadratic rational maps

Tanya Firsova, Jeremy Kahn외 1명|arXiv (Cornell University)|2016. 06. 02.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 4

한 줄 요약

이 논문은 이차 유리 함수의 변형 공간의 위상적 구조를 조사하며, 자가동치성과 이러한 공간들이 수축 가능하지 않은 조건에 초점을 맞춘다. $\mathrm{Per}'_n$ 가족에 속한 $n \geq 4$ 인 맵들에 대해 변형 공간이 수축 가능하지 않음을 입증하여, A. 에프스타인의 이러한 공간들의 수축 가능성에 대한 질문을 해결한다.

ABSTRACT

We study the group of self-equivalences of a partially postcritically finite branched cover and answer a question of Adam Epstein about contractibility of certain deformation spaces of rational maps.

연구 동기 및 목표

• 복소 동역학에서 부분적으로 후기비판적으로 유한한 분지 덮개와 관련된 변형 공간의 위상적 성질을 연구하기 위해.
• 이러한 변형 공간의 자가동치성 군을 정의하고 분석하여 매핑 클래스 군의 중심화자 개념을 일반화하기 위해.
• 산술적으로 등가화하는 다중곡선을 사용하여 증강 테이히뮐러 공간의 스트라타에 변형 공간이 어떻게 축적되는지 특성화하기 위해.
• A. 에프스타인의 질문, 즉 변형 공간이 수축 가능할 것인지 여부를 해결하기 위해, 명시적인 비수축 가능 예를 구성함으로써.
• 완전한 분류를 제공함으로써 향후 분석의 기초를 마련하기 위해 $\mathrm{Per}'_4$ 경우의 등가화 및 산술적으로 등가화하는 다중곡선을 분류하기 위해.

제안 방법

• 저자들은 분지 덮개에 의해 유도되는 테이히뮐러 공간 위의 당김 사상에 의해 변형 공간을 정의하며, 투르스톤의 후기비판적으로 유한한 맵에 대한 접근을 일반화한다.
• 장애가 있는 설정에서의 투르스톤-불변 다중곡선의 일반화로, 등가화 및 산술적으로 등가화하는 다중곡선의 개념을 도입한다.
• 투르스톤의 행렬과 잊어버리는 행렬의 형식을 사용하여 곡선의 호모토피류 위에서의 맵의 작용을 분석함으로써 산술적으로 등가화하는 행동을 탐지한다.
• 논문은 다음과 같은 기준을 수립한다: $f^*\mathcal{S}_\Gamma = i_*\mathcal{S}_\Gamma$ 이다 ⇔ $\Gamma$ 는 등가화 다중곡선이다.
• 만약 변형 공간이 증강 테이히뮐러 공간의 스트라타 $\mathcal{S}_\Gamma$ 에 축적된다면, 어떤 $\tilde{\Gamma} \subset \Gamma$ 가 산술적으로 등가화하는 것으로 나타난다.
• 저자들은 $n \geq 4$ 인 $\mathrm{Per}'_n$ 가족에서 명시적인 예를 구성하여 비수축 가능성을 보이며, 곡선의 동역학과 행렬 분석을 사용한다.

실험 결과

연구 질문

• RQ1 이차 유리 함수의 변형 공간이 수축 가능하지 않은 조건은 무엇인가?
• RQ2 산술적으로 등가화하는 다중곡선은 증강 테이히뮐러 공간의 스트라타에 변형 공간이 축적되는 데 어떻게 관련되는가?
• RQ3 자기동치성은 변형 공간에서 어떤 역할을 하는가? 그리고 산술적으로 등가화하는 다중곡선과의 관계는 무엇인가?
• RQ4 후기비판적으로 유한한 유리 함수의 변형 공간이 수축 가능하지 않을 수 있는가? 만약 그렇다면, 어떤 동역학적 조건에서 그러한 일이 일어나는가?
• RQ5 완전히 분류된 등가화 및 산술적으로 등가화하는 다중곡선은 $\mathrm{Per}'_4$ 변형 공간에서 어떻게 이루어지는가?

주요 결과

• A. 에프스타인의 수축 가능성에 대한 질문에 대한 부정적 대답을 제공하기 위해, $n \geq 4$ 인 일부 $f \in \mathrm{Per}'_n$ 에 대해 변형 공간 $\mathrm{Def}(f,A,B)$ 는 수축 가능하지 않다.
• 변형 공간이 증강 테이히뮐러 공간의 스트라타 $\mathcal{S}_\Gamma$ 에 축적되는 것은, $\Gamma$ 의 부분다중곡선 $\tilde{\Gamma} \subset \Gamma$ 가 산술적으로 등가화하는 것이 존재할 때이고, 그 때에만 성립한다.
• 각 산술적으로 등가화하는 다중곡선은 변형 공간의 비자명한 자가동치성을 유도하며, 중심화자의 개념을 일반화한다.
• 사례 (10)과 (11)에서 다중곡선 $\gamma$ 와 $\delta$ 는 산술적으로 등가화하며, 각각 구멍 1과 0의 상에 대응한다. 투르스톤 행렬 $T = (1,0)$ 이고, 잊어버리는 행렬 $A = (0,1)$ 이다.
• 사례 (12a)에서 다중곡선 $(\gamma,\delta)$ 는 등가화되지만 산술적으로 등가화되지 않는다. 왜냐하면 $f^*([\delta]) = [\gamma_2]$ 이고 $i_*([\delta]) = [\gamma_2]$ 이며, $T = (1,1)$ 이고 $A = (0,1)$ 이기 때문이다.
• 사례 (13)에서 $\gamma$ 는 산술적으로 등가화되지만 $\delta$ 는 그렇지 않다. $T = (1,1/2)$ 이고 $A = (1,1)$ 이며, 이는 전체 다중곡선이 산술적으로 등가화되지 않더라도 산술적으로 등가화하는 곡선이 존재할 수 있음을 보여준다.