층(대수기하학)
덤프버전 :
분류
1. 개요[편집]
층(Sheaf)은 열린 집합내 위상공간적 대상에서 그것의 덮개 공간의 사상과 범주를 설명하기 위한 것이다.
2. 준층[편집]
준층(presheaf)이라는 것은 각 공간에서 포함관계가 제대로 맞다면 별로복잡한 것은 아니다. [math(\cal C)]를 데카르트 곱(cartesian product)이 있는 아무 범주[1]라고 생각하면, [math(X)]의 각 열린집합(open set)마다 [math(\cal C)]의 대상을 하나씩 준 것에 불과하다.
2.1. 정의[편집]
위상공간(topological space) [math(X)]에 대해서 함자(functor) [math( {\cal F}:{\rm Open}(X)^{{\rm op}}\to {\cal C})]를 [math(X)]의 준층(presheaf)라고 하자. 여기에서 [math({\rm Open}(X))]는 대상(object)을 [math(X)]의 열린 집합(open set)으로, 사상을 [math(\subseteq)]로 가지는 범주(Category)라고 하자. 그러면 이는 [math(U\times_X V=U\cap V)]가 성립한다. 여기서 [math(\rm op)]를 뺀다면 이를 준공층(precosheaf)라고 한다.
2.2. 예시[편집]
준층의 예를 들면 [math(X=\mathbb{R})]라고 할 때 [math({\cal F}(U)=\{\text{Ring of bounded functions on }U\})]라고 하자. 그렇다면 [math(U\subseteq V)]라면 [math({\cal F}(U)\subseteq {\cal F}(V))]가 되므로 이는 준층이 된다.
3. 층[편집]
열린집합(open set)의 연산대로 거기에 딸린 대상들도 거기에 맞춰서 행동하도록 만들고 싶다면 [math(U\cap V=\varnothing)]이라고 두자. 만약 이렇게 [math({\cal F}(U \cup V)={\cal F}(U)\times {\cal F}(V))] 직관적으로 [math(X=\mathbb{R})]이라고 한다면 [math(U\cup V)] 위의 함수들은 [math(U)] 위의 함수들과 [math(V)] 위의 함수들로 분리되는 걸 직관적으로 알 수 있다.
이때 [math(X)]의 덮개 공간(covering space) [math(\{U_i\})]를 생각해보면, [math({\cal F}(X))]의 정보는 [math({\cal F}(U_i))]들의 정보에 의해서 결정되어야 한다.
아래와 같이 두가지 공리를 만족하는 [math({\cal F})]를 층이라고 하자. 그리고 두 공리를 모아서 국소-전체 양립성(local-global compatibility)라고 한다. 그러니까 층은 국소적 특성이 전체적 특성을 결정하는 무언가다.
3.1. 공리 1[편집]
[math(\rho_{U_i\to X}(f)=f|_{U_i})]를 [math(U_i\to X)]에 대응되는 사상이 [math({\cal F}(X)\to {\cal F}(U_i))]라고 하면 [math(f\in {\cal F}(X))]가 [math(0)]일 필요충분조건은 [math(f|_{U_i}\in {\cal F}(U_i)=0)]인 것이다.
3.2. 공리 2[편집]
[math(f_i\in {\cal F}(U_i))]들이 있을 때 [math(f_i|_{U_i\cap U_j}=f_j|_{U_i\cap U_j})]라면 적당한 [math(f\in {\cal F}(X))]가 있어서 [math(f|_{U_i}=f_i)]가 된다. 또 공리 2의 [math(f)]는 공리 1에 의해서 유일성이 보장된다.
4. 층화[편집]
그렇다면 준층으로 층을 만들 수 있을까? 준층은 국소적 특성, 전체적 특성 모두 가지는데, 문제는 전체적 특성과 국소적 특성이 완전히 따로 논다는 것이다. 그래서 쓸데없는 전체적 특성을 깔끔히 버리고 국소적 특성으로 전체적 특성을 다시 만드는 것이다. 이런 작업을 층화(sheafification)라고 부른다. 우리는 다음과 같은 표기를 만들자.
표기 준층 사이의 사상, 즉 자연 변환(natural transformation), [math({\cal F}\to {\cal G})] 있다고 하자. 그렇다면 이것이 국소성의 동형사상이라는 것은 적당한 [math(X)]의 덮개(covering) [math(\{U_i\})]가 있어서 각 [math(i)]마다 [math(V\subseteq U_i)]가 있다면 이걸로 귀납(induce)되는 [math({\cal F}(V)\to {\cal G}(V))]가 동형사상이라는 것이다.
이제 [math(X)]의 모든 준층들의 범주를 [math({\rm PSh}_{{\cal C}}(X))]라고 하자. 여기에서 사상은 자연 변환이다. 그렇다면 모든 국소성의 동형사상들의 류(class)에 대해서 이 범주를 국소화한 것을 바로 층들의 범주(category of sheaves)라고 하고 [math({\rm Sh}_{{\cal C}}(X))]라고 쓴다. (여기서 어떤 범주를 그것의 어떤 사상들의 류에 대해 국소화한다는 것은, 그 범주에 이 사상들의 역을 추가하여 이들을 동형사상들로 만드는 것이다.) 그리고 이것은 그냥 층들을 모은 것들의 범주와 동치이다.
여기에서 집합론적 문제(set-theoretic issue)가 발생하는데, 바로 국소성의 동형사상이 집합이 아니라면 층들의 범주는 국소적으로 작은 범주가 될 수 없고 이는 많이 심각한 문제다. 이를 우리는 [math(\cal C)]를 언제나 작다고 가정하고 도달 불가능한 기수(inaccessible cardinal)의 존재를 가정하는 것으로 해결할 것이다. 도달 불가능한 기수의 존재성이 ZFC로 증명될 수 있다면 이 기수에 대한 폰 노이만 전체(Von Neumann universe)를 ZFC의 모델로 만드므로 ZFC가 일치하게 만들고 이는 불완전성 정리때문에 저 기수의 존재성은 ZFC와 독립일 수밖에 없다. 따라서 이 기수의 존재성을 가정하는 것이 껄끄러울 수 있는데, ZFC에다가 저 기수의 존재성을 가정한 새로운 공리계를 받아들인다. 그러면 모든 범주의 대상들을 모은 것의 크기가 도달 불가능한 기수보다 작다는 가정으로 (아마도 집합론을 제외한) 진행할수 있다.
그렇다면 당연히 [math({\rm Sh}_{{\cal C}}(X)\longrightarrow {\rm PSh}_{{\cal C}}(X))]라는 함자가 있을 것이다. 그럼 이건 왼쪽으로 수반(left adjoint)이 존재하고 이를 층화라고 부른다. 여기선 R. Hartshorne, GTM Algebraic Geometry에 제시된 표기를 따라서 [math({\cal F}^a)]라고 썻다.
4.1. 예시[편집]
복소해석적인 예시로 층화의 중요성을 좀더 자세히 설명한다면, [math({\rm exp})]를 복소지수함수라고 하고 [math({\cal O})]를 아래와 같은 정칙 함수(holomorphic function)로 정의하면,
다음과 같은 완전계열(exact sequence)이 존재한다.
여기에서 [math(2\pi i \mathbb{Z})]는 모든 열린 집합에 대해서 [math(2\pi i \mathbb{Z})]란 값을 내놓는 상수층이다. 이제 [math({\cal O})]는 층이다. 바로 해석적 연속(analytic continuation)에 의해서. 하지만 문제가 있는데, 바로 [math({\cal A})]가 층이 아니다. 그 이유는 로그함수에 있는데, 가지 제거(branch cut)되는 위치만 잘 잡으면 [math(0)]을 포함하지 않는 단순하게 연결된 정의역은 모두 로그함수를 정의할 수 있지만 문제는 로그함수가 [math(\mathbb{C}\setminus \{0\})]에서 정칙이 아니다. 한 바퀴 삥 돌리면 [math(2\pi i )]만큼 차이나니까. 여기서 층화는 오른쪽으로 수반을 가지므로, 완전계열을 보존하고 [math({\cal A})]의 층화는 국소적으로만 보면 디스크 안의 모든 영이 아닌 정칙 함수(nonzero holomorphic function)는 로그를 씌울 수 있기 때문에 해결이 가능하다.
따라서 아래와 같이 완전계열을 만들 수 있다.
그렇다면 여기에서 바로 다음이 도출될수 있다.
그런데 마지막 전사 부분에 층화 과정에서 [math(f(z)=z)]같은 함수가 만들어지기 때문에 전사 부분은 잘못되었다. 그러므로, 다음 함자를 정의할 수 있다.
그렇다면 이것은 완전함자가 아니고, 층 코호몰로지(sheaf cohomology)를 만드는 동력이 된다. [math({\cal F})]가 층일때 stalk를 정의한다면 [math({\cal F}_x=\lim_{x\in U}{\cal F}(U))]로 될수 있다. 여기에서 lim이라고 쓴 것은 공극한이고 [math(x\in X)]다. 이는 [math(x)]에서의 국소적 구조를 알려준다. [math(U\subseteq X)]가 열린 집합이고 [math({\cal F})]가 [math(X)]의 층일 때 [math({\cal F}|_{U})]를 [math({\cal F}|_{U}(V)={\cal F}(U\cap V))]라고 정의하자. 그러면 이것도 층이다.
연속함수 [math(f:X\to Y)]가 있고 [math({\cal F})]가 [math(X)]의 층, [math({\cal G})]가 [math(Y)]의 층일 때 다음 둘을 정의하자.
이 둘을 각각 직접적 상 함자(direct image functor), 역상 함자(inverse image functor)라고 부르며, 이를 함자로 표기할 경우, 각각은 각각에 대해서 수반 함자(adjoint functor)다.
[math({\cal F}(U))]의 원소를 [math(U)]에서의 [math({\cal F})]의 단면(section)이라고 부른다. 그리고 [math(U=X)]일 때는 전체 단면(global section)이라고 부른다.
4.2. 그로덴티크 위상과 층[편집]
이제 그로덴티크 위상(Grothendieck topology)을 설명하겠다.[2] [math(\cal C)]이 유한극한을 가지는 범주고, [math(X\in {\rm ob}({\cal C}))]라고 하자. 그러면 각 [math(X)]들에 대한 덮개의 공리계를 다음과 같이 설정하자.
- [math(\{Y\to X\})]와 같은 동형사상은 덮개이다.
- [math(\{U_i\to X\})]가 덮개이고 [math(Y\to X)]가 있다면 [math(U_i\times_X Y\to Y)] 역시 덮개이다.
- [math(\{U_i\to X\})]가 덮개이고 [math(\{U_{ij}\to U_i\})]도 각 [math(i)]에 대해서 덮개라면 [math(\{U_{ij}\to X\})]도 덮개이다.
그렇다면, [math(({\cal C},J))]가 site라면 여기 위의 층을 정의할 수 있다. [math({\cal F}:{\cal C}^{{\rm op}}\to {\rm D})]라는 함자가 있다면 이를 [math(({\cal C},J))]의 준층이라고 하고 이것이 층이란 것은 다음 두 가지를 만족할 때를 말한다.
- 덮개 [math(\{U_i\to U\})]가 있고 [math(f\in {\cal F}(U))]가 모든 [math(i)]에 대해서 [math(f|_{U_i}=0)]일 때 [math(f=0)]이다.
- 덮개 [math(\{U_i\to U\})]에 대해서 [math(f_i\in {\cal F}(U_i))]들이 [math(f_i|_{U_i\times_X U_j}=f_j|_{U_i\times_X U_j})]를 만족한다면 적당한 [math(f\in {\cal F}(U))]가 있어서 [math(f|_{U_i}=f_i)]가 된다.
이 문서의 내용 중 전체 또는 일부는 2024-04-27 19:09:07에 나무위키 층(대수기하학) 문서에서 가져왔습니다.