0
$\begingroup$

Let $u : U \rightarrow \mathbb{R}$, where $U \subset \mathbb{C}^{n}$ be a strictly plurisubharmonic smooth function and consider its complex hesse matrix $Hess^{\mathbb{C}}(u)$. Furthermore consider a diffeomorphism $\varphi : V \subset \mathbb{C}^{n} \rightarrow U$. And again consider the complex hesse matrix of $u' := u \circ \varphi : V \rightarrow \mathbb{R}$, $Hess^{\mathbb{C}}(u')$. My question is: How are these two matrices related to each other under this change by the diffeomorphism? Or is there any literature ?

$\endgroup$

1 Answer 1

1
$\begingroup$

I guess your diffeomorphism is a biholomorphism, or at least an holomorphic map, otherwise there is no hope to say much about it.

Then the best way to look at these things is using differential forms. Indeed, $\imath \partial \bar{\partial} u =\imath \sum_{i,j} \frac{\partial^2 u}{\partial z_i \partial \bar z_j} dz_i \wedge d\bar z_j$. As is well known, as $\varphi$ is holomorphic (not necessarily bijective), $\varphi^* $ commutes with $\partial$ and $\bar \partial$. Therefore $\imath \partial \bar{\partial} u' = \varphi^* \imath \partial \bar{\partial} u$, which you can translate in terms of matrices then, if you want to:

$$Hess(u')_a(\xi)= \underset{j,k,l,m}{\sum} \frac{\partial^2 u(\varphi(a))}{\partial z_l \partial \bar z_m} \frac{\partial \varphi_l(a)}{\partial z_j } \xi_j \overline{\frac{\partial\varphi_m(a)}{\partial z_k } \xi_k} $$ if $\varphi= (\varphi_1, \ldots, \varphi_n)$, and $\xi$ is any tangent vector at $a$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .