[논문 리뷰] On the birational automorphisms of varieties of general type

Christopher D. Hacon, James McKernan외 1명|arXiv (Cornell University)|2010. 11. 05.

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

한 줄 요약

이 논문은 일반 유형의 $n$ 차원 프로젝티브 다양체의 비라션탈 자기동형사상의 수가 그 캐논리컬 볼륨 $\operatorname{vol}(X,K_X)$ 의 상수배로 유계임을 증명한다. 이때 상수 $c$ 는 $n$ 에만 의존한다. 증명은 전역 몫 로그 쌍, 볼륨의 유계성, 그리고 부분접합을 이용하여 몫 다양체의 볼륨이 아래로 유계임을 보이고, 이로부터 자동사상군 크기에 대한 균일한 유계성 결과를 도출한다.

ABSTRACT

We show that the number of birational automorphisms of a variety of general type X is bounded by c \cdot \vol(X,K_X), where c is a constant which only depends on the dimension of X.

연구 동기 및 목표

• 일반 유형 다양체의 비라션탈 자기동형사상군 크기에 대한 균일한 상한을 그 캐논리컬 볼륨에 따라 유도하는 것.
• 높은 차원에서 자동사상군의 순서가 볼륨에 대해 다항식적 또는 지수적 성장 여부를 해결하는 오랜 동안의 질문을 해결하는 것.
• 전역 몫 로그 쌍의 볼륨이 유한 차원에 따라 오직 차원에 의존하는 양의 상수로 아래로 유계임을 증명함으로써 자동사상군의 유계성을 보장하는 것.

제안 방법

• 전역 몫 구조를 사용: 일반 유형을 가진 다양체 $Y$ 와 그 자동사상군 $G$ 에 대해 몽금 $X = Y/G$ 와 $\mathbb{Q}$-분할 $\Delta$ 를 구성하여 $K_Y = \pi^*(K_X + \Delta)$ 가 되도록 한다.
• 로그 쌍 이론과 $K_X + \Delta$ 의 볼륨을 적용하여 $\operatorname{vol}(Y,K_Y)$ 와 $|G| \cdot \operatorname{vol}(X,K_X + \Delta)$ 를 연결한다.
• 차원 $n$ 에 따라 오직 $n$ 에 의존하는 양의 상수 $\delta > 0$ 로 $\operatorname{vol}(X,K_X + \Delta)$ 가 아래로 유계임을 증명한다. 이는 귀납법과 로그 다중가속성의 변형 불변성에 기반한다.
• 부분접합과 일반적인 점들을 통과하는 비-최대접합 중심의 존재를 이용하여 부분다양체의 볼륨 하한을 유도한다.
• 로그 쌍의 유계성 결과와 볼륨에 대한 DCC(내림차순 조건)를 적용하여 전역 몫의 가능한 볼륨 집합이 DCC 를 만족함을 보인다.
• 결론적으로 $|G| \leq c \cdot \operatorname{vol}(Y,K_Y)$ 를 $c = 1/\delta$ 로 유도하며, 이때 $\delta$ 는 오직 $n$ 에 의존한다.

실험 결과

연구 질문

• RQ1 일반 유형 다양체의 비라션탈 자기동형사상군 크기를 그 캐논리컬 볼륨에 따라 유계로 만들 수 있는가?
• RQ2 전역 몫 로그 쌍 $(X, \Delta)$ 의 볼륨에 대해 차원 $n$ 에 따라 오직 차원에 의존하는 양의 하한이 존재하는가? 이는 특정 다양체에 무관하다.
• RQ3 일반 유형인 $Y$ 와 그 자동사상군 $G$ 에 대해 몽금 $X = Y/G$ 의 볼륨이 0 에서 멀리 떨어져 있는가?
• RQ4 유계된 쌍의 볼륨에 대한 DCC 를 이용하여 고차원에서 자동사상군의 유한성을 확보할 수 있는가?
• RQ5 높은 차원에서 자동사상군의 볼륨에 대한 성장률이 지수 성장률을 초월하는가?

주요 결과

• 모든 $n$ 차원 일반 유형 다양체의 비라션탈 자기동형사상의 수는 $c \cdot \operatorname{vol}(X,K_X)$ 로 유계이며, 여기서 $c$ 는 오직 $n$ 에만 의존한다.
• 일반 유형 다양체의 전역 몽금에 대응하는 로그 쌍 $(X, \Delta)$ 의 볼륨은 오직 $n$ 에 의존하는 양의 상수 $\delta > 0$ 로 아래로 유계이며, 이는 유의미한 유계성 보장을 한다.
• 유계성 상수 $c$ 는 $n$ 에 대해 지수함수보다 더 빠르게 증가한다. 예를 들어 $m = n+3$ 인 펄라트 초곡면의 예시에서 $n \geq 5$ 일 때 비율 $|\operatorname{Aut}(X)| / \operatorname{vol}(X,K_X)$ 가 $42^n$ 을 초과함을 보여준다.
• 증명은 귀납법에 기반하며, 로그 다중가속성의 변형 불변성과 부분접합을 이용하여 부분다양체의 볼륨 하한을 도출한다.
• 차원 $n$ 에서의 전역 몽금 로그 쌍의 볼륨 집합은 DCC(내림차순 조건)를 만족하며, 이는 유계성 추론에 필수적이다.
• 이 결과는 양의 특성에서 성립하지 않으며, 예를 들어 $U_{n+2}(q)$ 단위군이 펄라트 초곡면에 작용하는 예시에서 자동사상군의 크기가 볼륨에 대해 어떤 다항식보다도 더 빠르게 증가함을 보여준다.