연접층 코호몰로지

수학에서, 특히 대수기하학과 복소다양체론에서 '''연접층 코호몰로지'''()는 특정 성질을 가진 함수들을 생성하는 방법이다. 많은 기하학적 질문은 선다발 단면 또는 보다 일반적인 연접층이 존재하는지 대한 질문으로 귀결될 수 있다. 이러한 단면은 일반화된 함수로 볼 수 있다. 코호몰로지는 단면을 생성하거나 단면이 존재하지 않는 이유를 설명하기 위한 계산을 제공한다. 또한 대수 다형체들을 구별하기 위한 불변량을 제공한다.
대수 기하학과 복소 해석 기하학의 대부분은 연접층와 그 코호몰로지의 관점에서 공식화된다.
연접층은 선형 다발을 일반화 한 결과로 볼 수 있다. 복소 해석 공간에 대한 '''해석적 연접층'''의 개념이 있고 이와 비슷하게 스킴에 대한 '''대수적 연접층'''이라는 개념이 있다. 두 가지 모두 주어진 공간 와 환 층 으로부터 정의된다. 그리고 정칙 함수 또는 정규 함수의 다발 및 연접층은 -가군(즉, -가군층) 범주의 충만한 부분 범주로 정의된다.
접다발 같은 선형 다발은 기하학에서 근본적인 역할을 한다. 보다 일반적으로, 의 닫힌 부분 다형체 의 경우, 포함 함수 를 가진  위의 선형 다발 는  위의 연접층, 즉,  밖에서 인 직상층 를 결정한다. 이런 식으로, 에 대한 연접층으로 표현될 수 있는 의 부분 다형체에 대한 많은 질문이 있다.
선형 다발과 달리, 해석적 또는 대수적 연접층은 아벨 범주를 형성하므로 핵, 상 및 여핵들 가져오기와 같은 작용에서 닫힌다. 스킴에서 '''준연접층'''은 무한 랭크 국소 자유 층를 포함하는 연접층의 일반화이다.
위상 공간 에서 아벨 군 층 의 경우, 정수 에 대한 층 코호몰로지 군 들은 전역 단면 함자 의 오른쪽 유도 함자로 정의된다. 결과적으로, 에 대해 는 이고 는 로 규명 할 수 있다. 층의 짧은 완전열 에 대해, 코호몰로지 군의 긴 완전열
: 
이 있다.
만약에 가 스킴  위의 -가군의 층이면, 기저 위상 공간 을 사용하여 정의된 코호몰로지 군 는 환  위의 가군이다. 정규 함수의 예를 들어, 가 체 '''' 위의 스킴이면, 코호몰로지 군 들은 ''''-선형 공간이다. 이 이론은 가 다음과 같은 결과들로 인해 연접층 또는 준 연접층인 경우에 강력해진다.
복소 해석학은 1953년 카르탕 정리에 의해 혁신되었다. 이 결과는, 만약 가 스테인 공간 의 해석적 연접층이면, 는 전역 단면에 의해 생성되며, 이다. (복소 공간 가 스테인 공간임과 가 어떤 에 대해 의 닫힌 해석 부분 공간과 동형임은 동치다.) 이러한 결과는 주어진 특이점 또는 기타 성질을 가진 복소 해석 함수의 구성에 대한 이전 결과들의 많은 부분을 일반화한다.
1955년에 세르는 대수 기하학에 연접층를 도입했다(처음에는 대수적으로 닫힌 체에서 정의되었지만, 그로텐디크가 더 일반화하였다). 카르탕 정리의 유사점은 아주 일반적으로 유지된다. 가 아핀 스킴 의 준연접층이면, 는 전역 단면들에 의해 생성되며, 모든 에 대해 이다. 이는 층 을  -가군 로 대응시키는 동치관계로  아핀 스킴 에서 준연접층의 범주가 -가군 범주와 같다는 사실과 관련되어 있다. 사실, 아핀 스킴은 준연접층에 대한 고차 코호몰로지가 사라지는 것으로 모든 준콤팩트 스킴 중에서 특징지어진다.
아핀 스킴에 대한 코호몰로지가 사라진 결과: 분리된 스킴 , 의 아핀 열린 덮개 ,  위의 준연접층 에 대해, 코호몰로지 군 들은 열린 덮개와 관련하여 체흐 코호몰로지 군과 동형이다. 즉, 의 단면을 알고 아핀 열린 부분 스킴 들의 모든 유한 교집합에서 의  계수 코호몰로지를 결정한다.
체흐 코호몰로지를 사용하면 임의의 선다발의 계수로 사영 공간의 코호몰로지를 계산할 수 있다. 즉, 체 '''', 양의 정수 , 임의의 정수 에 대해, '''' 위의 사영 공간 의 선다발  계수 코호몰로지는
: 
로 주어진다. 특히, 이 계산은 '''' 위의 사영 공간의 임의의 선다발에 계수 코호몰로지가 ''''-선형 공간으로서 유한 차원을 갖는다.
위의 이러한 코호몰로지 군의 소멸 차원 은 '''그로텐디크 소멸 정리'''의 아주 특별한 경우이다:  차원 뇌터 위상 공간 에서 임의의 아벨 군 층 에 대해,  . 이것은 특히 뇌터 스킴 (예: 체에 대한 대수 다양체)와 준연접층 에 유용하다.
매끄러운 차 사영 평면 곡선 이 주어지면, 층 코호몰로지 는 코호몰로지에서 긴 완전열을 사용하여 쉽게 계산할 수 있다. 먼저, 매장 에 대해  가 완전하므로 코호몰로지 군의 동형
: 
이 있다. 이것은  위의 연접층의 짧은 완전열을 의미한다.
이는 '''이데알 열'''라고 하며, 코호몰로지에서 긴 완전열을 통해 코호몰로지를 계산하는 데 사용할 수 있다. 이 열로부터,
: 
사영 공간에 대한 이전 계산을 사용하여 이를 단순화할 수 있다. 단순화를 위해 기저 환이  또는 대수적으로 닫힌 체라고 가정한다. 그러면 동형 사상
: 
이 있다. 이는 곡선의 가 랭크
:: 
인 유한 차원 선형 공간임을 보여준다.
다형체들의 곱에 대한 연접층 코호몰로지에는 퀴네트 공식의 아날로그가 있다. 체 ''''에 아핀-대각으로 주어진 준 콤팩트 스킴 , (예: 분리된 스킴) , 라 하자. 그러면 동형 사상  이 있다. 여기서 는 인 정사영이다.
=== 곡선의 층 코호몰로지 계산 ===
안에, 일반 단면 는 다음 이데알 열을 주며 곡선 을 정의한다: 그러면 이 긴 완전열로부터가 곡선의 종수이므로 퀴네트 공식을 사용하여 베티 수를 계산할 수 있다. 이것은에 대해 랭크이다. 특히, 만약 가 의 일반 단면의 사라지는 궤적에 의해 정의되면, 의 종수는따라서 임의의 종수를 가진 곡선은 의 내부에서 찾을 수 있다.
체 '''' 위에 적절한 스킴 과 위의 어떤 연접층 에 대해, 코호몰로지 군 은 ''''-선형 공간으로서 유한 차원을 갖는다. 가 ''''-사영 공간인 특별한 경우에는, 이는 위에서 논의한 사영 공간의 선다발의 경우로 축소하여 증명된다. 일반적인 체에 대한 적절한 스킴의 경우에서 그로텐디크는 저우 보조 정리를 사용하여 사영 스킴의 경우로 축소하여 코호몰로지의 유한성을 증명했다.
코호몰로지의 유한 차원성은 또한 아주 다른 주장에 의해 임의의 콤팩트 복소 공간에 대한 해석적 연접층의 유사한 상황에서도 유지된다. 카르탕과 세르는 프레셰 공간에서 콤팩트 연산자에 대한 슈바르츠의 정리를 사용하여 이 해석학적 상황에서 유한 차원성을 증명했다. 적절한 사상에 대한 이 결과의 상대적인 버전은 그로텐디크(국소 뇌터 스킴의 경우)과 Grauert (복소 해석 공간의 경우)가 의해 증명했다. 즉, 적절한 사상 (대수적 또는 해석학적 설정에서)과  위의 연접층 에 대해, 더 높은 직상층 들은 연접층이다. 가 점이면, 이 정리는 코호몰로지의 유한 차원성을 제공한다.
코호몰로지의 유한 차원성은 사영 다형체에 대한 많은 수치적 불변량을 초래한다. 예를 들어, 가 대수적으로 닫힌 체 '''' 위의 매끄러운 사영 곡선이면, 의 종수는 '''' -선형 공간으로서 의 차원으로 정의된다. ''''가 복소수 체일 때, 이것은 고전적(유클리드) 위상의 복소 점들의 공간 의 종수과 일치한다.   (이 경우, 는 닫힌 유향 곡면이다.) 가능한 많은 고차원 일반화들 중에서 매끄러운 차원 사영 다형체 의 기하학적 종수는 의 차원이다. 그리고 산술 종수(하나의 관례에 따름)은 다음 교대합이다:
:: 
세르 쌍대성은 연접층 코호몰로지에 대한 푸앵카레 쌍대성의 유사체이다. 이 비유에서 표준 다발 은 유향 층의 역할을 한다. 즉, 체 '''' 위에 매끄러운 차원 적절한 스킴 에 대해 자연 '''대각''' '''사상''' 이 있다. 이 사상은 가 '''기하학적으로 연결되어''' 있는 경우 동형사상이다. 이는 ''''의 대수적 폐포로 를 기저 변화가 연결임을 의미한다.  위의 선형 다발 에 대한 세르 쌍대성은 다음 곱
:: 
는 모든 정수 에 대한 완벽한 페어링이라 말한다. 특히, '''' -선형 공간 과 는 동일한(유한한) 차원을 가진다. (세르는 또한 모든 콤팩트 복소 다양체에서 정칙 선형 다발에 대한 세르 쌍대성을 입증했다.) 그로텐디크 쌍대 이론은 진술이 덜 기초적이기는 하지만 연접층과 도식의 적절한 형태에 대한 일반화를 포함한다.
예를 들어,  대수적으로 닫힌 체 '''' 위에서 매끄러운 사영 곡선 의 경우, 세르 쌍대성은 의 제 1형식 공간 의 차원이 의 종수( 차원)와 같음을 함의한다.
GAGA 정리는 복소수에 대한 대수다양체을 해당 해석 공간과 관련시킨다. '''''' 위의 유한형 스킴 ''''의 경우 ''''의 대수적 연접층에서 관련 해석 공간 ''''의 해석적 연접층까지 함자가 있다. 핵심 GAGA 정리(사영 사례에 대한 세르의 정리를 일반화한 그로텐디크에 의한)는 ''''가 ''''''에 대해 적절하다면 이 함자는 범주의 동치성이라는 것이다. 더욱이, '''''' 위의 적절한 스킴 '''' 위의 모든 대수적 연접층 ''''에 대해 유한 차원 복소 선형 공간 사이의 자연 사상
:: 
은 모든 ''''에 대한 동형사상이다. (여기서 첫 번째 군은 자리스키 위상를 사용하여 정의되고 두 번째 군은 고전(유클리드) 위상를 사용하여 정의된다.) 예를 들어, 사영 공간에서 대수적 및 해석적 연접층 사이의 동등성은 의 모든 닫힌 해석적 부분 공간이 대수적이라는 저우 정리를 암시한다.
'''세르의 소멸 정리'''에 따르면 충분한 선 다발에 대해  적절한 스킴에  뇌터 환 및 연접층 위에  ~에 , 정수가 있다  모두를 위해 , 다발  전역 단면에 걸쳐 있으며 양의 정도에 코호몰로지가 없다.
세르의 소멸 정리가 유용하긴 하지만  문제가 될 수 있다. 고다이라 소멸 정리는 중요한 명시적 결과이다. 즉, 만약 가 특성이 인 체에 대한 매끄러운 사영 다형체, 은  위의 풍부한 선다발이고 는 표준 다발이면, 모든 에 대해,
:: .
세르의 정리는 의 큰 거듭 제곱에 대해 동일한 소멸을 보장한다. 고다이라 소멸과 그 일반화는 대수 다양체의 분류와 극소 모형 프로그램의 기본이다. 고다이라 소멸은 양의 표수를 가진 체에서 성립하지 않는다.
호지 정리는 연접층 코호몰로지를 특이 코호몰로지 (또는 드람 코호몰로지 )와 관련시킨다. 즉, 만약 가 매끄러운 복소 사영 다형체이면 복소 선형 공간의 표준 직합 분해가 있다. 모든 에 대해,
:: 
왼쪽에 있는 군은 의 특이 코호몰로지를 의미한다. 유클리드 위상에서, 오른쪽에 있는 군은 (GAGA에 의해) 자리스키 또는 고전적 위상에서 취할 수 있는 연접층의 코호몰로지 군이다.  위에서 매끄러운 적절한 스킴  또는 모든 콤팩트 켈러 다양체에 대해 동일한 결론이 적용된다.
예를 들어, 호지 정리는 매끄러운 사영 곡선 의 종수를 의 차원으로 정의함을 의미한다. 이는 모든 체 ''''에 대해 의미가 있다.  ''''가 복소수인 경우 이 정의는 위상 수학적 정의(첫 번째 베티 수의 절반)와 같다. 호지 이론은 복소 다형체의 위상 수학적 특성에 대한 많은 작업에 영감을 주었다.
체 ''''에 대한 적절한 스킴 ''''의 경우 ''''에서 연접층 ''''의 오일러 특성은 정수이다.
:: 
연접층 ''''의 오일러 특성은 리만-로흐 정리와 그 일반화, 히르체부르흐-리만-로흐 정리 및 그로텐디크-리만-로흐 정리에 따라 ''''의 천 특성류에서 계산할 수 있다. 예를 들어 ''''이 체 '''' 위의 매끄럽고 기하학적으로 연결된 곡선 ''''의 선 다발이면 다음과 같다.
:: 
여기서 ''''은 ''''의 차수를 나타낸다.
소멸 정리와 결합할 때 리만-로흐 정리는 종종 선다발 단면의 선형 공간 차원을 결정하는 데 사용될 수 있다. ''''의 선다발에 충분한 단면이 있음을 알면 ''''에서 사영 공간, 아마도 닫힌 몰입으로서 사상을 정의하는 데 사용할 수 있다. 이 접근법은 다형체를 분류하는 데 필수적이다.
리만-로흐 정리는 또한 아티야-싱어 지표 정리에 의해 컴팩트 복소 다양체의 정칙 선형 다발에 대해 유지된다.
 차원 스킴에서 코호몰로지 군의 차원은 기껏해야 ''''차 다항식 정도로 커질 수 있다.
''''를  차원 사영 스킴으로 놓고 ''''를 ''''에 대한 제수라고 한다. 만약에 가 ''''의 연접층이면,
모든 에 대해 .
''''에 대한 네프 약수 ''''의 더 높은 코호몰로지에 대해;
체 ''''에 대한 스킴 ''''가 주어지면 변형 이론은 극소 이웃에 대한 ''''의 변형을 연구한다. 환 위의 변형에 관한 가장 간단한 경우 의 이원수, 특수 올과 같은 ''''에 대한 스킴 ''''이 있는지 검사
: 
주어진 ''''와 동형이다. 접층  계수 연접층 코호몰로지는 ''''가 매끄러운 경우 ''''의 변형 클래스를 제어한다. 즉,
* 위 유형의 변형의 동형 클래스는 첫 번째 일관된 코호몰로지에 의해 매개  변수화된다. ,
* 에 위와 같이 ''''에 대한 ''''의 변형이 존재함과 소멸됨이 동치인 원소(방해 클래스 라고 함)가 있다.
* 
* 
* 
* 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.
* 
* 
* 
* 
* 
분류:복소다양체
분류:벡터 다발
분류:층론
분류:대수기하학