[논문 리뷰] Explicit Examples of rational and Calabi-Yau threefolds with primitive automorphisms of positive entropy

Keiji Oguiso, Tuyen Trung Truong|arXiv (Cornell University)|2013. 06. 07.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 15

한 줄 요약

이 논문은 3차원 곱형태의 3차원 토러스의 유한군에 의한 몫을 통해, 정칙적이고 리만-유리 3차곡면과 칼라비-야우 3차곡면에 대해, 양성 엔트로피를 갖는 원시적 이형형사상의 첫 번째 명시적 예를 제시한다. 핵심 기여는 몫 3차곡면의 유리성 증명과, 동적 차수를 이용한 원시성 확립에 있으며, 첫 번째 동적 차수가 시라우 수가 아니라는 점—즉, 고차원 복소 동역학 이론에서 오랫동안 미해결된 문제를 해결한다.

ABSTRACT

We present the first explicit examples of a rational threefold and a Calabi-Yau threefold, admitting biregular automorphisms of positive entropy not preserving any dominant rational maps to lower positive dimensional varieties. The most crucial part is the rationality of the quotient threefold of a 3-dimensional torus of product type.

연구 동기 및 목표

• 양성 엔트로피를 갖는 원시적 이형형사상이 존재하는 리만-유리 3차곡면과 칼라비-야우 3차곡면의 명시적 예를 구성하는 것.
• 이러한 자동사상이 낮은 차원의 다양체로의 주로 유리 사상( dominant rational map )을 보존하지 않는다는 점에서, 이러한 자동사상이 존재할 수 있는지 여부를 해결하는 것.
• 이러한 자동사상의 첫 번째 동적 차수가 반드시 시라우 수일 필요가 없다는 것을 보여주는 것.
• 서로 다른 첫 번째 및 두 번째 동적 차수를 기반으로 한 원시성에 대한 수치 기준을 제공하는 것.
• 특정 유한군 작용을 갖는 3차원 토러스에 대한 몫 3차곡면의 유리성을 확립하는 것.

제안 방법

• 복소수 정수환 $\mathbb{Z}[\omega]$를 갖는 허수 이차체 $\mathbb{Q}(\sqrt{-3})$를 이용하여, $M = E_\omega \times E_\omega \times E_\omega$ 형태의 3차원 복소 토러스를 구성한다.
• 복소 구조를 유지하는 정수 행렬로 표현되는 $\mathrm{GL}(3, \mathbb{Z}[\omega])$를 통해 $M$ 위에 유한군 작용을 정의한다.
• 유한부분군 $G$ 및 $G'$를 $\mathrm{GL}(3, \mathbb{Z}[\omega])$의 원소로 하여 몰입 3차곡면 $X = M/G$ 및 $Y = M/G'$를 구성하고, 특이점의 해소를 통해 그 유리성을 증명한다.
• 그로모프-요미딘 정리를 적용하여 최대 동적 차수의 로그로 위상적 엔트로피를 계산한다.
• 수치 기준(정리 4.1)을 적용하여, $\lambda_1(f) \neq \lambda_2(f)$이면 $f$는 원시적임을 보이고, 이에 따라 유도된 자동사상의 원시성을 증명한다.
• 행렬 $P_a$의 특성다항식 $\Phi(x) = x^3 - 3a^2x + 1$을 분석하여 $\lambda_1(f) < \lambda_2(f)$임을 보이고, 이는 양성 엔트로피 및 $\lambda_1(f)$가 시라우 수가 아님을 보장한다.

실험 결과

연구 질문

• RQ1 리만-유리 3차곡면이, 낮은 차원의 다양체로의 주로 유리 사상을 보존하지 않는, 양성 엔트로피를 갖는 원시적 이형형사상을 가질 수 있는가?
• RQ2 칼라비-야우 3차곡면이 이러한 자동사상을 가질 수 있으며, 만약 그렇다면 명시적으로 구성할 수 있는가?
• RQ3 이러한 자동사상의 첫 번째 동적 차수가 반드시 시라우 수일 필요가 있는가?
• RQ4 동적 차수의 관점에서 이형형사상의 원시성을 보장하는 조건은 무엇인가?
• RQ5 $\mathrm{GL}(3, \mathbb{Z}[\omega])$에 의한 유한군 작용 아래에서 3차원 토러스의 몫이 유리인가?

주요 결과

• 몰입 3차곡면 $X = M/G$는 유리이며, 양성 엔트로피를 갖는 원시적 자동사상이 존재하는 스무스한 리만-유리 3차곡면에 대한 첫 번째 명시적 예이다.
• 몰입 3차곡면 $Y = M/G'$는 칼라비-야우 3차곡면이며, 양성 엔트로피를 갖는 원시적 자동사상이 존재하는 칼라비-야우 3차곡면에 대한 첫 번째 명시적 예이다.
• $X$ 위의 자동사상 $f_X$는 $\lambda_1(f_X) < \lambda_2(f_X)$를 만족하며, 이는 정리 4.1에 의해 원시성의 확인을 가능하게 한다.
• 첫 번째 동적 차수 $\lambda_1(f_X)$는 시라우 수가 아니며, 이는 삼차 기약다항식이 세 개의 실근을 가지며 시라우 수의 대칭성 조건을 만족하지 않기 때문이다.
• $f_X$ 및 $f_Y$의 위상적 엔트로피는 양성이다. 이는 $\lambda_1(f_X) > 1$ 이며, $\lambda_1(f_X) = \alpha^2$, $\lambda_2(f_X) = \alpha^2\gamma^2$ 이며, $\alpha < -a < 0 < \beta < 1 < a < \gamma$는 $\Phi(x) = x^3 - 3a^2x + 1$의 근이다.
• 유도된 자동사상 $f_X$ 및 $f_Y$는 이형형사상이며, 무한 순서를 가지며, 어떤 낮은 차원의 다양체로의 주로 유리 사상도 보존하지 않으며, 이는 그들의 원시성을 확인한다.