스킴 (수학) 문서 원본 보기

{{위키데이터 속성 추적}}
[[대수기하학]]에서 '''스킴'''({{llang|en|scheme}}, {{llang|fr|schéma|스케마}})은 국소적으로 [[가환환]]의 [[환의 스펙트럼|스펙트럼]]과 [[동형]]인 공간이다. [[대수다양체]]와 [[대수적 정수환]]들의 공통적인 일반화이다.

== 정의 ==
'''[[아핀 스킴]]'''({{llang|en|affine scheme}})은 (1이 있는) 어떤 가환환의 [[환의 스펙트럼|스펙트럼]]과 [[동형]]인 [[국소환 달린 공간]]이다.

'''스킴'''은 국소적으로 [[아핀 스킴]]과 동형인 "공간"이다. 이 개념은 다음과 같은 방법으로 엄밀하게 정의할 수 있다.

=== 국소환 달린 공간을 통한 정의 ===
'''스킴'''은 국소적으로 아핀 스킴과 동형인 [[국소환 달린 공간]]이며, '''스킴의 범주''' <math>\operatorname{Sch}</math>는 스킴으로 구성된, [[국소환 달린 공간]]의 범주 <math>\operatorname{LocRingedSp}</math>의 [[충만한 부분 범주]]이다. 즉, [[국소환 달린 공간]] <math>X</math>가 [[열린 덮개]] <math>\{U_\alpha\}</math>를 가져, 각 <math>U_\alpha</math>가 아핀 스킴을 이루는 경우 <math>X</math>를 스킴이라고 한다.<ref name="Hartshorne"/>{{rp|74}}<ref name="Liu">{{서적 인용
 |이름       = Qing
 |성          = Liu
 |날짜       = 2006
 |title        = Algebraic geometry and arithmetic curves
 |series       = Oxford Graduate Texts in Mathematics
 |volume       = 6
 |publisher    = Oxford University Press
 |isbn         = 0-19-920249-4
 |zbl          = 1103.14001
 |판          = 2
 |url          = http://www.math.u-bordeaux1.fr/~qliu/Book/
 |언어       = en
 |확인날짜 = 2013-07-16
 |보존url    = https://web.archive.org/web/20160305003407/http://www.math.u-bordeaux1.fr/~qliu/Book/
 |보존날짜 = 2016-03-05
 |url-status = dead
}}</ref>{{rp|44, Definition 3.8}}<ref name="EGA1-1ed"/>{{rp|97, Définition I.2.1.2}}

=== 점함자를 통한 정의 ===
스킴의 개념은 다음과 같이 더 추상적으로 정의할 수도 있다.<ref name="DG">{{서적 인용|이름=Michel|성=Demazure|이름2=Peter|성2=Gabriel|제목=Groupes algébriques. Tome 1||출판사=Mason et Compagnie|위치=[[파리 (프랑스)|파리]]|날짜=1970|언어=fr}}</ref>{{rp|Chapitre I}}

아핀 스킴의 범주 <math>\operatorname{Aff}=\operatorname{CRing}^{\operatorname{op}}</math> 위에, [[자리스키 위상]]에 대한 [[그로텐디크 위상]]을 주면 <math>\operatorname{Aff}</math>는 [[위치 (수학)|위치]]를 이룬다. 이 위치 위의 ([[집합]] 값을 갖는) [[층 (수학)|층]]의 [[범주 (수학)|범주]] <math>\operatorname{Sh}(\operatorname{Aff})</math>를 생각하자. 이는 [[토포스]]를 이룬다. 이 [[그로텐디크 위상]]은 [[준표준 위상]]이다. 즉, 임의의 가환환 <math>R</math>에 대하여, 준층
:<math>\hom_{\operatorname{Aff}}(-,R)=\hom_{\operatorname{CRing}}(R,-)\colon\operatorname{Aff}^{\operatorname{op}}\to\operatorname{Set}</math>
은 층을 이룬다. 이를 통해 포함 함자
:<math>I\colon\operatorname{Aff}\to\operatorname{Sh}(\operatorname{Aff})
</math>
:<math>I\colon R\to\hom_{\operatorname{Aff}}(-,R)</math>
를 정의할 수 있으며, [[가환환]]을 층으로 여길 수 있다.

[[가환환]] <math>R</math>와 그 속의 [[아이디얼]] <math>\mathfrak a\subseteq R</math>이 주어졌을 때, 층 <math>I(R)</math>의 다음과 같은 부분층을 정의할 수 있다.<ref name="DG"/>{{rp|Exemple I.3.5}}
:<math>I_{\mathfrak a}(R)\colon S\mapsto \{\phi\in\hom_{\operatorname{CRing}}(R,S)\colon S=S\phi(\mathfrak a)\}</math>
준층 <math>F\colon\operatorname{Aff}^{\operatorname{op}}\to\operatorname{Set}</math>의 '''열린 부분층'''은 다음 조건을 만족시키는 부분층 <math>U\subseteq F</math>이다.<ref name="DG"/>{{rp|Définition I.3.6}}
* 임의의 [[가환환]] <math>R</math> 및 층 사상 <math>f\in\hom_{\operatorname{Sh}(\operatorname{Aff})}(I(R),F)</math>에 대하여, <math>I(R)</math>의 부분층 <math>f^{-1}(F)\subseteq I(R)</math>는 <math>f^{-1}(F)=I_{\mathfrak a}(R)</math>가 되는 아이디얼 <math>\mathfrak a\subseteq R</math>가 존재한다.

층 <math>F\in\operatorname{Sh}(\operatorname{Aff})</math>가 다음 조건을 갖는 [[표현 가능 함자|표현 가능]] 열린 부분층 <math>\{U_i\cong\hom_{\operatorname{CRing}}(R_i,-)\}_{i\in I}</math>들을 갖는다고 하자.
* 임의의 [[체 (수학)|체]] <math>K\in\operatorname{Aff}</math>에 대하여, <math>\textstyle\bigcup_{i\in I}\hom_{\operatorname{Sh}(\operatorname{Aff})}(I(K),U_i)=\hom_{\operatorname{Sh}(\operatorname{Aff})}\left(I(K),F\right)</math>이다.
그렇다면 이 조건들을 만족시키는, <math>\operatorname{Sh}(\operatorname{Aff})</math>의 [[충만한 부분 범주]]를 정의할 수 있다. 이 범주를 '''스킴의 범주''' <math>\operatorname{Sch}</math>로 정의하며, 스킴은 이 범주의 원소이다.<ref name="DG"/>{{rp|§I.3.11}}

이 두 정의는 서로 동치이다. 구체적으로, [[국소환 달린 공간]]으로서의 스킴 <math>X</math>가 주어지면, 다음과 같은 [[준층]]을 정의할 수 있다.
:<math>\operatorname{Aff}^{\operatorname{op}}\to\operatorname{Set}</math>
:<math>\operatorname{Spec}R\mapsto\hom_{\operatorname{Sch}}(\operatorname{Spec}R,X)</math>
즉, 이는 <math>\operatorname{Spec}R</math>에 대하여, <math>X</math>의 <math>\operatorname{Spec}R</math>-점들의 집합을 대응시킨다. 이를 '''점함자'''({{llang|en|functor of points}})라고 한다. 이 준층은 자리스키 위상에 대하여 층을 이루며, 위 조건에 따라 스킴이 되는 것을 보일 수 있다.

=== 스킴의 사상의 해석 ===
스킴 사상 <math>f\colon X\to Y</math>가 주어졌을 때, 이를 다음과 같이 세 가지로 해석할 수 있으며, 이에 따라 스킴 사상을 서로 다른 용어로 부른다.
* <math>f</math>는 '''<math>Y</math> 위의 스킴'''을 정의한다. 이는 <math>Y</math>가 체(의 스펙트럼)인 경우의 일반화이다.
* <math>f</math>는 <math>Y</math>의 '''<math>X</math>-점'''을 정의한다. 이는 <math>X</math>가 체(의 스펙트럼)인 경우의 일반화이다.
* <math>f</math>는 '''<math>Y</math>에 의해 매개되는 족'''을 정의한다. 이는 <math>X</math>와 <math>Y</math> 둘 다 유한 차원이며, <math>\dim X\ge\dim Y</math>인 경우의 일반화이다.

==== ''S'' 위의 스킴 ====
스킴 <math>S</math>가 주어졌을 때, '''<math>S</math> 위의 스킴의 범주''' <math>\operatorname{Sch}/S</math>는 <math>S</math>에 대한 [[조각 범주]]이며, '''<math>S</math> 위의 스킴'''({{llang|en|''S''-scheme}} 또는 {{llang|en|scheme over ''S''}})은 그 대상이다. 즉, ''S'' 위의 스킴 <math>(X,f)</math>은 스킴 <math>X</math>와 스킴 사상 <math>f\colon X\to S</math>의 순서쌍이다.<ref name="Hartshorne"/>{{rp|78}} <math>K</math>가 [[체 (수학)|체]]나 [[가환환]]이라면, '''<math>K</math> 위의 스킴'''은 <math>\operatorname{Spec}K</math> 위의 스킴과 같다. <math>\operatorname{Spec}\mathbb Z</math>는 스킴의 범주의 [[끝 대상]]이므로, "<math>\mathbb Z</math> 위의 스킴"은 "스킴"과 같은 뜻이다.

==== 점 ====
스킴 <math>X</math>는 [[위상 공간 (수학)|위상 공간]]이므로, 위상 공간으로서의 점을 정의할 수 있다. 스킴은 일반적으로 [[T1 공간|T<sub>1</sub> 공간]]이 아니므로, 닫힌 점과 닫히지 않은 점을 구분할 수 있다. 스킴의 닫히지 않은 점은 '''[[일반점]]'''이라고 한다. 닫힌 점은 [[대수다양체]]의 실제 "점"에 대응하며, 닫히지 않은 점은 (그 [[폐포 (위상수학)|폐포]]를 취하면) 닫힌 부분 스킴에 대응한다.

보다 일반적으로, 임의의 스킴 <math>S</math>에 대하여, <math>X</math>의 '''<math>S</math>-점'''({{llang|en|<math>S</math>-point}})은 스킴 사상 <math>f\colon S\to X</math>를 뜻한다. 고전적으로는 <math>S</math>가 어떤 체 <math>K</math>의 스펙트럼인 경우를 다루며, 이 경우 <math>\operatorname{Spec}K\to X</math>는 <math>X</math>를 체 <math>K</math> 위에서 정의하였을 때의 점에 대응한다.

<math>X</math>의 '''기하학적 점'''(幾何學的點, {{llang|en|geometric point}})은 어떤 [[대수적으로 닫힌 체]] <math>K</math>에 대한 <math>\operatorname{Spec}K</math>-점이다.

==== 족 ====
스킴 <math>S</math>로 매개화되는 스킴의 '''족'''(族, {{llang|en|family of schemes}})은 스킴의 사상 <math>X\to S</math>이다.<ref>{{서적 인용 | last=Eisenbud | first=David | 저자링크=데이비드 아이젠버드|이름2=Joe|성2= Harris | title=The geometry of schemes | publisher=Springer-Verlag |총서=Graduate Texts in Mathematics|권=197|issn=0072-5285 | isbn=978-0-387-98638-8 | mr=1730819  | 날짜=2000 | doi=10.1007/b97680 | zbl=0960.14002 | 언어=en }}</ref>{{rp|70}} 스킴의 족 <math>f\colon X\to S</math>의, 점 <math>s\in S</math>에서의 '''올'''({{llang|en|fiber}})은 <math>s</math>에서의 줄기인 [[국소환]] <math>(\mathcal O_{S,s},\mathfrak m(\mathcal O_{S,s}))</math>의 [[잉여류체]] <math>\mathcal O_{S,s}/\mathfrak m(\mathcal O_{S,s})</math>에 대한 올곱
:<math>X_s=X\times_S\operatorname{Spec}(\mathcal O_{S,s}/\mathfrak m(\mathcal O_{S,s}))</math>
이다.<ref name="Hartshorne"/>{{rp|89}} <math>X_s</math>는 위상 공간으로서 [[원상 (수학)|원상]] <math>f^{-1}(s)</math>와 [[위상 동형]]이다.<ref name="Hartshorne"/>{{rp|92, Exercise II.3.10}} 따라서, 스킴 사상 <math>X\to S</math>은 체 위의 스킴들의 족으로 해석할 수 있다. 예를 들어, [[정수환]] <math>\mathbb Z</math> 위의 스킴 <math>S\to\mathbb Z</math>이 주어졌을 때, 이는 각 소수 <math>p</math>에 대한 스킴 <math>S\times_{\mathbb Z}\mathbb F_p</math> 및 [[유리수체]] 위의 스킴 <math>S\times_{\mathbb Z}\mathbb Q</math>의 족으로 해석할 수 있다.

스킴의 족은 매우 일반적인 개념이므로, 보통 [[평탄 사상]]을 이루는 평탄한 족({{llang|en|flat family}}), [[매끄러운 사상]]을 이루는 매끄러운 족({{llang|en|smooth family}}) 등이 쓰인다.

=== 몰입과 부분 스킴 ===
두 [[국소환 달린 공간]] <math>(Y,\mathcal O_Y)</math>, <math>(X,\mathcal O_X)</math> 사이의 사상 <math>\iota\colon Y\to X</math>가 다음 두 조건을 만족시킨다면, '''[[열린 몰입]]'''({{llang|en|open immersion}})이라고 한다.
* <math>\iota</math>는 [[위상 공간 (수학)|위상 공간]]의 열린 [[매장 (수학)|매장]]이다. 즉, <math>\iota</math>는 [[단사 함수]]이며, <math>\iota(Y)\subset X</math>는 [[열린집합]]이다.
* <math>\iota^*\mathcal O_X\cong\mathcal O_Y</math>이다.
두 [[국소환 달린 공간]] <math>(Y,\mathcal O_Y)</math>, <math>(X,\mathcal O_X)</math> 사이의 사상 <math>\iota\colon Y\to X</math>가 다음 두 조건을 만족시킨다면, '''[[닫힌 몰입]]'''({{llang|en|closed immersion}})이라고 한다.
* <math>\iota</math>는 [[위상 공간 (수학)|위상 공간]]의 닫힌 [[매장 (수학)|매장]]이다. 즉, <math>\iota</math>는 [[단사 함수]]이며, <math>\iota(Y)\subset X</math>는 [[닫힌집합]]이다.
* [[층 (수학)|층]]의 사상 <math>\iota^\#\colon \mathcal O_X\to \iota_*\mathcal O_Y</math>은 [[전사 사상]]이다.

스킴 <math>(X,\mathcal O_X)</math>의 '''열린 부분 스킴'''({{llang|en|open subscheme}})은 위상 공간으로서 <math>X</math>의 [[열린집합]] <math>U\subset X</math>이며, <math>U</math> 위의 구조층은 층의 역상 <math>f^*\mathcal O_X</math>이다.<ref name="Hartshorne"/>{{rp|79, Exercise II.2.2; 85}} 이에 따라, [[열린 몰입]] <math>U\to X</math>가 존재한다.

스킴 <math>(X,\mathcal O_X)</math> 위에, [[준연접층]]인 [[아이디얼 층]] <math>\mathcal J</math>가 주어졌을 때, <math>\mathcal J</math>에 대응하는 '''닫힌 부분 스킴'''({{llang|en|closed subscheme}})은 집합으로서 [[닫힌집합]] <math>\operatorname{supp}\mathcal J\subseteq X</math>이며, 그 위의 구조층은 <math>(\mathcal O_X/\mathcal J)|_{\operatorname{supp}\mathcal J}</math>이다.<ref name="Hartshorne"/>{{rp|85}} 이에 따라, [[닫힌 몰입]] <math>\operatorname{supp}\mathcal J\to X</math>가 존재한다. 스킴의 열린 부분 집합이 주어지면 이에 대응하는 열린 부분 스킴이 유일하게 결정되지만, 스킴의 닫힌 부분 집합이 주어지면 이에 대응하는 닫힌 부분 스킴은 유일하지 않을 수 있다.

스킴 <math>X</math>의 '''부분 스킴'''(部分scheme, {{llang|en|subscheme}}, {{llang|fr|sous-schéma}})은 열린 부분 스킴의 닫힌 부분 스킴이다.<ref name="EGA1-1ed"/>{{rp|120, Définition I.4.1.3}} <math>X</math>의 부분 스킴 <math>Y</math>의 부분 스킴 <math>Z</math>가 주어졌을 때, <math>Z</math>는 <math>X</math>의 부분 스킴이다.<ref name="EGA1-1ed"/>{{rp|120–121, Proposition I.4.1.6}}

== 성질 ==
=== 위상수학적 성질 ===
모든 스킴은 위상 공간으로서 [[차분한 공간]]이며 따라서 [[콜모고로프 공간]]이다. 또한, 모든 스킴은 [[국소 콤팩트 공간]]이다. 그러나 스킴은 일반적으로 [[T1 공간|T<sub>1</sub> 공간]]이지 않을 수 있다.

구체적으로, [[위상 공간 (수학)|위상 공간]] <math>X</math>에 대하여, 다음 세 조건이 서로 [[동치]]이며, 이를 만족시키는 위상 공간을 '''스펙트럼 공간'''({{llang|en|spectral space}})이라고 한다.<ref name="Hochster">{{저널 인용|제목=Prime ideal structure in commutative rings|저널=Transactions of the American Mathematical Society|권=142|날짜=1969|쪽=43–60|성=Hochster|이름=M.|doi=10.1090/S0002-9947-1969-0251026-X |mr=0251026|jstor=1995344|언어=en}}</ref>
* <math>X\cong\operatorname{Spec}R</math>인 [[가환환]] <math>R</math>가 존재한다.
* <math>X</math>는 유한 [[콜모고로프 공간]]들의 [[역극한]]이다.
* <math>X</math>는 [[콤팩트 공간|콤팩트]] [[콜모고로프 공간|콜모고로프]] [[차분한 공간]]이며, <math>X</math>의 콤팩트 [[열린집합]]들의 모임은 <math>X</math>의 [[기저 (위상수학)|기저]]를 이루며, <math>X</math>의 두 콤팩트 [[열린집합]] <math>C_1,C_2\subseteq X</math>에 대하여, <math>C_1\cap C_2</math> 역시 [[콤팩트 집합]]이다.

그렇다면 임의의 위상 공간 <math>X</math>에 대하여, 다음 두 조건이 서로 [[동치]]이다.<ref name="Hochster"/>{{rp|58, Theorem 9}}
* 위상 공간으로서 <math>X</math>와 [[위상 동형]]인 스킴 <math>S</math>가 존재한다.
* 모든 <math>x\in X</math>에 대하여, 스펙트럼 공간을 이루는 [[열린 근방]] <math>U\ni x</math>가 존재한다.
또한, 임의의 위상 공간 <math>X</math>에 대하여, 다음 조건들이 서로 [[동치]]이다.<ref name="Hochster"/>{{rp|60, Proposition 16}}
* 위상 공간으로서 <math>X</math>와 [[위상 동형]]인 [[분리 스킴]] <math>S</math>가 존재한다.
* <math>X</math>는 어떤 스펙트럼 공간의 열린 부분 공간이다.
* <math>X</math>는 어떤 아핀 스킴의 열린 부분 스킴과 위상 동형이다.

=== 범주론적 성질 ===
스킴의 범주 <math>\operatorname{Sch}</math>는 유한 완비 범주이지만, 완비 범주도, 쌍대 완비 범주도, 심지어 유한 쌍대 완비 범주도 아니다. 구체적으로, 스킴의 범주는 다음과 같은 (쌍대) 극한을 갖는다.
* 모든 유한 극한이 존재한다.
** 유한 [[곱 (범주론)|곱]] <math>X_1\times\dotsb\times X_n</math>이 존재한다. 다만, 일반적으로 스킴의 곱은 위상 공간으로서의 곱과 다르다.
** [[끝 대상]]이 존재하며, <math>\operatorname{Spec}\mathbb Z</math>이다. 이는 <math>\mathbb Z</math>가 가환환의 범주 <math>\operatorname{CRing}</math>의 [[시작 및 끝 대상|시작 대상]]이기 때문이다.
**  [[올곱]] <math>X\times_ZY</math>가 존재한다. 이 때 <math>Z=\operatorname{Spec}\mathbb Z</math>로 놓으면 이는 일반적인 곱이 된다. 스킴의 [[올곱]]은 '''밑 변환'''(-變換, {{llang|en|base change}})이라고 한다. 즉, 이는 <math>Z</math> 위의 스킴 <math>X</math>를 <math>Y</math> 위의 스킴 <math>X\times_ZY</math>으로의 밑 변환이다.
* 임의의 (작은) [[쌍대곱]] <math>\bigsqcup_{i\in I}X_i</math>이 존재한다. 이는 스킴의 [[분리합집합]]이다.
* [[시작 대상]]이 존재하며, <math>\operatorname{Spec}0</math> ([[자명환]] <math>\{0\}</math>의 스펙트럼)이다. 이는 [[자명환]] <math>0</math>이 가환환의 범주 <math>\operatorname{CRing}</math>의 [[끝 대상]]이기 때문이다. 위상 공간으로서 이는 [[공집합]]이다.
하지만 스킴의 범주에서는 다음과 같은 (쌍대) 극한들이 존재하지 않는다.
* 스킴들의 무한 [[곱 (범주론)|곱]]은 일반적으로 존재하지 않는다. (다만, [[아핀 스킴]]들의 무한 곱은 [[가환환]]의 무한 쌍대곱이므로 존재한다.)
* 스킴들의 [[밂 (범주론)|밂]]은 일반적으로 존재하지 않는다.
** 두 스킴 <math>X,Y</math> 및 [[열린 몰입]] <math>Z\hookrightarrow X</math>, <math>Z\hookrightarrow Y</math>이 존재하였을 때 <math>X\cup_ZY</math>는 존재한다. 즉, 스킴을 열린 부분 스킴을 통해 이어붙일 수 있다.
** 두 스킴 <math>X,Y</math> 및 [[닫힌 몰입]] <math>Z\hookrightarrow X</math>, <math>Z\hookrightarrow Y</math>이 존재하였을 때 <math>X\cup_ZY</math>는 존재한다. 즉, 스킴을 [[닫힌 부분 스킴]]을 통해 이어붙일 수 있다.<ref>{{서적 인용|장url=http://www-personal.umich.edu/~kschwede/SchemeWithoutPoints.pdf|장=Gluing schemes and a scheme without closed points|이름=Karl|성=Schwede|제목=Recent progress in arithmetic and algebraic geometry|zbl=1216.14003|출판사=American Mathematical Society|총서=Contemporary Mathematics|권=386|쪽=157–172|isbn=978-0-8218-3401-5|편집자=Yasuyuki Kachi|날짜=2005|doi=10.1090/conm/385|mr=2182775|언어=en|access-date=2015-08-13|archive-date=2016-03-05|archive-url=https://web.archive.org/web/20160305020025/http://www-personal.umich.edu/~kschwede/SchemeWithoutPoints.pdf|url-status=}}</ref>{{rp|Corollary 3.9}}

==== 아핀 스킴과의 관계 ====
[[아핀 스킴]]의 범주 <math>\operatorname{Aff}</math>는 ([[대수 구조 다양체]]의 범주인 [[가환환]] 범주 <math>\operatorname{CRing}</math>의 [[반대 범주]]이므로) [[완비 범주]]이자 [[쌍대 완비 범주]]이다.

아핀 스킴의 범주 <math>\operatorname{Aff}</math>는 스킴의 범주 <math>\operatorname{Sch}</math>의 [[반사 부분 범주]]이다. 포함 함자 <math>I\colon\operatorname{Aff}\hookrightarrow\operatorname{Sch}</math>의 [[왼쪽 수반 함자]]는 구조층의 대역적 단면환의 스펙트럼이다.
:<math>R\colon \operatorname{Sch}\to\operatorname{Aff}</math>
:<math>R\colon (X,\mathcal O_X)\mapsto\operatorname{Spec}\Gamma(X,\mathcal O_X)</math>
:<math>R\dashv I</math>
즉, 아핀 스킴의 [[극한 (범주론)|극한]]은 스킴의 [[극한 (범주론)|극한]]과 일치한다. 반대로, 스킴의 [[쌍대극한]]은 (만약 존재한다면) 아핀 스킴의 쌍대극한과 일반적으로 일치하지 않지만, 스킴의 [[쌍대극한]]에 <math>R</math> 함자를 가하면 이는 아핀 스킴의 쌍대극한과 일치한다.

==== 국소환 달린 공간과의 관계 ====
모든 [[국소환 달린 공간]]의 범주 <Math>\operatorname{LocRingSp}</math>는 [[완비 범주]]이자 [[쌍대 완비 범주]]이다.<ref name="Gilliam"/>

포함 함자
:<math>\operatorname{Sch}\to\operatorname{LocRingSp}</math>
에 따라, 스킴의 범주는 [[국소환 달린 공간]]의 범주의 [[충만한 부분 범주]]를 이룬다.

이 포함 함자는 [[쌍대극한]]을 보존하지 않으며, 일반적 [[극한 (범주론)|극한]]도 보존하지 않는다. 그러나 이는 유한 극한을 보존한다.<ref name="Gilliam">{{저널 인용|arxiv=1103.2139|제목=Localization of ringed spaces|이름=W. D.|성=Gilliam|bibcode=2011arXiv1103.2139G|날짜=2011|언어=en}}</ref>{{rp|Theorem 8}}

=== 그로텐디크 위상 ===
스킴의 범주 <math>\operatorname{Sch}</math> 위에는 다양한 [[그로텐디크 준위상]]들이 존재한다. 이들은 공통적으로 다음과 같은 형태로 정의된다.
:어떤 스킴 사상들의 [[모임 (집합론)|모임]] <math>\mathfrak M</math>이 주어졌을 때, <math>X</math>의 덮개는 다음 조건을 만족시키는 사상들의 집합 <math>\{f_i\colon Y_i\to X\}_{i\in I}</math>이다.
:*<math>\{f_i\}_{i\in I}\subset\mathfrak M</math>
:* 집합으로서, <math>\bigcup_if(Y_i)=X</math>이다.
이에 따라, 다음과 같은 위상들을 정의할 수 있다.
{| class=wikitable
! 이름 || 덮개를 이루는 사상 || 비고
|-
|  '''[[자리스키 위상]]''' <math>\operatorname{Zar}</math> || 열린 몰입 || 이는 고전적인 [[자리스키 위상]]으로부터 유도된다.
|-
| '''[[에탈 위상]]''' <math>\operatorname{\acute Et}</math> || [[에탈 사상]]
|-
| '''[[fppf 위상]]''' || [[국소 유한 표시 사상|국소 유한 표시]] [[평탄 사상]] || 충실하게 평탄 유한 표시({{llang|fr|fidèlement plate de présentation finie}})의 [[프랑스어]] 머릿글자
|}
이 밖에도, 다음과 같은 위상들이 존재한다.
* '''[[fpqc 위상]]''': 충실하게 평탄한({{llang|fr|fidèlement plate}}) 준콤팩트({{llang|fr|quasi-compacte}}) 사상. 흔히 사용되는 위상 가운데 가장 섬세하다.
* '''[[니스네비치 위상]]'''(Нисневич-, {{llang|en|Nisnevich topology}}). 이는 예브세이 니스네비치({{llang|ru|Евсей А. Нисневич}})가 도입하였으며, [[대수적 K이론]] · <math>\mathbb A^1</math> 호모토피 이론 · [[모티브 (수학)|모티브]] 이론에서 쓰인다.
* '''신토믹 위상'''({{llang|en|syntomic topology}}).<ref>{{서적 인용 | last1=Fontaine | first1=Jean-Marc | last2=Messing | first2=William | title=Current trends in arithmetical algebraic geometry. Proceedings of the AMS–IMS–SIAM joint summer research conference held August 18–24, 1985 with support from the National Science Foundation | publisher=American Mathematical Society | series=Contemporary Mathematics | mr=902593 | year=1987 | volume=67 | chapter=''p''-adic periods and ''p''-adic étale cohomology | pages=179–207|doi=10.1090/conm/067/902593|editor-first=Kenneth A. |editor-last=Ribet|editor-link=케네스 앨런 리벳|언어=en}}</ref> 이는 일부 경우 평탄 위상보다 더 계산하기 쉬우며, 주로 [[수론]]에서 쓰인다.

이 위상들은 다음과 같이, 섬세함에 대하여 [[전순서 집합]]을 이룬다. (여기서 오른쪽으로 갈 수록 더 섬세한 위상이다.)
:비이산 위상 → [[자리스키 위상]] → [[니스네비치 위상]] → [[에탈 위상]] → [[fppf 위상]] → [[fpqc 위상]] → 표준 위상 → 이산 위상
fpqc 위상은 흔히 사용되는 가장 섬세한 [[그로텐디크 위상]]이므로, 흔히 사용되는 모든 [[그로텐디크 위상]]들은 준표준 위상이다 (즉, [[표현 가능 함자|표현 가능]] [[준층]]은 항상 [[층 (수학)|층]]을 이룬다).

== 종류 ==
스킴 이론에서는 수많은 기술적인 용어들이 사용된다. 우선, 위상 공간의 성질을 스킴에 적용할 수 있다.
* '''[[기약 스킴]]'''은 [[위상 공간 (수학)|위상 공간]]으로서 [[기약 공간]]인 스킴이다.
* '''(준)콤팩트 스킴'''({{llang|en|(quasi-)compact scheme}})은 [[위상 공간 (수학)|위상 공간]]으로서 [[콤팩트 공간]]인 스킴이다. 주의할 것은 대수기하학에서는 "콤팩트" 대신 "준콤팩트"({{llang|en|quasicompact}})를 사용하고, "콤팩트 하우스도르프" 대신 "콤팩트"를 사용하는 경우가 잦다. 물론 스킴은 거의 항상 하우스도르프 공간이 아니다.
* '''연결 스킴'''({{llang|en|connected scheme}})은 [[위상 공간 (수학)|위상 공간]]으로서 [[연결 공간]]인 스킴이다.
* 스킴의 '''(크룰) 차원'''({{llang|en|(Krull) dimension}})은  [[위상 공간 (수학)|위상 공간]]으로서의 [[크룰 차원]]이다.
또한, 가환환의 성질을 스킴으로 일반화할 수 있다.
* '''[[축소 스킴]]'''은 모든  열린 집합 <math>U\subset X</math>에서 구조층 <math>\mathcal O_X(U)</math>이 [[축소환]]인(0이 아닌 [[멱영원]]을 갖지 않는) 스킴 <math>X</math>이다.
* '''[[뇌터 스킴]]'''은 [[뇌터 환]]의 스펙트럼으로 구성된 유한 [[열린 덮개]]가 존재하는 스킴이다.
* '''[[정칙 스킴]]'''은 [[특이점 (대수기하학)|특이점]]을 갖지 않는 스킴이다. 즉, 모든 줄기가 [[정칙 국소환]]을 이루는 스킴이다.
이 밖에도, 다음과 같은 용어가 사용된다.
* '''[[분리 스킴]]'''은 [[위상 공간 (수학)|위상 공간]]의 [[하우스도르프 공간|하우스도르프 조건]]과 유사한 조건을 만족시키는 스킴이다.
* '''[[정역 스킴]]'''은 [[기약 스킴]]인 [[축소 스킴]]이다.

일반적으로, 체 <math>K</math>가 주어졌을 때, <math>K</math> 위의 스킴의 성질 <math>P</math>가 다음 조건을 만족시킨다면, <math>P</math>를 '''기하학적 성질'''(幾何學的性質, {{llang|en|geometric property}})이라고 한다.
* 임의의 <math>K</math> 위의 스킴 <math>X\to\operatorname{Spec}K</math> 및 임의의 [[체의 확대]] <math>L/K</math>에 대하여, 만약 <math>X\to\operatorname{Spec}K</math>가 <math>P</math>를 만족시킨다면, [[올곱]] <math>X\otimes_{\operatorname{Spec}K}\operatorname{Spec}L</math> 역시 (<math>L</math> 위의 스킴으로서) <math>P</math>를 만족시킨다.

스킴의 성질 <math>P</math>가 다음 조건을 만족시킨다면, <math>P</math>를 '''국소적 성질'''(局所的性質, {{llang|en|local property}})이라고 한다.
* 스킴 <math>X</math>가 <math>P</math>를 만족시킬 필요충분조건은 임의의 열린 부분 스킴으로 구성된 [[열린 덮개]] <math>\{U_i\}_{i\in I}</math>에 대하여 모든 <math>U_i</math>가 <math>P</math>를 만족시키는 것이다.

===  대수다양체 ===
{{본문|대수다양체}}
[[대수적으로 닫힌 체]] <math>K</math> 위의 [[대수다양체]]의 범주를 <math>\operatorname{Var}/K</math>라고 하자.<math>\operatorname{Sch}/K</math>는 <math>K</math> 위의 스킴의 범주라고 하자. 그렇다면 다음과 같은 [[함자 (수학)|함자]] <math>t\colon\operatorname{Var}/K\to\operatorname{Sch}/K</math>가 존재하며, 이에 따라 <math>\operatorname{Var}/K</math>는 <math>\operatorname{Sch}/K</math>의 [[충만한 부분 범주]]를 이룬다.<ref name="Hartshorne">{{서적 인용 | 이름=Robin|성=Hartshorne| 날짜 = 1977|제목=Algebraic geometry|저자링크=로빈 하츠혼|출판사=Springer| isbn =  978-0-387-90244-9|mr=0463157 | zbl = 0367.14001 | 언어=en|doi=10.1007/978-1-4757-3849-0|총서=Graduate Texts in Mathematics|권=52|issn=0072-5285}}</ref>{{rp|78}}

[[대수다양체]] <math>V</math>에 대하여, <math>t(V)</math>를 <math>V</math>의 [[자리스키 위상]] 아래 [[닫힌 집합]]들의 집합이라고 하자. <math>t(V)</math> 위에 위상을, 닫힌 집합의 <math>t</math>에 대한 [[상 (수학)|상]]들이 닫힌 것으로 정의하자. 그렇다면 함수 <math>\alpha\colon x\to\{x\}</math>는 [[연속 함수]]이다. <math>\mathcal O_V</math>가 <math>V</math> 위의 [[다항식]]함수들의 [[층 (수학)|층]]이라고 하자. 그렇다면 층의 [[상 (수학)|상]]({{lang|en|image}}) <math>\alpha_*\mathcal O_V</math>는 <math>t(V)</math> 위의 환의 층 구조를 이룬다. 이에 따라 <math>t(V)</math>는 [[국소환 달린 공간]]의 구조를 갖춘다. 이 사상에 따라, 아핀 다양체의 [[상 (수학)|상]]이 아핀 스킴임을 보일 수 있다. 대수다양체는 국소적으로 아핀 대수다양체인 공간이고, 스킴은 국소적으로 아핀 스킴인 공간이므로, <math>t</math>가 대수다양체에서 스킴으로의 [[함자 (수학)|함자]]임을 보일 수 있다. 또한, 이 스킴 <math>t(V)</math>의 경우, 상수함수로 인하여 정의되는 사상 <math>t(V)\to\operatorname{Spec}K</math>가 존재한다. 따라서 <math>t(V)</math>는 <math>K</math> 위의 스킴이다. 이 함자는 [[충실충만한 함자]]이다.<ref name="Hartshorne"/>{{rp|79}} 이 함자의 상은 [[유한형 사상|유한형]] [[정역 스킴|정역]] [[분리 스킴]]이다.<ref name="Hartshorne"/>{{rp|105}}

관련된 용어로서, '''대수적 스킴'''(代數的scheme, {{llang|en|algebraic scheme}})은 [[체 (수학)|체]] 위의 [[유한형 사상|유한형]] [[분리 스킴]]이다. 즉, 대수다양체는 정역 대수적 스킴이다.

=== 사상의 종류 ===
상당수의 형용사는 두 스킴 사이의 사상에 적용된다. 스킴 사이의 사상은 보통 계수체/환이 주어져 있는 스킴으로 여길 수 있으므로, 이러한 형용사는 스킴에도 적용될 수 있다. 예를 들어, 유한형 ''k'' 위의 스킴 <math>X</math>는 그 사상 <math>X\to\operatorname{Spec}k</math>이 유한형인 스킴이다.
* '''[[유한형 사상]]''': 대략 "유한 [[여차원]]"을 뜻한다.
* '''[[유한 사상]]''': 대략 "여차원 0"을 뜻한다.
* '''[[평탄 사상]]''': 대략 "올이 연속적으로 변하는 족을 이루는 사상"이다. 즉, 일부 특수한 점에서 올이 퇴화할 수 있으나, 이 "퇴화"가 "연속적"으로 일어남을 뜻하며, 이러한 특수한 점은 "측도 0"이어야 한다.
* '''[[에탈 사상]]''': 대략 "국소 위상 동형"에 해당한다. 즉, 매끄러운 사상 가운데 여차원이 0인 것이다.
* '''[[매끄러운 사상]]''': 대략 평탄 사상 가운데, "특수한" (올이 퇴화하는) 점이 없는 것을 뜻한다.
* '''우세 사상'''({{llang|en|dominant morphism}})은 [[상 (수학)|상]]이 [[조밀 집합]]인 스킴 사상이다.

이 밖에도, [[일반위상수학]]에서 사용되는 [[연속 함수]]의 다음과 같은 성질들이 사용된다.
* [[단사 함수]]
* [[전사 함수]]
* [[열린 함수]]
* [[닫힌 함수]]
* [[준콤팩트 함수]]
(그러나 스킴의 [[고유 사상]]은 일반위상수학의 [[고유 함수]]와 관계없다.)

스킴의 사상의 성질 <math>P</math>가 다음 조건을 만족시킨다면, '''밑 변환에 대하여 안정적인 성질'''({{llang|en|property stable under base change}})이라고 한다.<ref name="Hartshorne"/>{{rp|90}}
* 스킴의 사상 <math>f\colon X\to Y</math>가 <math>P</math>를 만족시킨다면, 임의의 스킴 <math>Y'</math> 및 사상 <math>Y'\to Y</math>에 대하여, <math>X\times_Y Y'\to Y'</math> 역시 <math>P</math>를 만족시킨다.
예를 들어, 유한형 사상은 밑 변환에 대하여 안정적이다. 밑 변환에 대하여 안정적이지 않은 성질 <math>P</math>에 대하여, '''보편 <math>P</math> 사상'''({{llang|en|universally <math>P</math> morphism}})은 다음과 같은 사상 <math>f\colon X\to S</math>이다.
* 임의의 사상 <math>S'\to S</math>에 대하여, 밑 변환 <math>f'\colon X\times_SS'\to S'</math>은 항상 <math>P</math> 사상이다.

== 예 ==
=== 위상 공간으로서 동형이지만 스킴으로서 동형이 아닌 두 스킴 ===
가장 간단한 예로, 서로 동형이 아닌 [[체 (수학)|체]] <math>K</math>, <math>L</math>를 생각하자. 모든 체의 스펙트럼은 [[한원소 공간]]이지만, 서로 동형이 아닌 체에 대응하는 아핀 스킴은 스킴으로서 서로 동형이 아니다.

=== 위상 공간으로서의 곱과 다른 스킴의 곱 ===
스킴의 곱은 거의 항상 집합(또는 위상 공간)으로서의 곱과 일치하지 않으며, 후자보다 점이 더 많을 수도, 적을 수도 있다.
예를 들어, <math>K</math>가 [[체 (수학)|체]]라고 하자. 그렇다면 <math>\operatorname{Spec}K</math>는 [[한원소 공간]]이며, 따라서 [[곱공간|위상 공간으로서의 곱]]을 취한다면 여전히 [[한원소 공간]]을 얻는다.
:<math>\operatorname{Spec}K\times_{\operatorname{Top}}\operatorname{Spec}K\cong\{\bullet\}</math>
그러나
:<math>\operatorname{Spec}K\times_{\operatorname{Sch}}\operatorname{Spec}K
=\operatorname{Spec}(K\otimes_{\mathbb Z}K)</math>
의 경우, <math>K\otimes_{\mathbb Z}K</math>는 체가 아닌 [[축소환]]이므로 2개 이상의 [[소 아이디얼]]을 가지며, 따라서 한원소 공간이 아니다. 이 스킴의 점들은 구체적으로 <math>k=\mathbb F_{\operatorname{char}K}</math> (또는 <math>\operatorname{char}K=0</math>인 경우 <math>k=\mathbb Q</math>) 위의 [[갈루아 군]] <math>\operatorname{Aut}(K/k)</math>에 대응한다.<ref name="McLarty"/>{{rp|footnote 39}}

다른 예로, <math>X</math>와 <math>Y</math>가 서로 다른 [[체의 표수|표수]]의 체 위에 정의된 스킴이라면, <math>X\times Y</math>는 아무 점을 갖지 않는다.<ref name="McLarty"/>{{rp|footnote 38}}

체 위의 스킴의 경우, 체에 대한 [[올곱]] 역시 위상 공간으로서의 곱공간과 다르다. 예를 들어, 체 <math>K</math>에 대한 아핀 스킴 <math>\mathbb A^1_K=\operatorname{Spec}K[x]</math>을 생각하자.<ref name="Hartshorne"/>{{rp|91, Exercise II.3.9}} 그렇다면
:<math>\mathbb A^1_K\times_K\mathbb A^1_K=\mathbb A^2_K=\operatorname{Spec}K[x,y]</math>
이다. 이 경우, <math>\operatorname{Spec}K[x,y]</math>의 점들의 집합은 <math>\mathbb A^1_K</math>의 점들의 집합의 제곱과 일반적으로 다르다. 이는 아핀 평면 속에는 곱으로 나타낼 수 없는 [[대수 곡선]]들이 존재하기 때문이다. 다만, 닫힌 점들로 국한할 경우, <math>\mathbb A^2_K</math>의 닫힌 점들은 <math>K^2</math>와 표준적으로 대응하므로, <math>\mathbb A^2_K</math>의 닫힌 점들은 <math>\mathbb A^1_K</math>의 닫힌 점들의 집합의 제곱과 같다.

== 역사 ==
대수기하학의 이탈리아 학파는 [[대수다양체]]의 [[일반점]]의 개념을 도입하였으며, [[바르털 레인더르트 판데르바르던]]은 1926년 책에서 일반점의 개념을 엄밀히 정의하였다.<ref name="McLarty"/> 이후 [[볼프강 크룰]]은 파리에서의 강의에서 임의의 [[가환환]]의 스펙트럼 및 그 위의 [[자리스키 위상]]을 정의하였으나 관중들은 크룰의 정의를 비웃었고, 크룰은 이 이론을 출판하지 않았다.<ref name="McLarty">{{서적 인용|장url=http://www.landsburg.com/grothendieck/mclarty1.pdf|장=The rising sea: Grothendieck on simplicity and generality|이름=Colin|성=McLarty|제목=Episodes in the History of Recent Algebra|출판사=American Mathematical Society|url=http://www.ams.org/bookstore-getitem/item=HMATH-32-S|날짜=2007|편집자1=Jeremy Gray|편집자2=Karen Parshall|쪽=301–325|isbn= 978-0-8218-6904-8|총서=History of Mathematics|권=32|zbl=1129.01011|언어=en}}</ref>

[[피에르 카르티에]] 역시 박사 학위 논문을 집필하던 중 그로텐디크의 스킴와 동치인 개념을 독자적으로 제안하였으나, 논문이 서론부터 지나치게 길어지는 것을 피하기 위하여 논문에 수록하지 않았다.<ref name="McLarty"/>

스킴의 개념은 [[알렉산더 그로텐디크]]가 그의 저서 《[[대수기하학 원론]]》 1권<ref name="EGA1-1ed">{{저널 인용|제목=Éléments de géométrie algébrique I. Le langage des schémas|이름=Alexander|성=Grothendieck|저자링크=알렉산더 그로텐디크|공저자=[[장 디외도네|Jean Dieudonné]]|url=http://www.numdam.org/numdam-bin/item?id=PMIHES_1960__4__5_0|저널=Publications Mathématiques de l’IHÉS|issn= 0073-8301|권=4|호=1|쪽=5–214|mr=0217083|zbl=0118.36206|doi=10.1007/BF02684778|날짜=1960|언어=fr}}</ref>에서 처음으로 정의하였다. 원래 그로텐디크는 《[[대수기하학 원론]]》 초판<ref name="EGA1-1ed"/>에서 오늘날 "스킴"이라고 불리는 개념을 "준스킴"({{llang|en|prescheme}}, {{llang|fr|préschéma}})라고 불렀고, 오직 분리 "준스킴"만을 "스킴"이라고 불렀다. 그러나 2판<ref name="EGA1">{{서적 인용|제목=Éléments de géométrie algébrique I. Le langage des schémas|판=2판|이름=Alexander|성=Grothendieck|저자링크=알렉산더 그로텐디크|공저자=[[장 디외도네|Jean Dieudonné]]|총서=Grundlehren der Mathematischen Wissenschaften|권=166|출판사=Springer|isbn=978-3-540-05113-8|zbl=0203.23301|날짜=1971|언어=fr}}</ref>에서는 제약 없이 모든 준스킴을 스킴이라고 불렀고, 현재는 이 용어가 통용되고 있다.

그로텐디크는 스킴의 개념에 대하여 회고록에 다음과 같이 적었다.
{{인용문2|스킴이라는 아이디어 자체는 유치할 정도로 단순하다 — 얼마나 단순한지, 얼마나 촌스러운지, 나 이전에는 아무도 이렇게 하찮은 개념을 고려하지 않았다. 이러한 '무식함' 때문에, 해마다 나의 유식한 동료들은 증거에도 불구하고 이를 ‘별로 중요하지 않다’며 무시했던 것이다! 난 수십 년의 집중된 외로운 연구 끝에 동료들에게 내 이론이 "먹힌다"는 것을 확실히 증명하였다 — 이 새 언어는 너무나도 무식해서, 나는 구제 불능의 순진한 고집이 없었더라면 이 언어가 이러한 "[[체의 표수|표수]] <math>p</math>의 기하학"에 대한 최초의 직관을 새로운 관점과 기법으로 구현하는지 시험할 수 없었을 것이다. "전문가"들에게는 이는 오직 바보들이나 시도하는, 전혀 성공할 희망이 없는 행위였다. 내 동료들과 친구들 가운데 이러한 생각을 떠올린 건 확실히 나 혼자였을 것이다.<br>
{{lang|fr|L’idée même de schéma est d’une simplicité enfantine — si simple, si humble, que personne avant moi n’avait songé à se pencher si bas. Si «bébête» même, pour tout dire, que pendant des années encore et en dépit de l’évidence, pour beaucoup de mes savants collègues, ̧ca faisait vraiment «pas sérieux»! Il m’a fallu d’ailleurs des mois de travail serré et solitaire, pour me convaincre dans mon coin que «ça marchait» bel et bien — que le nouveau langage, tellement bébête, que j’avais l’incorrigible naïveté de m’obstiner à vouloir tester, était bel et bien adéquat pour saisir, dans une lumière et avec une finesse nouvelles, et dans un cadre commun désormais, certaines des toutes premières intuitions géométriques attachées aux précédentes «géométries de caractéristique ''p''». C’était le genre d’exercice, jugé d’avance idiot et sans espoir par toute personne «bien informée», que j’étais le seul sans doute, parmi tous mes collègues et amis, à pouvoir avoir jamais idée de me mettre en tête.}}
|<ref>{{서적 인용|제목=Récoltes et Semailles|이름=Alexander|성=Grothendieck|저자링크=알렉산더 그로텐디크|url=http://lipn.univ-paris13.fr/~duchamp/Books&more/Grothendieck/RS/pdf/RetS.pdf|언어=fr|확인날짜=2016년 8월 23일|보존url=https://web.archive.org/web/20170818053357/http://lipn.univ-paris13.fr/~duchamp/Books%26more/Grothendieck/RS/pdf/RetS.pdf|보존날짜=2017년 8월 18일|url-status=dead}}</ref>{{rp|51}}
}}

== 각주 ==
{{각주}}
*{{서적 인용
 | 이름=David|성=Mumford|저자링크=데이비드 멈퍼드
 | 날짜 = 1999
 | title = The red book of varieties and schemes
 | edition = 2
 | publisher = Springer-Verlag
 | doi = 10.1007/b62130
 | isbn = 978-3-540-63293-1
 | series =  Lecture Notes in Mathematics | volume=1358 | issn=1617-9692
 | zbl =  0945.14001
 | mr = 1748380
 | 언어=en
}}

== 같이 보기 ==
* [[대수다양체]]
* [[대수적 공간]]
* [[스택 (수학)]]

== 외부 링크 ==
* {{eom|title=Scheme}}
* {{eom|title=Affine scheme}}
* {{eom|title=Projective scheme}}
* {{매스월드|id=Scheme|title=Scheme}}
* {{매스월드|id=AffineScheme|title=Affine scheme|저자=Margherita Barile, Eric W. Weisstein}}
* {{nlab|id=scheme|title=Scheme}}
* {{nlab|id=open immersion of schemes|title=Open immersion of schemes}}
* {{nlab|id=open subscheme|title=Open subscheme}}
* {{nlab|id=closed immersion of schemes|title=Closed immersion of schemes}}
* {{nlab|id=closed subscheme|title=Closed subscheme}}
* {{웹 인용|url=http://www.mathwiki.net/%EC%8A%A4%ED%82%B4|제목=스킴|웹사이트=오메가|확인날짜=2015-02-16|보존url=https://web.archive.org/web/20160306103841/http://www.mathwiki.net/%EC%8A%A4%ED%82%B4|보존날짜=2016-03-06|url-status=dead}}
* {{웹 인용|url=https://mathoverflow.net/questions/26506/categorical-construction-of-the-category-of-schemes|title=Categorical construction of the category of schemes|출판사=Math Overflow|언어=en}}
* {{웹 인용|url=https://mathoverflow.net/questions/2770/can-any-topological-space-be-the-result-of-a-scheme|제목=Can any topological space be the result of a scheme?|출판사=Math Overflow|언어=en}}
* {{웹 인용|url=https://mathoverflow.net/questions/9134/arbitrary-products-of-schemes-dont-exist-do-they|제목=Arbitrary products of schemes don't exist, do they?|출판사=Math Overflow|언어=en}}
* {{웹 인용|url=http://mathoverflow.net/questions/56591/what-are-the-monomorphisms-in-the-category-of-schemes|제목=What are the monomorphisms in the category of schemes?|출판사=Math Overflow|언어=en}}

{{전거 통제}}

[[분류:스킴 이론| ]]