We obtain local equations for the toric Hilbert scheme, which parametrizes
all ideals with the same multigraded Hilbert function as a given toric idea
l. We also prove a conjecture of Sturmfels' providing a criterion for an id
eal to have such a Hilbert function. (C) 2000 Academic Press.