5 deleted 17 characters in body

I want to prove the following statement : Complex scalar curvature $R$ on Kahler manifold is a half of Riemannian scalar curvature $s$

This is an exercise. The problem is in [1, p. 63].

[1] B. Chow et al, The Ricci flow : techniques and applications part I : geometric aspects, AMS

The above problem is about the algebraic relation between scalar curvature and complex scalar curvature.

Notation : $Z_a \doteq \frac{1}{2} (\frac{\partial}{\partial x^a} -i \frac{\partial}{\partial y^a})$ and $\nabla_{Z_a} Z_b \doteq \Gamma_{ab}^c Z_c + \Gamma_{ab}^{\overline{c}} \overline{Z}_c$

Assume that $J$ is a complex structure with $\nabla J =0$ and $J \frac{\partial }{\partial x_k} = \frac{\partial }{\partial y_k}$ and $J \frac{\partial }{\partial y_k} = - \frac{\partial }{\partial x_k}$, we have $g_{a\overline{b}} \doteq g(Z_a, \overline{Z}_b) =1/2 (g( \frac{\partial }{\partial x_a} , \frac{\partial }{\partial x_b}) + ig ( \frac{\partial }{\partial x_a} ,\frac{\partial }{\partial y_b}))$ where $g$ is $J$-invariant

Let $Rm$ be a extension of Riemannian curvature tensor such that $Rm$ is complex linear.

$(Rm(Z_a,\overline{Z}_b)Z_c,\overline{Z}_d)\doteq Rm(Z_a,\overline{Z}_b)Z_c\doteq$

$R_{a\overline{b} c}^k Z_k +R_{a\overline{b} c}^{\overline{k}} \overline{Z}_k$

Let $R_{a\overline{b}} \doteq R_{c\overline{b}a}^c$ and $R\doteq R_{a\overline{b}} g^{a\overline{b}}$

Subquestion 1 : There exists a proper normal coordinates ${ x_a, y_a }_{a=1}^n$ on Kahler manifold such that ${ z_a = x_a + i y_a }_{a=1}^n$ is a local holomorphic coordinates. If there exists then the above problem is easy

Subquestion 2 : From $g_{a\overline{b}} g^{\overline{b}c} \doteq \delta_{a}^c$ we have $g^{\overline{b}c} =2 ( g^{-1} (dx_b,dx_c) - ig^{-1}(dy_b ,dx_c))$.

For convenience $g^{fg} \doteq g^{-1}(df,dg)$

In addition complex scalar curvature is $R=4(g^{x_bx_a} -i g^{y_b x_a})(g^{x_hx_\delta} -i g^{y_h x_\delta}) [ R( \frac{\partial }{\partial x_\delta}, \frac{\partial }{\partial x_b} , \frac{\partial }{\partial x_a}, \frac{\partial }{\partial x_h}) - R( \frac{\partial }{\partial y_\delta}, \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a}, \frac{\partial }{\partial x_h}) +$

$i ( -R( \frac{\partial }{\partial x_a}, \frac{\partial }{\partial x_h}, \frac{\partial }{\partial y_\delta}, \frac{\partial }{\partial x_b}) - R( \frac{\partial }{\partial x_\delta}, \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a}, \frac{\partial }{\partial x_h}))]$

On the other hand Riemannian scalar curvature $s$ is given by $s = Rc( \frac{\partial }{\partial x_b} , \frac{\partial }{\partial x_a} ) g^{x_a x_b} + Rc( \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a} ) g^{y_a x_b}+ Rc( \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a} ) g^{x_b y_a} + R( \frac{\partial }{\partial y_b}, \frac{\partial }{\partial y_a} )g^{y_b y_a }$

To prove $R = 1/2 s$, I can not solve even though I tried to calculate.

Is there a mistake in calculation ? Can we solve through this approach ? Or is there more simple method ?

4 added 28 characters in body

Notation : $Z_a \doteq \frac{1}{2} (\frac{\partial}{\partial x^a} -i \frac{\partial}{\partial y^a})$ $\nabla_{Z_a} Z_b \doteq \Gamma_{ab}^c Z_c + \Gamma_{ab}^{\overline{c}} \overline{Z}_c$

Let $Rm$ be a extension of Riemannian curvature tensor such that $Rm$ is complex linear.

$(Rm(Z_a,\overline{Z}_b)Z_c,\overline{Z}_d)\doteq$

$R_{a\overline{b} c}^k Z_k +R_{a\overline{b} c}^{\overline{k}} \overline{Z}_k$

Let $R_{a\overline{b}} \doteq R_{c\overline{b}a}^c$ and $R\doteq R_{a\overline{b}} g^{a\overline{b}}$

How can we prove the above ?

Yes this s$This is an exercise. The problem is in [1, p. 63]. If Rm is a Riemannian curvature tensor then we can extend complex multilinear map (See [1, p. 63]). So we have the complex scalar curvature R. Subquestion 1 Notation :There exists a proper normal coordinates { x_a, y_a$Z_a \doteq \frac{1}{2} (\frac{\partial}{\partial x^a} _{a=1}^n on Kahler manifold such that { z_a = x_a + -i y_a }_{a=1}^n is a local holomorphic coordinates. If there exists then the above problem is easy

Subquestion 2 : If J \frac{\partial}{\partial y^a})$and$\nabla_{Z_a} Z_b \doteq \Gamma_{ab}^c Z_c + \Gamma_{ab}^{\overline{c}} \overline{Z}_c$Assume that$J$is a complex structure with \nabla$\nabla J =0 $and$J \frac{\partial }{\partial x_k} = \frac{\partial }{\partial y_k} y_k}$and$J \frac{\partial }{\partial y_k} = - \frac{\partial }{\partial x_k}x_k}$, we have g_{a\overline{b}}$g_{a\overline{b}} \doteq g(Z_a, \overline{Z}_b) =1/2 (g( \frac{\partial }{\partial x_a} , \frac{\partial }{\partial x_b}) + ig (\frac{\partial }{\partial x_a} ,\frac{\partial }{\partial y_b})) y_b}))$where g$g$is J-invariant$J$-invariant Let$Rm$be a extension of Riemannian curvature tensor such that$Rm$is complex linear.Here we have$(Rm(Z_a,\overline{Z}_b)Z_c,\overline{Z}_d)\doteq R_{a\overline{b} c}^k Z_k +R_{a\overline{b} c}^{\overline{k}} \overline{Z}_k$Let$R_{a\overline{b}} \doteq R_{c\overline{b}a}^c$and$R\doteq R_{a\overline{b}} g^{a\overline{b}}$Subquestion 1 : There exists a proper normal coordinates${ x_a, y_a }_{a=1}^n$on Kahler manifold such that${ z_a = x_a + i y_a }_{a=1}^n$is a local holomorphic coordinates. If there exists then the above problem is easy Subquestion 2 : From$g_{a\overline{b}} g^{\overline{b}c} \doteq\delta_{a}^c$we have$g^{\overline{b}c} =2 ( g^{-1} (dx_b,dx_c) -ig^{-1}(dy_b ,dx_c)).dx_c))$. For convenience g^{fg}$g^{fg} \doteq g^{-1}(df,dg)g^{-1}(df,dg)$In addition complex scalar curvature is R=4(g^{x_bx_a}$R=4(g^{x_bx_a} -i g^{y_bx_h}) + i ( -R( \frac{\partial }{\partial x_a}, \frac{\partial }{\partial\frac{\partial }{\partial x_h}))]x_h}))]$On the other hand Riemannian scalar curvature s$s$is given by$s =)g^{y_b y_a } $To prove$R = 1/2 ss\$, I can not solve even though I tried to calculate.

3 added 2453 characters in body

Yes this is an exercise. The problem is in [1, p. 63].

[1] B. Chow et al, The Ricci flow : techniques and applications part I : geometric aspects, AMS

If Rm is a Riemannian curvature tensor then we can extend complex multilinear map (See [1, p. 63]). So we have the complex scalar curvature R. The above problem is about the algebraic relation between scalar curvature and complex scalar curvature.

Subquestion 1 : There exists a proper normal coordinates { x_a, y_a }_{a=1}^n on Kahler manifold such that { z_a = x_a + i y_a }_{a=1}^n is a local holomorphic coordinates. If there exists then the above problem is easy

Subquestion 2 : If J is a complex structure with \nabla J =0 and J \frac{\partial }{\partial x_k} = \frac{\partial }{\partial y_k} and J \frac{\partial }{\partial y_k} = - \frac{\partial }{\partial x_k}, we have g_{a\overline{b}} \doteq g(Z_a, \overline{Z}_b) =1/2 (g( \frac{\partial }{\partial x_a} , \frac{\partial }{\partial x_b}) + ig ( \frac{\partial }{\partial x_a} ,\frac{\partial }{\partial y_b})) where g is J-invariant. Here we have g^{\overline{b}c} =2 ( g^{-1} (dx_b,dx_c) - ig^{-1}(dy_b ,dx_c)).

For convenience g^{fg} \doteq g^{-1}(df,dg)

In addition complex scalar curvature is R=4(g^{x_bx_a} -i g^{y_b x_a})(g^{x_hx_\delta} -i g^{y_h x_\delta}) [ R( \frac{\partial }{\partial x_\delta}, \frac{\partial }{\partial x_b} , \frac{\partial }{\partial x_a}, \frac{\partial }{\partial x_h}) - R( \frac{\partial }{\partial y_\delta}, \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a}, \frac{\partial }{\partial x_h}) +

i ( -R( \frac{\partial }{\partial x_a}, \frac{\partial }{\partial x_h}, \frac{\partial }{\partial y_\delta}, \frac{\partial }{\partial x_b}) - R( \frac{\partial }{\partial x_\delta}, \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a}, \frac{\partial }{\partial x_h}))]

On the other hand Riemannian scalar curvature s is given by s = Rc( \frac{\partial }{\partial x_b} , \frac{\partial }{\partial x_a} ) g^{x_a x_b} + Rc( \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a} ) g^{y_a x_b}+ Rc( \frac{\partial }{\partial x_b}, \frac{\partial }{\partial y_a} ) g^{x_b y_a} + R( \frac{\partial }{\partial y_b}, \frac{\partial }{\partial y_a} )g^{y_b y_a }

To prove R = 1/2 s, I can not solve even though I tried to calculate.

Is there a mistake in calculation ? Can we solve through this approach ? Or is there more simple method ?

2 added 11 characters in body; deleted 15 characters in body; deleted 7 characters in body; added 9 characters in body
1