Truncation of systems of polynomial equations, ideals and varieties

The main result of this paper is the construction of special so-called locked polynomial ideals to represent systems of equations, and to enable the behaviour of the corresponding algebraic varieties at infinity to be controlled. A consequence of this result is the existence, modulo the action of tori, of a standard minimal toric compactification of an irreducible two-dimensional variety.