关于概形范畴中仿射化函子与包含函子伴随对的单位和余单位的技术问询
关于概形范畴中仿射化函子与包含函子伴随对的单位和余单位的技术问询
先给大家理清楚范畴和函子的核心设定:
- 设 C 是概形范畴,D 是仿射概形范畴
- 存在一个包含函子 L : C → D:简单来说就是把仿射概形作为特殊对象嵌入到概形范畴中,属于很直观的身份式包含
- 还有一个仿射化函子 R : D → C:它对概形 X 的作用定义为 R(X) = $\operatorname{Spec} \Gamma(X, \mathcal{O}_X)$;如果有态射 f : X → Y,那么 R(f) 就是由拉回映射 $f^#_Y : \Gamma(Y, \mathcal{O}_Y) \to \Gamma(X, \mathcal{O}_X)$ 诱导出的态射 $\operatorname{Spec} \Gamma(X, \mathcal{O}_X) \to \operatorname{Spec} \Gamma(Y, \mathcal{O}_Y)$
另外有个代数几何里的关键结论:一个概形是仿射概形的充要条件是,从该概形到自身仿射化的自然映射是同构——这是判断概形仿射性的核心依据之一。
备注:内容来源于stack exchange,提问作者stillconfused




