You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

关于Hartshorne《代数几何》第二章命题2.6证明中仿射情形推广逻辑的疑问

关于Hartshorne《代数几何》第二章命题2.6证明中仿射情形推广逻辑的疑问

我最近在啃Hartshorne的《代数几何》,卡在第二章命题2.6的证明逻辑上了。虽说Math Stack Exchange上已经有不少讨论这个命题的帖子,但我还是没搞懂其中关键的一步推导。

在证明的第二段,作者这么写:

由于任何簇都可以被仿射开子簇覆盖(第一章命题4.3),因此只需证明:若$V$是仿射簇,则$(t(V),\alpha_*(\mathcal{O}_V))$是概形。

这正是我摸不着头脑的地方。我已经搞清楚$V$的开子集和$t(V)$的开子集之间是一一对应的——对应关系是$V\backslash Y \leftrightarrow t(V)\backslash t(Y)$,这里$Y$是$V$的任意闭子集。现在我知道$V$可以用仿射开子集覆盖,但就是想不通:为啥只要把仿射簇的情况证明了,就能推出一般簇对应的$(t(V),\alpha_*(\mathcal{O}_V))$是概形呢?

备注:内容来源于stack exchange,提问作者ZYYZ

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.04.16 02:44:30