{{위키데이터 속성 추적}}
[[수학]]에서, 특히 [[대수기하학]]과 [[복소다양체]]론에서 '''연접층 코호몰로지'''({{llang|en|Coherent sheaf cohomology}})는 특정 성질을 가진 [[함수]]들을 생성하는 방법이다. 많은 기하학적 질문은 [[가역층|선다발]] 단면 또는 보다 일반적인 [[연접층]]이 존재하는지 대한 질문으로 귀결될 수 있다. 이러한 단면은 일반화된 함수로 볼 수 있다. 코호몰로지는 단면을 생성하거나 단면이 존재하지 않는 이유를 설명하기 위한 계산을 제공한다. 또한 [[대수다양체|대수 다형체]]들을 구별하기 위한 불변량을 제공한다.

대수 기하학과 복소 해석 기하학의 대부분은 연접층와 그 코호몰로지의 관점에서 공식화된다.

== 연접층 ==
연접층은 [[벡터 다발|선형 다발]]을 일반화 한 결과로 볼 수 있다. 복소 해석 공간에 대한 '''해석적 연접층'''의 개념이 있고 이와 비슷하게 [[스킴 (수학)|스킴]]에 대한 '''대수적 연접층'''이라는 개념이 있다. 두 가지 모두 주어진 공간 <math>X</math>와 [[환 달린 공간|환 층]] <math>\mathcal O_X</math>으로부터 정의된다. 그리고 [[정칙 함수]] 또는 정규 함수의 다발 및 연접층은 <math>\mathcal O_X</math>-[[가군]](즉, <math>\mathcal O_X</math>-[[가군층]]) 범주의 충만한 부분 범주로 정의된다.

접다발 같은 선형 다발은 기하학에서 근본적인 역할을 한다. 보다 일반적으로, <math>X</math>의 닫힌 부분 다형체 <math>Y</math>의 경우, [[포함 함수]] <math>i: Y \to X</math>를 가진 <math>Y</math> 위의 선형 다발 <math>E</math>는 <math>X</math> 위의 연접층, 즉, <math>Y</math> 밖에서 <math>0</math>인 직상층 <math>i_* E</math>를 결정한다. 이런 식으로, <math>X</math>에 대한 연접층으로 표현될 수 있는 <math>X</math>의 부분 다형체에 대한 많은 질문이 있다.

선형 다발과 달리, 해석적 또는 대수적 연접층은 [[아벨 범주]]를 형성하므로 핵, [[상 (수학)|상]] 및 [[여핵]]들 가져오기와 같은 작용에서 닫힌다. 스킴에서 '''준연접층'''은 무한 랭크 국소 자유 층를 포함하는 연접층의 일반화이다.

== 층 코호몰로지 ==
[[위상 공간 (수학)|위상 공간]] <math>X</math>에서 아벨 군 층 <math>\mathcal F</math>의 경우, 정수 <math>i</math>에 대한 [[층 코호몰로지]] 군 <math>H^i(X, \mathcal F)</math>들은 전역 단면 함자 <math>\mathcal F \mapsto \mathcal F(X)</math>의 오른쪽 [[유도 함자]]로 정의된다. 결과적으로, <math>i < 0</math>에 대해 <math>H^i(X, \mathcal F)</math>는 <math>0</math>이고 <math>H^0(X, \mathcal F)</math>는 <math>\mathcal F(X)</math>로 규명 할 수 있다. 층의 짧은 완전열 <math>0\to \mathcal A \to \mathcal B \to \mathcal C\to 0</math>에 대해, 코호몰로지 군의 [[완전열|긴 완전열]]

: <math> 0\to H^0(X,\mathcal A) \to H^0(X,\mathcal B) \to H^0(X,\mathcal C) \to H^1(X,\mathcal A) \to \cdots.</math>

이 있다.<ref>{{하버드 인용|Hartshorne|1977}}</ref>

만약에 <math>\mathcal F</math>가 스킴 <math>X</math> 위의 <math>\mathcal O_X</math>-가군의 층이면, 기저 위상 공간 <math>X</math>을 사용하여 정의된 코호몰로지 군 <math>H^i(X, \mathcal F)</math>는 환 <math>\mathcal O(X)</math> 위의 가군이다. 정규 함수의 예를 들어, <math>X</math>가 체 ''<math>\mathbb K</math>'' 위의 스킴이면, 코호몰로지 군 <math>H^i(X, \mathcal F)</math>들은 ''<math>\mathbb K</math>''-[[벡터 공간|선형 공간]]이다. 이 이론은 <math>\mathcal F</math>가 다음과 같은 결과들로 인해 연접층 또는 준 연접층인 경우에 강력해진다.

== 아핀인 경우 소멸 정리 ==
복소 해석학은 1953년 [[카르탕 정리]]에 의해 혁신되었다. 이 결과는, 만약 <math>\mathcal F</math>가 [[슈타인 다양체|스테인 공간]] <math>X</math>의 해석적 연접층이면, <math>\mathcal F</math>는 전역 단면에 의해 생성되며, <math>H^i(X, \mathcal F) = 0\, \forall i>0</math>이다. (복소 공간 <math>X</math>가 스테인 공간임과 <math>X</math>가 어떤 <math>n</math>에 대해 <math>\Complex^n</math>의 닫힌 해석 부분 공간과 동형임은 동치다.) 이러한 결과는 주어진 특이점 또는 기타 성질을 가진 복소 해석 함수의 구성에 대한 이전 결과들의 많은 부분을 일반화한다.

1955년에 [[장피에르 세르|세르]]는 대수 기하학에 연접층를 도입했다(처음에는 [[대수적으로 닫힌 체]]에서 정의되었지만, [[알렉산더 그로텐디크|그로텐디크]]가 더 일반화하였다). 카르탕 정리의 유사점은 아주 일반적으로 유지된다. <math>\mathcal F</math>가 [[환의 스펙트럼|아핀 스킴]] <math>X</math>의 준연접층이면, <math>\mathcal F</math>는 전역 단면들에 의해 생성되며, 모든 <math>i>0</math>에 대해 <math>H^i(X, \mathcal F) = 0</math>이다. 이는 층 <math>\mathcal F</math>을 <math>\mathcal O(X)</math> -가군 <math>H^0(X, \mathcal F)</math>로 대응시키는 동치관계로  아핀 스킴 <math>X</math>에서 준연접층의 범주가 <math>\mathcal O(X)</math>-가군 범주와 같다는 사실과 관련되어 있다. 사실, 아핀 스킴은 준연접층에 대한 고차 코호몰로지가 사라지는 것으로 모든 [[콤팩트 공간|준콤팩트]] 스킴 중에서 특징지어진다.

== 체흐 코호몰로지와 사영 공간의 코호몰로지 ==
아핀 스킴에 대한 코호몰로지가 사라진 결과: 분리된 스킴 <math>X</math>, <math>X</math>의 아핀 열린 덮개 <math>\{U_i\}</math>, <math>X</math> 위의 준연접층 <math>\mathcal F</math>에 대해, 코호몰로지 군 <math>H^*(X,\mathcal F)</math>들은 열린 덮개<math>\{U_i\}</math>와 관련하여 [[체흐 코호몰로지]] 군과 동형이다. 즉, <math>\mathcal F</math>의 단면을 알고 아핀 열린 부분 스킴 <math>U_i</math>들의 모든 유한 교집합에서 <math>X</math>의 <math>\mathcal F</math> 계수 코호몰로지를 결정한다.

체흐 코호몰로지를 사용하면 임의의 선다발의 계수로 [[사영 공간]]의 코호몰로지를 계산할 수 있다. 즉, 체 ''<math>\mathbb K</math>'', 양의 정수 <math>n</math>, 임의의 정수 <math>j</math>에 대해, ''<math>\mathbb K</math>'' 위의 사영 공간 <math>\mathbb{P}^n</math>의 [[연접층|선다발]] <math>\mathcal O(j)</math> 계수 코호몰로지는<ref>{{하버드 인용|Hartshorne|1977}}</ref>

: <math> H^i(\mathbb{P}^n,\mathcal O(j)) \cong \begin{cases}
\bigoplus_{a_0,\ldots,a_n\geq 0,\; a_0+\cdots+a_n=j}\; k\cdot x_0^{a_0}\cdots x_n^{a_n} & i=0\\[6pt]
0 & i \neq 0, n\\[6pt]
\bigoplus_{a_0, \ldots,a_n<0,\; a_0+\cdots+a_n=j}\; k\cdot x_0^{a_0}\cdots x_n^{a_n} & i=n
\end{cases}</math>

로 주어진다. 특히, 이 계산은 ''<math>\mathbb K</math>'' 위의 사영 공간의 임의의 선다발에 계수 코호몰로지가 ''<math>\mathbb K</math>''-선형 공간으로서 유한 차원을 갖는다.

위의 이러한 코호몰로지 군의 소멸 차원 <math>n</math>은 '''그로텐디크 소멸 정리'''의 아주 특별한 경우이다: <math>n<\infty</math> 차원 뇌터 위상 공간 <math>X</math>에서 임의의 아벨 군 층 <math>\mathcal F</math>에 대해, <math>H^i(X,\mathcal F) = 0</math> <math>\forall i>n</math>.<ref>{{하버드 인용|Hartshorne|1977}}</ref> 이것은 특히 [[뇌터 스킴]] <math>X</math>(예: 체에 대한 대수 다양체)와 준연접층 <math>\mathcal F</math>에 유용하다.

== 평면 곡선의 층 코호몰로지 ==
매끄러운 <math>d</math>차 사영 평면 곡선 <math>C</math>이 주어지면, 층 코호몰로지 <math>H^*(C,\mathcal{O}_C)</math>는 코호몰로지에서 긴 완전열을 사용하여 쉽게 계산할 수 있다. 먼저, 매장 <math>i:C \to \mathbb{P}^2</math>에 대해  <math>i_*</math>가 완전하므로 코호몰로지 군의 동형

: <math>H^*(\mathbb{P}^2, i_*\mathcal{O}_C) \cong H^*(C, \mathcal{O}_C)</math>

이 있다. 이것은 <math>\mathbb{P}^2</math> 위의 연접층의 짧은 완전열을 의미한다.

<math>0 \to \mathcal{O}(-d) \to \mathcal{O} \to i_*\mathcal{O}_C \to 0</math>

이는 '''이데알 열'''<ref>{{서적 인용|제목=Birational Geometry of Hypersurfaces|성=Hochenegger|이름=Andreas|날짜=2019|편집자-성=Andreas Hochenegger|편집자2-성=Manfred Lehn|총서=Lecture Notes of the Unione Matematica Italiana|권=26|쪽=267–295|장=Introduction to derived categories of coherent sheaves|arxiv=1901.07305|bibcode=2019arXiv190107305H|doi=10.1007/978-3-030-18638-8_7|isbn=978-3-030-18637-1|편집자3-성=Paolo Stellari}}</ref>라고 하며, 코호몰로지에서 긴 완전열을 통해 코호몰로지를 계산하는 데 사용할 수 있다. 이 열로부터,

: <math>\begin{align}
0&\to H^0(\mathbb{P}^2, \mathcal{O}(-d)) \to H^0(\mathbb{P}^2, \mathcal{O}) \to H^0(\mathbb{P}^2, \mathcal{O}_C)\\
 &\to H^1(\mathbb{P}^2, \mathcal{O}(-d)) \to H^1(\mathbb{P}^2, \mathcal{O}) \to H^1(\mathbb{P}^2, \mathcal{O}_C)\\
 &\to H^2(\mathbb{P}^2, \mathcal{O}(-d)) \to H^2(\mathbb{P}^2, \mathcal{O}) \to H^2(\mathbb{P}^2, \mathcal{O}_C)
\end{align}</math>

사영 공간에 대한 이전 계산을 사용하여 이를 단순화할 수 있다. 단순화를 위해 기저 환이 <math>\C</math> 또는 대수적으로 닫힌 체라고 가정한다. 그러면 동형 사상

: <math>\begin{align}
H^0(C,\mathcal{O}_C) &\cong H^0(\mathbb{P}^2,\mathcal{O}) \\
H^1(C,\mathcal{O}_C) &\cong H^2(\mathbb{P}^2,\mathcal{O}(-d))
\end{align}</math>

이 있다. 이는 곡선의 <math>H^1</math>가 랭크

:: <math>{d-1 \choose d-3 } = \frac{(d-1)(d-2)}{2}</math>

인 유한 차원 선형 공간임을 보여준다.

== 퀴네트 정리 ==
다형체들의 곱에 대한 연접층 코호몰로지에는 [[퀴네트 정리|퀴네트 공식]]의 아날로그가 있다.<ref>{{웹 인용|url=https://stacks.math.columbia.edu/tag/0BEC|제목=Section 33.29 (0BEC): Künneth formula—The Stacks project|웹사이트=stacks.math.columbia.edu|확인날짜=2020-02-23}}</ref> 체 ''<math>\mathbb K</math>''에 아핀-대각으로 주어진 준 콤팩트 스킴 <math>X,Y</math>, (예: 분리된 스킴) <math>\mathcal{F} \in \text{Coh}(X)</math>, <math>\mathcal{G} \in \text{Coh}(Y)</math>라 하자. 그러면 동형 사상 <blockquote><math>H^k(X\times_{\text{Spec}(\mathbb K)}Y, \pi_1^*\mathcal{F}\otimes_{\mathcal{O}_{X\times_{\text{Spec}(\mathbb K)} Y}}\pi_2^*\mathcal{G}) \cong \bigoplus_{i+j = k} H^i(X,\mathcal{F})\otimes_{\mathbb K} H^j(Y,\mathcal{G})</math> </blockquote>이 있다. 여기서 <math>\pi_1,\pi_2</math>는 <math>X\times_{\text{Spec}(k)} Y\rightarrow X,Y</math>인 정사영이다.

=== 곡선의 층 코호몰로지 계산 ===
<math>X = \mathbb{P}^1 \times \mathbb{P}^1</math>안에, 일반 단면 <math>\mathcal{O}_X(a,b) = \pi_1^*\mathcal{O}_{\mathbb{P}^1}(a) \otimes_{\mathcal{O}_X} \pi_2^*\mathcal{O}_{\mathbb{P}^1}(b)</math>는 다음 이데알 열을 주며 곡선 <math>C</math>을 정의한다: <blockquote><math>0 \to \mathcal{O}_X(-a,-b) \to \mathcal{O}_X \to \mathcal{O}_C \to 0</math></blockquote>그러면 이 긴 완전열로부터<blockquote><math>\begin{align}
0&\to H^0(X, \mathcal{O}(-a,-b)) \to H^0(X, \mathcal{O}) \to H^0(X, \mathcal{O}_C)\\
 &\to H^1(X, \mathcal{O}(-a,-b)) \to H^1(X, \mathcal{O}) \to H^1(X, \mathcal{O}_C)\\
 &\to H^2(X, \mathcal{O}(-a,-b)) \to H^2(X, \mathcal{O}) \to H^2(X, \mathcal{O}_C)
\end{align}</math></blockquote><blockquote><math>\begin{align}
H^0(C,\mathcal{O}_C) &\cong H^0(X,\mathcal{O}) \\
H^1(C,\mathcal{O}_C) &\cong H^2(X,\mathcal{O}(-a,-b))
\end{align}</math></blockquote><math>H^1</math>가 곡선의 종수이므로 퀴네트 공식을 사용하여 베티 수를 계산할 수 있다. 이것은<blockquote><math>H^2(X, \mathcal{O}_X(-a,-b)) \cong H^1(\mathbb{P}^1,\mathcal{O}(-a))\otimes_{\mathbb K}H^1(\mathbb{P}^1,\mathcal{O}(-b))</math></blockquote><math>-a,-b \leq -2</math>에 대해 랭크<blockquote><math>\binom{a-1}{a-2}\binom{b-1}{b-2} = (a-1)(b-1) = ab - a - b +1</math><ref>{{웹 인용|url=https://math.stanford.edu/~vakil/0708-216/216class3536.pdf|제목=FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 35 AND 36|성=Vakil}}</ref></blockquote>이다. 특히, 만약 <math>C</math>가 <math>\mathcal{O}(2,\mathbb K)</math>의 일반 단면의 사라지는 궤적에 의해 정의되면, <math>C</math>의 종수는<blockquote><math>2k-2-k+1 = k-1</math></blockquote>따라서 임의의 종수를 가진 곡선은 <math>\mathbb{P}^1\times\mathbb{P}^1</math>의 내부에서 찾을 수 있다.

== 유한 차원 ==
체 ''<math>\mathbb K</math>'' 위에 [[고유 사상|적절한 스킴]] <math>X</math>과 <math>X</math>위의 어떤 연접층 <math>\mathcal F</math>에 대해, 코호몰로지 군 <math>H^i(X,\mathcal F)</math>은 ''<math>\mathbb K</math>''-선형 공간으로서 유한 차원을 갖는다. <math>X</math>가 ''<math>\mathbb K</math>''-사영 공간인 특별한 경우에는, 이는 위에서 논의한 사영 공간의 선다발의 경우로 축소하여 증명된다. 일반적인 체에 대한 적절한 스킴의 경우에서 그로텐디크는 저우 보조 정리를 사용하여 사영 스킴의 경우로 축소하여 코호몰로지의 유한성을 증명했다.

코호몰로지의 유한 차원성은 또한 아주 다른 주장에 의해 임의의 [[콤팩트 공간|콤팩트]] 복소 공간에 대한 해석적 연접층의 유사한 상황에서도 유지된다. [[앙리 카르탕|카르탕]]과 세르는 [[프레셰 공간]]에서 [[콤팩트 작용소|콤팩트 연산자]]에 대한 [[로랑 슈바르츠|슈바르츠]]의 정리를 사용하여 이 해석학적 상황에서 유한 차원성을 증명했다. [[고유 사상|적절한 사상]]에 대한 이 결과의 상대적인 버전은 그로텐디크(국소 뇌터 스킴의 경우)과 Grauert (복소 해석 공간의 경우)가 의해 증명했다. 즉, 적절한 사상 <math>f: X\to Y</math>(대수적 또는 해석학적 설정에서)과 <math>X</math> 위의 연접층 <math>\mathcal F</math>에 대해, 더 높은 직상층 <math>R^i f_*\mathcal F</math>들은 연접층이다.<ref>{{하버드 인용|Grothendieck|Dieudonné|1961}}, {{하버드 인용|Grauert|Remmert|1984}}</ref> <math>Y</math>가 점이면, 이 정리는 코호몰로지의 유한 차원성을 제공한다.

코호몰로지의 유한 차원성은 사영 다형체에 대한 많은 수치적 불변량을 초래한다. 예를 들어, <math>X</math>가 대수적으로 닫힌 체 ''<math>\mathbb K</math>'' 위의 [[매끄러운 스킴|매끄러운]] 사영 [[대수 곡선|곡선]]이면, <math>X</math>의 종수는 ''<math>\mathbb K</math>'' -선형 공간으로서 <math>H^1(X,\mathcal O_X)</math>의 차원으로 정의된다. ''<math>\mathbb K</math>''가 복소수 체일 때, 이것은 고전적(유클리드) 위상의 복소 점들의 공간 <math>X(\Complex)</math>의 종수과 일치한다.   (이 경우, <math>X(\Complex) = X^{an}</math>는 닫힌 유향 [[곡면]]이다.) 가능한 많은 고차원 일반화들 중에서 매끄러운 <math>n</math>차원 사영 다형체 <math>X</math>의 [[기하종수|기하학적]] 종수는 <math>H^n(X, \mathcal O_X)</math>의 차원이다. 그리고 [[산술종수|산술 종수]](하나의 관례<ref>{{하버드 인용|Serre|1955}}</ref>에 따름)은 다음 교대합이다:

:: <math>\chi(X, \mathcal{O}_X)=\sum_j (-1)^j\dim_k(H^j(X, \mathcal O_X)).</math>

== 세르 쌍대성 ==
세르 쌍대성은 연접층 코호몰로지에 대한 [[푸앵카레 쌍대성]]의 유사체이다. 이 비유에서 [[표준 선다발|표준 다발]] <math>K_X</math>은 유향 층의 역할을 한다. 즉, 체 ''<math>\mathbb K</math>'' 위에 매끄러운 <math>n</math>차원 적절한 스킴 <math>X</math>에 대해 자연 '''대각''' '''사상''' <math>H^n(X, K_X)\to \mathbb K</math>이 있다. 이 사상은 <math>X</math>가 '''기하학적으로 연결되어''' 있는 경우 동형사상이다. 이는 ''<math>\mathbb K</math>''의 대수적 폐포로 <math>X</math>를 [[당김 (범주론)|기저 변화]]가 [[연결 공간|연결]]임을 의미한다. <math>X</math> 위의 선형 다발 <math>E</math>에 대한 세르 쌍대성은 다음 곱

:: <math>H^i(X,E)\times H^{n-i}(X,K_X\otimes E^*)\to H^n(X,K_X)\to k</math>

는 모든 정수 <math>i</math>에 대한 [[쌍선형 형식|완벽한 페어링]]이라 말한다.<ref>{{하버드 인용|Hartshorne|1977}}</ref> 특히, ''<math>\mathbb K</math>'' -선형 공간 <math>H^i(X, E)</math>과 <math>H^{n-i}(X, K_X\otimes E^*)</math>는 동일한(유한한) 차원을 가진다. (세르는 또한 모든 콤팩트 복소 다양체에서 정칙 선형 다발에 대한 세르 쌍대성을 입증했다.) 그로텐디크 쌍대 이론은 진술이 덜 기초적이기는 하지만 연접층과 도식의 적절한 형태에 대한 일반화를 포함한다.

예를 들어,  대수적으로 닫힌 체 ''<math>\mathbb K</math>'' 위에서 매끄러운 사영 곡선 <math>X</math>의 경우, 세르 쌍대성은 <math>X</math>의 제 1형식 공간 <math>H^0(X, \Omega^1) = H^0(X, K_X)</math>의 차원이 <math>X</math>의 종수(<math>H^1(X,\mathcal O_X)</math> 차원)와 같음을 함의한다.

== GAGA 정리 ==
GAGA 정리는 복소수에 대한 대수다양체을 해당 해석 공간과 관련시킨다. '''<math>\C</math>''' 위의 [[유한형 사상|유한형]] 스킴 ''<math>X</math>''의 경우 ''<math>X</math>''의 대수적 연접층에서 관련 해석 공간 ''<math>X^{\text{an}}</math>''의 해석적 연접층까지 함자가 있다. 핵심 GAGA 정리(사영 사례에 대한 세르의 정리를 일반화한 그로텐디크에 의한)는 ''<math>X</math>''가 '''<math>\C</math>'''에 대해 적절하다면 이 함자는 [[범주의 동치|범주의 동치성]]이라는 것이다. 더욱이, '''<math>\C</math>''' 위의 적절한 스킴 ''<math>X</math>'' 위의 모든 대수적 연접층 ''<math>E</math>''에 대해 유한 차원 복소 선형 공간 사이의 자연 사상

:: <math>H^i(X,E)\to H^i(X^{\text{an}},E^{\text{an}})</math>

은 모든 ''<math>i</math>''에 대한 동형사상이다.<ref>{{하버드 인용|Grothendieck|Raynaud|2003}}</ref> (여기서 첫 번째 군은 자리스키 위상를 사용하여 정의되고 두 번째 군은 고전(유클리드) 위상를 사용하여 정의된다.) 예를 들어, 사영 공간에서 대수적 및 해석적 연접층 사이의 동등성은 <math>\mathbb {CP}^n</math>의 모든 닫힌 해석적 부분 공간이 대수적이라는 [[가가 정리|저우 정리]]를 암시한다.

== 소멸 정리들 ==
'''세르의 소멸 정리'''에 따르면 [[풍부한 가역층|충분한 선 다발]]에 대해 <math>L</math> 적절한 스킴에 <math>X</math> [[뇌터 환]] 및 연접층 위에 <math>\mathcal F</math> ~에 <math>X</math>, 정수가 있다 <math>m_0</math> 모두를 위해 <math>m\geq m_0</math>, 다발 <math>\mathcal F\otimes L^{\otimes m}</math> 전역 단면에 걸쳐 있으며 양의 정도에 코호몰로지가 없다.<ref>{{하버드 인용|Hartshorne|1977}}</ref>

세르의 소멸 정리가 유용하긴 하지만 <math>m_0</math> 문제가 될 수 있다. 고다이라 소멸 정리는 중요한 명시적 결과이다. 즉, 만약 <math>X</math>가 특성이 <math>0</math>인 체에 대한 매끄러운 사영 다형체, <math>L</math>은 <math>X</math> 위의 풍부한 선다발이고 <math>K_X</math>는 [[표준 선다발|표준 다발]]이면, 모든 <math>j>0</math>에 대해,

:: <math>H^j(X,K_X\otimes L)=0</math>.

세르의 정리는 <math>L</math>의 큰 거듭 제곱에 대해 동일한 소멸을 보장한다. 고다이라 소멸과 그 일반화는 대수 다양체의 분류와 [[극소 모형 프로그램]]의 기본이다. 고다이라 소멸은 양의 표수를 가진 체에서 성립하지 않는다.<ref>Michel Raynaud. ''Contre-exemple au vanishing theorem en caractéristique p > 0''. In ''C. P. Ramanujam - a tribute'',
Tata Inst. Fund. Res. Studies in Math. 8, Berlin, New York: Springer-Verlag, (1978), pp. 273-278.</ref>

== 호지 이론 ==
호지 정리는 연접층 코호몰로지를 [[코호몰로지|특이 코호몰로지]] (또는 [[드람 코호몰로지]] )와 관련시킨다. 즉, 만약 <math>X</math>가 매끄러운 복소 사영 다형체이면 복소 선형 공간의 표준 직합 분해가 있다. 모든 <math>a</math>에 대해,

:: <math>H^a(X,\mathbf{C})\cong \bigoplus_{b=0}^a H^{a-b}(X,\Omega^b),</math>

왼쪽에 있는 군은 <math>X(\mathbb C)</math>의 특이 코호몰로지를 의미한다. 유클리드 위상에서, 오른쪽에 있는 군은 (GAGA에 의해) 자리스키 또는 고전적 위상에서 취할 수 있는 연접층의 코호몰로지 군이다. <math>\mathbb C</math> 위에서 매끄러운 적절한 스킴 <math>X</math> 또는 모든 콤팩트 [[켈러 다양체]]에 대해 동일한 결론이 적용된다.

예를 들어, 호지 정리는 매끄러운 사영 곡선 <math>X</math>의 종수를 <math>H^1(X, \mathcal O)</math>의 차원으로 정의함을 의미한다. 이는 모든 체 ''<math>\mathbb K</math>''에 대해 의미가 있다.  ''<math>\mathbb K</math>''가 복소수인 경우 이 정의는 위상 수학적 정의(첫 번째 [[베티 수]]의 절반)와 같다. 호지 이론은 복소 다형체의 위상 수학적 특성에 대한 많은 작업에 영감을 주었다.

== 리만–로흐 정리 ==
체 ''<math>\mathbb K</math>''에 대한 적절한 스킴 ''<math>X</math>''의 경우 ''<math>X</math>''에서 연접층 ''<math>E</math>''의 [[오일러 지표|오일러 특성]]은 정수이다.

:: <math>\chi(X,E)=\sum_j (-1)^j\dim_k(H^j(X,E)).</math>

연접층 ''<math>E</math>''의 오일러 특성은 [[리만-로흐 정리]]와 그 일반화, [[히르체브루흐-리만-로흐 정리|히르체부르흐-리만-로흐 정리]] 및 [[그로텐디크-리만-로흐 정리]]에 따라 ''<math>E</math>''의 [[천 특성류]]에서 계산할 수 있다. 예를 들어 ''<math>L</math>''이 체 ''<math>\mathbb K</math>'' 위의 매끄럽고 기하학적으로 연결된 곡선 ''<math>X</math>''의 선 다발이면 다음과 같다.

:: <math>\chi(X,L)=\text{deg}(L)-\text{genus}(X)+1,</math>

여기서 ''<math>\text{deg}(L)</math>''은 ''<math>L</math>''의 차수를 나타낸다.

소멸 정리와 결합할 때 리만-로흐 정리는 종종 선다발 단면의 선형 공간 차원을 결정하는 데 사용될 수 있다. ''<math>X</math>''의 선다발에 충분한 단면이 있음을 알면 ''<math>X</math>''에서 사영 공간, 아마도 닫힌 몰입으로서 사상을 정의하는 데 사용할 수 있다. 이 접근법은 다형체를 분류하는 데 필수적이다.

리만-로흐 정리는 또한 [[아티야-싱어 지표 정리]]에 의해 컴팩트 복소 다양체의 정칙 선형 다발에 대해 유지된다.

== 증가 ==
<math>n</math> 차원 스킴에서 코호몰로지 군의 차원은 기껏해야 ''<math>n</math>''차 다항식 정도로 커질 수 있다.

''<math>X</math>''를 <math>n</math> 차원 사영 스킴으로 놓고 ''<math>D</math>''를 ''<math>X</math>''에 대한 제수라고 한다. 만약에 <math>\mathcal F</math>가 ''<math>X</math>''의 연접층이면,

모든 <math>i</math>에 대해 <math>h^i(X,\mathcal F(mD))=O(m^n)</math>.

''<math>X</math>''에 대한 [[네프 가역층|네프 약수]] ''<math>D</math>''의 더 높은 코호몰로지에 대해;

<math>h^i(X,\mathcal O_X(mD))=O(m^{n-1})</math>

== 응용들 ==
체 ''<math>\mathbb K</math>''에 대한 스킴 ''<math>X</math>''가 주어지면 변형 이론은 극소 이웃에 대한 ''<math>X</math>''의 변형을 연구한다. 환 위의 변형에 관한 가장 간단한 경우 <math>R := \mathbb K[\epsilon]/\epsilon^2</math>의 [[이원수 (수학)|이원수]], [[일반점|특수 올]]과 같은 ''<math>\text{Spec}\,R</math>''에 대한 스킴 ''<math>X_R</math>''이 있는지 검사

: <math>X_R \times_{\operatorname{Spec } R} \operatorname{Spec} k</math>

주어진 ''<math>X</math>''와 동형이다. 접층 <math>T_X</math> 계수 연접층 코호몰로지는 ''<math>X</math>''가 매끄러운 경우 ''<math>X</math>''의 변형 클래스를 제어한다. 즉,

* 위 유형의 변형의 동형 클래스는 첫 번째 일관된 코호몰로지에 의해 매개  변수화된다. <math>H^1(X, T_X)</math>,
* <math>H^2(X, T_X)</math>에 위와 같이 ''<math>\text{Spec}\,R</math>''에 대한 ''<math>X</math>''의 변형이 존재함과 소멸됨이 동치인 원소([[Obstruction class|방해 클래스]] 라고 함)가 있다.

== 각주 ==
{{각주}}

== 참고 문헌 ==
* {{저널 인용|title=Un théorème de finitude concernant les variétés analytiques compactes|journal=Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences de Paris|last1=Cartan|first1=Henri|last2=Serre|first2=Jean-Pierre|url=https://gallica.bnf.fr/ark:/12148/bpt6k3189t/f128.item|year=1953|volume=237|pages=128–130|zbl=0050.17701}}
* {{인용|author1-first=Hans|author1-last=Grauert|author1-link=Grauert|author2-first=Reinhold|author2-last=Remmert|author2-link=Reinhold Remmert|title=Coherent Analytic Sheaves|volume=265|publisher=[[Springer-Verlag]]|year=1984|isbn=3-540-13178-7|mr=0755331|doi=10.1007/978-3-642-69582-7|series=Grundlehren der mathematischen Wissenschaften}}
* {{인용|author1-last=Grothendieck|author1-first=Alexandre|author1-link=Alexander Grothendieck|author2-last=Raynaud|author2-first=Michèle|title=Séminaire de Géométrie Algébrique du Bois Marie – 1960–61 – Revêtements étales et groupe fondamental (SGA 1) (Documents Mathématiques '''3''')|orig-year=1971|arxiv=math.AG/0206203|publisher=[[Société Mathématique de France]]|location=Paris|isbn=978-2-85629-141-2|year=2003|mr=2017446}}
* Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.
* {{Hartshorne AG|ref=none}}
* {{인용|author1-first=Jean-Pierre|author1-last=Serre|author1-link=Jean-Pierre Serre|title=Faisceaux algébriques cohérents|journal=Annals of Mathematics|volume=61|issue=2|pages=197–278|year=1955|doi=10.2307/1969915|mr=0068874|jstor=1969915|url=https://www.college-de-france.fr/media/jean-pierre-serre/UPL5435398796951750634_Serre_FAC.pdf}}
* {{Eom|title=Finiteness theorems|author-last1=Parshin|author-first1=A.N.|oldid=44303}}
* {{서적 인용|title=Theory of Stein Spaces|last1=Grauert|first1=Hans|last2=Remmert|first2=Reinhold|year=2004|series=Classics in Mathematics|pages=186–203|chapter=The Finiteness Theorem|doi=10.1007/978-3-642-18921-0_8|isbn=978-3-540-00373-1}}

== 외부 링크 ==
* {{인용|author1=The Stacks Project Authors|title=The Stacks Project|url=http://stacks.math.columbia.edu/|ref=none}}

[[분류:복소다양체]]
[[분류:벡터 다발]]
[[분류:층론]]
[[분류:대수기하학]]