[논문 리뷰] Finite groups of birational selfmaps of threefolds

Yuri Prokhorov, Constantin Shramov|arXiv (Cornell University)|2016. 11. 02.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 특성 0의 대수적으로 닫힌 체 위에서 비유리적 자명화 군이 조르당이 아닌 세차원 다양체를 분류한다. 이들 군이 조르당이 아닐 조건은 세차원 다양체가 타원곡선 $E$에 대해 $E \times \mathbb{P}^2$ 또는 아벨 곡면, 비유리 곡면, 국소적으로 자명한 재료 군을 가진 코다이라 차원 1 곡면인 $S$에 대해 $S \times \mathbb{P}^1$과 유리형일 때이다.

ABSTRACT

We determine three-dimensional algebraic varieties whose groups of birational selfmaps do not satisfy the Jordan property.

연구 동기 및 목표

• 비유리적 자명화 군이 조르당이 아닌 세차원 다양체를 분류하는 것. 이는 유한부군의 유계성과 관련된 성질이다.
• 표면과 유리 다양체에서 알려진 조르당 및 유계 유한부군 결과를 세차원 다양체로 확장하는 것.
• 세차원 다양체의 비유리적 자명화 군이 조르당이 되지 않는 정확한 기하적 조건을 규명하는 것.
• 섬유화와 표면 기저 사례를 분석하여 차원 3에서 비조르당 비유리적 자명화 군의 구조를 밝혀내는 것.

제안 방법

• 최대 유리 연결 섬유화(MRC)를 사용하여 분류 문제를 낮은 차원의 기저 사례로 축소하는 것.
• 기하학적 유리 표면에 $\mathbb{K}$-점이 존재하는 비유리적 자명화 군의 유계 유한부군에 관한 정리 1.6의 적용.
• 유리 연결 및 비유리 다항식 다양체의 비유리적 자명화 군에 대한 알려진 조르당 및 유계성 결과(정리 1.4)의 활용.
• 섬유화 위에서의 작용을 정확한 수열을 통해 비유리적 자명화 군의 구조를 분석하는 것.
• 코다이라 차원 1 곡면의 다중표준 섬유화의 재료 군을 이용하여 국소적으로 자명한 조건을 규명하는 것.
• 유리형 등가와 $\mathbb{P}^1$과의 곱의 자명화 군의 구조를 통해 알려진 사례로의 축소

실험 결과

연구 질문

• RQ1 언제 세차원 다양체의 비유리적 자명화 군이 조르당이 아닐까?
• RQ2 세차원 다양체의 기하적 조건 중에서 비유리적 자명화 군의 유한부군이 무한히 커지는 조건은 무엇인가?
• RQ3 어떤 곡면 $S$가 비조르당 $\operatorname{Bir}(S \times \mathbb{P}^1)$을 유도하는가?
• RQ4 기저 곡면 $S$에 대해 어떤 조건에서 $\operatorname{Bir}(S \times \mathbb{P}^1)$이 비조르당이 되는가?
• RQ5 비유리적 유리 연결 세차원 다양체의 비유리적 자명화 군은 반드시 비조르당인가?

주요 결과

• 세차원 다양체의 비유리적 자명화 군이 조르당이 아닐 조건은 그 다양체가 타원곡선 $E$에 대해 $E \times \mathbb{P}^2$와 유리형일 때이다.
• $\operatorname{Bir}(X)$는 $X$가 아벨 곡면인 $S$에 대해 $S \times \mathbb{P}^1$과 유리형일 경우 비조르당이다.
• $\operatorname{Bir}(X)$는 $X$가 비유리 곡면인 $S$에 대해 $S \times \mathbb{P}^1$과 유리형일 경우 비조르당이다.
• $\operatorname{Bir}(X)$는 $X$가 국소적으로 자명한 재료 군을 가진 코다이라 차원 1 곡면인 $S$에 대해 $S \times \mathbb{P}^1$과 유리형일 경우 비조르당이다.
• 상대 차원 1인 최대 유리 연결 섬유화를 가진 세차원 다양체에 대해 $\operatorname{Bir}(X)$는 기저가 타원곡선이고 $X$가 $Y' \times \mathbb{P}^2$와 유리형일 때에만 비조르당이다.
• 분류는 완전하며, 섬유화 위에서 자명화 군의 구조와 $\mathbb{K}$-점을 가진 유리 표면에서의 유한부군의 유계성에 기반한다.