相交理论(intersection theory)代数几何学中最基本的理论之一相交理论(intersection theory)代数几何学中最基本的理论之一若X是n维光滑拟射影代数簇,Y和Z是X的余维数为/和'的子簇,并且Y和Z正常地相交,也就是说Y自Z的不可约分支的余维数都是:+,,则可以定义Y和Z沿着它们交集的某个不可约分支W,上的相交重数i(Y,Z;W;),使得它与几何直观相容.然后就可定义Y和Z的相交积Y. Z为一个余维数:+、的闭链Y. Z=艺i (Y,Z ; W; )W;.若Y和Z并非正常地相交,则根据周炜良的移动定理,可以找一个与Z代数等价的Z',使得Y与Z'正常地相交,记Y"Z一Y " Z',利用双线性性质,就可定义任意的余维数:的闭链与余维数s的闭链的相交.这样建立的相交理论满足一系列公理,并使得周环得以定义.