[논문 리뷰] Remarks on Ein-Lazarsfeld criterion of spannedness of adjoint bundles of polarized threefolds

Takao Fujita|ArXiv.org|1993. 11. 30.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 38

한 줄 요약

이 논문은 다항식 3차원 다양체에서 적당한 곡선과 표면의 교차 조건을 유지할 때, $B^3 \geq 92$ 가 요구되는 Ein-Lazarsfeld 기준의 보완선다발의 스펜닝스 조건을 $B^3 \geq 51$ 으로 개선한다. 점에서의 블로우업 제약 맵과 대수적 Lelong 수를 정교하게 분석함으로써, $K + B$ 가 점 $x$ 에서 스펜딩되려면 $BC \geq 3$, $B^2S \geq 7$, $B^3 \geq 51$ 가 충족되어야 함을 증명한다. 이는 [EL]에서 설정한 임계값을 향상시킨다.

ABSTRACT

Let B be a nef and big line bundle on a smooth complex threefold X with canonical bundle K. Let x be a point on X and suppose that BC\ge3 for any curve C passing x, B^2S\ge7 for any surface S containing x, and B^3\ge51. Then K+B is spanned at x. (Ein-Lazarsfeld proved the assertion assuming B^3\ge92.) Corollary: K+3L is spanned if L is an ample line bundle with L^3>1.

연구 동기 및 목표

• 다항식 $n$-차원에서 $K + nL$ 이 $L^n = 1$ 가 아닐 경우에만 스펜딩됨을 추측하는 문제를 다루며, 특히 $n = 3$ 인 경우에 집중한다.
• 스무드 3차원에서 보완선다발 $K + B$ 의 스펜딩스 조건에 대한 Ein-Lazarsfeld 기준을 개선하여 필요한 $B^3$ 임계값을 낮춘다.
• 원래 기준에서 $B^3 \geq 92$ 라는 조건이 유지되면서도 $K + B$ 가 점에서 스펜딩됨을 보장하는 바탕을 $B^3 \geq 51$ 으로 약화시킬 수 있는지 조사한다.
• 제약 맵과 대수적 Lelong 수에 대한 정교한 추정을 통해 보완선다발의 스펜딩스를 위한 더 날카로운 수치 기준을 제공한다.
• 기하학적 악한 지점의 이해가 향상되면 $B^3 > 27$ 가 충분할 수 있음을 제안하며, 수치 조건을 추가로 약화시킬 가능성도 탐색한다.

제안 방법

• 논문 [EL]의 정리 0을 적용하여, 블로우업 $\pi_1: M_1 \to M$ 에서 점 $x$ 에서의 특정 긍정성 조건과 그 역상의 긍정성 조건이 만족될 경우 $K + B$ 가 $x$ 에서 스펜딩됨을 보장한다.
• 블로우업 $\pi_1$ 와 함께 선다발 $\pi_1^*B - \sigma_3 E$ 를 분석하고, $\sigma_3 = 9/2$ 일 때, $K + B$ 가 점 $x$ 에서 스펜딩되지 않을 경우 $B^3 \geq 51$ 이면 그가 크기가 크다는 것을 보인다.
• 예외적 인 심플렉스 $E \cong \mathbb{P}^2$ 에서의 선형계 차원을 제한하기 위해 제약 맵 $H^0(M_1, s\pi_1^*B - jE) \to H^0(E, \mathcal{O}_E(j))$ 의 질량을 추정한다.
• 계차 블로우업에서의 악한 지점과 악한 집합을 재귀적으로 분석하며, $\mu_{(i)}$-값들을 사용해 소멸 순서의 증가를 통제하고 악한 지점이 존재하지 않도록 보장한다.
• Hironaka 분해를 적용하고, 대수적 Lelong 수 $\Xi_P$ 를 사용해 역상 선다발의 긍정성과 비-비어 있는 행동을 측정하고 탐지한다.
• 일부 가정 하에 $\epsilon > 0$ 이 작을 때 $\Xi_P(\pi_1^*B - \epsilon E) = 0$ 이라는 사실을 활용해, 추론 과정에서 더 날카로운 추정치를 적용할 수 있다.

실험 결과

연구 질문

• RQ1 스무드 3차원에서 $K + B$ 의 스펜딩스에 대한 Ein-Lazarsfeld 기준에서 요구되는 삼중 교차 수치 $B^3 \geq 92$ 는 $B^3 \geq 51$ 으로 낮출 수 있는가?
• RQ2 점 $x$ 에서 $K + B$ 가 스펜딩되지 않을 경우, $B^3 \geq 51$ 이면 $\pi_1^*B - \frac{9}{2}E$ 가 크기가 크다는 것이 어떻게 유도되는가?
• RQ3 예외적 인 심플렉스 $E$ 에서의 제약 맵 분석을 정교화함으로써 스펜딩스를 위한 수치 기준을 향상시킬 수 있는가?
• RQ4 $B^3 \geq 51$ 이라는 임계값은 더 낮출 수 있을까, 아니면 현재의 기법으로는 이 정도가 최적에 가까운가?
• RQ5 이 방법은 특이점이나 로그 캐논리컬 쌍에 대해 확장 가능한가? 그리고 이 기준은 고차원 다양체로 일반화될 수 있는가?

주요 결과

• Ein-Lazarsfeld 기준이 개선되었으며, $K + B$ 는 스무드 3차원에서 $BC \geq 3$, $B^2S \geq 7$, $B^3 \geq 51$ 를 만족할 경우 점 $x$ 에서 스펜딩된다. 이는 $B^3$ 가 92에서 51로 낮아진 것이다.
• 점 $x \in \operatorname{Bs}|K + B|$ 라는 가정 하에, 예외적 인 심플렉스에서의 제약 맵에 대한 정교한 추정을 통해 $\pi_1^*B - \frac{9}{2}E$ 가 $B^3 \geq 51$ 일 때 크기가 크다는 것이 입증된다.
• 초기 가정 $\operatorname{Bs}|s(\pi_1^*B - \epsilon E)| \cap E = \emptyset$ 가 성립하지 않더라도, 악한 지점에서의 $\mu_{(i)}$-값들을 $\sqrt{321\alpha\beta}/9$ 를 略초과하는 값으로 제한함으로써 추론이 여전히 성립함을 보였다.
• 정리 4.2 는 $L^3 > 1$ 인 앰플 라인다벨 $L$ 에 대해 $K + 3L$ 이 스펜딩됨을 확인하며, 이는 다항식 3차원에서 보완선다발에 대한 결과를 확장한다.
• 논문은 $B^3 \geq 51$ 이 최적은 아니며, 악한 지점의 기하학적 이해가 향상되면 $B^3 > 27$ 이 충분할 수 있음을 제안한다.
• 유사한 기준은 로그 캐논리컬 쌍과 고차원 다양체로 확장될 수 있으며, 향후 작업에서 매우 강력한 성질 질문에도 이 방법이 적용될 수 있다.