Proposition 4.99 . [02SG]
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
Proposition 4.99.
Let be a complete SCR polyhedral complex in and
an H-lattice concave function on . Set and . Let and
such that . Let be the projection and
the dual
inclusion. Then
| (4.100) |
|
|
|
Hence the restriction of the divisor to
corresponds to the H-lattice concave function . Dually,
| (4.101) |
|
|
|
In other words, the
Legendre-Fenchel dual of is the
restriction of to the face translated
by .