[논문 리뷰] Asymptotic invariants of base loci

Lawrence Ein, Robert Lazarsfeld외 3명|ArXiv.org|2003. 08. 12.

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

한 줄 요약

이 논문은 프로젝티브 다양체 위의 큰 분할선에 대한 기저 위치의 渐近 불변량을 도입하고 연구하며, 이는 이산 비율에 沿한 점점 줄어드는 순서에 초점을 맞춘다. 이러한 불변량이 수치적 동치류에만 의존하고 연속적으로 변하며, 이는 이전의 기저 위치와 승수 이상의 결과를 확장하며, 볼륨 함수와 모리 드림 공간에서의 조각다항식 행동에 적용된다.

ABSTRACT

The purpose of this paper is to define and study systematically some asymptotic invariants associated to base loci of line bundles on smooth projective varieties. We distinguish an open dense subset of the real big cone, called the stable locus, consisting of the set of classes on which the asymptotic base locus is locally constant. The asymptotic invariants define continuous functions on the big cone, whose vanishing characterizes, roughly speaking, the unstable locus. We show that for toric varieties at least, there exists a polyhedral decomposition of the big cone on which these functions are polynomial.

연구 동기 및 목표

• 프로젝티브 다양체 위의 선형 계열에 대한 기저 위치와 관련된 점점 불변량을 정의하고 체계적으로 연구하기.
• 이러한 불변량—특히 점점 줄어드는 순서—가 수치적 동치에 대해 어떻게 행동하는지 이해하기.
• Nakayama 및 다른 이들의 $σ_E(D)$ 결과를 일반적인 이산 비율과 실수 분할선 클래스로 확장하기.
• 증강 및 제한된 기저 위치의 구조를 분석하여, 이들이 수치적 클래스에만 의존한다는 것을 보여주기.
• 선형 계열의 유한 생성 조건 하에서 볼륨 함수의 조각다항식 행동을 확립하기.

제안 방법

• 큰 $\mathbb{Q}$-분할선 $D$ 와 이산 비율 $v$ 에 대해 점점 줄어드는 순서 $v(\|D\|) = \lim_{p \to \infty} \frac{v(|pD|)}{p}$ 를 정의하기.
• 이상적인 순서 $v(\|D\|)$ 가 $D$ 의 수치적 동치류에만 의존하며, $\operatorname{Big}(X)_{\mathbb{R}}$ 상의 연속 함수로 확장됨을 증명하기.
• 증강 기저 위치 $\mathbf{B}_+(D) = \bigcap_A \mathbf{B}(D - A)$ 와 제한 기저 위치 $\mathbf{B}_{--}(D) = \bigcup_A \mathbf{B}(D + A)$ 를 앰플 $A$ 에 대해 정의하기.
• 이상적인 순서 $\mathbf{B}_+(D)$ 와 $\mathbf{B}_{--}(D)$ 가 $D$ 의 수치적 클래스에만 의존함을 보여, 실수 클래스로의 확장을 가능하게 하기.
• Fujita의 근사 정리와 베르트라이션 모델을 사용하여 볼륨을 $(L^{[n]}) = (M^n)$ 으로 표현하기, 여기서 $M = \pi^*L - F$.
• 닫힌 큰 원뿔 $\overline{\operatorname{Big}(X)}_{\mathbb{R}}$ 의 팬 세분화를 적용하여 볼륨과 점점 불변량의 조각다항식 성질을 증명하기.

실험 결과

연구 질문

• RQ1 큰 분할선 $D$ 의 수치적 클래스에 대한 함수로서 점점 불변량인 $v(\|D\|)$ 는 어떻게 행동하는가?
• RQ2 안정 기저 위치 $\mathbf{B}(D)$ 는 수치적으로 잘 행동하는 근사치인 $\mathbf{B}_+(D)$ 와 $\mathbf{B}_{--}(D)$ 로 대체될 수 있는가?
• RQ3 볼륨 함수 $\operatorname{vol}(L)$ 가 큰 원뿔에서 조각다항식이 되는 조건은 무엇인가?
• RQ4 점점 불변량은 어떤 조건에서 베르트라이션 모델 위의 선형 계열을 통해 정의되고 계산될 수 있는가?
• RQ5 비율 $v$ 의 중심과 $\xi \in \operatorname{Big}(X)_{\mathbb{R}}$ 에 대해 $v(\|\xi\|)$ 가 0이 아닐 때의 관계는 무엇인가?

주요 결과

• 점점 줄어드는 순서 $v(\|D\|)$ 는 $D$ 의 수치적 동치류에만 의존하며, $\operatorname{Big}(X)_{\mathbb{R}}$ 상의 연속 함수로 유일하게 확장된다.
• $\mathbf{B}_+(D)$ 와 $\mathbf{B}_{--}(D)$ 는 실수 클래스 $\xi \in \operatorname{Big}(X)_{\mathbb{R}}$ 에 대해 잘 정의되며, 수치적 동치에만 의존한다.
• 부드러운 다양체 $X$ 에 대해 $v(\|\xi\|) > 0$ 이다. $\Longleftrightarrow$ 비율 $v$ 의 중심 $Z$ 가 $\mathbf{B}_{--}(\xi)$ 에 포함된다.
• 선형 계열이 유한 생성일 경우, 볼륨 함수 $\operatorname{vol}(L)$ 은 $\overline{\operatorname{Big}(X)}_{\mathbb{R}}$ 의 팬 세분화에 따라 조각다항식이 된다.
• 적절한 조건 하에서, 점점 불변량 $\widetilde{\operatorname{e}_Z}(m)$ 는 큰 원뿔의 팬 세분화의 각 원뿔에서 차수 $d$ 의 다항식이다.
• 볼륨은 $\operatorname{vol}(L) = \sup_m \frac{((mL)^{[n]})}{m^n}$ 를 만족하며, 여기서 $(L^{[n]})$ 은 $L$ 의 기저 이상을 해결하는 베르트라이션 모델을 통해 정의된다.