[논문 리뷰] Higher dimensional Zariski decompositions

Sébastien Boucksom|arXiv (Cornell University)|2002. 04. 29.

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

한 줄 요약

이 논문은 최소 특이성을 가진 전류를 사용하여 컴acts 복소 $n$-다양체 위의 실수 준효율적 $(1,1)$-류에 대해 비수렴자리 지오메트리 분해를 도입한다. 음의 부분 $N(\alpha)$는 예외적 유효 $\mathbf{R}$-다양체로 정의되며, 양의 부분 $Z(\alpha)$는 수정된 네프 콘에 속한다. 주요 기여는 고차원 및 하이퍼카일러 다양체로 일반화된 고전적 자리 지오메트리 분해를 정의하는 정규화된 직교 분해 $\alpha = Z(\alpha) + \{N(\alpha)\}$이며, 표면의 경우 유리성과 3-다양체에서의 무리성을 체적 계산을 통해 입증한다.

ABSTRACT

Using currents with minimal singularities, we construct pointwise minimal multiplicities for a real pseudo-effective $(1,1)$-class $α$ on a compact complex $n$-fold $X$, which are the local obstructions to the numerical effectivity of $α$. The negative part of $α$ is then defined as the real effective divisor $N(α)$ whose multiplicity along a prime divisor $D$ is just the generic multiplicity of $α$ along $D$, and we get in that way a divisorial Zariski decomposition of $α$ into the sum of a class $Z(α)$ which is nef in codimension 1 and the class of its negative part $N(α)$, which is exceptional in the sense that it is very rigidly embedded in $X$. The positive parts $Z(α)$ generate a modified nef cone, and the pseudo-effective cone is shown to be locally polyhedral away from the modified nef cone, with extremal rays generated by exceptional divisors. We then treat the case of a surface and a hyper-Kähler manifold in some detail: under the intersection form (resp. the Beauville-Bogomolov form), we characterize the modified nef cone and the exceptional divisors; our divisorial Zariski decomposition is orthogonal, and is thus a rational decomposition, which fact accounts for the usual existence statement of a Zariski decomposition on a projective surface, which is thus extended to the hyper-Kähler case. Finally, we explain how the divisorial Zariski decomposition of (the first Chern class of) a big line bundle on a projective manifold can be characterized in terms of the asymptotics of the linear series $|kL|$ as $k o\infty$.

연구 동기 및 목표

• 표면에서 자리의 고전적 분해를 고차원 컴팩트 복소다양체로 확장하기.
• 최소 특이성 전류를 사용하여 실수 준효율적 $(1,1)$-류에 대한 정규화된 다항자리 지오메트리 분해 정의하기.
• 하이퍼카일러 다양체에서 베이유브레-보고몰로프 형식을 이용해 수정된 네프 콘을 특성화하고 예외적 다항체를 식별하기.
• 자리 분해가 표면에서는 직교적이고 유리적이지만 3-다양체에서는 무리적일 수 있음을 보이며, 체적 渐近적 행동에 대한 함의 제시하기.

제안 방법

• 최소 특이성 전류를 사용하여 점 $x \in X$ 에서의 최소 다중성 $\nu(\alpha,x)$ 를 구성하여 수치적 효과성에 대한 국소적 장애를 측정한다.
• 소수 다항체 $D$ 에 대해 $N(\alpha) = \sum \nu(\alpha,D)D$ 를 정의하며, 이는 유효 $\mathbf{R}$-다항체이자 임bedding에서 예외적이다.
• 자리 투영 $Z(\alpha) = \alpha - \{N(\alpha)\/}$ 를 정의하며, 이는 수정된 네프 콘에 속한다. 수정된 네프 콘은 변형에 의한 켈러류의 전이의 폐쇄로 정의된다.
• 큰 $\alpha$ 인 경우, 최소 특이성 전류의 시우 분해를 이용해 다항자리 자리 지오메트리 분해를 실현한다.
• 하이퍼카일러 다양체에서 베이유브레-보고몰로프 형식을 이용해 수정된 네프 콘을 준효율적 콘의 이중으로 특성화한다.
• 양의 부분 $p$ 의 비-케일러 집합을 이용해 다항자리 자리 지오메트리 분해를 식별하는 기준을 수립한다.

실험 결과

연구 질문

• RQ1 표면에서 자리의 고전적 분해를 고차원 컴팩트 복소다양체로 일반화할 수 있는가?
• RQ2 고차원에서 음의 부분 $N(\alpha)$ 의 기하학적 및 코homological 의미는 무엇이며, 어떻게 특성화되는가?
• RQ3 고차원에서 수정된 네프 콘과 준효율적 콘 사이의 관계는 무엇이며, 그 구조는 어떠한가?
• RQ4 다항자리 자리 지오메트리 분해는 고차원에서 직교적이고 유리적인가, 특히 하이퍼카일러 다양체에서 그렇다면 어떻게 되는가?
• RQ5 이 분해는 선형 계열 $|kL|$ 과 큰 선다발의 체적에 대한 渐近적 행동에 어떤 함의를 갖는가?

주요 결과

• 다항자리 자리 지오메트리 분해 $\alpha = Z(\alpha) + \{N(\alpha)\}$ 는 프로젝티브 표면에서 정규화되고 직교적이다. 여기서 $Z(\alpha)$ 는 네프이며 $N(\alpha)$ 는 음의 정의된 교차 행렬을 가진 유효이다.
• 하이퍼카일러 다양체에서 분해는 베이유브레-보고몰로프 형식에 대해 직교적이며, 예외적 다항체는 정확히 음의 자기교차를 가진 것들이다.
• 수정된 네프 콘은 비호모로지적 켈러 콘의 폐쇄이며, 하이퍼카일러 다양체에서 준효율적 콘의 이중이다.
• 자리 투영 $Z$ 는 준효율적 콘에서 수정된 네프 콘으로 사상하며, 각 섬유는 예외적 가족에 의해 생성된 가산 합집합의 단체 콘으로 이루어져 있다.
• 3-다양체에서 큰 선다발의 체적은 무리적일 수 있다. 실제로 $v(L) = Z(L)^3$ 가 $\mu_L$ 에 대한 삼차다항식이므로, 일반적인 $H$ 와 $D$ 에 대해 무리적임을 명시적 계산으로 보였다.
• 선형 계열 $|kL|$ 의 渐近적 행동은 다항자리 자리 지오메트리 분해로 특성화되며, $L$ 이 큰 경우 $H^0(kL) \cong H^0(kZ(L))$ 이다.