代数曲面(4)子簇在胀开下的行为,奇点解消
强迫症小宝宝
编辑于 2024年02月12日 10:00

上一次了解了胀开的定义,为了理解(4.43)中使用的记号,要回到定理2.15。

2.4.3子簇在胀开下的行为

给定一个胀开,讨论子簇胀开的结果。

定理2.15 假设X是不可约准射影簇,闭包不是PN,X在ξ非奇。则X在以ξ为中心的胀开的反函数下的象是不可约的,由两个部分组成。如图,也就是说胀开的中心被复制了,其他的还是只有一份,几乎是不变的。把胀开函数限制在Y上定义了正则映射,他是X的某个邻域U与胀开后的结果之间的同构。

现在打算先回到原来的标准二次变换的主题上来,因为要补充的东西太多了,但事实上现在已经可以克服最初的困难了。

现在可以比较清晰地理解标准二次变换了,这张图展示了它的结构,可以上升到一个X,X内的六条线,其中三条收缩到P2上的点,另外三条收缩到P2杠上的点,其他部分是同构的。

现在再回到代数曲面这本书,当时看到的问题是,如何定义曲线的奇点。现在发现,在沙法列维奇的书中可以找到更易懂的定义,在2.1.4节。先跳过,继续看代数曲面这本书。

6.代数曲面上的奇点解消

回忆一下,代数曲线的奇点解消问题导致下面的两个定理:

这些证明,是要证明用胀开的办法可以把奇点消去,他介绍了证明中遇到的困难,消去奇点所用的变化会引入新的奇点。关于奇点解消的定理在沙法列维奇里也能找到。

本节的剩余部分讨论了各种证明思路,看不出有什么重点。