스킴 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글 →범주론적 성질 |
Osteologia (토론 | 기여) |
||
72번째 줄:
}}</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}}) 등이 쓰인다.
| |||