Proof.
According to Proposition 3.2 we can choose big enough so
that the -image of the affine part of every hypersurface
lies in
the -neighborhood of the Minkowski sum .
Also, recall from Lemma 3.3 that lies in
the domain . Thus, we can assume that the affine parts of all
hypersurfaces lie in .
We choose a basis of such that
|
|
|
Then the affine coordinate functions can be extended
(by allowing zero values for ) to the open part of the toric
divisor corresponding to the facet . Moreover, in these
coordinates the preimage of each flow line in is defined
by fixing the values of , so that its closure is
defined by the same equations, but allowing the zero value for .
Hence, we can use as global coordinates on .
Multiplying the affine
equation of by we note that the Laurent polynomial
|
|
|
has only positive powers of , where as its first part
is independent of at all.
Thus, we get the global equation for the family in .
Now we can repeat the estimates for the monomials and their
log-derivatives. Whenever , we have
|
|
|
or, equivalently,
|
|
|
When written in the -coordinates these estimates extends by continuity
from the affine part to the entire .
To see that has no critical points we differentiate its defining
equation with respect to :
|
|
|
for large enough .
Finally, Lemma 3.6 asserts that the vector field in
is constant and equal
to . It means that is a tangent vector to
, , and it is transversal to by the above
calculation.
∎