그로텐디크 위상
대수기하학과 범주론에서, 그로텐디크 위상(Grothendieck位相, )은 열린 덮개의 개념을 공리적으로 추상화한 개념이다. 이를 사용하여 위상 공간의 개념을 위치(位置, )로 일반화할 수 있다.
그로텐디크 위상의 개념은 대수기하학에서 사용되는, 에탈 코호몰로지 · fppf 코호몰로지 · 결정 코호몰로지()와 같은 각종 코호몰로지 이론을 정의하는 데 필요하다.
그로텐디크 위상은 주어진 대상 위의 "덮개"가 무엇인지의 데이터를 담고 있다. 그로텐디크 위상은 두 가지로 정의할 수 있다.
두 정의 모두, 그로텐디크 위상은 세 개의 공리들로 정의된다. 이들은 대략 다음과 같다.
그러나 이 세 공리는 덮개의 개념을 어떻게 형식화하느냐에 따라 달리 표현된다.
그로텐디크 위상을 갖춘 범주를 위치라고 한다. 작은 위치 위의 층의 범주와 동치인 범주를 그로텐디크 토포스라고 한다.
집합 위의 위상을 더 섬세함·엉성함에 따라 비교할 수 있는 것처럼,
주어진 범주 위의 그로텐디크 위상들의 모임 위에는 부분 순서가 존재한다. 즉, 같은 범주 위의 두 그로텐디크 위상에 대하여, 첫째가 둘째보다 더 섬세()하다고 할 수 있다. (이는 둘째가 첫째보다 더 엉성()하다는 것과 같다.) 더 섬세한 위상에서는
반대로, 더 엉성한 위상에서는
국소적으로 작은 범주 formula_11 위의 그로텐디크 위상()은 다음과 같은 데이터로 정의된다.
이들은 다음과 같은 공리들을 따라야 한다. 임의의 formula_12에 대하여,
formula_11 위의 두 그로텐디크 위상 formula_31, formula_32에 대하여, 만약 모든 formula_12에 대하여 formula_34라고 한다면, formula_31가 formula_32보다 더 엉성하며, 반대로 formula_32이 formula_31보다 더 섬세하다고 한다.
체는 함자 조건에 의하여, 매우 많은 수의 사상들을 포함한다. 이를 대신하여, 주어진 체를 생성하는 더 적은 수의 사상만으로 그로텐디크 위상을 정의할 수 있다. 이러한 데이터를 그로텐디크 준위상이라고 한다. (그러나 서로 다른 두 그로텐디크 준위상이 같은 그로텐디크 위상을 생성할 수 있다.)
국소적으로 작은 범주 formula_11 위의 그로텐디크 준위상(Grothendieck準位相, )은 다음과 같은 데이터로 정의된다.
이 데이터 또한 일련의 공리들을 만족시켜야 한다.
국소적으로 작은 범주 formula_11 위의 그로텐디크 준위상 formula_63가 주어졌다면, 이에 대응하는 그로텐디크 위상 formula_64를 정의할 수 있다. formula_64에서, formula_12의 덮개체들은 적어도 하나의 덮개를 포함하는 체들이다.
로비어-티어니 위상()의 개념은 그로텐디크 위상의 개념의 일반화이다. 로비어-티어니 위상은 임의의 토포스 위에 정의된다. 작은 범주 formula_11 위의 준층의 범주 formula_69는 토포스를 이루며, 그 위의 로비어-티어니 위상은 formula_11 위의 그로텐디크 위상과 동치이다.
토포스 formula_71 위의 부분 대상 분류자 formula_72가 주어졌다고 하자. formula_71 위의 로비어-티어니 위상 formula_74은 다음 조건들을 만족시키는 사상이다.
부분 대상 분류자의 정의에 의하여, 로비어-티어니 위상 formula_74을 고르는 것은 formula_79의 부분 대상 formula_80을 고르는 것과 같다.
작은 범주 formula_11 위의 준층 범주 formula_69에서, 부분 대상 분류자 formula_83는 대상 formula_12에 대하여 그 위의 모든 체들의 집합 formula_85를 대응시킨다. 따라서 부분 대상 분류자 formula_83의 부분 대상 formula_87는 각 대상 formula_12에 대하여, 그 위의 체들의 집합 formula_89을 대응시키는 준층이다. 이것이 준층을 이룬다는 것은 덮개체의 집합이 당김에 대하여 닫혀 있다는 조건이며, 이는 그로텐디크 위상의 세 공리 가운데 하나이다. 그로텐디크 위상의 나머지 두 공리는 로비어-티어니 위상의 공리들과 동치이다.
범주 formula_11 위의 이산 위상()은 모든 체가 덮개체를 이루는 위상이다. 그로텐디크 준위상을 사용한다면, 이는 (같은 공역을 갖는) 임의의 사상들의 모임이 덮개를 이루는 것과 같다. 이는 주어진 범주 위의 가장 섬세한 위상이다.
범주 formula_11 위의 비이산 위상()은 덮개체가 formula_92인 위상이다. 그로텐디크 준위상을 사용한다면, 이는 덮개가 formula_93인 것과 같다. 이는 주어진 범주 위의 가장 엉성한 위상이다. 비이산 위상을 부여한 위치 위에서, 모든 준층은 층을 이룬다.
임의의 국소적으로 작은 범주 formula_11 위의 준층들의 모임 formula_95가 주어졌다고 하자. 그렇다면, formula_95들이 모두 층을 이루는, 가장 섬세한 그로텐디크 위상이 존재한다.
표현 가능 준층은 임의의 대상 formula_12에 대하여 formula_29의 꼴의 준층이다. 모든 표현 가능 준층이 층을 이루는 가장 섬세한 그로텐디크 위상을 표준 위상()이라고 한다. 표준 위상보다 더 엉성한 위상을 준표준 위상()이라고 한다. 즉, 준표준 위상은 모든 요네다 준층이 층을 이루는 위상이다.
그로텐디크 토포스 formula_71 위에 표준 위상을 부여한다면, formula_71 위의 모든 층은 표현 가능하다. 즉, 이 경우 formula_71와 formula_102는 서로 동치이다.
국소적으로 작은 범주 formula_11 및 대상 formula_104가 주어졌다고 하자.
formula_11 속의 임의의 사상 formula_106 및 체 formula_17가 주어졌다고 하자. 그렇다면, 조각 범주 formula_108의 대상 formula_109 위에 체 formula_110를 다음과 같이 정의할 수 있다.
formula_11 위의 그로텐디크 위상 formula_31가 주어졌을 때, 각 formula_114에 대하여
로 정의하면, formula_116는 formula_108 위의 그로텐디크 위상을 이룬다. 이를 조각 범주 formula_108 위의 유도 위상()이라고 한다.
위상 공간 formula_119의 열린집합들의 범주 formula_120를 생각하자. 이 경우, 대상은 열린집합들이고, 사상은 포함 관계 formula_121들이다. 즉, 임의의 formula_122에 대하여, formula_123는 공집합이거나 아니면 formula_121 하나의 원소만을 포함한다.
formula_120에서, 열린집합 formula_126 위의 체는 다음 조건을 만족시키는 열린집합들의 집합 formula_127으로 주어진다.
구체적으로, 요네다 함자의 부분 함자 formula_134가 주어진다면,
이다. 즉, 열린집합의 범주에서 formula_1 위의 체는 하향으로 닫힌 formula_1의 부분 집합들의 모임과 같다.
formula_138이며, formula_1 위의 체 formula_140가 주어졌다고 하자. 포함 관계 formula_141에 따른 체의 당김 formula_142는 다음과 같은 체이다.
formula_120에서는 모든 당김이 존재하며, 열린집합의 교집합과 같다. 즉, formula_145일 때, formula_146이다. 따라서, 사상 집합을 통한 정의를 사용할 수 있다.
즉, 이는 일반적인 열린 덮개의 성질을 공리화한 것이다.
formula_120에서 그로텐디크 위상의 공리들을 번역하면 다음과 같다.
formula_120 위에, 덮개체들을 열린 덮개의 하향 폐포들로 고른다면, 이는 위치를 이룬다. 이 위치를 formula_119의 작은 위치()라고 한다. 이 위치는 그로텐디크 준위상으로도 정의할 수 있으며, 이 경우 덮개들은 열린 덮개와 같다.
위상 공간과 연속 함수들의 범주 formula_180를 생각하자. 이 위에 다음과 같은 그로텐디크 위상이 존재한다. 위상 공간 formula_181의 덮개 formula_182는 다음 조건을 만족시키는 연속 함수들의 집합이다.
이는 준표준 위상을 이룬다.
위상 공간 formula_181가 주어졌을 때, formula_185는 formula_119로 가는 사상(연속 함수)들을 대상으로 하는 범주이다. 이 경우, formula_185의 두 대상 (연속 함수)
사이의 사상은 다음 성질을 만족시키는 연속 함수 formula_190이다.
이 경우, formula_185는 formula_180로부터 그로텐디크 위상을 물려받는다. 이 그로텐디크 위상을 갖춘 formula_185를 formula_119의 큰 위치()라고 한다.
스킴들의 범주 formula_196 위에는 다음과 같은 특별한 그로텐디크 위상들이 존재한다.
이들은 섬세함에 따라 다음과 같이 전순서를 이룬다. (즉, 왼쪽으로 갈 수록 더 엉성한 위상이며, 오른쪽으로 갈수록 더 섬세한 위상이다.)
이들 모두 준표준 위상이다.
스킴 formula_119에 대하여, 그 위의 조각 범주 formula_200 위에는 이 위상들의 유도 위상들을 부여할 수 있다.
각 표수 formula_201에 대하여, 유한체 formula_202 또는 formula_203 위의 분리 거듭제곱 농화(-濃化, )들의 범주 위에, formula_196 위의 위상 가운데 하나를 사용하여 위상을 줄 수 있다. 이러한 위치들을 무한소 위치()라고 하며, 결정 코호몰로지()를 정의하는 데 쓰인다.
1949년에 앙드레 베유는 유한체 위의 대수다양체에 대한 베유 추측을 제시하였고, 이들을 증명하려면 베유 코호몰로지라는 새로운 코호몰로지 이론이 필요하다고 제안하였다. 그러나 베유 자신은 베유 코호몰로지를 정의하는 데 실패하였다.
1958년에 장피에르 세르는 베유 코호몰로지를 정의하기 위하여 등자명 피복()의 개념을 도입하였다. (이는 오늘날 에탈 사상의 개념과 관련돼 있다.) 세르는 이 개념을 1958년 4월 28일 세미나에서 강의하였고, 이를 청강하던 알렉산더 그로텐디크는 이를 사용하여 베유 코호몰로지를 성공적으로 정의할 수 있다고 확신하였다. 그러나 세르는 그로텐디크와 달리 이에 대하여 회의적이었다고 한다.
1960년대 초에 그로텐디크는 에탈 사상을 사용하여, 베유 코호몰로지의 최초의 예인 에탈 코호몰로지 및 에탈 기본군 등을 정의하였다. 이를 정의하기 위하여 그로텐디크는 고전적 위상 공간의 개념을 버리고 대신 위치(그로텐디크 위상을 갖춘 범주)의 개념을 도입하였다. 1961년 가을에 그로텐디크는 하버드 대학교를 방문하여 마이클 아틴 · 오스카 자리스키 · 데이비드 멈퍼드와 토론하였고, 아틴은 이듬해 봄에 위치에 대하여 강의하였다. 아틴의 강의록은 곧 출판되었으며, 이것이 그로텐디크 위상을 다루는 최초의 문헌이다. 이후 위치와 그로텐디크 위상의 이론은 《마리 숲 대수기하학 세미나》() 3권(1970년) ·4권(1972년)에서 자세하게 다뤄졌다.
그로텐디크는 위치와 그로텐디크 위상의 개념으로부터, 그로텐디크 토포스(위치 위의 층 범주와 동치인 범주)의 개념을 정의하였다. 훗날 그로텐디크는 자신의 회고록에서 위치의 개념이 단지 "토포스라는 핵심적인 개념의 기술적, 임시적 형태"()에 불과하다고 평했다.
1970년 세계 수학자 대회에서 프랜시스 윌리엄 로비어()와 마일스 티어니()는 그로텐디크 위상의 개념을 일반화한 로비어-티어니 위상의 개념을 발표하였다.