First observe that the condition in the Archimedean
case and in the non-Archimedean case is equivalent to
the condition . Let be an
integer such that and
for .
Consider the linear map given by
and the affine map with
. By Lemma
3.79,
|
|
|
We claim that, for each there exists
such that . Indeed, . Since
is a support function on , for each , there exists an such that
for all . Writing , this condition
implies
|
|
|
Hence, , where is the cone and the claim is proved.
Therefore, we can apply Theorem 4.9 and given a point such that , there is an equivariant map . By Example 4.44, there is an
isomorphism
and with such that
corresponds to
.