Now, this expression for d s apparently defines a tensor on the total space of the tautological bundle C \{0}. It is to be understood properly as a tensor on CP by pulling it back along a holomorphic section σ of the tautological bundle of CP. It remains then to verify that the value of the pullback is independent of the choice of section: this can be done by a direct calculation.