가역층
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
가역층은 환 달린 공간 위의 연접층으로, 텐서곱에 대한 역원을 갖거나 1차원 국소 자유 가군층인 경우를 말한다. 가역층은 선 다발과 밀접한 관련이 있으며, 대수기하학 및 복소다양체론에서 중요한 역할을 한다. 스킴을 통한 정의에서는 대수적 선다발의 단면으로 주어진다. 가역층의 동형류는 텐서곱 아래에서 아벨 군을 형성하며, 이를 피카르 군이라고 한다. 피카르 군은 층 코호몰로지류와 연관되며, 카르티에 인자와의 관계를 통해 가역층을 구성할 수 있다.
더 읽어볼만한 페이지
- 대수기하학 - 타원곡선
타원곡선은 체 위에서 정의되고 특이점이 없으며 종수가 1인 사영 대수 곡선으로, 유리점을 가지며, 특정 형태의 방정식으로 표현되고, 실수체 위에서는 연결 성분 개수가 판별식에 따라 달라지며, 복소수체 위에서는 원환면과 위상적으로 동형이고, 점들 간에 군 연산이 정의되어 암호학 및 정수론에 활용된다. - 대수기하학 - 매끄러운 함수
매끄러운 함수는 함수의 미분 가능성을 나타내는 척도로, k번 미분 가능하고 그 미분 함수가 연속일 경우 Ck로 표기하며, 무한히 미분 가능한 함수를 의미하고, 곡선의 부드러움을 측정하는 데 활용된다.
가역층 |
---|
2. 정의
환 달린 공간 위의 연접층 에 대하여 다음 두 조건은 서로 동치이며, 이 경우 를 '''가역층'''이라고 한다.
- 는 텐서곱에 대한 역원을 갖는다. 즉, 어떤 연접층 에 대하여, 이다.
- 는 1차원 국소 자유 가군층이다.
환 달린 공간 에서, -가군들의 층의 동형류는 -가군의 텐서 곱 연산에 대해 모노이드를 이룬다. 이 연산의 항등원은 자체이다. 가역 층은 이 모노이드의 가역 원소이다. 구체적으로, 이 -가군의 층이라면, 다음의 동치 조건 중 하나를 만족할 때 을 '''가역'''이라고 부른다.[1][2]
- 어떤 층 이 존재하여 가 성립한다.
- 자연 준동형 사상 가 동형 사상이다. 여기서 는 쌍대 층 를 나타낸다.
- 로 정의되는 -가군에서 -가군으로의 함자는 범주의 동치이다.
계수가 1인 모든 국소 자유 층은 가역적이다. 만약 가 국소 환 달린 공간이면, 이 가역적인 것은 그것이 계수가 1인 국소 자유 층인 것과 동치이다.
가역층은 선 다발과 밀접한 관련이 있으며, 두 용어가 때때로 혼용되기도 한다. 대수기하학과 복소다양체론에서 오는 경우가 가장 중요하며, 이러한 이론에서의 가역층은 실제로는 적절하게 공식화된 선형 다발이다.
가역층은 스키마론에서 '국소 자유이고 랭크 1'이라는 조건으로 정의할 수 있다. 즉, 텐서의 역원 조건은 위에서 국소적으로, 가 가환환 위의 랭크 1의 자유 가군을 이루는 층임을 이끌어낸다. 대수적 정수론에서의 분수 아이디얼이 그 예시이며, 정의는 그 이론을 포착한다. 더 일반적으로, 가 아핀 스키마 일 때, 가역층은 위의 랭크 1의 사영 가군으로부터 온다.
2. 1. 스킴을 통한 정의
스킴 위의 층의 경우, 가역층은 '''대수적 선다발'''(algebraic line bundle영어)의 단면으로 주어진다.스킴 위의 '''대수적 선다발'''은 1차원 대수적 선다발이다. 즉, 다음과 같은 데이터로 주어진다.
이 조건은 다음을 만족시켜야 한다.
같은 스킴 위의 두 대수적 선다발 , 사이의 '''동형 사상'''은 다음과 같은 데이터로 주어진다.
- -스킴의 동형 사상
이 데이터는 다음 조건을 만족시켜야 한다.
그렇다면, 대수적 선다발의 단면들은 가역층을 이룬다. 반대로, 임의의 스킴 위의 임의의 가역층은 어떤 대수적 선다발의 단면층과 동형이다.
3. 예시
''X''를 아핀 스킴 이라고 하자. 그러면 ''X'' 위의 가역층은 ''R'' 위의 랭크 1 사영 가군에 연관된 층이다. 예를 들어, 이는 분수 아이디얼을 포함하는데, 이는 수체 정수환 위의 랭크 1 사영 가군이기 때문이다. 대수적 정수론에서의 분수 아이디얼 또한 가역층의 예시이며, 가역층의 정의는 이 이론을 포착한다. 더 일반적으로, 가 아핀 스키마 일 때, 가역층은 위의 랭크 1의 사영 가군으로부터 온다.
4. 성질
''X'' 상의 가역층의 동형류는 텐서곱 아래에서 아벨 군을 형성한다. 이 군은 아이디얼 유군을 일반화한다. ''X''에 대한 데이터를 사용하여 가역층을 직접 구성하면 카르티에 제수의 개념이 도출된다.[3]
4. 1. 피카르 군
''X'' 상의 가역층들의 동형류는 텐서곱 아래에서 아벨 군을 이룬다. 이 군은 아이디얼 유군을 일반화하며, 보통 다음과 같이 표기한다.:
여기서 ''Pic''는 피카르 함자이다. 이는 대수 곡선의 야코비 다양체 이론을 포함하고 있어, 이 함자에 대한 연구는 대수 기하학의 주요 연구 대상이다.
''X''에 대한 데이터를 사용하여 가역층을 직접 구성하면 카르티에 제수의 개념이 도출된다.
4. 2. 호몰로지와의 관계
환 달린 공간 위의 가역층에 대하여, 층 코호몰로지류 의 원소를 대응시킬 수 있다. 이는 표준적이며 전단사이고, 텐서곱을 보존한다. 위의 가역층들의 동형류의 아벨 군을 '''피카르 군''' 이라고 하는데, 이에 따라 표준적으로 아벨 군의 동형:
이 존재한다.
일반적으로, ''X'' 상의 가역 층의 동형 사상은 텐서 곱 아래에서 아벨 군을 형성한다. 이 군은 아이디얼 유수 군을 일반화한다. 일반적으로 다음과 같이 표기한다.
:
여기서 ''Pic''는 피카르 함자이다. 이는 또한 대수 곡선의 야코비 다양체 이론을 포함하므로, 이 함자에 대한 연구는 대수 기하학의 주요 쟁점이다.
''X''에 대한 데이터를 사용하여 가역 층을 직접 구성하면 카르티에 제수의 개념이 도출된다.
4. 3. 인자와의 관계
임의의 국소 뇌터 스킴 $X$ 위의 카르티에 인자 $D$가 주어졌다면, 이에 대응되는 가역층을 정의할 수 있다. 카르티에 인자 $D \in \Gamma(\mathcal K_X^\times/\mathcal O_X^\times)$가 열린 덮개 $\{U_i\}_{i\in I}$에서 $f\in\Gamma(\mathcal K_X^\times,U_i)$로 표현된다고 하자. (여기서 $\mathcal K_X$는 유리 함수층이다.) 그렇다면, $D$에 대응되는 가역층 $\mathcal O_X(D)\subseteq\mathcal K_X$은 $(f_i^{-1})_{i\in I}$로 생성되는 부분 가군층이다. 이 경우, 임의의 카르티에 주인자 $D$에 대하여 $\mathcal O_X(D) \cong\mathcal O_X$이므로, 이는 카르티에 인자류군에서 피카르 군으로 가는 군 준동형:$\operatorname{CaCl}(X) \to \operatorname{Pic}(X)$
을 정의한다.
뇌터 가환환 $K$ 위의 사영 스킴 $X$가 주어졌다고 하자. ($X$는 축소 스킴일 필요는 없다.) 그렇다면, $X$ 위의 모든 가역층은 카르티에 인자로 정의되는 가역층과 동형이다. 즉, 이 경우 피카르 군은 카르티에 인자류군과 동형이다. 반면, 임의의 뇌터 스킴의 경우, 카르티에 인자로 표현될 수 없는 가역층이 존재할 수 있다.[3]
참조
[1]
문서
EGA 0I, 5.4
[2]
웹사이트
Stacks Project
https://stacks.math.[...]
[3]
웹인용
Divisors and invertible sheaves on Noetherian schemes
http://martapr.webs.[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com