272,336
次編輯
變更
代数几何
,無編輯摘要
*随着[[计算机]]的兴起,计算代数几何作为代数几何与[[符号]]运算两支的交叉而崭露头角。这一分支本质上包含开发算法和软件与寻找显代数簇的性质这两项工作。
20世纪以来,代数几何主流的许多进展都在抽象代数的框架内进行,越发强调代数簇“内蕴的”性质,即那些不取决于代数簇在[[射影空间]]的具体嵌入方式的性质,与拓扑学、 [[ 微分几何 ]] 及复几何等学科的发展相应。抽象代数几何的一大关键成就是格罗滕迪克的概形论;概形论允许人们应用层论研究代数簇,某种意义上与应用层论研究微分流形与解析流形是否相似。概形论延伸了[[点]]的概念。在经典代数几何中,根据[[希尔伯特]]零点定理,一个仿射代数簇的一点对应于坐标环上的一个极大理想,仿射概形上的子簇则对应于坐标环的素理想。而在概型论中,概型的点集包含了经典情况代数簇的点集,以及所有子簇的信息。这种方法使得经典代数几何(主要涉及闭点)同时联系起了微分几何、[[数论]]等主流分支的问题研究。