The Cayley–Menger determinant is irreducible for .
We present bounds for the degree and the height of the polynomials arising in some problems in effective algebraic geometry including the implicitization of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A key role is played by the notion of canonical mixed height of a multiprojective variety. We study this notion...
Page 1