[논문 리뷰] Effective finiteness theorems for maps between canonically polarized compact complex manifolds

Gordon Heier|ArXiv.org|2003. 11. 06.

Geometry and complex manifolds참고 문헌 18인용 수 9

한 줄 요약

이 논문은 고정된 캐논리컬로 극화된 컴acts한 복소다양체에서 다른 그러한 다양체로의 전사적 힐베르트 매핑의 수에 대해 효과적이고 명시적인 상계를 확립한다. 고정된 목표와 변화하는 목표 모두에 대해 적용 가능하다. 효과적이고 다항식적 플루라카노니컬 매핑과 초등수학적 다양체 성분의 상계를 사용하여, 케르너 수와 캐논리컬 볼륨에 따라 결정되는 계산 가능한 상수를 포함한 유한성 결과를 증명한다.

ABSTRACT

Effective bounds for the finite number of surjective holomorphic maps between canonically polarized compact complex manifolds of any dimension with fixed domain are proven. Both the case of a fixed target and the case of varying targets are treated. In the case of varying targets, bounds on the complexity of Chow varieties are used.

연구 동기 및 목표

• 고정된 캐논리컬로 극화된 컴팩트한 복소다양체 사이의 전사적 힐베르트 매핑 수에 대해 효과적이고 계산 가능한 상계를 확립하는 것.
• 리만 곡면과 일반 유형의 곡면에서의 효과적 유한성 결과를 임의의 차원으로 확장하는 것.
• 효과적 플루라카노니컬 매핑과 초등수학적 다양체 복잡성의 활용을 통해 이러한 매핑의 모듈리 공간에 대한 정량적 통제를 제공하는 것.
• 이전의 자기동형군 결과를 더 넓은 범위의 전사적 힐베르트 매핑과 변화하는 목표로 일반화하는 것.

제안 방법

• 다항식의 계수를 포함한 $n$과 $e$에 대한 다항식의 올림값으로 주어진 명시적인 $k$를 계산하여, $kK_X$가 매우 충분히 넓은 성질을 가지도록 보장하는 효과적이고 매우 충분한 상한을 사용한다. 여기서 $k$는 $kK_X$가 매우 충분히 넓은 성질을 가지도록 보장한다.
• 완전한 선형계 $|kK_X|$를 통한 소스 다양체 $X$의 프로젝티브 공간에의 매립을 통해 대수기하학 도구의 사용을 가능하게 한다.
• Kol96와 Gue99의 결과를 바탕으로 $X \times \mathbb{P}^{N_1}$ 내의 $n$차원 사이클을 매개변수화하는 초등수학적 다양체의 기하학적 성분 수에 대한 상계를 적용한다.
• 힐베르트 매핑의 강성에 기반하여, 동일한 사이클을 초등수학적 다양체에 유도하는 두 매핑은 반드시 동일하므로, 매핑 수의 계산을 초등수학적 다양체의 성분 수로 줄이는 방법을 사용한다.
• 특히 $c_i(\Omega_X^1) \cdot K_X^{n-i}$에 대한 [DPS94]의 효과적 상한을 활용하여 케르너 수 교차수의 복잡성을 통제한다.
• 일반적인 비등차원 매핑의 경우, 일반적인 초평면 절단을 취하고 반복적으로 조정 공식을 적용하여 등차원의 경우로 환원한다.

실험 결과

연구 질문

• RQ1 임의의 차원에서 고정된 캐논리컬로 극화된 다양체에서 다른 그러한 다양체로의 전사적 힐베르트 매핑 수에 대해 효과적 상계를 확립할 수 있는가?
• RQ2 효과적 대수기하학 기법을 사용하여 이러한 매핑의 모듈리 공간의 복잡성을 어떻게 통제할 수 있는가?
• RQ3 유한성 상한이 캐논리컬 볼륨 $K_X^n$과 케르너 수에 어떻게 의존하는가?
• RQ4 힐베르트 매핑의 강성을 효과적으로 활용하여 매핑 수의 계산 문제를 초등수학적 다양체의 기하학적 성분 수로 환원할 수 있는가?
• RQ5 목표 차원이 소스 차원보다 작을 경우 상한은 어떻게 변화하는가?

주요 결과

• 고정된 $n$차원 캐논리컬로 극화된 다양체 $X$에서 다른 그러한 다양체로의 전사적 힐베르트 매핑 수에 대해 효과적 상한이 확립되었으며, 이 상한은 $n$, $K_X^n$, 그리고 매우 충분한 조건을 만족하는 $k(n)$에서 유도된 계산 가능한 상수에만 의존한다.
• 상한은 명시적으로 $\left((n+1)^2k^n n! 2^{n^2} (2k)^{\frac{1}{2}n(n+1)} (1+2kn)^n K_X^n \right)^{((k^n K_X^n + n)^2 - 1)}$로 주어지며, 여기서 $k(n)$은 $n$과 $e \approx 2.718$를 포함한 다항식의 올림값으로, $kK_X$가 매우 충분히 넓은 성질을 가지도록 보장한다.
• 목표 차원 $n' < n$인 경우, $K_X^n$을 $((n-n')k + 1)^{n'} k^{n-n'} K_X^n$으로 대체하여 수정된 상한을 얻는다. 이는 초평면 절단 후 캐논리컬 볼륨의 변화를 반영한다.
• 초등수학적 다양체 $\operatorname{Chow}_{n,d}(X \times \mathbb{P}^{N_1})$의 관련 기하학적 성분 수는 정의 방정식의 차수 상한을 사용하여 유계로 제한되며, 이는 이러한 매핑의 수에 대한 유한한 상계로 이어진다.
• 이 방법은 힐베르트 매핑의 강성에 기반한다: 두 매핑이 동일한 사이클을 초등수학적 다양체에 유도하면 반드시 동일하므로, 매핑 수의 계산은 관련 성분 수의 수로 환원된다.
• 이 논문은 이전의 유한단순군 분류에 의존하는 증명의 대체로, 유계성과 효과적 대수기하학에 의한 강성 원리를 활용하는 구성적이고 효과적인 접근을 제공한다.