가 스킴이면 위의 일반적인 정의는 보다 명시적인 정의와 동일하다. -가군 층 이 준연접층임과 각각의 열린 아핀 부분 스킴 위에서 제한 이 위에 가군 과 관련된 층 과 동형임이 동치이다.. 이 국소적 뇌터 스킴이면, 가 연접층임과 가 준연접층이고 위의 가군 을 유한 생성으로 볼 수 있음이 동치이다.
아핀 스킴 에서 가군 을 연관된 층 으로 가져가며 -가군에서 준연접층으로 가는 범주 동치가 있다. 역 동치는 위의 준연접층 를 의 전역 단면의 -가군 로 가져간다.
다음은 스킴에 대한 준연접층의 몇 가지 추가 특성이다. [1]가 스킴이고 가 그 위에서 -가군이라 하자. 그러면 다음 명제들은 동치이다.
가 준 연접층이다.
의 각 열린 아핀 부분 스킴 에 대해, 는 -가군으로서 어떤 -가군 과 연관된 층 과 동형이다.
덮개 의 각 에 대해, 가 어떤 -가군과 연관된 층과 동형인 의 열린 아핀 덮개 가 존재한다.
의 각 열린 아핀 부분 스킴 쌍에 대해, 자연 준동현사상
은 동형사상이다.
의 각 열린 아핀 부분 스킴 와 각 에 대해, 가 영이아닌 의 열린 부분 스킴을 로 쓰면, 자연 준동형사상
임의의 환 달린 공간에서 모든 준연접층이 아벨 범주를 형성하지는 않는다. 다른 한편으로, 임의의 스킴에 대한 준연접층은 아벨 범주를 형성하며, 그 맥락에서 아주 유용하다.[2]
임의의 환 달린 공간 에서, 연접층은 -가군 범주의 전체 부분 범주인 아벨 범주를 형성한다.[3] (유사하게, 임의의 환 위의 연접가군 범주는 모든 -가군 범주의 전체 아벨 부분 범주이다..) 따라서 연접층 사상의 핵, 상, 여핵은 연접층이다. 두 연접층의 직합은 연접층이다. 보다 일반적으로 두 연접층의 확장인 -가군은 연접층이다.[4]
연접층의 부분 가군은 유한 유형인 경우 연접층이라고 다. 연접층은 항상 - 유한 표현 가군이다. 이는 의 각 점 마다 에 대한 의 제한이 어떤 자연수 , 에 대해 사상 의 여핵과 동형인 열린 이웃 가 있다는 의미이다. 만약 가 연접층이면, 역으로 위의 모든 유한 표현 다발은 연접층이다.
환 층 는 그 자체에 대한 가군 층으로 보는 경우 연접층이라고 한다. 특히, 오카 연접층 정리은 복소 해석 공간 에서 정칙 함수 다발이 환 연접층이라고 진술한다. 증명의 주요 부분은 인 경우이다. 마찬가지로 국소 뇌터 스킴에서, 구조 다발 는 연접환 층이다.[5]
환 달린 공간 위의 -가군 은 유한 랭크 국소 자유 또는 선형 다발이라고 한다. 의 모든 점에 대해 다음이 성립하는 열린 이웃 이 있다: 제한 이 의 복사본들의 유한 직합과 동형이다. 만약에 가 의 모든 점 근처 같은 랭크 인 자유대상이면, 선형 다발 를 랭크 이라 한다.
스킴 위에서 이 층론적 의미의 선형 다발들은, 스킴 와 사상 , 열린 집합 로 이뤄진 의 덮개와 위에 에 대한 두 개의 동형 사상이 선형 자기 동형 사상을 기준으로 다른 로 주어진 동형사상을 고려하면 보다 기하학적인 방식으로 정의된 선형 다발과 동일하다.[6](비슷한 동치성은 복소 해석 공간에도 적용된다. ) 예를 들어, 주어진 선형 다발 에 대해 이 기하학적 의미에서 대응하는 층 은 의 열린 집합 위에서, -가군 가 사상 의 단면 집합이도록 정의된다. 선형 다발의 다발론적 해석은 선형 다발(국소 뇌터 스킴에서)이 연접층의 아벨 범주에 포함된다는 이점이 있다.
국소 자유 층은 표준 -가군 연산으로 갖춰 오지만 국소 자유 층을 돌려준다.
, 은 뇌터 환이라 하자. 그러면 위의 선형 다발들은 위의 유한 생성 사영 가군과 연관된 층이다. 또는 (동등하게) 위의 유한 생성 평탄 가군이다.[7]
이 -등급 뇌터환일 때, 가 뇌터 환 위의 사영 스킴이라 하자. 그럼 각 -등급 -가군 은 이 -가군 와 관련된 층인 위의 준연접층 를 결정한다. 여기서 는 의 양의 차수 동차 원소들이고 는 가 영이 아닌 궤적이다.
예를 들어 각 정수 에 대해 , 이 로 주어지는 등급 -가군이라 하자. 그럼 각 는 위의 준연접층 을 결정한다. 만약에 이 에 의해 -대수로서 생성된다면, 는 위의 선다발 (가역 다발)이다. 그리고 는 의 -번째 텐서승이다. 특히, 는 사영 -공간에서 보편 선다발이라고 한다.
선형 다발이 아닌 위의 연접층의 간단한 예는 다음 열에서 여핵에 의해 제공된다.
이는 두 다항식의 영점 궤적에 제한된 가 2차원 올을 갖고 다른 곳에서는 1차원 올을 가지기 때문이다.
이데알 층 : 만약 가 국소적 뇌터 스킴 의 닫힌 부분 스킴이면, 에서 영인 모든 정규 함수들의 층 는 연접층이다. 마찬가지로, 만약 가 복소 해석 공간 의 닫힌 해석 부분 공간이면, 이데알 층 은 연접층이다.
국소적 뇌터 스킴의 의 닫힌 부분 스킴 의 구조 층 는 위의 연접층으로 볼 수 있다. 정확히 말하면 직상층 이다. 여기서 는 포함 사상이다. 이는 복소 해석 공간의 닫힌 해석 부분 공간에 대해서도 마찬가지이다. 층 는 열린 집합 의 점에서 0차원 올(아래에 정의됨)을 가지고, 의 점에서 1차원 올을 가진다. 위의 연접층의 짧은 완전열이 있다:
를 환 달린 공간의 사상(예: 스킴의 사상 )이라 하자. 만약에 가 위에서 준연접층이면 역상 -가군 (또는 당김 ) 는 위에서 준 연접층이다. [10] 스킴의 사상 과 ㅜ이의 연접층 에 대해 , 당김 은 전체적으로 연접층은 아니다(예: 는 연접층이 아닐 수 있다), 그러나 연접층의 당김은 가 국소 뇌터인 경우 연접층이다. 선형 다발이 되는 선형 다발의 당김은 주요한 예시다.
만약에 가 스킴들의 준콤팩트 준분리 사상이고 가 위에서 준연접층이면, 직상층(또는 밂 ) 는 위에서 준연접층이다.
연접층의 직상은 종종 연접층이 아니다. 예를 들어 체의 경우 , 를 위의 아핀 직선이라 하고 사상 를 고려하자; 그러면 직상 는 다항식 환 과 연관된 위의 층이다. 그러나 가 -선형 공간으로서 무한 차원을 가지기 때문에 연접층은 아니다. 한편, Grauert와 그로텐디크의 결과에 따르면 적절한 사상에 대해 연접층의 직상은 연접층이다.
한 점 에서 의 성질이 의 이웃에서 의 성질을 결정한다는 사실은 연접층 의 중요한 특징이다. 임의의 층에 더 많은 특징이 있다. 예를 들어, 나카야마 보조정리는 (기하학적 언어로) 다음과 같이 말한다. 가 스킴 위의 연접층이면, 한 점 에서 의 올(잉여체 위의 벡터 공간 )가 0임과 가 의 어떤 열린 이웃에서 0임이 동치이다. 관련된 사실은 연접층의 올의 차원이 위쪽-반연속이라는 것이다.[11] 따라서 연접층은 열린 집합에서 일정한 랭크를 갖는 반면 낮은 차원의 닫힌 부분 집합에서는 랭크가 올라갈 수 있다.
같은 정신으로: 스킴 위의 연접층 이 선형 다발임과 의 모든 점 에 대해 줄기가 국소 환 위의 자유 가군임이 동치이다.[12]
일반적인 스킴에서는 연접층이 (줄기가 아닌) 올만으로는 선형 다발인지 여부를 결정할 수 없다. 그러나 축소된 국소적 뇌터 스킴에서 연접층은 랭크가 국소적로 일정한 경우에만 선형 다발이다. [13]
스킴의 사상 에 대해 가 위에서 분리되어 있으면 를 닫힌 몰입인 대각 사상이라 하자. 그리고 가 안에서 의 이데알 층이라 하자. 그러면 미분 형식 층은 로 를 당김 으로 정의할 수 있다. 이 층의 단면을 위에서 의 제 1미분형식이라고 한다. 그리고 이들은 에서 국소적으로 정규 함수 , 들의 유한합 으로 쓸 수 있다. 만약에 가 체 에 대해 국소적으로 유한 유형이면, 는 에서 연접층이다.
만약에 가 위에서 매끄러우면, (를 의미)는 위의 선형 다발이고, 의 여접다발이라고 부른다. 그러면 접다발는 쌍대 다발 로 정의된다. 위에서 매끄럽고 모든 곳에서 차원인 .에 대해 접다발은 랭크 를 갖는다.
만약에 가 위의 매끄러운 스킴 의 매끄러운 닫힌 부분 스킴이면, 위에서 선형 다발의 짧은 완전열이 있다:
체 위에서 매끄러운 스킴 와 자연수 ,에 대해, 위의 제 미분 형식의 선형 다발 은 -여접다발의 외승, 과 같이 정의된다. 위에서 차원 매끄러운 다형체에 대해, 표준 다발은 선다발을 의미한다. 따라서 표준 다발의 단면은 의 대수-기하학적에서 미분기하학의 부피 형식과 비슷한 개념이다. 예를 들어, 위에서 아핀 공간 의 표준 다발 단면은
로 쓸 수 있다. 여기서 는 계수가 의 원소인 다항식이다.
이 가환환이고 을 자연수라 하자. 각 정수 에 대해 , 라고 불리는, 위에서 사영 공간 에 선다발의 중요한 예가 있다. 이를 정의하기 위해 어떤 -스킴의 사상을 고려하자:
이는 좌표로 표현하면 로 주어진다. (즉, 사영 공간을 아핀 공간의 1차원 선형 부분 공간의 공간으로 생각하면 아핀 공간에서 0이 아닌 점을 연결하는 선으로 보낸다.) 그러면 의 열린 부분 집합 위의 의 단면은 위에서 차 동차 정규 함수 로 정의된다. 이는 위의 정규 함수로서
가 성립함을 뜻한다. 모든 정수 , 에 대해, 위의 선다발의 동형 이 있다.
특히, 위에서 모든 차 동차 다항식은 위에서 의 전역 단면으로 볼 수 있다. 사영 공간의 모든 닫힌 부분 스킴은 동차 다항식의 어떤 모임의 영점 집합으로 정의될 수 있으므로 선다발 의 어떤 단면의 영점 집합으로 정의될 수 있다.[14] 이는 닫힌 부분 스킴이 단순히 어떤 정규 함수 모음의 영점 집합인 단순한 아핀 공간의 경우와 대조된다. 위의 사영 공간 의 정규 함수들은 단지 "상수"(환 )이며, 따라서 선다발 을 고려하는 것이 필수적이다. .
세르는 아핀 공간에서 연접층보다 더 미묘한 사영 공간의 모든 연접층에 대한 대수적 설명을 제공했다. 이 뇌터 환(예: 체)이라 하고, 각각이 1등급인 등급환으로서 다항식 환 를 고려하자. 그러면 모든 유한 생성 등급 -가군 은 연관된 위의 에서의 연접층 을 가지고 있다. 에서의 모든 연접층은 유한 생성 등급 -가군 에서 이러한 방식으로 발생한다.(예를 들어, 선다발 은 로 등급이 낮아진 -가군 와 연관된 층이다.) 하지만 위에서 주어진 연접층을 생성하는 -가군 은 유일하지 않고, 을 기껏해야 유한하게 많은 등급에서만 0이 아닌 임의의 등급 가군으로 바꾼 것들을 동치로 보았을 때 유일하다. 보다 정확하게, 위의 연접층의 아벨 범주는 유한 생성 등급 -가군 범주를 기껏해야 유한하게 많은 등급에서만 0이 아닌 가군 범주의 세르 부분 범주로 자른 몫이다.[15]
체 위의 사영 공간 의 접다발은 선다발 의 측면에서 설명할 수 있다. 즉, 다음 짧은 완전열인 오일러 수열이 있다.
표준 다발 (접다발의 행렬식 다발의 쌍대)는 과 동형이다. 이것은 대수 기하학의 기본 계산이다. 예를 들어, 표준 다발이 풍부한 선다발의 음의 배수라는 사실은 사영 공간이 파노 다형체임을 의미한다. 복소수에 대해 이것은 사영 공간에 양의 리치 곡률을 갖는 켈러 계량이 있음을 의미한다.
랭크 2 선형 다발을 구성하는 유용한 방식 중 하나는, 매끄러운 사영 다형체 위의 랭크 2 선형 다발 와 여차원 2인 부분 다형체 사이의 대응 관계를 위의 특정 -군 계산을 이용해 설정하는 세르 구성 [16][17]pg 3이다. 이는 선다발 의 코호몰로지 조건에 의해 제공된다.(아래 참조).
한 방향의 대응은 다음과 같이 제공된다. 단면 에 대해 영점 궤적 을 연관시킬 수 있다. 만약에 가 여차원 2인 부분 다형체이면,
이는 국소적 완전 교차점이다. 즉, 아핀 차트 를 사용하면, 는 함수 로 나타낼 수 있다. 여기서 이고.
체 위의 매끄러운 다형체 의 선형 다발 는 의 저우 환에 천 특성류를 가진다. [20] 이들은 위상 수학의 천 특성류와 동일한 형식 성질을 만족한다. 예를 들어 의 선형 다발들의 짧은 완전열
에 대해, 의 천 특성류는
에 의해 주어진다. 선형 다발 의 천 특성류는 다음과 같다. 클래스에만 의존 그로텐디크 군에서 . 정의에 따라 스킴 에 대해 , 는 의 선형 다발의 동치류 집합에 대한 자유 아벨 군의 몫이다. 라는 관계로 위와 같이 짧은 완전열에 대해. 하지만 는 일반적으로 계산하기 어려우므로 대수적 K-이론은 일련의 관련 군을 포함하여 이를 연구하기 위한 많은 도구를 제공한다. 정수의 경우 .
이 내용의 변형에는 위의 연접층의 그로텐디크 군(또는 )이 있다.(위상수학 용어에서 G- 이론은 스킴에 대한 보렐-무어 호몰로지 이론의 형식적 성질을 가지고 있는 반면 K- 이론은 이에 상응하는 코호몰로지 이론 이다. ) 자연 동형 는 다음과 같은 경우 동형사상이다. 가 이 경우 모든 연접층이 선형 다발에 의해 유한 해상도를 갖는다는 것을 사용하여 규칙적 으로 분리된 뇌터 스킴이다. [21] 예를 들어, 그것은 체 위의 매끄러운 다형체에 대한 연접층의 천 특성류의 정의를 제공한다.
More generally, a Noetherian scheme is said to have the resolution property if every coherent sheaf on has a surjection from some vector bundle on . For example, every quasi-projective scheme over a Noetherian ring has the resolution property.
유한 상수 랭크 선형 다발과 국소적 자유 층이 상호 교환적으로 사용될 때 다발 동형과 층 동형을 구별하기 위해 주의를 기울여야 한다. 특히 주어진 선형 다발 에 대해, 정의에 의해 다발 준동형 사상 은 의 각 기하학적 점 에 대해 위의 스킴 사상(즉, ) 가 의 랭크 독립적인 의 선형 사상이다. . 따라서, 그것은 층 동형을 유도한다 해당 국소적 자유 사이의 일정한 랭크 -가군(이중 단면의 다발). 그러나 있을 수 있다 - 이런 식으로 발생하지 않는 가군 동형; 즉, 일정한 랭크를 갖지 않는 것이다.
특히 부분 다발 는 부분 층이다(즉, 는 의 부분층이다). 그러나 그 반대는 아닐 수 있다. 예를 들어 의 유효 까르띠에 제수 에 대해, 는 부분 층이지만 일반적으로 부분 다발은 아니다(모든 선다발은 부분 다발이 두 개만 있기 때문에).
임의의 고정된 스킴에 대한 준연접층은 아벨 범주를 형성한다. 가버는 모든 스킴의 준연접층이 특히 좋은 성질을 가진 아벨 범주인 그로텐디크 범주를 형성함을 보여주었다.[22] 준콤팩트 준분리 스킴 (예: 체에 대한 대수 다형체)은 위의 준연접층의 아벨 범주에 의해 동형사상을 기준으로 결정된다. 로젠버그는 의해 가브리엘의 결과를 일반화했다. [23]
연접층의 코호몰로지 이론은 대수기하학에서 근본적인 방법이다. 1950년대에야 도입되었지만 대수 기하학의 많은 초기 방법은 연접층에 적용된 층 코호몰로지로 명확해진다. 대체로 말하면, 연접층 코호몰로지는 지정된 성질을 가진 함수를 생성하는 방법으로 볼 수 있다. 선다발 또는 보다 일반적인 층의 단면은 일반화된 함수로 볼 수 있다. 해석적 복소기하학에서도 연접층 코호몰로지는 근본적인 역할을 한다.
연접층 코호몰로지의 핵심 결과로는 코호몰로지의 유한 차원성에 대한 결과, 다양한 경우에 코호몰로지가 사라지는 결과, 세르 쌍대성 등의 쌍대성 정리, 호지 이론 등 위상 수학과 대수 기하학의 관계, 리만-로흐 정리와 같은 연접층의 오일러 지표 공식 등이 있다.
Antieau, Benjamin (2016), “A reconstruction theorem for abelian categories of twisted sheaves”, 《Journal für die reine und angewandte Mathematik》 712: 175–188, arXiv:1305.2541, doi:10.1515/crelle-2013-0119, MR3466552