Proof. [03T7]
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. It follows from the fact that is Lagrangian. Indeed, let us lift to . Then locally in a neighborhood of a connected component of , one can find a smooth real function such that . We can write the local equation for : . The connection can be locally written as , where is the trivial flat connection on the vector bundle . Since the holomorphic coordinates on are given by , one sees that the -part of the curvature is equal to . The Proposition is proved.