[논문 리뷰] Local Positivity of Ample Line Bundles

Lawrence Ein, Oliver Küchle외 1명|ArXiv.org|1994. 08. 09.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 24

한 줄 요약

이 논문은 복소 프로젝티브 다양체 위의 앰플 라인 번들의 세샤드리 상수에 대한 하한을 확립한다. $n$차원 다양체 $X$ 위의 네프이자 빅인 라인 번들 $L$에 대해, 모든 가산적인 부분다양체를 제외한 점 $x$에서 $\epsilon(L,x) \geq \frac{1}{n}$임을 증명한다. 핵심 방법은 블로우업에서의 갭 구축과 다중도 통제를 통해 하한을 도출하는 것으로, 국소적 양성과 호목선형 계열 생성에 관한 결과를 확장한다.

ABSTRACT

Let $L$ be a nef line bundle on a smooth complex projective variety $X$ of dimension $n$. Demailly has introduced a very interesting invariant --- the Seshadri constant $ε(L,x)$ --- which in effect measures how positive $L$ is locally near a given point $x \in X$. For instance, Seshadri's criterion for ampleness may be phrased as stating that $L$ is ample if and only if there exists a positive number $e > 0$ such that $ε(L,x) > e$ for all $x \in X$, and if $L$ is VERY ample, then $ε(L,x) \ge 1$ for every $x$. We prove the somewhat surprising result that in each dimension $n$ there is a uniform lower bound on the Seshadri constant of an ample line bundle $L$ at a very general point of $X$. Specifically, $ε(L,x) \ge (1/n) $ for all $x \in X$ outside the union of countably many proper subvarieties of $X$. Examples of Miranda show that there cannot exist a bound (independent of $X$ and $L$) that holds at every point. The proof draws inspiration from two sources: first, the arguments used to prove boundedness of Fano manifolds of Picard number one; and secondly some of the geometric ideas involving zero-estimates appearing in the work of Faltings and others on Diophantine approximation and transcendence theory. We give some elementary applications of the main theorem to adjoint and pluricanonical linear series.

연구 동기 및 목표

• 복소 프로젝티브 다양체의 일반 점에서 앰플 라인 번들의 국소적 양성에 대한 균일한 하한을 확립하기 위해.
• 표면에서의 알려진 하한을 고차원 다양체로 확장하기 위해.
• $s$-제트의 생성 조건을 정량적으로 제시하기 위해, 세샤드리 상수와 캐바이어 정리 사이의 연결고리로 호목선형 계열 $|K_X + L|$을 활용하기 위해.
• 일반형 최소 다양체에 대한 다중표준 매핑과 비단사성 결과를 일반화하기 위해.
• 하한 $\epsilon(L,x) \geq \frac{1}{n}$의 최적성과 매우 일반적인 점에서 $\epsilon(L,x) \geq 1$이 성립하는지 여부를 탐구하기 위해.

제안 방법

• 세샤드리 상수 $\epsilon(L,x)$를 블로우업 $f: \mathrm{Bl}_x(X) \to X$에서 $f^*L - \epsilon E$가 네프가 되는 모든 $\epsilon \geq 0$의 상한으로 정의한다.
• 고차수의 다중도를 제어하기 위해 갭 구축을 사용하여, 일반 점 $y$와 곡선 $C_y$ 위의 점 $x$에서 다중도의 차이를 제어한다.
• 교차수치에서 모순이 발생하지 않도록 하기 위해, $C_y \not\subset E_x$이면서 $y$에서 높은 다중도를 유지하도록 $E_x$를 재선택한다.
• 블로우업에서 카와마타–비에흐베 정리와 네프성 조건을 적용하여 호목선형 계열에 대한 정규화 결과를 도출한다.
• 서브다양체 $Y \not\subset \mathcal{B}$에 대해 $\int_Y c_1(L)^r \geq (r\alpha)^r$라는 수치적 가정을 사용하여, 매우 일반적인 $x$에 대해 $\epsilon(L,x) \geq \alpha$임을 유도한다.
• $m$이 충분히 클 때 $mL$을 통해 정수계수로의 환원을 통해 $\mathbb{Q}$-다중분할로 일반화하며, $\epsilon(mL,x) = m \epsilon(L,x)$를 사용한다.

실험 결과

연구 질문

• RQ1 암시적 라인 번들에 대해 $n$차원 다양체에서 균일한 하한을 $variety$와 $bundle$에 관계없이 확립할 수 있는가?
• RQ2 매우 일반적인 점에서 하한 $\epsilon(L,x) \geq \frac{1}{n}$을 $\epsilon(L,x) \geq 1$로 향상시킬 수 있는가?
• RQ3 라인 번들 $L$의 서브다양체와의 교차수치에 어떤 조건이 성립하면, $|K_X + L|$이 일반 점에서 $s$-제트를 생성하는가?
• RQ4 세샤드리 상수는 일반형 최소 다양체에서 다중표준 매핑의 비단사성과 어떻게 관련되는가?
• RQ5 점 $x$를 통과하는 곡선에 대한 기하적 제약 조건을 사용하여 하한 $\epsilon(L,x) \geq \frac{1}{n}$을 더 강화할 수 있는가?

주요 결과

• 모든 $n$차원 기약 프로젝티브 다양체 $X$와 네프이자 빅인 라인 번들 $L$에 대해, 모든 $x \in X$에서 $\epsilon(L,x) \geq \frac{1}{n}$이며, 이는 가산적인 부분다양체의 합집합을 제외한 점들에서 성립한다.
• 만약 $L$가 앰플이라면, 모든 $\delta > 0$에 대해 $\{x \in X \mid \epsilon(L,x) > \frac{1}{n+\delta}\}$는 조르지-오픈이고 조밀하다.
• $\alpha > 0$이고 모든 $r$차원 서브다양체 $Y \not\subset \mathcal{B}$에 대해 $\int_Y c_1(L)^r \geq (r\alpha)^r$라는 조건이 성립하면, 모든 충분히 일반적인 $x \in X$에 대해 $\epsilon(L,x) \geq \alpha$임을 유도할 수 있다.
• 결론 2는 모든 $Y \not\subset \mathcal{B}$에 대해 $\int_Y c_1(L)^r \geq (r(n+s))^r$이면, 일반 점에서 $|K_X + L|$이 $s$-제트를 생성하며, $h^0(X, \mathcal{O}_X(K_X + L)) \geq \binom{n+s}{n}$임을 보여준다.
• 결론 3은 $m \geq 2n^2$이면 $|K_X + mL|$이 비단사적으로 매우 약한 약한 선형 계열임을 증명하며, 일반형 최소 다양체의 다중표준 매핑 결과를 확장한다.
• 일반형 최소 $n$차원 다양체의 지수 $r$에 대해, $m \geq 2n^2 + 1$이면 $|mrK_X|$가 비단사적으로 매우 약한 선형 계열임을 로그 해소와 $\mathbb{Q}$-다중분할 기법을 통해 보였다.