Line bundles with smooth metrics
on smooth complex analytic spaces allow to perform
differential calculus. Namely, the curvature of a
smooth metrized line bundle
is a differential form of type on .
Its definition involves the differential operator
|
|
|
When an open set
admits local coordinates ,
and is a local frame, then
|
|
|
Cauchy-Riemann equations ( for
any holomorphic function of the variable ) imply
that this formula does not depend on the choice
of a local frame . Consequently, these differential forms
defined locally glue to
a well-defined global differential form on .
Taking the curvature form of a metrized line bundle is a linear
operation : .
It also commutes to pull-back : if is a morphism,
then .
In the case of the Fubini-Study metric over the projective space ,
the curvature is computed as follows.
The open subset where the homogeneous coordinate is non-zero
has local coordinates ,
…, ; the homogeneous polynomial
defines a non-vanishing section of on
and
|
|
|
Consequently, over ,
|
|
|
|
|
|
|
|
|
|
|
|
In this calculation, we have abbreviated .