En "Geometría Compleja" por Huybrechts, dice lo siguiente versión de la Nakano identidad en la página 240:
Deje X ser un Kähler colector y (E,h) un holomorphic hermitian vector paquete en la X. Entonces si ∇ es el Chern conexión en E: [Λ,ˉ∂E]=−i(∇1,0)∗
En la prueba que él parece decir que si, en algunas trivializar la vecindad U E donde∇E=d+A,∇ˇE=d−A, en lugar de la de d−AT. Asimismo, no del estado que si E se ha trivializado sobre un conjunto abierto U,ˉ∂E=ˉ∂, que creo que sería simplificar la prueba de algo. De hecho creo que tenemos las siguientes:
Deje X ser un Kähler colector y (E,h) un holomorphic hermitian vector paquete. Entonces si ∇ es cualquier conexión en E: [Λ,ˉ∂E]=−i(∇1,0)∗
No podía encontrar ninguna otra referencia a cualquier otra forma de Nakano identidad (aparte de la de Bochner-Kodaira-Nakano fórmula, que estoy utilizando la Nakano identidad de probar), pero me pareció extraño que la hipótesis de Chern ser utilizado innecesariamente, de ahi mi pregunta:
Me estoy perdiendo algo, o no la versión más fuerte del teorema de mantener realmente?