[논문 리뷰] Some aspects of explicit birational geometry inspired by complex dynamics

Keiji Oguiso|arXiv (Cornell University)|2014. 04. 11.

Mathematical Dynamics and Fractals참고 문헌 59인용 수 25

한 줄 요약

이 논문은 복소다이나믹스의 개념—특히 위상적 엔트로피와 동역학적 차수—를 이용하여, 프로젝티브 또는 컴acts Kähler 다양체의 비라시오널 및 비레귤러 자명사상, 특히 양의 엔트로피를 가진 원시적 자명사상을 연구한다. 양의 엔트로피를 가진 자명사상이 존재하는 하이퍼카일러 다양체의 명시적 예를 구성하며, 이는 최소 피카르 수와 비아벨리안 자명사상 군을 포함한다. 이는 최소 모델 프로그램 가정 하에 고차원 대수기하학에서 이러한 다이나믹스가 자연스럽게 발생함을 보여준다.

ABSTRACT

Our aim is to illustrate how one can effectively apply the basic ideas and notions of topological entropy and dynamical degrees, together with recent progress of minimal model theory in higher dimension, for an explicit study of birational or biregular selfmaps of projective or compact Kähler manifolds, through concrete examples.

연구 동기 및 목표

• 프로젝티브 또는 컴팩트 Kähler 다양체에서 양의 엔트로피를 가진 원시적 비라시오널 또는 비레귤러 자명사상의 존재성과 구조를 조사하는 것.
• 특히 위상적 엔트로피와 동역학적 차수를 포함한 복소다이나믹스 도구를 명시적 기하적 예에 적용하는 것.
• 양의 엔트로피 자명사상을 가진 프로젝티브 하이퍼카일러 다양체의 최소 피카르 수를 결정하는 것.
• K3 표면의 자명사상 군과 그 힐베르트 스킴 간의 관계를 탐구하며, 특히 군이 비아벨리안이 되는 경우를 중심으로 다루는 것.
• m ≥ 3일 때 Aut(S) = Aut(S^{[m]})인지 여부에 대한 자연성 문제를 다루는 것.

제안 방법

• 원시적 자명사상의 무한 차수를 가진 다양체를 분류하기 위해 최소 모델 프로그램(MMP)과 약한 번성 추측을 활용한다.
• 동역학적 차수와 위상적 엔트로피를 적용하여 자명사상을 분류하며, 첫 번째 동역학적 차수 d₁(f)가 양의 엔트로피를 결정한다.
• 표면에서의 자명사상을 승수로 올려 힐베르트 스킴 S^{[n]}에 자명사상을 구성하며, 엔트로피를 유지한다.
• 4차 K3 표면의 경우 S^{[2]}에 대한 빈티브의 역할을 이용해 비아벨리안 자명사상 군을 생성한다.
• Néron–Severi 격자를 분석하여, 양의 엔트로피 자명사상을 지닌 최소 피카르 수를 가진 다양체를 식별한다.
• 자명사상 군의 자유곱 구조(예: ℤ * ℤ)를 이용하여, 양의 엔트로피 자명사상의 존재를 입증한다.

실험 결과

연구 질문

• RQ1 프로젝티브 또는 Kähler 다양체가 원시적 비레귤러 자명사상의 양의 엔트로피를 가질 수 있는 필요한 기하적 조건는 무엇인가?
• RQ2 차원 ≥ 4인 프로젝티브 하이퍼카일러 다양체에서 양의 엔트로피 자명사상을 가질 수 있는 최소 피카르 수는 얼마인가?
• RQ3 m ≥ 3일 때 K3 표면 S의 자명사상 군이 그 힐베르트 스킴 S^{[m]}의 자명사상 군과 동형일 수 있는가?
• RQ4 동역학적 차수와 위상적 엔트로피는 고차원 다양체에서 비라시오널 자명사상의 구조를 어떻게 제약하는가?
• RQ5 빈티브의 역할은 K3 표면의 힐베르트 스킴에서 비아벨리안 자명사상 군을 생성하는 데 어떤 역할을 하는가?

주요 결과

• S가 사름 유형의 자명사상 f를 가지며 d₁(f) = a > 1인 K3 표면일 때, 비프로젝티브 하이퍼카일러 다양체 M = S^{[n]}이 존재하며, 이는 양의 엔트로피를 가진 원시적 비레귤러 자명사상 f_M을 가진다.
• ρ(S) = 1인 프로젝티브 K3 표면 S에 대해, Hilbert 스킴 S^{[n]}은 ρ(S^{[n]}) = 2이지만 Bir(S^{[n]})은 유한하므로, 더 높은 피카르 수의 경우와 뚜렷한 대비를 이룬다.
• S^{[2]}와 변형 동치인 프로젝티브 하이퍼카일러 4차원 다양체 M이 존재하며, ρ(M) = 2, NS(M) ≅ (ℤ[η], 4Nm(*)), Aut(M)은 랭크 1의 거의 아벨 군이며 양의 엔트로피를 지닌다. 이는 이러한 다이나믹스에 대해 최소 피카르 수를 달성한다.
• Cayley K3 표면 S에 대해, S^{[2]}의 자명사상 군은 ⟨ι₀, ι₁, ι₂⟩ ≅ ℤ * ℤ와 동형이며, 양의 엔트로피 자명사상을 가진다. 또한 [Aut(S^{[2]}):Aut(S)] = ∞이다.
• Aut(S^{[2]})는 자유곱 ℤ * ℤ를 포함하며, 이는 양의 엔트로피 자명사상의 존재를 확인하고 Aut(S^{[2]})가 Aut(S)보다 훨씬 크다는 것을 보여주며, 자연성 질문과 대조된다.