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
Proof.
Let be any toric smooth metric. Then
extends to a smooth metric if and only if
can be extended to a smooth function on
. But we have
|
|
|
and the right-hand side can be extended to a smooth function on the
whole . Clearly the metric is
toric. Moreover
|
|
|
Therefore, if is semipositive, then
is semipositive.
∎