In this paper, we prove two versions of an arithmetic analogue of Bezout's theorem, subject to some technical restrictions. The basic formula proven is deg(V)h(X boolean ANDY)=h(X)deg(Y)+h(Y)deg(X)+O(1), where X and Y are algebraic cycles varying in properly intersecting families on a regular subvariety V(S)subset ofP(S)(N). The theorem is inspired by the arithmetic Bezout inequality of Bost, Gillet, and Soule, but improve upon it in two ways. First, we obtain an equality up to O(1) as the intersecting cycles vary in projective families. Second, we generalise this result to intersections of divisors on any regular projective arithmetic variety. [References: 3]
展开▼