[논문 리뷰] Restricted volumes and base loci of linear series

Lawrence Ein, Robert Lazarsfeld외 3명|ArXiv.org|2006. 07. 08.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 부분다양체를 따라 다발의 제한된 체적을 도입하여, 이것이 정확히 증강 기본집합 위에서만 0이 된다는 것을 증명한다. 주요 기여는 제한된 체적이 증강 기본집합의 기약 성분을 특징짓는 데 쓰이며, 고전적 체적 이론을 앰플리 다발을 넘어서는 모든 큰 다발과 부분다양체로 확장함으로써, 세샤드리 상수와 제트 분리에의 응용을 가능하게 한다.

ABSTRACT

We introduce and study the restricted volume of a divisor along a subvariety. Our main result is a description of the irreducible components of the augmented base locus by the vanishing of the restricted volume.

연구 동기 및 목표

• 다른 앰플리 다발을 넘어서는 고전적 체적 이론을 일반화하기 위해 부분다양체를 따라 다발의 제한된 체적을 정의하고 연구하는 것.
• 특히 기본집합과의 관계에서 부분다양체에 제한된 선다발의 점근적 성질을 이해하는 것.
• 제한된 체적의 0이 되는 것으로 다발의 증강 기본집합을 특징짓는 수치 기준을 제공하는 것.
• 체적과 기본집합 이론을 실수 다발 클래스로 확장하고 연속성 및 로그볼록성 성질을 증명하는 것.
• 제한된 체적을 큰 선다발에 대한 제트 분리와 세샤드리 상수를 제어하는 데 응용하는 것.

제안 방법

• 제한된 체적 $\operatorname{vol}_{X|V}(D)$를 선다발 $\mathcal{O}_X(mD)$의 제한 사상 $H^0(X, \mathcal{O}_X(mD)) \to H^0(V, \mathcal{O}_V(mD))$의 이미지의 점근적 성장률로 정의한다.
• 작은 앰플리 $A$에 대해 $D - A$의 안정 기본집합으로 증강 기본집합 $\mathbf{B}_+(D)$를 정의하며, 이는 다발 $D$의 수치적 동치류에만 의존한다.
• 제한된 체적 $\operatorname{vol}_{X|V}(D) > 0$이면 $V \not\subseteq \mathbf{B}_+(D)$이면서, 반대로 $V \not\subseteq \mathbf{B}_+(D)$면 $\operatorname{vol}_{X|V}(D) > 0$임을 증명하여, 부분다양체가 증강 기본집합에 포함되는지 여부를 수치적으로 특징짓는다.
• 제한된 체적이 $V \not\subseteq \mathbf{B}_+(\xi)$인 클래스 $\xi$의 집합에서 연속적이며, 차수 $d$에 대해 동차적이며, 로그볼록성 부등식 $\operatorname{vol}_{X|V}(\xi_1 + \xi_2)^{1/d} \geq \operatorname{vol}_{X|V}(\xi_1)^{1/d} + \operatorname{vol}_{X|V}(\xi_2)^{1/d}$를 만족함을 보인다.
• 이동 교차수와 승수 이상수를 사용하여 제한된 체적을 계산하고, 세샤드리 상수와의 관계를 규명한다.
• 카와마타–비에흐베그 정리와 네델의 정리 정리를 사용하여, 이론을 적용해 제트 분리 결과를 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 다발의 체적을 부분다양체로 제한하여 점근적 선형 계열의 행동을 포착할 수 있는가?
• RQ2 제한된 체적과 다발의 증강 기본집합 사이의 정확한 관계는 무엇인가?
• RQ3 제한된 체적을 사용하여 증강 기본집합의 기약 성분을 특징지울 수 있는가?
• RQ4 제한된 체적은 수치 동치성과 실수 다발 클래스 공간에서의 연속성에 대해 어떻게 행동하는가?
• RQ5 제한된 체적은 얼마나 큰 선다발에 대한 제트 분리와 세샤드리 상수를 제어할 수 있는가?

주요 결과

• 제한된 체적 $\operatorname{vol}_{X|V}(D)$는 $V$가 증강 기본집합 $\mathbf{B}_+(D)$에 포함되어 있지 않을 때에만 양수이며, 이는 기본집합을 수치적으로 특징짓는다.
• 제한된 체적은 $D$의 수치 동치류에만 의존하며, $V \not\subseteq \mathbf{B}_+(\xi)$인 클래스 $\xi$의 집합에서 연속적이며, $\textnormal{Big}^{V}(X)^{+}_{\mathbf{R}}$ 위로 유일하게 연속 함수로 확장된다.
• 제한된 체적은 차수 $d$에 대해 동차적이며, 로그볼록성 부등식 $\operatorname{vol}_{X|V}(\xi_1 + \xi_2)^{1/d} \geq \operatorname{vol}_{X|V}(\xi_1)^{1/d} + \operatorname{vol}_{X|V}(\xi_2)^{1/d}$를 만족한다.
• 이동 교차수를 통해 제한된 체적을 계산할 수 있으며, 이는 고전적 교차 이론을 큰 다발으로 일반화한다.
• 만약 이동 세샤드리 상수 $\epsilon(\parallel D \parallel; x) > \frac{s+n}{p}$이면, 선다발 계열 $|K_X + pD|$는 점 $x$에서 $s$-제트를 분리한다. 이는 앰플리 선다발에 대한 결과를 일반화한다.
• 제한된 체적은 $\mathbf{B}_+(D)$의 모든 성분에서 식별적으로 0이 되며, 제한된 체적의 0이 되는 위치가 정확히 증강 기본집합을 식별한다.