[논문 리뷰] On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Jason P. Bell, Dragos Ghioca외 2명|arXiv (Cornell University)|2016. 10. 12.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 9

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 비음성 칸오다르 차원이 0 이상인 최소 3차원 다양체에 대해 Medvedev-Scanlon 추측을 증명한다. Beauville-Bogomolov 분해를 활용하고, 편의성의 동역학 및 $c_2$-수축을 통해 베르레르 동역학을 분석함으로써, 어떤 이sov라즘도 유리 피브레이션을 보존하지 않는 경우, 그 궤도가 자리지 밀도를 가짐을 보여, 이 경우 3차원 다양체에 대해 추측을 해결한다. 주요 결과는 $ olimits(X) > 0$ 인 모든 최소 3차원 다양체에 대해 추측을 확인하며, $ olimits(X) = 0$ 인 경우 표준 추측 하에 역시 성립함을 보여준다.

ABSTRACT

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$. Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$. The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$. Our results are most complete in dimension $3$.

연구 동기 및 목표

• 모든 $ olimits(X) \geq 0$ 인 최소 3차원 다양체에 대해 Medvedev-Scanlon 추측을 $ olimits\overline{\mathbb{Q}}$ 위에서 확립하기.
• 기존 사례를 초월하여, $ olimits(X) > 0$ 및 $ olimits(X) = 0$ 인 다양체에 대해 추측의 타당성을 확장하기.
• 최소 모델 프로그램의 표준 추측 하에 $ olimits(X) = 0$ 인 경우, Calabi-Yau, 하이퍼카일러, 아벨 다양체의 곱으로 분해함.
• 핵심 다항식이 토션인 최소 3차원 다양체에서의 의사자기동형사상의 동역학을 편의성의 곡선과 $c_2$-수축을 통해 분석하기.

제안 방법

• 특성 0인 대수적으로 닫힌 체 위에서 최소 3차원 다양체에 대해 $ olimits(X) = 0$ 인 경우, Beauville-Bogomolov 분해 정리를 적용하여 Calabi-Yau, 하이퍼카일러, 아벨 다양체의 곱으로 분해한다.
• 칸오다르 차원이 양인 다양체에서의 비유적 자기동형사상은 반드시 유리 피브레이션을 보존하므로, 궤도가 밀도를 가지지 않으며, 이는 Medvedev-Scanlon 추측을 자동으로 만족시킨다.
• 자기동형사상 $ olimits^*$ 가 편의성의 곡선 $ olimits\operatorname{Nef}(X)$ 위에 작용하는 방식을 분석하고, $c_2(X) \cdot D \leq M$ 로 정의된 영역의 컴acts를 이용해 $ olimits^*$ 가 앰플 클래스 $A$ 를 고정함을 보인다.
• 자기동형사상 $ olimits^*$ 에 의해 토션을 제외한 채로 고정되는 매우 앰플 라인 번들 $ olimits\mathcal{M}$ 을 구성하고, 선형 동치를 통해 스케일링 후 $ olimits^*\mathcal{M} \cong \mathcal{M}$ 을 보인다.
• 수축 $ olimits\pi: X \to Y$ 를 통해 문제를 낮은 차원의 경우로 감소시키며, 이러한 수축의 유한성과 $ olimits$ 가 $Y$ 에서 $ olimits\overline{\phi}$ 로 내림내림됨을 이용한다.
• 특성 $p$-adic 아크 정리와 $ olimits\mathbb{P}^1$ 의 유리 함수 사상에 대한 결과를 적용하여, $ olimits\dim Y = 1$ 인 경우 비자명한 피브레이션을 배제하고, $ olimits\overline{\phi}$ 가 세 점을 고정하면 모순이 발생함을 보인다.

실험 결과

연구 질문

• RQ1 최소 3차원 다양체에 대해 칸오다르 차원이 양인 경우 Medvedev-Scanlon 추측이 성립하는가?
• RQ2 표준 추측 하에 $ olimits(X) = 0$ 인 경우, 추측이 Calabi-Yau, 하이퍼카일러, 아벨 다양체 유형의 곱으로 감소되는가?
• RQ3 핵심 다항식이 토션인 최소 3차원 다양체에서 의사자기동형사상이 어떤 유리 피브레이션도 보존하지 않을 경우 어떤 동역학적 행동이 발생하는가?
• RQ4 $c_2$-수축과 편의성의 곡선의 구조는 불변 피브레이션 또는 밀도 궤도의 존재를 어떻게 제약하는가?
• RQ5 칸오다르 차원이 0인 최소 3차원 다양체에서 비유적 자기동형사상이 어떤 조건에서 낮은 차원의 다양체로 내림내림되며, 그 궤도가 밀도를 가질 수 있는가?

주요 결과

• 칸오다르 차원이 양인 모든 최소 3차원 다양체에 대해 Medvedev-Scanlon 추측은 자동으로 성립한다. 비유적 자기동형사상은 반드시 유리 피브레이션을 보존하기 때문이다.
• 칸오다르 차원이 0이고 핵심 다항식이 토션인 최소 3차원 다양체에서, $c_2(X)$ 가 편의성의 곡선 위에서 엄격히 양이면, $ olimits^*$-불변 앰플 클래스가 존재하므로 추측이 성립한다.
• 만약 $c_2(X) \cdot D = 0$ 인 비영의 준암시적 다항식 $D$ 가 존재하면, 이에 대응하는 $c_2$-수축 $ olimits\pi: X \to Y$ 를 통해 문제를 낮은 차원의 경우로 감소시킬 수 있다.
• 차원 $ olimits\dim Y = 3$ 이면, $ olimits\pi$ 는 비유적 사상이다. $ olimits\phi$ 가 어떤 피브레이션도 보존하지 않으면, $Y$ 는 유리 다양체여야 하며, 이는 $ olimits\kappa(X) = 0$ 과 모순된다. 따라서 그러한 피브레이션은 존재할 수 없다.
• 차원 $ olimits\dim Y = 2$ 이면, 이전의 표면에 대한 결과로 추측이 성립한다. 차원 $ olimits\dim Y = 1$ 이면, $ olimits\mathbb{P}^1$ 에서의 자기동형사상 $ olimits\overline{\phi}$ 가 세 점을 고정하면 반드시 자명해지며, 이는 불변량이 없음과 모순된다.
• 따라서 비자명한 유리 피브레이션은 존재하지 않으며, 모든 최소 3차원 다양체에 대해 $ olimits\kappa(X) \geq 0$ 일 때 추측이 확인된다.