Skip to main content
1 of 2

Calculating a curvature tensor by polarization

I'm reading some articles by Siu and Nannicini on the Weil-Petersson metric associated to families of compact Kahler-Einstein manifolds. In each article Siu and Nannicini construct a Weil-Petersson metric $h$, show that it is Kahler, and obtain results on the holomorphic sectional curvature by heroic calculations.

From what I can piece together, the curvature estimates go as follows: 1) show that the holomorphic sectional curvature, given by $R_{jjjj}$, is negative, 2) use a polarization trick to calculate the general tensor $R_{jklm}$, 3) then a miracle occurs, 4) so the holomorphic sectional curvature $R_{jjkk}$ is negative.

I'm trying to fill in the gaps in my understanding between the first and fourth steps, and I'm stuck on the second one. For Kahler manifolds the holomorphic sectional curvature determines the entire curvature tensor (see for example Lemma 7.19 of Zheng's "Complex differential geometry"), so I'm perfectly willing to believe that knowing $R_{jjjj}$ lets us calculate $R_{jklm}$. The problem is that I don't know how to do it.

This is a purely algebraic calculation, so I imagine it's written down somewhere, but the only results I've found are of the same type as in Zheng's book, i.e. they show that these calculations are theoretically possible but don't say how to do them.

Question: Is there a reference where this calculation is done explicitly?