Since the condition of being semipositive is closed, it is enough to
check it in the open set . We choose an integral basis
of . This determines isomorphisms
|
|
|
Let be the coordinates of
and the coordinates of determined by
these isomorphisms. With these coordinates the map
|
|
|
is given by
|
|
|
As usual, we denote . Set . Then, the integral valued first Chern class is given by
| (5.30) |
|
|
|
The standard orientation of the unit disk is
given by . Hence,
the metric of is semipositive if and only if the matrix
is semi-negative
definite. Since
| (5.31) |
|
|
|
if we write and ,
then . Therefore is
semi-negative definite
if and only if is semi-negative definite, hence, if
and only if
is concave.
∎