{{위키데이터 속성 추적}}
[[대수기하학]]에서 '''에타일 코호몰로지'''({{llang|en|étale cohomology}})는 [[대수다양체|대수 다양체]] 또는 [[스킴 (수학)|스킴]] 위에서 정의되는 [[코호몰로지]]이다.<ref>{{서적 인용|성=Fu|이름=Lei|제목=Etale cohomology theory|zbl=1228.14001|총서=Nankai Tracts in Mathematics|권=13|출판사=World Scientific|isbn=978-981-4307-72-7|날짜=2011|doi=10.1142/7773|언어=en}}</ref><ref>{{서적 인용|이름=Günter|성=Tamme|제목=Introduction to étale cohomology|날짜=1994|출판사=Springer-Verlag|zbl=0815.14012|translator1-first=Manfred|translator1-last=Kolster|총서=Universitext|issn=0172-5939|doi=10.1007/978-3-642-78421-7|isbn=978-3-540-57116-2|언어=en}}</ref><ref>{{서적 인용|제목=Etale cohomology and the Weil conjecture|이름=Eberhard|성=Freitag|이름2=Reinhardt|성2= Kiehl|총서=Ergebnisse der Mathematik und ihrer Grenzgebiete|권=13|issn=0071-1136|출판사=Springer-Verlag|isbn=978-3-662-02543-7|doi=10.1007/978-3-662-02541-3|날짜=1988|zbl=0643.14012|언어=en}}</ref><ref>{{서적 인용
 | 성=Deligne
 | 이름=Pierre
 | 저자링크=피에르 들리뉴
 | title=Cohomologie étale (Séminaire de géométrie algébrique du Bois Marie 4½)
 | 출판사=Springer
 | 날짜=1977
 | isbn=978-0-387-08066-6
 | 언어=fr
 | url=http://www.math.cornell.edu/~dkmiller/bin/sga4.5-tree.pdf
 | doi=10.1007/BFb0091516
 | 총서=Lecture notes in mathematics
 | volume=569
}}</ref><ref>{{저널 인용 | arxiv=1101.0683 | 제목=Étale cohomology of schemes and analytic spaces | 날짜=2011 | 이름=Antoine|성=Ducros|bibcode=2011arXiv1101.0683D|언어=en}}</ref>
[[스킴 (수학)|스킴]]의 '''에탈 코호몰로지 군'''은 [[베유 추측]]을 증명하기 위해 [[알렉산더 그로텐디크|그로텐디크]]에 의해 도입된 [[위상 공간 (수학)|위상 공간]]의 유한 계수를 갖는 일반적인 [[코호몰로지]] 군의 대수적 유사체이다. 스킴의 경우, [[자리스키 위상]]을 사용하면 표준적인 코호몰로지 이론([[특이 코호몰로지]], [[체흐 코호몰로지]])들은 잘 작동하지 않는데, 에탈 코호몰로지는 [[에탈 위상]]을 사용하여 이러한 단점들을 보완한다. 에탈 코호몰로지 이론은 대수 기하학에서 베유 코호몰로지 이론의 예인 '''ℓ-adic 코호몰로지'''를 구성하는 데 사용될 수 있다. 이것은 베유 추측의 증명 및 리 유형의 유한 군 표현 구성과 같은 많은 응용을 가지고 있다.

== 역사 ==
에탈 코호몰로지는 {{harvs|txt
| first = Alexander
| last = Grothendieck
| authorlink = Alexander Grothendieck
| year = 1960
}} 에 의해 소개되었다. [[장피에르 세르]]의 몇 가지 제안을 사용하여 [[베유 추측]]을 증명하기 위해 베유 코호몰로지 이론을 구성하려는 시도에 동기가 부여되었다. 기초는 그로텐디크이 [[마이클 아틴]]과 함께 작업한 직후에 이루어졌으며 {{하버드 인용|Artin|1962}} 및 SGA 4로 출판되었다. 그로텐디크은 베유 추측의 일부를 증명하기 위해 에탈 코호몰로지를 사용했다([[버나드 드워크]]는 이미 1960년에 [[P진수|p-adic]] 방법을 사용하여 추측의 유리성 부분을 증명했다). 나머지 추측인 [[리만 가설]]의 아날로그는 ℓ-adic 코호몰로지를 사용하여 [[피에르 들리뉴]]에 의해 증명되었다. (1974)

고전 이론과의 추가적 접점은 [[브라우어 그룹|브라우어 군]]의 그로텐디크 버전에서 발견되었다. 이것은 [[유리 마닌]]에 의해 [[디오판토스 기하학|디오판틴 기하학]]에 간단히 적용되었다. 일반 이론의 부담과 성공은 확실히 이 모든 정보를 통합하고 이러한 맥락에서 [[푸앵카레 쌍대성]]과 [[렙셰츠 수|립셰츠 고정점 정리]]와 같은 일반적인 결과를 증명하는 것이었다.

그로텐디크는 원래 [[토포스|그로텐디크 토포스]] 및 [[그로텐디크 전체]]와 같은 개념을 사용하여 아주 일반적인 조건에서 에탈 코호몰로지를 정의했다. 그러나 이 체계의 대부분은 에탈 이론의 실제 적용에 불필요한 것으로 판명되었고 {{하버드 인용 본문|Deligne|1977}}가 에탈 코호몰로지 이론을 단순화하여 설명했다. 그로텐디크의 이러한 전체([[체르멜로-프렝켈 집합론|ZF 집합론]]에서 그 존재가 증명될 수 없음)의 사용은 에탈 코호몰로지와 그 적용(예: [[페르마의 마지막 정리]]의 증명)이 ZFC 이외의 공리를 필요로 한다는 일부 추측을 이끌어 냈다. 그러나 실제로 에탈 코호몰로지는 주로 정수에 대한 유한 유형의 구성표에 대한 구성 가능한 층의 경우에 사용되며, 이것은 집합 이론의 깊은 공리를 필요로 하지 않는다. ZFC 공리계뿐만 아니라 훨씬 약한 공리계에서도 정의 할 수 있다.

에탈 코호몰로지는 다른 응용을 빠르게 찾았다. 예를 들어 들리뉴와 George Lusztig는 리 유형의 유한 군 [[표현론 (수학)|표현]]을 구성하는 데 사용했다. [[Deligne–Lusztig 이론|Deigne–Lusztig 이론]] 참조.

== 동기 ==
복소 대수 다형체의 경우, [[기본군|기본 군]], 코호몰로지 군과 같은 대수적 위상 수학의 불변량은 아주 유용하다. 그래서 유한 체와 같은 다른 체에 대한 다형체에 대해서도 이들과 비슷한 호모토피와 호몰로지 이론을 얻고 싶다. (이에 대한 한 가지 이유는 베유이 이러한 코호몰로지 이론을 사용하여 베유 추측을 증명할 수 있다고 제안했기 때문이다.) [[연접층]]의 코호몰로지의 경우, 세르는 대수 다형체의 [[자리스키 위상]]을 사용하는 것만으로도 만족스러운 이론을 얻을 수 있음을 보여주었고, 복소 다형체의 경우 이것은 훨씬 더 세밀한 복소 위상으로서 동일한 (연접층) 코호몰로지 군을 제공한다. 그러나 정수 층과 같은 [[상수층]]의 경우에는 정의되지 않는다. 자리스키 위상을 사용하여 정의된 코호몰로지 군은 별 의미가 없다. 예를 들어, 베유는 위상 공간의 일반적인 [[코호몰로지|특이 코호몰로지]]와 비슷한 유용성을 가진 유한 체의 다형체에 대한 코호몰로지 이론을 구상했지만 실제로는 기약 다형체의 모든 [[상수층]]에는 자명한 코호몰로지를 가진다(모든 고차 코호몰로지 군은 사라짐).

여기서 자리스키 위상이 부족한 이유는 너무 거칠기 때문이다. 즉, 열린 집합이 너무 적다. 일반적인 대수 다형체에서 더 세밀한 위상 수학을 사용하여 이 문제를 해결할 수 있는 좋은 방법이 없는 것 같다. 그로텐디크의 핵심 통찰력은 더 일반적인 열린 집합이 대수적 다형체의 부분 집합이어야 하는 이유가 없다는 것을 깨닫는 것이었다. 층의 정의는 공간의 열린 부분 집합의 범주뿐만 아니라 모든 범주에 대해 완벽하게 잘 작동한다. 그는 공간의 열린 부분 집합 범주를 공간에 대한 에탈 사상 범주로 대체하여 에탈 코호몰로지를 정의했다. 대략적으로 말하면 이들은 공간의 유한한 분기되지 않은 덮개의 열린 부분 집합으로 생각할 수 있다. 이것은 (많은 작업 후) 일부 상수 계수에 대해, 특히 n이 기저 체의 [[환의 표수|표수]]와 서로소일 때  '''Z'''/''n'''''Z''' 계수에 대해 의미있는 코호몰로지 군을 얻을 수 있는 충분히 많은 열린 집합들을 제공하는 것으로 밝혀졌다''.''

이론의 몇 가지 기본 직관은 다음과 같다.

* 에탈 조건은 대수 기하학에서 참인 경우 [[음함수 정리]]를 적용할 수 있는 조건이다(그러나 그렇지 않다. 음함수인 대수 함수는 옛 문헌에서 algebroid라고 한다).
* 차원이 0과 1인 특정한 기본 예시가 있고, 계수들의 [[상수층]]이 있는 답을 예측할 수 있는 [[아벨 다양체|아벨 다형체]]의 경우([[갈루아 코호몰로지]] 및 [[테이트 모듈|테이트 가군]]을 통해)가 있다.

== 정의 ==
'''에탈 코호몰로지'''는 [[작은 에탈 위치]]의 [[층 코호몰로지]]이다. 즉, [[아벨 군]] 값을 갖는, 작은 에탈 위치 <math>X_{\operatorname{\acute et}}</math> 위의 에탈 층 <math>\mathcal F\colon X_{\operatorname{\acute et}}^{\operatorname{op}}\to\operatorname{Ab}</math>의 '''에탈 코호몰로지 군''' <math>H^i_{\operatorname{\acute et}}(X,\mathcal F)</math>는 단면 함자({{llang|en|section functor}})
:<math>\Gamma\colon\operatorname{Sh}(X_{\operatorname{\acute et}},\operatorname{Ab})\to\operatorname{Ab}</math>
:<math>\Gamma\colon\mathcal F\mapsto\mathcal F(\operatorname{id}_X)</math>
의 <math>i</math>번째 [[오른쪽 유도 함자]]이다.
:<math>\operatorname H^i_{\operatorname{\acute et}}(X,\mathcal F)=R^i\Gamma(\mathcal F)</math>
특히,
:<math>\operatorname H^0_{\operatorname{\acute et}}=\Gamma</math>
이다.

스킴 <math>X</math> 및 [[아벨 군]] <math>G</math>가 주어졌을 때, <math>X</math>의 <math>G</math> 계수를 갖는 '''에탈 코호몰로지 군''' <math>H^i_{\operatorname{\acute et}}(X,G)</math>는 [[상수층]] <math>\underline G</math>의 에탈 코호몰로지 군 <math>H^i_{\operatorname{\acute et}}(X;\underline G)</math>이다. (다만, <math>G=\mathbb Z_\ell</math>일 때, 통상적으로 <math>H^i(X;\mathbb Z_\ell)</math>은 <math>H^i_{\operatorname{\acute et}}(X;\underline{\mathbb Z_\ell})</math>과 다른, L진 코호몰로지를 나타낸다.)

작은 에탈 코호몰로지 대신에, [[큰 에탈 위치]] 위의 [[층 코호몰로지]]인 큰 에탈 코호몰로지를 생각할 수도 있다. 그러나 작은 에탈 층 <math>\mathcal F\colon(\operatorname{\acute Et}/X)^{\operatorname{op}}\to\operatorname{Ab}</math>의 코호몰로지를 큰 에탈 위치에서 계산할 경우, 이는 작은 에탈 위치에서 계산한 코호몰로지와 일치하며, 반대로 큰 에탈 층의 코호몰로지를 작은 에탈 위치에서 계산하여도 서로 일치한다.<ref name="Milne">{{서적 인용|제목=Étale cohomology|이름=James S.|성=Milne|출판사=Princeton University Press|url=http://press.princeton.edu/titles/1566.html|날짜=1980|isbn=978-0-69108238-7|총서=Princeton Mathematics Series|권=33|zbl=0433.14012|언어=en}}</ref>{{rp|110, Proposition III.3.1(c); 111, Remark III.3.2(a)}} 즉, 코호몰로지를 계산하려면 편리한 대로 작은 위치나 큰 위치를 사용할 수 있으며, 보통 작은 에탈 위치가 더 다루기 편리하므로 작은 에탈 위치를 사용한다.

=== L진 코호몰로지 ===
위와 같이, 작은 에탈 위치에서 [[층 코호몰로지]]를 정의하면 유한체 계수의 코호몰로지를 얻을 수 있다. 그러나 정수 계수의 [[층 코호몰로지]]는 자명하며, 위상수학적으로 유용한 정보를 제공하지 못한다. 대신 각 유한체 계수의 코호몰로지들을 짜깁기하여 정수 계수 위상수학적 코호몰로지를 근사할 수 있는데, 이를 '''L진 코호몰로지'''({{llang|en|L-adic cohomology}})라고 한다.

[[소수 (수론)|소수]] <math>\ell</math>에 대하여, 대수다양체 <math>V</math>의 '''<math>\ell</math>진 코호몰로지 군''' <math>H^i(V;\mathbb Z_\ell)</math>은 다음과 같은 [[역극한]]이다.
:<math>H^i(V;\mathbb Z_\ell)=\varprojlim_{n\to\infty} H^i_{\operatorname{\acute et}}(V;\mathbb Z/(\ell^n))</math>
좌변에서 <math>\mathbb Z_\ell</math>은 [[p진 정수|L진 정수환]] <math>\mathbb Z_\ell=\varprojlim_{n\to\infty}\mathbb Z/(\ell^n)</math>를 상징한다. (물론, 이는 우변에 등장하지 않는다.)

L진 코호몰로지는 (이름과 달리) [[p진 정수|L진 정수]] <math>\mathbb Z_\ell</math>의 [[상수층]] 계수의 에탈 위치 [[층 코호몰로지]] <math>\operatorname H_{\operatorname{\acute et}}(X;\underline{\mathbb Z_\ell})</math>와 일반적으로 다르다. 즉, 역극한은 [[층 코호몰로지]]와 가환하지 않는다.

L진 코호몰로지는 [[유한체]]에 대한 [[대수다양체]]에 대하여 널리 사용된다. 이 경우, <math>\ell</math>은 유한체의 [[환의 표수|표수]] <math>p</math>와 다른 [[소수 (수론)|소수]]이다.

== 성질 ==
=== 특이 코호몰로지와의 관계 ===
<math>X</math>가 비특이 복소수 [[대수다양체]]이고, <math>X^{\operatorname{an}}</math>이 대응하는 [[복소다양체]]라고 하자. 그렇다면, [[유한체]] <math>\mathbb F_p</math> 계수의 에탈 코호몰로지는 [[특이 코호몰로지]]와 일치한다.
:<math>\operatorname H_{\operatorname{\acute et}}^\bullet(X;\mathbb F_p)\cong\operatorname H^\bullet(X^{\operatorname{an}};\mathbb F_p)</math>
마찬가지로, <math>p</math>진 코호몰로지는 [[p진 정수]] <math>\mathbb Z_p</math> 계수의 [[특이 코호몰로지]]와 일치한다.
:<math>\operatorname H_{\operatorname{\acute et}}^\bullet(X;\mathbb Z_p)\cong\operatorname H^\bullet(X^{\operatorname{an}};\mathbb Z_p)</math>
하지만 정수 계수의 에탈 코호몰로지는 일반적으로 특이 코호몰로지와 다르다.

=== 갈루아 코호몰로지와의 관계 ===
체 <math>K</math>에 대하여, 그 [[환의 스펙트럼|스펙트럼]] <math>\operatorname{Spec}K</math>의 에탈 코호몰로지는 그 [[갈루아 코호몰로지]]와 일치한다.
:<math>\operatorname H_{\operatorname{\acute et}}^\bullet(\operatorname{Spec}K;\mathbb Z)\cong\operatorname H^\bullet(\operatorname{Gal}(K^{\operatorname{sep}}/K))</math>
여기서 <math>\operatorname{Gal}(K^{\operatorname{sep}}/K)</math>는 <math>K</math>의 [[절대 갈루아 군]]이며, <math>K^{\operatorname{sep}}</math>는 <math>K</math>의 [[분해 가능 폐포]]이며, 우변의 <math>H^\bullet</math>는 [[군 코호몰로지]]이다.

== 대수 곡선에 대한 에탈 코호몰로지 군의 계산 ==
다형체 에탈 코호몰로지 군을 계산하는 주요 초기 단계는 대수적으로 닫힌 체 ''k''에서 매끄러운 완비 연결 대수 곡선 '''''<math>X</math>'''''에 대해 계산하는 것이다. 임의의 다형체의 에탈 코호몰로지 군은 올화의 스펙트럼 열과 같은 일반적인 대수적 위상 수학의 개념과 비슷한 방식으로 제어할 수 있다. 곡선의 경우 계산은 다음과 같이 여러 단계를 거친다 {{하버드 인용|Artin|1962}}. <math>\mathbb G_m</math>이 영이 아닌 함수의 층이라 하자.

=== ''H''<sup>1</sup>(''X'', G<sub>''m''</sub>)의 계산 ===
에탈 층의 완전열

: <math>1\to \mathbb{G}_m\to j_*\mathbb{G}_{m,K}\to \bigoplus_{x\in |X|}i_{x*}\mathbb{Z}\to 1</math>

은 코호몰로지 군의 긴 완전열을 제공한다.

: <math>\begin{align}
0 &\to H^0(\mathbb{G}_m)\to H^0(j_*\mathbb{G}_{m,K})\to \bigoplus\nolimits_{x\in |X|}H^0(i_{x*}\mathbb{Z}) \to \\
&\to H^1(\mathbb{G}_m)\to H^1(j_*\mathbb{G}_{m,K})\to \bigoplus\nolimits_{x\in |X|}H^1(i_{x*}\mathbb{Z}) \to \\
&\to \cdots
\end{align}</math>

여기서 <math>j</math>는 일반 점의 단사이고, <math>i_x</math>는 닫힌 점 <math>x</math>의 단사'', <math>\mathbb G_{m,K}</math>''는 <math>\text{Spec}K</math> (''X''의 일반 점)에 대한 층 '''<math>\mathbb G_m</math>''', <math>\Z_x</math>는 '''''<math>X</math>'''''의 각 닫힌 점에서 '''<math>\Z</math>'''의 복사본이다. 군 '''<math>H^i(i_{x^*}\Z)</math>'''은 '''<math>i>0</math>'''이면 사라진다('''<math>i_{x^*}\Z </math>'''가 [[줄기 (수학)|마천루 층]]이기 때문에) '''<math>i=0</math>'''인 경우 '''<math>\Z</math>'''이므로 합은 '''''<math>X</math>'''''의 약수 군이다. 또한, 첫 번째 코호몰로지 군 '''<math>H^1(X,j_*\mathbb G_{m,K})</math>'''는 갈루아 코호몰로지 군 '''<math>H^1(K,K^*)</math>'''와 동형이다.&#x2009;이는 힐베르트 정리 90에 의해 사라진다. 따라서 에탈 코호몰로지 군의 긴 완전열은 완전열

: <math>K\to \operatorname{Div}(X)\to H^1(\mathbb{G}_m)\to 1</math>

을 제공한다. 여기서 <math>\operatorname{Div}(X)</math>는 '''''<math>X</math>'''''의 약수 군이고 '''''<math>K</math>'''''는 함수체이다. 특히 '''<math>H^1(X,\mathbb G_{m})</math>'''은 [[피카르 군]] <math>\text{Pic}(X)</math>이다(그리고 '''<math>\mathbb G_m</math>'''의 첫 번째 코호몰로지 군은 에탈 및 자리스키 위상에 대해 동일하다). 이 단계는 곡선뿐만 아니라 모든 차원의 다형체 '''''<math>X</math>'''''(점이 여차원 1인 부분 다형체로 대체됨)에 적용된다.

=== ''H<sup>i</sup>''(''X'', G<sub>''m''</sub>)의 계산 ===
위의 동일한 긴 완전열은 '''<math>i\geq2</math>'''이면 코호몰로지 군 '''<math>H^i(X,\mathbb G_{m})</math>'''는 갈루아 코호몰로지 군 '''''<math>H^i(K,K^*)</math>'''''와 동형인 '''''<math>H^i(X,j_*\mathbb G_{m,K})</math>'''''와 동형이다. Tsen의 정리는 대수적으로 닫힌 체에 걸쳐 하나의 변수에서 함수 체 '''''<math>K</math>'''''의 브라우어 군이 사라진다는 것을 의미한다. 이것은 차례로 모든 [[갈루아 코호몰로지]] 군 '''''<math>H^i(K,K^*)</math>'''''는'''<math>i\geq1</math>'''에 대해 사라짐을 뜻한다. 따라서 모든 코호몰로지 군 '''<math>H^i(X,\mathbb G_{m})</math>'''는 '''<math>i\geq2</math>'''인 경우 사라진다.

=== ''H<sup>i</sup>''(''X'', ''μ<sub>n</sub>'')의 계산 ===
'''''<math>\mu_n</math>'''''이 '''''<math>n</math>''''' 번째 단위 근의 층이고 '''''<math>n</math>'''''과 체 '''''<math>k</math>'''''의 표수가 서로소인 경우:

: <math>H^i (X, \mu_n) = \begin{cases} \mu_n(k) & i =0 \\ \operatorname{Pic}_n(X) & i = 1 \\ \mathbb{Z}/n\mathbb{Z} & i =2 \\ 0 & i \geqslant 3 \end{cases}</math>

여기서 <math>\text{Pic}_n(X)</math>은 <math>\text{Pic}(X)</math>의 '''''<math>n</math>'''-''꼬임 점들의 군이다. 이것은 에탈 층의 쿠머 완전열<math display="block">1 \to \mu_n \to \mathbb{G}_m \xrightarrow{(\cdot)^n} \mathbb{G}_m \to 1.</math>


의 긴 완전열을 사용하는 이전 결과에서 따른다.

: <math>\begin{align}
0 &\to H^0(X, \mu_n)\to H^0(X, \mathbb{G}_m)\to H^0(X, \mathbb{G}_m)\to \\
&\to H^1(X, \mu_n)\to H^1(X, \mathbb{G}_m)\to H^1(X, \mathbb{G}_m)\to \\
&\to H^2(X, \mu_n)\to H^2(X, \mathbb{G}_m)\to H^2(X, \mathbb{G}_m) \to \\
&\to \cdots
\end{align}</math>

:

알려진 값을 삽입

: <math> H^i (X, \mathbb{G}_m) = \begin{cases} k^* & i = 0 \\ \operatorname{Pic}(X) & i =1 \\ 0 &i \geqslant 2 \end{cases}</math>

특히 다음 완전열을 얻는다.

: <math>1\to H^1(X, \mu_n)\to \operatorname{Pic}(X)\xrightarrow{\times n} \operatorname{Pic}(X)\to H^2(X, \mu_n)\to 1.</math>

'''''<math>n</math>'''''을 ''p''로 나눌 수 있는 경우 이 인수는 단위의 ''p''번째 거듭제곱근이 표수 ''p''의 체에서 이상하게 동작하기 때문에 무너진다. 자리스키 위상에서 쿠머 열은 오른쪽에서 완전하지 않다. 사라지지 않는 함수는 일반적으로 자리스키 위상에 대해 국소적으로 '''''<math>n</math>''''' 번째 근을 가지지 않기 때문이다. 자리스키 위상은 필수적이다.

=== ''H<sup>i</sup>(X, Z/nZ)''의 계산''&#x2009;'' ===
단위의 '''''<math>n</math>''''' 번째 거듭제곱 원시근을 고정함으로써 우리는 군 '''<math>\Z/n\Z</math>'''를 '''''<math>n</math>''''' 번째 단위근의 군 '''''<math>\mu_n</math>'''''으로 식별할 수 있다. 에탈 군 '''<math>H^i(X, \Z/n\Z)</math>'''는 환 '''<math>\Z/n\Z</math>''' 위의 무료 가군이며 그 랭크는 다음과 같이 지정된다.

: <math>\operatorname{rank}(H^i(X, \Z/n\Z)) = \begin{cases} 1 & i =0 \\ 2g & i=1 \\1 & i = 2\\0 & i \geqslant 3 \end{cases}</math>

여기서 '''''<math>g</math>'''''는 곡선 '''''<math>X</math>'''''의 종수이다. 이것은 곡선의 피카르 군이 '''''<math>g</math>''''' 차원 [[아벨 다양체|아벨 다형체]] [[야코비 다양체|야코비 다형체]]의 점이라는 사실을 사용하여 이전 결과에서 이어진다. '''''<math>n</math>'''''이 특성에 대해 서로소인 경우 '''''<math>n</math>'''''을 아벨 대수적으로 닫힌 체에 대한 다형체 차원 '''''<math>g</math>'''''는 '''<math>(\Z/n\Z)^{2g}</math>'''와 동형인 군을 '''형성'''한다. 에탈 군 '''<math>H^i(X, \Z/n\Z)</math>'''에 대한 이러한 값은 '''''<math>X</math>'''''가 복소 곡선일 때 해당 특이 코호몰로지 군과 동일하다.

=== ''H<sup>i</sup>''(''X'', Z/''p''Z)의 계산 ===
[[아르틴-슈라이어 이론|아틴-Schreier]] 열을 사용하여 유사한 방식으로 쿠머 열 대신 표수로 나눌 수 있는 상수 차수 계수를 갖는 에탈 코호몰로지 군을 계산할 수 있다.

: <math>0\to \mathbf{Z}/p\mathbf{Z}\to K\ \xrightarrow{{}\atop x\mapsto x^p-x}\ K\to 0</math>

('''<math>\Z/p^n\Z</math>'''의 계수에 대해 [[비트 벡터]]를 포함 하는 유사한 열이 있다.) 결과 코호몰로지 군은 일반적으로 표수 0에서 해당 군보다 랭크가 낮다.

== 에탈 코호몰로지 군의 예 ==

* '''''<math>X</math>'''''가 절대 갈루아 군 '''''<math>G</math>'''''를 포함하는 체 '''''<math>K</math>'''''의 스펙트럼인 경우 '''''<math>X</math>'''''에 대한 에탈 층은 (profinite) 군 '''''<math>G</math>'''''에 의해 작용하는 연속 집합(또는 아벨 군)에 해당하고 층의 에탈 코호몰로지는 '''''<math>G</math>'''''의 [[군 코호몰로지]], 즉 '''''<math>K</math>'''''의 갈루아 코호몰로지와 동일하다.
* '''''<math>X</math>'''''가 복소수인 경우 유한 계수를 갖는 에탈 코호몰로지는 유한 계수를 갖는 특이 코호몰로지와 동형이다.(이것은 정수 계수에는 적용되지 않는다.) 보다 일반적으로 [[구성 가능 층|구성 가능한 층]]에서 계수와의 코호몰로지는 동일하다.
* '''''<math>F</math>'''''가 [[연접층]](또는 '''<math>\mathbb G_m</math>''')이면 '''''<math>F</math>'''''의 에탈 코호몰로지는 자리스키 위상으로 계산된 세르 연접층 코호몰로지와 동일하다(그리고 '''''<math>X</math>'''''가 복소 다형체인 경우 이것은 일반적인 복소 위상).
* 아벨 다형체와 곡선의 경우 ℓ-adic 코호몰로지의 기본적인 설명이 있다. 아벨 다형체의 경우 첫 번째 ℓ-adic 코호몰로지 군은 테이트 가군의 쌍대이며 더 높은 코호몰로지 군은 외적의 거듭제곱에 의해 제공된다. 곡선의 경우 첫 번째 코호몰로지 군은 야코비안의 첫 번째 코호몰로지 군이다. 이것은 베유가 이 두 가지 경우에서 베유 추측에 대한 더 기본적인 증명을 제공할 수 있었던 이유를 설명한다.

== 콤팩트 지지를 제공하는 푸앵카레 쌍대성과 코호몰로지 ==
다형체 '''''<math>X</math>'''''를 콤팩트 지지하는 에탈 코호몰로지 군은 다음과 같이 정의된다.

: <math>H_c^q(X,F) = H^q(Y, j_!F)</math>

여기서 '''''<math>j</math>'''는'' 적절한 다형체 '''''<math>Y</math>'''''에 '''''<math>X</math>'''''를 열린 몰입한 것이고 '''''<math>j_!</math>'''''는 0에 의한 에탈 층 '''''<math>F</math>'''''에서 '''''<math>Y</math>'''''로의 확장이다. 이것은 몰입 '''''<math>j</math>'''''와 무관하다. '''''<math>X</math>'''''의 차원이 최대 ''n''이고 '''''<math>F</math>'''''가 꼬임 층인 경우 이러한 콤팩트 지지 코호몰로지 군 <math>H_c^q(X,F)</math>는 '''''<math>q>2n</math>'''''이면 사라지고, 추가로 '''''<math>X</math>'''''가 분리  닫힌 체에 대해 유한형 아핀인 경우 코호몰로지 군 <math>H^q(X,F)</math>는 '''''<math>q>n</math>'''''에 대해 0이다(마지막 진술은 SGA 4, XIV, Cor.3.2 참조).

보다 일반적으로 '''''<math>f</math>'''''가 '''''<math>X</math>'''''에서 '''''<math>S</math>'''''로( '''''<math>X</math>'''''와 '''''<math>S</math>'''''는 뇌터) 유한 유형의 분리된 사상이라면 '''콤팩트 지지''' ''<math>R^qf_!</math>''에 의해 임의의 꼬임 층 '''''<math>F</math>'''''에 대해 정의된다

: <math>R^qf_!(F)=R^qg_*(j_!F)</math>

여기서 '''''<math>j</math>'''''는 '''''<math>S</math>'''''로 가는 적절한 사상 '''''<math>g</math>'''''('''''<math>f=gj</math>''''')가 있는 '''''<math>X</math>'''''를 스킴 '''''<math>Y</math>'''''로 보내는 임의의 열린 몰입이다. 이전과 마찬가지로 정의는 '''''<math>j</math>'''''와 '''''<math>Y</math>'''''의 선택에 의존하지 않는다. 콤팩트 지지가 있는 코호몰로지는 '''''<math>S</math>'''''가 점인 특수한 경우이다. ''f''가 유한 유형의 분리된 사상이라면 ''<math>R^qf_!</math>'' '''''<math>X</math>'''''의 구성가능한 층을 '''''<math>S</math>'''''의 구성 가능한 층으로 가져온다. 또한 ''f'' 의 올이 최대 '''''<math>n</math>''''' 차원을 가지면 ''<math>R^qf_!</math>''는 '''''<math>q>2n</math>'''''일 때 꼬임 층에서 사라진다. '''''<math>X</math>'''''가 복소 다형체라면 ''<math>R^qf_!</math>''는 꼬임 층에 대한 콤팩트 지지(복소 위상의 경우)가 있는 일반적인 더 높은 직상과 동일하다.

'''''<math>X</math>'''''가 매끄러운 '''''<math>N</math>''''' 차원 대수 다형체이고 '''''<math>n</math>'''이'' 표수에 대해 서로소인 경우 대각합 사상이 있다.

: <math>\operatorname{Tr}: H_c^{2N}(X, \mu_n^N) \rightarrow \mathbb{Z}/n\mathbb{Z} </math>

값이 '''<math>\Z/n\Z</math>'''인 쌍선형 형식 '''<math>\text{Tr}(a\cup b) </math>'''는 각 군

: <math>H^i_c(X,\mu_n^N)</math>

그리고

: <math>H^{2N-i}(X,\mathbb{Z}/n\mathbb{Z}) </math>

을  다른 것의 쌍대로 식별한다.. 이것은 기존의 [[푸앵카레 쌍대성]]과 비슷하다.

== 곡선에 대한 응용 ==
여기서는 [[대수 곡선]]의 [[국소 제타 함수]]에 적용하는 것을 다룬다

'''정리.''' ''<math>X</math>''가 [[유한체]] ''<math>\mathbb F_p</math>''에 대해 정의된 [[곡면 종수|종수]] '''''<math>g</math>'''''의 곡선이라 하자. 그러면 ''<math>n\geq1</math>''인 경우

: <math>\#X \left (\mathbf F_{p^n} \right ) = \operatorname{Tr} \left (F^n|_{H^0(X)} \right )- \operatorname{Tr} \left (F^n|_{H^1(X)} \right ) + \operatorname{Tr} \left (F^n|_{H^2(X)} \right ).</math>

여기서 ''<math>\alpha_i</math>''는 ''<math>|\alpha_i|=\sqrt p</math>''을 만족하는 특정 [[대수적 수]]이다.

이것은 ''<math>\mathbb P^1(\mathbb F_{p^n})</math>''가  ''<math>p^n+1</math>''개의 점을 가진 종수 {{Val|0}} 곡선이라는 것과 일치한다. 또한 곡선의 점 수가 [[사영 직선]]의 점의 수에 다소 가깝다는 것을 보여준다(''<math>2g p^{n/2} </math>''이내). 특히 [[타원 곡선에 대한 Hasse의 정리|타원 곡선에 대한 하세의 정리]]를 일반화한다.

=== 증명 아이디어 ===
[[렙셰츠 수|립셰츠 고정점 정리]]에 따르면, 모든 사상 {{수학|''f'' : ''X'' → ''X''}} 의 고정 소수점 수 {{수학|''f'' : ''X'' → ''X''}}는 합

: <math>\#X \left (\mathbb F_{p^n} \right ) = p^n + 1 -\sum_{i=1}^{2g} \alpha_i^n,</math>

과 같다. 이 수식은 일반적인 위상 다형체와 위상 공간에 유효하지만 대부분의 ''대수적'' 위상수학에는 잘못되었다. 그러나 이 공식은 에탈 코호몰로지에 ''적용된다'' (증명하기가 그렇게 간단하지는 않다).

''<math>\mathbb F_{p^n}</math>''대해 정의된 ''<math>X</math>''의 점은 ''<math>F^n</math>''에 의해 고정된 점이다. 여기서 ''<math>F</math>''는 [[환의 표수|표수]] {{수학 변수|p}}에서 [[프로베니우스 사상|프로베니우스 자기동형사상]]이다.

차원 0, 1, 2에서 ''<math>X</math>''의 에탈 코호몰로지 [[베티 수]]는 각각 1, '''''<math>2g</math>''''', 1이다.

이들 모두에 따르면,

: <math>\sum_{i=0}^{2 \dim(X)} (-1)^i  \operatorname{Tr} \left (f|_{H^i(X)} \right ).</math>

이것은 정리의 일반적인 사상를 제공한다.

''<math>\alpha_i</math>''의 절대값에 대한 주장은 베유 추측의 1차원 리만 가설이다.

전체 아이디어는 [[모티브 (수학)|모티브]]의 틀에 들어맞다: 공식적으로 [ ''X'' ] =&nbsp;[점]&nbsp;+&nbsp;[선]&nbsp;+&nbsp;[1-part]이다. 여기서 [1-part]는 ''<math>\sqrt p</math>'' 점과 비슷한 것이다.

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

== 외부 링크 ==
* {{eom|title=Etale cohomology}}
* {{eom|title=L-adic-cohomology}}
* {{eom|title=Comparison theorem (algebraic geometry)}}
* {{웹 인용|url=http://www.math.u-psud.fr/~illusie/Grothendieck_etale.pdf|제목=Grothendieck et la cohomologie étale|이름=Luc|성=Illusie|언어=fr}}
* {{웹 인용 | 성=Milne | 이름=James S. | 제목=Lectures on étale cohomology | 날짜=2013-03-22 | url=http://www.jmilne.org/math/CourseNotes/lec.html | 언어=en}}
* {{nlab|id=étale cohomology | title=Étale cohomology }}
* {{nlab|id=comparison theorem (étale cohomology) | title=Comparison theorem (étale cohomology) }}

[[분류:대수기하학]]
[[분류:호몰로지 대수학]]