[논문 리뷰] On degrees of birational mappings

Serge Cantat, Junyi Xie|arXiv (Cornell University)|2018. 02. 23.

Mathematical Dynamics and Fractals참고 문헌 12인용 수 3

한 줄 요약

이 논문은 프로젝티브 다양체 위의 비라시onal 사상에 대한 차수 시퀀스의 기본 성질을 확립하며, 차수 시퀀스가 유계임과 동시에 무한한 부분수열을 따라 유계임과 동치임을 증명하고, 유계가 아닌 차수 성장은 임의로 느리게 될 수 없음을 보여준다. 특히 프로젝티브 공간의 경우, 이 성장은 점 渐近적으로 역 대각 Ackermann 함수의 하한으로 유계이다. 이러한 결과들은 p-진 방법과 프로젝티브 컴actsification 및 다항식 이론을 통한 기하학적 차수 분석에 기반한다.

ABSTRACT

We prove that the degrees of the iterates ${ m deg}(f^n)$ of a birational map satisfy $\liminf({ m deg}(f^n))

연구 동기 및 목표

• 비라시onal 사상의 차수 시퀀스가 유계일 조건을 특정하는 것, 특히 부분수열과의 관계에서.
• 비라시onal 사상에 대한 프로젝티브 다양체에서의 유계가 아닌 차수 시퀀스의 최소 가능한 성장률을 규명하는 것.
• 기하학적 및 p-진 기법을 사용하여 차수 시퀀스가 유계가 아니면 임의로 느리게 성장할 수 없음을 입증하는 것.
• 특히 이러한 시퀀스가 잘 이해되지 않는 고차원에서 비라시onal 역학의 차수 이론 도구를 통합하고 확장하는 것.
• 자기 사상과 비라시onal 사상의 맥락에서 다항식 이론과 교차 이론을 통한 다양한 차수 개념 간의 동치성을 증명하는 것.

제안 방법

• 아핀 다양체 $X$의 정규 프로젝티브 컴actsification $Y$ 상에서 다항식 이론을 이용해 새로운 차수 함수 $\deg^H(f)$ 를 도입한다. 이는 모든 $P \in A_1$ 에 대해 $(f^*P) + dH \geq 0$ 가 되는 최소 $d$ 로 정의된다.
• 리만-로흐 정리를 적용하여 $\dim A_d \leq \gamma d^k$ 를 유도함으로써, 차수 $\leq d$ 인 내항사상의 수에 대한 다항식 상한을 얻는다.
• 모듈라이 공간의 다항식 선형 부분집합의 구조를 통해 $p$-진 방법을 적용하고, 반복 과정에서 집합 $Z_D'(i)$ 의 감쇠를 추적한다.
• Siu의 부등식과 비라시onal 기하학을 활용하여 $\deg^H(f)$ 와 표준적인 교차 이론적 차수 $\deg_H(f)$ 를 연결함으로써, $ \frac{1}{k}\deg^H(f) \leq \frac{1}{(H^k)}\deg_H(f) \leq \deg^H(f) $ 를 증명한다.
• 그룹 $G$ 의 비라시onal 사상들 중 차수 유계인 것들의 구조를 이용해 반복적인 당김의 역학을 분석하고, 섞인 섹션의 성분 수를 추정한다.
• 다항식 선형 집합의 기약 성분 수에 대한 귀납법을 적용하여 감소하는 체인 $Z_D'(i)$ 의 길이 $\ell(D)$ 를 유계화하며, 이는 Ackermann 함수의 역함수에 대한 유계로 이어진다.

실험 결과

연구 질문

• RQ1 비라시onal 사상 $f$ 에 대해 차수 시퀀스 $\deg(f^n)$ 이 언제 유계가 되는가?
• RQ2 차수 시퀀스가 유계가 아니면 $\deg(f^n)$ 의 성장은 임의로 느리게 될 수 있는가?
• RQ3 특히 $\mathbb{P}^k$ 에서는 유계가 아닌 시퀀스에 대해 $\deg(f^n)$ 의 최소 가능한 성장률은 무엇인가?
• RQ4 자기 사상과 비라시onal 사상의 맥락에서 다양한 차수 개념(예: $\deg^H(f)$ 와 $\deg_H(f)$)은 어떻게 관련되어 있는가?
• RQ5 기하학적 및 산술적 방법(예: $p$-진 분석 또는 조각별 선형 기하학)을 통해 차수 시퀀스의 역학은 어느 정도 제어될 수 있는가?

주요 결과

• 차수 시퀀스 $\deg(f^n)$ 이 유계임과 동시에 어떤 무한한 부분수열을 따라 유계임은 동치이며, 부분수열에 의한 유계성에 관한 핵심 질문을 해결한다.
• 만약 $\deg(f^n)$ 이 유계가 아니라면, $\max_{0\leq j\leq n} \deg(f^j)$ 는 역 대각 Ackermann 함수의 하한으로서 최소한의 성장 속도를 보이며, 성장이 임의로 느리게 될 수 없음을 의미한다.
• 아핀 다양체의 자기 사상에 대해 $\deg(f^n) \leq d$ 를 만족하는 $n$ 의 수는 최대 $\alpha d^k$ 이며, 따라서 $\max_{0\leq j\leq n} \deg(f^j) \geq (n/\alpha)^{1/k}$ 를 유도함으로써 다항식 하한 성장이 있음을 보여준다.
• 다항식 이론을 통한 정의된 차수 $\deg^H(f)$ 는 $ \frac{1}{k}\deg^H(f) \leq \frac{1}{(H^k)}\deg_H(f) \leq \deg^H(f) $ 를 만족하며, 표준적인 교차 이론적 차수와 동치임을 입증한다.
• 감소하는 체인 $Z_D'(i)$ 의 길이 $\ell(D)$ 는 $ S(\binom{k+D}{k} - 2) + 1 $ 이하로 유계이며, 여기서 $S$ 는 Ackermann 함수와 관련된 함수이다. 이는 가능한 가장 느린 성장률을 제공한다.
• 프로젝티브 공간 $\mathbb{P}^k$ 에서 $\deg(f^n)$ 의 성장은 역 대각 Ackermann 함수보다 느리게 일 수 없으며, 이는 유계가 아닌 시퀀스의 발산 속도에 대한 날카로운 하한을 확립한다.