[논문 리뷰] Continuous Families of Rational Surface Automorphisms with Positive Entropy

Eric Bedford, Kyounghee Kim|ArXiv.org|2008. 04. 13.

Advanced Differential Equations and Dynamical Systems참고 문헌 9인용 수 4

한 줄 요약

이 논문은 $ \mathbb{P}^2 $ 의 반복 블로우업에서의 비유리 사상으로서 $ f(x,y) = \left(y, -x + cy + \sum_{\ell \text{ even}} \frac{a_\ell}{y^\ell} + \frac{1}{y^k} \right) $ 의 형태를 가진 비유리 사상들을 정의하여, 양의 엔트로피를 가진 유리 표면 자기동형사상의 연속적 가중치를 구성한다. 여기서 매개변수 $ c \in C_n $ 과 $ a_\ell \in \mathbb{C} $ 는 $ \mathbb{P}^2 $ 의 반복 블로우업에서 자기동형사상으로 이어진다. 주요 결과는 이러한 사상들이 임의로 높은 차원의 가중치를 가질 수 있음을 보여주며, 이는 이전에 생각했던 것보다 양의 엔트로피를 가진 유리 표면 자기동형사상이 더 흔하다는 것을 시사한다.

ABSTRACT

We construct k-parameter families of rational surface automorphisms for any k. These are automorphisms of surfaces X, which are constructed from iterated blowups over the projective plane. In certain cases: we are able to determine the exact automorphism group of X, as well as when two of the surfaces X are inequivalent.

연구 동기 및 목표

• 양의 엔트로피를 가진 유리 표면 자기동형사상이 이전에 생각했던 것보다 더 흔하다는 것을 보여주기 위해, 특히 토러스와 K3 표면의 경우와 비교하여.
• 복소계수 $ a_\ell $ 와 실수 매개변수 $ c \in C_n $ 로 매개변수화된 이러한 자기동형사상의 명시적 가중치를 구성하여, 모든 매개변수에 비트리비얼한 의존성을 보여주기 위해.
• 이러한 사상들이 반복 블로우업을 통해 얻어진 유리 표면에서 자기동형사상으로 유도됨을 증명하고, 그 동역학적 및 대수적 성질을 분석하기 위해.

제안 방법

• 유리 함수에 짝수 차수의 음의 거듭제곱을 포함하는 방식으로 $ \mathbb{P}^2 $ 에서 비유리 사상 $ f $ 를 정의하여, 비유리성과 블로우업에서의 승강 가능성 보장.
• 특히 $ [0:1:0] $ 과 $ [0:0:1] $ 에서의 무한대 점들 위에서 반복 블로우업을 통해 표면 $ \mathcal{X}_f $ 를 구성하여, $ f $ 의 정의되지 않는 점들을 해결.
• 블로우업 사상 $ \pi $ 를 포함하는 가환 다이어그램을 통해 $ f $ 가 표면 $ \mathcal{X}_f $ 에서 자기동형사상 $ f_{\mathcal{X}} $ 로 승강됨을 증명하며, $ \pi \circ f_{\mathcal{X}} = f \circ \pi $ 를 확보.
• Picard 군에 유도된 사상 $ f_* $ 의 스펙트럴 반경을 사용하여 엔트로피를 $ \log \lambda_{n,k} $ 로 계산하며, 여기서 $ \lambda_{n,k} $ 는 $ \chi_{n,k}(x) = 1 - k\sum_{\ell=1}^{n-1} x^\ell + x^n $ 의 최대 근이다.
• 무한대 직선 $ \Sigma_0 $ 과 블로우업의 섬유 위에서 $ f $ 의 작용을 분석하여, $ f^{2n} $ 이 이들 점들에서 항등사상에 대해 탄젠트임을 보여주며, 이는 이들 점에서의 포물선적 행동을 시사한다.
• 자기동형사상 군 $ \operatorname{Aut}(\mathcal{X}_f) $ 가 크레모나 등급군에서 유한대일 뿐 아니라, $ n=2 $ 일 때 효과적인 크레모나 등급은 전체 무한 이면체군을 이룬다.

실험 결과

연구 질문

• RQ1 양의 엔트로피를 가진 유리 표면 자기동형사상은 임의로 높은 차원의 연속적 가중치로 구성될 수 있는가?
• RQ2 매개변수 $ c $ 와 $ a_\ell $ 에 어떤 조건이 성립해야 비유리 사상 $ f $ 가 반복 블로우업을 통해 유리 표면에서 자기동형사상으로 승강되는가?
• RQ3 이러한 사상의 엔트로피는 Picard 군에 유도된 사상의 스펙트럴 성질과 어떻게 관련되는가?
• RQ4 자기동형사상 군 $ \operatorname{Aut}(\mathcal{X}_f) $ 의 구조는 무엇이며, 크레모나 등급군 내에서 언제 최대가 되는가?
• RQ5 다른 매개변수 값 $ a \in \mathbb{C}^{k/2 - 1} $ 에 대해 표면 $ \mathcal{X}_a $ 는 복소해석적으로 서로 동형이 아닐까?

주요 결과

• 모든 $ n \geq 2 $, $ k \geq 4 $ (짝수), $ c \in C_n $ 에 대해, 식 (0.1)의 사상 $ f $ 는 양의 엔트로피 $ \log \lambda_{n,k} $ 를 가진 자기동형사상이며, 여기서 $ \lambda_{n,k} $ 는 $ \chi_{n,k}(x) = 1 - k\sum_{\ell=1}^{n-1} x^\ell + x^n $ 의 최대 근이다.
• 식 (0.1)의 사상 가중치는 모든 매개변수 $ a_\ell $ 에 대해 비트리비얼하게 의존하며, $ n=2 $ 일 때 집합 $ C_2 $ 는 $ 2\cos(j\pi/2) $ 의 모든 값으로 이루어져 있으며, $ (j,2)=1 $ 이므로 $ c = 0 $ 이다.
• 만약 $ n=2 $ 이면, 효과적인 크레모나 등급 $ \mathcal{C}_{ef}(\mathcal{X}) $ 는 전체 크레모나 등급군 $ \mathcal{C}(\mathcal{X}) $ 와 일치하며, $ f_* $ 와 $ \rho_* $ 가 생성하는 무한 이면체군을 이룬다. 여기서 $ \rho(x,y) = (y,x) $ 이다.
• 만약 $ n=2 $ 이면, 표면 $ \mathcal{X}_a $ 는 일반적으로 복소해석적으로 동형이 아니다: $ a, \hat{a} \in U \subset \mathbb{C}^{k/2 - 1} $, $ a \neq \hat{a} $, 그리고 $ a_{k-1} \neq 0 $ 이면, $ \mathcal{X}_a \not\cong \mathcal{X}_{\hat{a}} $ 이다.
• 사상 $ f^{2n} $ 은 불변 곡선 $ \Sigma_0 $ 과 대부분의 블로우업 섬유 $ \mathcal{F}_s^j $ 의 모든 점들에서 항등사상에 대해 탄젠트이며, 이는 이들 점에서의 포물선적 행동을 확인한다.