Mixed volume and an extension of intersection theory of divisors

الأصل · EN

Let K(X) be the collection of all non-zero finite dimensional subspaces of rational functions on an n-dimensional irreducible variety X. For any n-tuple L₁,..., Lₙ in K(X), we define an intersection index [L₁,..., Lₙ] as the number of solutions in X of a system of equations f₁ =... = fₙ = 0 where each fᵢ is a generic function from the space Lᵢ. In counting the solutions, we neglect the solutions x at which all the functions in some space Lᵢ vanish as well as the solutions at which at least one function from some subspace Lᵢ has a pole. The collection K(X) is a commutative semigroup with respect to a natural multiplication. The intersection index [L₁,..., Lₙ] can be extended to the Grothendieck group of K(X). This gives an extension of the intersection theory of divisors. The extended theory is applicable even to non-complete varieties. We show that this intersection index enjoys all the main properties of the mixed volume of convex bodies. Our paper is inspired by the Bernstein-Kushnirenko theorem from the Newton polytope theory.