# Positivity of forms

I'm getting stuck with a proposition. Please can someone help me? Let $E$ be a holomorphic vector bundle with hermitian metric $h$ over a connected compact Kähler manifold $X$ with Kähler form $\omega$ and associated Kähler metric $g$. Let $s\in H^{0}(X,E)$ a non-zero section. Consider the current $T_{s}=\frac{i\partial\bar{\partial}log(h(s,s))}{2\pi}$. Let's write $F(h)$ for the curvature of the Chern connection respect to the metric $h$, and another current $R_s=\frac{ih(F(h)s,s)}{2\pi h(s,s)}$. How can I prove that $0 \leq T_{s}+R_{s}$ in the following sense: (regarding those currents as forms) the hermitian form associated to $T_{s}+R_{s}$ is semipositive definite. The Hermitian form associated to a (1,1)-real form $\delta$ is the one given in local coordinates by the matrix of coefficients of $-i\delta$ and is (semi-)positive if this matrix is.

-
First: about $F_s$, I think there's no need to speak of currents: as you say, it's just a (1,1)-form. Second: about $R_s$, as it is written it is just a smooth function on $M$, rather than a form (or a current). So, I don't understand how $T_s+R_s$ should be interpreted: as it's written even as a current it doesn't have homogeneus (bi)degree (or (bi)dimension). – Qfwfq May 14 '10 at 16:06
*sorry, I meant $T_s$ above. – Qfwfq May 14 '10 at 16:08
Also, it's not completely obvious to me that $R_s$ -as it's written- doesn't have singularities along the zero set of the section $s$ (but it doesn't sound absurd, since $F(h)$ is $C^{\infty}$-linear). – Qfwfq May 14 '10 at 16:11
Hi! Both $T_{s}$ and $R_{s}$ can have singularities because there's no hypothesis on $s$, this is why i said currents,anyway, you can assume that $s$ doesn't vanish at any point. $T_{s}$ and $R_{s}$ belong to $H^{1,1}(X)\cap H^2(X,\mathbb{R})$, $T_{s}$ because the operator $\partial\bar{\partial}$ sends smooth complex functions to (1,1) forms, $R_{s}$ because $F(h)$ is a $End(E)$-valued (1,1) form so $F(h)s$ is a $E$-valued (1,1) form and finally $h(F(h)s,s)$ is a (1,1) form. – Italo May 14 '10 at 17:43
Ah, I see: they're currents cause you allow $s$ to have zeroes (I suppose the resulting "form" should be checked to be in $L^1_{loc}$). – Qfwfq May 14 '10 at 20:05

This is a consequence of the generalized Lelong-Poincaré formula for vector bundles: denoting $D'$ the $(1,0)$ part of the Chern connection of $(E,h)$ and $\Theta_h(E)$ its Chern curvature, one has:
$$dd^c \log |s|^2=\frac{1}{|s|^2}\cdotp \left( |D's|^2-\frac{|\langle D's,s\rangle|^2}{|s|^2}- \langle \Theta_h(E)s, s\rangle\right)$$
and essentially by Cauchy-Schwartz inequality, one has $$|s|^2\cdotp |D's|^2-|\langle D's,s\rangle|^2 \ge 0.$$