In this paper, basic theory of etale cohomology on varieties and schemes (mostly on varieties) is discussed and proof of most part of Weil conjecture is given. First, we start from motivation and definition of Grothendieck topology. Then, definition and basic properties of etale cohomology of varieties and schemes are discussed. Finally, we state and discuss main theorems on etale cohomology theory and prove Weil conjecture, except Riemann hypotheses and some part of integrality, using them.
본 논문에서는, 스킴과 대수다양체 위에서의 에탈 코호몰로지의 기본적인 이론들을 다루고 (주로 다양체 위에서의 에탈 코호몰로지의 경우를 다루었다.) 거기에서 나온 정리들을 이용하여 베유 추측의 대부분의 부분의 증명을 다루었다. 가장 먼저, 그로센딕 토폴로지가 발전되게 된 수학적인 동기와 기본적인 정의에 대해 살펴보았다. 그리고 대수다양체와 스킴 위에서의 에탈 코호몰로지의 기초적인 정의와 기본적인 성질들을 살펴보았다. 최종적으로 대수 다양체와 스킴 위에서의 에탈 코호몰로지 이론의 주요 정리과 결과들을 별다른 증명 없이 서술하고 리만 가설에 해당하는 부분과 계수들의 정수성 등을 제외한 부분의 베유 추측의 증명을 다루었다.