[논문 리뷰] Dynamics of Rational Surface Automorphisms: Linear Fractional Recurrences

Eric Bedford, Kyounghee Kim|arXiv (Cornell University)|2006. 11. 09.

Mathematical Dynamics and Fractals인용 수 9

한 줄 요약

이 논문은 형태 $ f_{a,b}:(x,y) \mapsto \left(y, \frac{y+a}{x+b}\right) $를 가진 선형 분수 재귀로 정의된 유리 표면 자기동형사상의 동역학을 조사하며, 특정 매개변수 값 $ (a,b) \in \mathcal{V}_n $ 에서 이러한 사상이 $ \mathbb{P}^2 $ 의 블로우업에서 양의 엔트로피를 가진 자기동형사상으로 유도됨을 보여준다. 주요 기여는 양의 엔트로피를 가지나 불변 대수곡선을 가지지 않는 자기동형사상을 구성하여, 깃자툴린, 하브른, 맥마헨의 추측을 반박하는 데 있다.

ABSTRACT

We consider the family $f_{a,b}(x,y)=(y,(y+a)/(x+b))$ of birational maps of the plane and the parameter values $(a,b)$ for which $f_{a,b}$ gives an automorphism of a rational surface. In particular, we find values for which $f_{a,b}$ is an automorphism of positive entropy but no invariant curve. The Main Theorem: If $f_{a,b}$ is an automorphism with an invariant curve and positive entropy, then either (1) $(a,b)$ is real, and the restriction of $f$ to the real points has maximal entropy, or (2) $f_{a,b}$ has a rotation (Siegel) domain.

연구 동기 및 목표

• 선형 분수 재귀 $ f_{a,b} $ 로부터 유도되는 유리 표면 자기동형사상의 동역학을 조사하며, 특히 불변 곡선의 존재 여부에 초점을 맞춘다.
• 깃자툴린, 하브른, 맥마헨이 제기한, 양의 엔트로피 자기동형사상에서 불변 곡선이 반드시 필요하다는 추측을 해결한다.
• 특히 불변 곡선이 존재할 경우, 회전 영역과 실수 동역학의 역할을 분석한다.
• 자기동형사상이 피카르 군에 작용하는 특성다항식과 코克斯터 군 이론 사이의 연결 고리를 설정한다.
• $ f_{a,b} $ 가 양의 엔트로피를 가진 유리 표면에서 자기동형사상으로 유도되는 매개변수 값 $ (a,b) $ 의 특성화를 수행한다.

제안 방법

• 재귀식 $ (x,y) \mapsto \left(y, \frac{y+a}{x+b}\right) $ 를 통해 $ \mathbb{P}^2 $ 상의 사상 $ f_{a,b} $ 를 정의하고, $ n+3 $ 개의 점에서의 블로우업에서의 비유리 동치를 연구한다.
• 매개변수 공간 $ \mathcal{V}_n \subset \mathbb{C}^2 $ 을 사용하여, $ f_{a,b} $ 가 자명한 자기동형사상으로 동치가 되는 사상들을 분류하며, 이는 $ f_{a,b} $ 에서 $ q = (-a,0) $ 의 궤도의 주기성에 기반한다.
• $ f_{a,b}^* $ 가 피카르 군 $ \text{Pic}(\mathcal{X}_{a,b}) $ 에 작용하는 방식을 계산하며, 그 특성다항식이 $ \chi_n(x) = -1 + x^2 + x^3 - x^{1+n} - x^{2+n} + x^{4+n} $ 임을 보인다.
• $ \chi_n(x) = C_n(x) \psi_n(x) $ 로 인수분해하며, $ C_n $ 은 원분다항식의 곱이고, $ \psi_n $ 은 주된 고유값 $ \lambda_n > 1 $ 의 최소다항식이며, 엔트로피는 $ \log \lambda_n $ 이다.
• 고정점과 순환점을 분석하며, 다중수를 계산하고 $ \eta_1^n \eta_2 = 1 $ 과 같은 공진 조건을 식별한다.
• 특히 $ n \geq 7 $ 에서는 코homology 위의 유도된 사상의 행렬 표현을 사용하여, 주로 소수와 블록 행렬식 전개를 통해 특성다항식을 계산한다.

실험 결과

연구 질문

• RQ1 양의 엔트로피를 가지나 불변 대수곡선을 가지지 않는 유리 표면 자기동형사상이 존재하는가?
• RQ2 특히, 불변 쿠빅 곡선이 존재할 경우 $ f_{a,b} $ 의 동역학적 행동은 어떻게 되는가? 특히, 회전 영역과 실수 동역학에 대해 설명하라.
• RQ3 주기점에서 선형화된 사상의 고유값은 특성다항식 $ \chi_n(x) $ 의 근들과 어떻게 관련되어 있으며, 어떤 공진 조건이 발생하는가?
• RQ4 특성다항식 $ \chi_n(x) $ 와 코克斯터 군의 구조 사이의 정확한 연결 고리는 무엇인가? 특히, 웨일 군 표현과의 관계에서 설명하라.
• RQ5 복소수 사상의 엔트로피를 그대로 유지하는 조건에서, $ f $ 의 실수 점 $ \mathcal{X}_R $ 에 대한 실수 제한 $ f_R $ 는 어떤 조건을 만족해야 하는가?

주요 결과

• 논문은 양의 엔트로피를 가지나 불변 대수곡선을 가지지 않는 유리 표면 자기동형사상의 구체적 예를 구성하며, 깃자툴린, 하브른, 맥마헨의 추측에 대한 반례를 제공한다.
• $ n \geq 7 $ 에서 특성다항식 $ \chi_n(x) $ 는 유일한 실근 $ \lambda_n > 1 $ 을 가지며, $ f_{a,b} $ 의 위상적 엔트로피는 $ \log \lambda_n > 0 $ 이다. $ \psi_n $ 이 기약일 경우 $ \lambda_n $ 은 파이소트 수이다.
• $ \chi_n(x) $ 의 원분 인수 $ C_n(x) $ 는 명시적으로 계산되었으며, 원분다항식의 곱임이 증명되었으며, 정리 3.3 및 3.5 에서 분해가 제시된다.
• 불변 쿠빅 곡선이 존재할 경우, 매개변수 $ (a,b) $ 는 매개변수 공간 $ \mathcal{V} $ 내의 세 개의 특정 곡선 $ \Gamma_1, \Gamma_2, \Gamma_3 $ 중 하나 위에 있으며, 곡선 상의 고정점의 다중수는 $ \eta_1^n \eta_2 = 1 $ 을 만족한다.
• 실수 매개변수 $ a,b \in \mathbb{R} $ 에서 실수 제한 $ f_R $ 는 복소수 사상과 동일한 엔트로피를 가지며, 최대측도는 $ \mathcal{X}_R $ 의 영면적 부분집합에 지지되어 있음을 정리 6.1 에서 보였다.
• 사상 $ f_{a,b} $ 는 특정 웨일 군의 코克斯터 원소를 실현하며, 정리 8.7 은 이들이 이 표현으로부터 유도되는 거의 모든 그러한 자기동형사상을 제공함을 확인한다.