[논문 리뷰] $L^2$ vanishing theorems for positive line bundles and adjunction theory, Lecture Notes of a CIME course on "Transcendental Methods of Algebraic Geometry" (Cetraro, Italy, July 1994)

Jean-Pierre Demailly|arXiv (Cornell University)|1994. 10. 21.

Algebraic Geometry and Number Theory참고 문헌 50인용 수 46

한 줄 요약

이 논문은 $L^2$ 추정과 승수 이상의 층을 기반으로 한 분석 기법을 개발하여, 프로젝티브 다양체 위의 선다발에 대한 효과적 근사 정리와 매우 치밀한 기준을 증명한다. 복소 몽헤-암페르 방정식을 풀고 레롱 수와 전류의 교차 이론을 사용함으로써, $mL$이 매우 치밀해지기 위한 효과적 경계를 확립한다. 이는 고차원에서 푸지타의 추측을 명시적인 수치 조건으로 개선한다.

ABSTRACT

The notes start with an elementary introduction to a few important analytic techniques of algebraic geometry: closed positive currents, $L^2$ estimates for the $\dbar$-operator on positive vector bundles, Nadel's vanishing theorem for multiplier ideal sheaves (a generalization of the well-known Kawamata-Viehweg vanishing theorem). Applications to adjoint line bundles are then discussed. T.~Fujita conjectured in 1987 that $K_X+(n+2)L$ is very ample for every ample line bundle $L$ on a non singular projective variety $X$ with $\dim X=n$. The answer is known only for $n\le 2$ (I.~Reider, 1988). In the last years, various bounds have been obtained for integers $m$ such that $2K_X+mL$ is very ample (by J.~Kollár, L.~Ein-R.~Lazarsfeld, Y.T.~Siu and the author, among others). Two approaches are discussed: an analytic approach via Monge-Ampère equations and current theory, and a more algebraic one (due to Siu) via multiplier ideal sheaves and Riemann-Roch. Finally, an effective version of the big Matsusaka theorem is derived, in the form of an explicit bound for an integer $m$ such that $mL$ is very ample, depending only on $L^n$ and $L^{n-1}\cdot K_X$; these bounds improve Siu's results (1993), and essentially contain the optimal bounds obtained by Fernandez del Busto for the surface case.

연구 동기 및 목표

• 분석적 방법, 특히 $L^2$ 추정과 승수 이상의 층을 사용하여 양의 선다발에 대한 효과적 $L^2$ 근사 정리를 수립하기 위해.
• 프로젝티브 다양체 위의 선다발에 대한 매우 치밀한 기준을 효과적으로 제시하여, 푸지타의 추측을 고차원으로 확장하기 위해.
• 승수 이상의 층을 통한 특이 계량과 곡률 조건을 대수적 조건으로 변환함으로써 분석 기하학과 대수기하학을 연결하기 위해.
• 재귀적 교차 이론과 호지 이론을 사용하여, 선다발이 매우 치밀해지기 위해 필요한 양의 정도에 대한 명시적인 수치적 경계를 도출하기 위해.
• 분석적 접근와 대수기하학적 방법(예: 리만-로흐 공식, 기저 위치 분석)을 비교하여, 분석적 방법이 차원 제한에 직면한 대수기하학적 방법과는 달리 효과적 경계를 도출할 수 있음을 보여주기 위해.

제안 방법

• 양의 곡률 조건 하에서 $H^q(X, K_X \tensor L \tensor \fancyscript{I}(ancyscript{φ}))$의 근사 정리를 증명하기 위해 허먼더의 $L^2$ 추정과 보흐너 기법을 사용한다.
• 특이 플루리스하모닉 가중치 $\varphi$와 관련된 승수 이상의 층 $\fancyscript{I}(\varphi)$의 이론을 적용한다. 이는 코herent하고 특이점을 제어한다.
• 오비ン-칼라비-야우 정리를 통해 $(i\partial\bar\partial\varphi)^n = \text{디랙 측도의 선형 조합}$ 형태의 복소 몽헤-암페르 방정식을 풀어 고립된 특이점을 가진 계량을 구성한다.
• 레롱 수와 양의 전류의 교차 이론을 사용하여 선다발의 국소적 양의 정도를 측정하고 계량 $\varphi$의 특이점을 제어한다.
• 차원에 대한 재귀적 귀납법을 적용하고, 호지 이론과 호지-타니야마 부등식을 사용하여 부분다양체의 차수를 제한하고 수치적 조건을 유도한다.
• 리만-로흐 공식과 기저 위치 분석과 함께 호르마이더-코다이라-나카노 $L^2$-추정을 적용하여, 매우 치밀성에 대한 $m$의 효과적 경계를 도출한다.

실험 결과

연구 질문

• RQ1 프로젝티브 $n$-다양체 위의 앰플라인 선다발 $L$에 대해 $mL$이 매우 치밀해지기 위한 $m$의 효과적 경계는 무엇인가?
• RQ2 분석적 방법을 사용하여 $L^2$ 추정과 승수 이상의 층을 포함함으로써, 고차원에서 푸지타 추측을 효과적으로 증명할 수 있는가?
• RQ3 주어진 0차원 부분스키마를 정확히 따라 승수 이상의 층이 0이 되도록 하기 위해, 양의 선다발 위에 특이 계량을 어떻게 구성할 수 있는가?
• RQ4 세샤드리 상수와 레롱 수는 선다발의 국소적 양의 정도를 특성화하는 데 어떤 역할을 하는가?
• RQ5 분석적 기법과 대수기하학적 방법(예: 리만-로흐 공식, 기저 위치 분석)은 효과적 매우 치밀성 기준을 도출하는 데 어떻게 비교되는가?

주요 결과

• 차원 $n=2$일 경우, $mL$이 매우 치밀해지기 위한 조건으로 $m \geq 4 \cdot \frac{(L \cdot (K_X + 4L))^2}{L^2}$를 도출하였으며, 이 경계는 거의 최적이다. 더욱 정교화된 형태로는 $m > \frac{1}{2} \left[ \frac{(L \cdot (K_X + 4L) + 1)^2}{L^2} + 3 \right]$임을 보였다.
• 고차원에서는 $m_0L - B$가 네프가 되기 위한 재귀적 경계를 유도하였으며, $m_0$는 $L^n$, $L^{n-1} \cdot H$, $L^{n-1} \cdot B$에 따라 결정된다. 이에 따라 $m_0 \leq (2n)^{(3^{n-1}-1)/2} \cdot \frac{(L^{n-1} \cdot (B+H))^{(3^{n-1}+1)/2} (L^{n-1} \cdot H)^{3^{n-2}(n/2 - 3/4) - 1/4}}{(L^n)^{3^{n-2}(n/2 - 1/4) + 1/4}}$임을 도출하였다.
• 고립된 로그극점과 주어진 점에서의 정해진 레롱 수를 가진 특이 계량 $\varphi$의 구성은 디랙 전류 우항을 가진 복소 몽헤-암페르 방정식을 풀어 달성되었다.
• 승수 이상의 층 $\fancyscript{I}(\varphi)$는 코herent하고 계량의 특이점을 제어함을 보였으며, 이는 $L^2$ 근사 정리의 적용을 가능하게 한다.
• 메소드는 $L$이 양의 곡률 전류를 가질 경우 $H^q(X, K_X \otimes L \otimes \fancyscript{I}(\varphi)) = 0$ ($q \geq 1$)임을 증명하여 카와마타-비에흐베 정리를 일반화한다.
• 유도된 경계를 만족하는 $m_0$에 대해 $H + m_0L - B$는 매우 치밀하다. 여기서 $H$는 매우 치밀한 다항식이고, $B$는 고정된 효과적 다항식이다.