Deje $X$ ser un equipo compacto, conectado superficie de Riemann y deje $(L,h)$ ser un hermitian línea de paquete en la $X$. Supongamos que $s$ es un valor distinto de cero meromorphic sección de $L$. He aprendido que el $(1,1)$-forma $$\omega_s:=\partial\bar\partial \log (h(s,s))$$ es muy importante para el estudio de la geometría de $X$, pero hay un par de cosas que no entiendo:
- ¿Por qué es $\omega_s$ definido en el conjunto de la $X$? Quiero decir, $h(s,s)$ está bien definido sólo fuera de los polos y los ceros de $s$. Vamos denotar este conjunto abierto con $U$, $\omega_s$ $(1,1)$- forma en $U$ y no debe ser una forma de extender de forma única a $X$.
- Suponiendo que $1.$ está demostrado, quiero entender por qué si $t$ es otro de meromorphic sección de $L$,$\omega_s=\omega_t$.
Podría usted dar por favor una prueba de estos hechos?
Edit: Claramente por $h$ me refiero a un suave colección de hermitian productos $h_x$ sobre el complejo de espacios vectoriales $L_x$$x\in X$.