更新时间:2024-05-21 16:53
仿射簇是代数几何的一个概念。
定义了扎里斯基拓扑的仿射空间中每个(不可约)闭子集(加上其诱导拓扑)叫做仿射簇。
一个域k上的仿射簇是一个仿射代数集。
与定义1的区别在于不要求仿射簇是不可约的。
同时为仿射概形的簇为仿射簇。
任意仿射簇X都是有限个不可约仿射簇的并。
设X与Y是不可约仿射簇。则称X与Y双有理等价,若存在与为互逆的有理映射。则X与Y双有理等价,若各自的稠开子集同构。双有理等价保持维数。
不可约仿射簇的函数域为其坐标环的分式域。两个不可约簇X和Y双有理等价,当且仅当其分式域与为复代数同构。