[논문 리뷰] Dynamics of (Pseudo) Automorphisms of 3-space: Periodicity versus positive entropy

Eric Bedford, Kyounghee Kim|arXiv (Cornell University)|2011. 01. 08.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 6

한 줄 요약

이 논문은 $ f_{\alpha,\beta}:(x_1,x_2,x_3) \mapsto (x_2,x_3, \frac{\alpha_0 + \alpha_1x_1 + \alpha_2x_2 + \alpha_3x_3}{\beta_0 + \beta_1x_1 + \beta_2x_2 + \beta_3x_3}) $ 형태의 3차원에서의 비유리 사상에 대해, 코homological 작용과 수정을 통해 의사자기동형사상(pseudo-automorphisms)을 얻기 위해 동역학을 연구한다. 이는 $\mathbb{P}^3$의 블로우업에서 양의 엔트로피를 가진 의사자기동형사상의 첫 번째 알려진 예를 제공하며, 이러한 사상들이 비록 동역학적 차수는 같고 코homology가 역행성임에도 불구하고 자동형사상과 비유리적으로 동치가 아니라는 것을 보여준다.

ABSTRACT

We study the iterative behavior of the family of 3-step linear fractional recurrences and the family of birational maps they define. We determine all the possible periodicities within this family or, equivalently, the birational maps of finite order. This family also contains pseudo-automorphisms of infinite order. One such family consists of completely integrable maps, and another family consists of maps of positive entropy. Both of these families have invariant families of $K3$ surfaces.

연구 동기 및 목표

• 비유리 사상의 동역학을 분석하고, 특히 주기성과 양의 엔트로피 사이의 차이를 중심으로 한다.
• $\mathbb{P}^3$의 블로우업에서 양의 엔트로피를 가진 명시적 의사자기동형사상의 예를 구성한다.
• 이러한 사상이 언제 비유리적으로 자동형사상과 동치가 아니며, 표면 동역학과 대조적으로 어떤 조건에서 그러한 비동치성이 발생하는지 규명한다.
• 불변 $K3$ 표면의 역할과 그 표면 위에서의 동역학, 엔트로피 및 동치성 성질을 연구한다.
• 2차원에서 자동형사상과의 비유리적 동치성을 판단하는 공식(예: Salem 수, 차수 성장의 유계성 또는 이차성)이 3차원에서는 성립하지 않는 이유를 조사한다.

제안 방법

• $ \alpha, \beta $를 특정하게 선택하여 제어 가능한 동역학을 가진 형태의 유리 사상 $ f_{\alpha,\beta} $를 사용한다.
• $ \pi: Z \to \mathbb{P}^3 $ 형태의 블로우업을 적용하여 비정상성 문제를 해결하고, 의사자기동형사상 $ f_Z $ 를 얻는다.
• 동역학적 차수 $ \delta_1(f) = \delta_2(f) \approx 1.28064 $를 계산하며, 이는 $ t^8 - t^5 - t^4 - t^3 + 1 $ 의 최대근이다.
• $ f^3 $ 에 대해 불변인 1파라미터 및 2파라미터 가중 $ K3 $ 표면 $ S_c $ 의 가닥을 구성하며, $ f|_{S_c} $ 는 자동형사상임을 보인다.
• $ H^{1,1}(Z) $ 와 $ H^{2,2}(Z) $ 에서의 코homological pullback $ f^* $ 를 사용하고, 불변의 컨디션 $ T^+, T^-, T^+ \wedge T^- $ 를 식별한다.
• $ \text{Pic}(Z) $ 에서의 Picard 군 작용과 $ f_Z^* $ 의 특성다항식 분석을 통해 차수 성장과 자동형사상과의 비동치성을 규명한다.

실험 결과

연구 질문

• RQ1 블로우업된 $\mathbb{P}^3$ 에서 양의 엔트로피를 가진 의사자기동형사상이 존재할 수 있는가?
• RQ2 동역학적 차수가 같을 때 비록 코homology가 역행성임에도 불구하고, 3차원에서 비유리 사상이 자동형사상과 비유리적으로 동치가 아니게 되는 조건은 무엇인가?
• RQ3 이러한 사상의 동역학에서 불변 $K3$ 표면은 어떻게 유도되며, 엔트로피와 동치성에 어떤 역할을 하는가?
• RQ4 2차원에서 자동형사상과의 비유리적 동치성을 판단하는 기준(유계 또는 이차 차수 성장, 또는 Salem 동역학적 차수)이 3차원으로 일반화되는가?
• RQ5 코homological 쌍대성과 대수적 안정성은 3차원 비유리 사상의 동역학을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 블로우업된 $\mathbb{P}^3$ 에서 양의 엔트로피를 가진 의사자기동형사상의 첫 번째 알려진 예가 구성되었으며, $ \delta_1(f) = \delta_2(f) \approx 1.28064 $, 이는 $ t^8 - t^5 - t^4 - t^3 + 1 $ 의 최대근이다.
• 정리 1에 속하는 사상들에 대해, 불변 $ K3 $ 표면 $ S_c $ 의 1파라미터 가닥이 존재하며, $ f^3|_{S_c} $ 는 자동형사상이다. 일반적인 $ c $ 에 대해 이러한 표면들은 복소다양체적으로 서로 동치가 아니며, 그 자동형사상들 역시 매끄럽게 동치되지 않는다.
• $ f|_{S_0} $ 의 엔트로피는 양이며, $ \log(\delta_1(f)) $ 와 같다. 이는 현재 알려진 바에 비추어 복소 $ K3 $ 표면 자동형사상 중에서 가장 작은 엔트로피이다.
• 정리 1과 정리 3에 속하는 사상들은 이차 차수 성장을 보이며, 비록 코homological 쌍대성 $ f_Z^* \sim (f_Z^{-1})^* $ 를 만족하더라도 자동형사상과 비유리적으로 동치가 아니다.
• $ a \neq 1 $ 인 사상들에 대해서는 동역학적 차수가 Salem 수가 아니며, 차수 성장은 유계나 이차가 아니므로 자동형사상과 비유리적으로 동치가 아니며, 이는 2차원 기준이 3차원에서는 성립하지 않음을 보여준다.
• 유리 표면의 8차 순환체 $ \mathcal{R} $ 에 제한된 사상은 표면 자동형사상과 비유리적으로 동치가 아니며, 기하학적으로 중요한 영역에서의 비동치성을 확인한다.