Revisions - MathOverflow

Return to Question

deleted 17 characters in body

view source

edited May 5 2012 at 6:33

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 ?

added 28 characters in body

view source

edited May 5 2012 at 6:24

Hee Kwon Lee
221●1●6

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 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.

added 2453 characters in body

view source

edited May 5 2012 at 6:14

Hee Kwon Lee
221●1●6

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 }