우리는 §사영공간의 코호몰로지, ⁋명제 4에서 Serre vanishing theorem을 살펴 보았다. 이 정리는 projective variety 위의 ample line bundle \(\mathcal{L}\)과 coherent sheaf \(\mathcal{F}\)에 대해, 충분히 큰 \(m\)에 대하여 \(H^i(X, \mathcal{F} \otimes \mathcal{L}^{\otimes m}) = 0\) (\(i > 0\))이 성립함을 보장한다. 그러나 이 결과는 단지 asymptotic한 성질에 불과하며, 구체적으로 어떤 \(m\)에서부터 vanishing이 시작되는지에 대해서는 아무 정보도 주지 않는다.
이에 비해 Kodaira vanishing theorem은 훨씬 더 정교한 결과로, canonical bundle \(K_X\)와 ample line bundle \(L\)의 tensor product \(K_X \otimes L\)에 대해 higher cohomology가 항상 사라진다는 사실을 보장한다. 이 정리는 1950년대 Kodaira가 complex manifold 위에서 Kähler metric과 Hodge theory를 사용하여 증명한 이래, algebraic geometry의 중심에 자리 잡았으며, 이후 Deligne과 Illusie에 의해 purely algebraic한 증명이 주어지기까지 그 중요성은 계속 커져왔다. 우리는 이 글에서 Kodaira vanishing theorem과 그 일반화, 증명의 아이디어, 그리고 응용을 살펴 본다.
코다이라 소멸정리
우리가 다룰 기본적인 설정은 다음과 같다. \(X\)는 차원 \(n\)의 smooth projective variety이고, \(L\)은 \(X\) 위의 ample line bundle이다. Canonical bundle \(K_X = \det \Omega_X^1 = \Omega_X^n\)은 §표준선다발, ⁋정의 1에서 정의한 바와 같으며, 이는 holomorphic \(n\)-forms들의 sheaf이다. Kodaira vanishing theorem은 이들 데이터에 대해 다음을 주장한다.
정리 1 (Kodaira vanishing) \(X\)를 차원 \(n\)인 smooth projective variety, \(L\)을 \(X\) 위의 ample line bundle이라 하자. 그럼 모든 \(i > 0\)에 대하여
\[H^i(X, K_X \otimes L) = 0\]이 성립한다.
정리의 서술에서 알 수 있듯, Kodaira vanishing은 canonical bundle에 대한 twist 이후의 higher cohomology를 제거한다. Serre duality를 사용하면 이는 다음의 동치된 서술로 바꾸어 쓸 수 있다.
따름정리 2 정리 1의 가정 아래, 모든 \(i < n\)에 대하여
\[H^i(X, L^{-1}) = 0\]이 성립한다.
증명
§세르 쌍대성, ⁋명제 2의 Serre duality에 의해
\[H^i(X, L^{-1}) \cong H^{n-i}(X, K_X \otimes L)^\vee\]이 성립한다. \(i < n\)이면 \(n - i > 0\)이므로, 정리 1에 의해 우변은 \(0\)이다.
따름정리 2의 서술은 Kodaira의 원래 증명과 더 가까운 형태로, negative line bundle \(L^{-1}\)에 대한 cohomology vanishing을 다룬다. 두 서술은 Serre duality를 통해 완전히 동치이므로 상황에 따라 더 편한 쪽을 사용하면 된다.
나칸노 소멸정리
Kodaira vanishing은 사실 더 일반적인 정리의 특수한 경우이다. Nakano는 differential forms의 sheaf \(\Omega_X^p\)와 ample line bundle의 tensor product에 대한 더 강력한 vanishing result를 증명하였다.
정리 3 (Nakano vanishing) \(X\)를 차원 \(n\)인 smooth projective variety, \(L\)을 \(X\) 위의 ample line bundle이라 하자. 그럼 모든 \(p, q\)에 대하여 \(p + q > n\)이면
\[H^q(X, \Omega_X^p \otimes L) = 0\]이 성립한다.
Kodaira vanishing은 Nakano vanishing의 특수한 경우임을 확인할 수 있다. \(p = n\)을 대입하면 \(\Omega_X^n = K_X\)이고, \(p + q > n\) 조건은 \(q > 0\)과 동치이므로 정리 1을 얻는다. 따라서 Nakano vanishing은 Kodaira vanishing을 포함하는 strictly stronger한 결과이다.
또 다른 관점에서, Kodaira vanishing은 \(L\)이 ample일 때 \(H^q(X, K_X \otimes L) = 0\) (\(q > 0\))을 주장한다. 반면 Nakano vanishing은 같은 가정 하에서 \(H^q(X, \Omega_X^p \otimes L) = 0\) (\(p + q > n\))을 주장하므로, intermediate degrees의 differential forms에 대해서도 vanishing이 일어남을 보장한다. 특히 \(p = 0\)일 때 \(H^q(X, L) = 0\) (\(q > n\))은 자명한 결과이지만, \(p = 1\)이고 \(q = n\)인 경우 \(H^n(X, \Omega_X^1 \otimes L) = 0\)은 자명하지 않은 정보를 준다.
사영공간에서의 검증
Kodaira vanishing이 가장 단순한 non-trivial한 예시를 제공하는 것은 바로 projective space \(X = \mathbb{P}^n\)이다. 우리는 §표준선다발, ⁋명제 7에서
\[K_{\mathbb{P}^n} \cong \mathcal{O}(-n-1)\]임을 확인하였고, §선다발과 벡터다발, ⁋예시 16에서 \(\mathbb{P}^n\) 위의 임의의 line bundle은 \(\mathcal{O}(d)\) 꼴임을 확인하였다. Ample line bundle은 \(d > 0\)인 경우 \(\mathcal{O}(d)\)이므로, Kodaira vanishing은 다음을 주장해야 한다.
예시 4 \(\mathbb{P}^n\) 위에서 \(d > 0\)일 때, 모든 \(i > 0\)에 대하여
\[H^i(\mathbb{P}^n, \mathcal{O}(d - n - 1)) = 0\]이 성립한다.
이는 §사영공간의 코호몰로지, ⁋명제 1의 Bott formula를 통해 직접 검증할 수 있다. Bott formula에 따르면 \(H^i(\mathbb{P}^n, \mathcal{O}(k))\)는 \(0 < i < n\)인 경우 언제나 \(0\)이고, \(i = n\)인 경우는 \(k \leq -n-1\)일 때만 non-zero이다. 우리가 관심 있는 경우는 \(k = d - n - 1\)이며 \(d > 0\)이므로 \(k > -n - 1\)이다. 따라서 \(i = n\)인 경우에도 cohomology는 \(0\)이 된다. \(i > n\)인 경우는 dimension reason으로 자명히 \(0\)이므로, Kodaira vanishing이 \(\mathbb{P}^n\)에서 성립함을 확인할 수 있다.
비슷하게 Nakano vanishing도 \(\mathbb{P}^n\)에서 직접 확인할 수 있다. §사영공간의 코호몰로지, ⁋명제 1의 증명에서 사용한 hyperplane restriction exact sequence를 반복적으로 적용하면, \(\Omega_{\mathbb{P}^n}^p \otimes \mathcal{O}(d)\)의 cohomology가 \(\mathcal{O}(k)\)들의 cohomology로 표현됨을 알 수 있으며, \(d > 0\)이고 \(p + q > n\)이면 이들이 모두 사라진다는 것을 확인할 수 있다.
해석적 증명의 개요
Kodaira의 원래 증명은 complex differential geometry의 언어로 이루어졌다. 우리는 이 증명의 핵심적인 아이디어를 개괄적으로 살펴 본다. 증명의 출발점은 Hodge theory와 harmonic forms이다.
\(X\)를 compact Kähler manifold라 하자. Hodge theory에 의해 sheaf cohomology \(H^q(X, \Omega_X^p)\)은 \((p,q)\)-type의 harmonic forms들의 공간 \(\mathcal{H}^{p,q}(X)\)와 동형이다. 보다 일반적으로, holomorphic vector bundle \(E\)에 대해 \(H^q(X, \Omega_X^p \otimes E)\)는 \(E\)-valued harmonic \((p,q)\)-forms들의 공간으로 계산할 수 있다.
Hermitian metric \(h\)를 \(E\) 위에 고정하면, Chern connection \(\nabla\)이 유일하게 결정되고 그 curvature \(\Theta(E) \in \mathcal{A}^{1,1}(X, \End(E))\)가 정의된다. Line bundle \(L\)이 positive라는 것은 적당한 Hermitian metric 아래에서 curvature가 positive definite \((1,1)\)-form이 되는 것으로, ample line bundle은 GAGA에 의해 항상 positive line bundle이 된다.
증명의 핵심은 Bochner-Kodaira-Nakano identity이다. \(E\)-valued \((p,q)\)-form \(\alpha\)에 대해, Dolbeault Laplacian \(\Delta_{\bar{\partial}} = \bar{\partial}\bar{\partial}^\ast + \bar{\partial}^\ast\bar{\partial}\)은 다음의 식으로 표현된다.
\[\Delta_{\bar{\partial}} = \Delta_{\nabla^{1,0}} + [\sqrt{-1}\Theta(E), \Lambda]\]여기서 \(\Delta_{\nabla^{1,0}}\)은 \((1,0)\)-connection의 Laplacian이고, \(\Lambda\)은 Kähler form \(\omega\)에 대한 Lefschetz operator \(L = \omega \wedge -\)의 adjoint이다. Line bundle \(L\)이 positive이면 \(\sqrt{-1}\Theta(L)\)은 Kähler form의 양의 배수가 되므로, Kähler identity \([L, \Lambda] = (p + q - n)\id\)와 결합하여
\[\Delta_{\bar{\partial}} = \Delta_{\nabla^{1,0}} + (p + q - n)\id\]을 얻는다. 여기서 \(\Delta_{\nabla^{1,0}}\)은 non-negative operator이므로, \(p + q > n\)이면 \(\Delta_{\bar{\partial}}\)의 eigenvalue가 모두 양수가 되어 그 kernel은 trivial해진다. Hodge theory에 의해 \(H^q(X, \Omega_X^p \otimes L) \cong \ker \Delta_{\bar{\partial}}\)이므로, 이 공간은 \(0\)이 되어 Nakano vanishing이 증명된다.
대수적 증명의 개요
Kodaira의 해석적 증명은 beautiful하지만, complex number 위에서만 정의되는 transcendental한 방법에 의존한다. Algebraic geometry의 관점에서는 이 정리가 임의의 algebraically closed field 위에서도 성립해야 하며, 특히 positive characteristic에서도 유효한 증명이 바람직하다.
1987년 Deligne과 Illusie는 이러한 purely algebraic proof를 제공하였다. 이들의 증명은 positive characteristic \(p > 0\)에서 시작하여, lifting 조건 아래 de Rham complex의 decomposition을 증명한 뒤, 이를 통해 vanishing을 얻는다. 마지막으로 standard reduction mod \(p\) argument를 사용하여 characteristic 0으로 결과를 옮긴다.
구체적으로, \(k\)를 characteristic \(p > 0\)인 perfect field라 하고, \(X\)를 \(k\) 위의 smooth proper variety라 하자. \(W_2(k)\)를 \(k\)의 length-2 Witt vector라 할 때, \(X\)가 \(W_2(k)\) 위로 lift된다는 가정 아래 Deligne-Illusie는 다음의 isomorphism을 증명한다.
\[\bigoplus_{i < p} \Omega_{X^{(p)}}^i[-i] \xrightarrow{\sim} \tau_{< p} F_\ast \Omega_X^\bullet\]여기서 \(F : X \to X^{(p)}\)는 relative Frobenius morphism이고, \(\tau_{<p}\)은 truncation이다. 이 decomposition은 Hodge-to-de Rham spectral sequence의 \(E_1\)-degeneration을 함의하며, 이로부터 Kodaira-Akizuki-Nakano vanishing이 따라온다. 특히 \(\dim X < p\)인 경우, 이 decomposition은 완전한 형태를 띠며 vanishing이 직접적으로 얻어진다.
Characteristic 0으로의 전이는 standard한 argument로 이루어진다. Finite type \(\mathbb{C}\)-scheme은 항상 finitely generated \(\mathbb{Z}\)-algebra로부터 base change로 얻어지므로, spread out을 통해 positive characteristic으로 reduction한 후 Deligne-Illusie의 결과를 적용하고, semicontinuity theorem을 사용하여 원래의 characteristic 0에서의 결과를 복원한다.
응용
Kodaira vanishing theorem은 algebraic geometry에서 다양한 중요한 결과들의 핵심적인 ingredient로 작용한다. 우리는 그중 대표적인 두 가지를 살펴 본다.
코다이라 임베딩정리
Kodaira vanishing의 가장 유명한 응용은 Kodaira embedding theorem으로, 이는 Kähler manifold가 projective manifold가 될 충분조건을 제공한다.
정리 5 (Kodaira embedding) Compact Kähler manifold \(X\) 위에 positive line bundle \(L\)이 존재하면, \(X\)는 smooth projective variety이고 충분히 큰 \(k\)에 대하여 \(L^{\otimes k}\)는 very ample이다. 즉 \(L^{\otimes k}\)는 \(X\)를 어떤 projective space로 embedding하는 linear system을 정의한다.
정리 5의 증명에서 Kodaira vanishing은 higher cohomology의 소멸을 통해 \(H^0(X, L^{\otimes k})\)의 dimension을 계산하고, 이를 통해 sections가 base points를 갖지 않으며 separating property를 만족함을 보이는 데 사용된다. 이 정리는 Kähler geometry와 algebraic geometry 사이의 다리 역할을 하며, 어떤 Kähler manifold가 algebraic하려면 반드시 integral Kähler class를 가져야 한다는 필요충분조건도 함께 제공한다.
플루리게네라
다른 중요한 응용은 plurigenera의 계산과 관련이 있다. Smooth projective variety \(X\)의 plurigenus \(P_m(X)\)는 다음의 식
\[P_m(X) = \dim H^0(X, K_X^{\otimes m})\]으로 정의된다. 특히 \(m = 1\)인 경우 \(P_1(X) = \dim H^0(X, K_X)\)는 geometric genus \(p_g(X)\)이다. Kodaira vanishing은 이들 불변량을 계산하는 데 직접적으로 사용될 수 있다.
가령 curve \(C\)의 경우, Riemann-Roch theorem (§곡선에서의 리만-로흐 정리, ⁋명제 3)과 Serre duality에 의해
\[\dim H^0(C, K_C^{\otimes m}) - \dim H^1(C, K_C^{\otimes m}) = m(2g - 2) + 1 - g\]이다. \(m \geq 2\)이면 \(\deg(K_C^{\otimes m}) = m(2g - 2) > 2g - 2\)이므로 \(H^1(C, K_C^{\otimes m}) = 0\)이 Kodaira vanishing (혹은 그 보다 약한 Serre duality와 degree 계산)에 의해 성립한다. 따라서
\[P_m(C) = m(2g - 2) + 1 - g = (2m - 1)(g - 1)\]을 얻는다. 이는 curve의 birational invariant로서 moduli problem을 다룰 때 중요한 역할을 한다.
Surface의 경우도 유사하다. §곡면에서의 리만-로흐 정리에서 보듯, surface \(S\) 위의 line bundle \(L\)에 대해 Riemann-Roch formula는
\[\rchi(L) = \frac{L \cdot (L - K_S)}{2} + \rchi(\mathcal{O}_S)\]으로 주어진다. \(L = K_S^{\otimes m}\)을 대입하면
\[\rchi(K_S^{\otimes m}) = \frac{m(m-1)}{2} K_S^2 + \rchi(\mathcal{O}_S)\]이다. \(m \geq 2\)이고 \(K_S\)가 nef이거나 ample한 상황에서 Kodaira vanishing (혹은 그 일반화인 Kawamata-Viehweg vanishing)을 사용하면 higher cohomology가 사라지므로, 이 formula로부터 직접 \(P_m(S) = h^0(S, K_S^{\otimes m})\)을 계산할 수 있다. 이러한 plurigenera의 계산은 surface의 classification theory, 특히 Enriques-Kodaira classification에서 핵심적인 역할을 한다.
카와마타-비에흐 소멸정리
Kodaira vanishing은 birational geometry에서 더욱 일반적인 형태로 확장되었다. Kawamata와 Viehweg는 ample line bundle의 조건을 big and nef line bundle으로 완화하여, 이를 일반화하였다. 이들의 결과는 log terminal pair에 대한 vanishing theorem의 형태로 서술되며, modern minimal model program의 핵심적인 도구로 작용한다. 이 일반화는 Kodaira vanishing의 정신을 그대로 이어받으면서도, birational transform 하에서의 안정성을 보장하여 algebraic geometry의 더 넓은 영역에서 응용될 수 있게 한다.
참고문헌
[Har] R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer, 1977.
[Laz] R. Lazarsfeld, Positivity in Algebraic Geometry I & II, Ergebnisse der Mathematik, Springer, 2004.
[DI] P. Deligne, L. Illusie, Relèvements modulo \(p^2\) et décomposition du complexe de de Rham, Inventiones Mathematicae, 1987.
[Kod] K. Kodaira, On a differential-geometric method in the theory of analytic stacks, Proceedings of the National Academy of Sciences, 1953.
[Nak] S. Nakano, On complex analytic vector bundles, Journal of the Mathematical Society of Japan, 1955.
댓글남기기