Example 7.30 . [02XT]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Example 7.30.
In dimension , a polytope is an interval of the form
for some .
The corresponding roof function in (7.20) writes down,
for , as
| (7.31) |
|
|
|
for affine function which take non negative
values on the and
The polarized toric variety corresponding to is
together with the ample divisor .
Write for the associate line bundle and for the adelic metrized line bundle corresponding to the function .
The Legendre-Fenchel dual to
is the function defined, for , by
|
|
|
Therefore, the function
is the sup-convolution of these function, namely
For the height, a simple computation shows that
|
|
|