Effective Intersection Theory

06/19/2018

∙

by   Corey Harris, et al.

∙

0

∙

share

Let X ⊂ Y be closed (possibly singular) subschemes of a smooth projective toric variety T. We show how to compute the Segre class s(X,Y) as a class in the Chow group of T. Building on this, we give effective methods to compute intersection products in projective varieties, to determine algebraic multiplicity without working in local rings, and to test pairwise containment of subvarieties of T. Our methods may be implemented without using Gröbner bases; in particular any algorithm to compute the number of solutions of a zero-dimensional polynomial system may be used.