4
$\begingroup$

Let $X$ be a smooth Calabi-Yau 3-fold with Kahler form $w$,

It is true that $\int c_2(TX) \wedge w \geq 0$ (for any Kahler form $w$ on $X$).

Proof via algebraic geometry is rather difficult. Some where It was saying that for such $X$

$$\int c_2(TX) \wedge w = \int \left\| R \right\|^2 dvol $$

where $R$ is the curvature tensor; so it is non negative and zero only if $X$ is abelian variety .

Can any body write down in local coordinates or ...(or refer to somewhere) why the identity above is true.

$\endgroup$
1
  • $\begingroup$ We have $\Bigl(\Bigl|\frac{i}{2\pi} \Theta_\omega\Bigr|^2 - |\mathrm{Ric}_\omega|^2\Bigr) \, \omega^{n}/n! = (2c_2 - c_1^2) \wedge \omega^{n-2}/(n-2)!$, where $\frac{i}{2\pi} \Theta_\omega$ is the curvature tensor of $ω$ and $Ric(ω)$ is the Ricci-form of $ω$ so since $X$ is CY , hence we have Yau's theorem and $c_1=0$ by integrating in both parts and take $n=3$ , we obtain your identity, see the book of complex vector bundle of Kobayashi $\endgroup$
    – user21574
    Jun 5, 2017 at 21:50

3 Answers 3

5
$\begingroup$

The calculation in local coordinates is not too hard and it works in any dimension $n$, namely if $c_1(M)=0$ then $\int_M c_2(M)\wedge\omega^{n-2}\geq 0$ for any Kahler metric $\omega$. Of course you are free to assume that the Kahler metric $\omega$ is Ricci-flat (by Yau's theorem), and in this case the integral is equal to the $L^2$ norm of the Riemann curvature tensor up to a factor.

To see this, let $\Omega_i^j=\frac{\sqrt{-1}}{2\pi} R^j_{i k\overline{\ell}}dz^k\wedge d\overline{z}^\ell$ denote the curvature form, then by Chern-Weil theory the form $Tr(\Omega\wedge\Omega)=\sum_{k,i} \Omega_i^k\wedge\Omega_k^i =\frac{(\sqrt{-1})^2}{4\pi^2}R^k_{ip\overline{q}} R^i_{kr\overline{s}}dz^p\wedge d\overline{z}^q\wedge dz^r\wedge d\overline{z}^s$ represents $c_1^2(M)-2c_2(M)=-2c_2(M)$. You can assume that the metric $\omega$ is the identity at one point so $\omega=\sqrt{-1}\sum_i dz^i\wedge d\overline{z}^i$, and then at that point you compute $$n(n-1)Tr(\Omega\wedge\Omega)\wedge\omega^{n-2}=\sum_{p\neq r}(R^k_{ip\overline{p}} R^i_{kr\overline{r}}-R^k_{ip\overline{r}} R^i_{kr\overline{p}})\omega^n$$ $$=\sum_{p,r}(R^k_{ip\overline{p}} R^i_{kr\overline{r}}-R^k_{ip\overline{r}} R^i_{kr\overline{p}})\omega^n$$ $$=(|\textrm{Ric}|^2-|\textrm{Rm}|^2)\omega^n=- |\textrm{Rm}|^2\omega^n.$$ Integrating this you get what you want, with equality if and only if $\omega$ is flat and so $M$ is finitely covered by a complex torus.

A similar calculation works for any compact Kahler-Einstein manifold, and it can be used to prove the Miyaoka-Yau inequality for manifolds with ample canonical bundle. A reference for a general statement (I think this is not the earliest paper where this result appears) is:

Chen, Bang-yen; Ogiue, Koichi, Some characterizations of complex space forms in terms of Chern classes, Quart. J. Math. Oxford Ser. (2) 26 (1975), no. 104, 459–464.

$\endgroup$
2
  • $\begingroup$ Can you just say what is $R_{ik\bar{l}}^{j}$ in your notation? because in mine that is trivial (in my notattion $R(\frac{\partial}{\partial{z}_i},\frac{\partial}{\partial{\bar{z}}_j}) \frac{\partial}{\partial{z}_k}= \sum R_{i\bar{j}k}^{l} \frac{\partial}{\partial{z}_l}$ ) $\endgroup$ Jul 8, 2011 at 17:01
  • $\begingroup$ I am using the notation from Kobayashi's book "Differential geometry of complex vector bundles", for example (page 12), which is $R(\partial_k, \overline{\partial}_\ell)\partial_i=R^j_{ik\overline{\ell}}\partial_j.$ $\endgroup$
    – YangMills
    Jul 10, 2011 at 9:21
10
$\begingroup$

The reason is that, for a Calabi-Yau $3$-fold, the curvature tensor $R$ is an irreducible representation of $SU(3)$. Since the form representing the Chern class $c_2(TX)$, when computed with respect to the Calabi-Yau metric, is clearly quadratic in the curvature tensor and since $c_2(TX)\wedge\omega$ is a $(3,3)$-form that is a quadratic form in the curvature times the metric volume form, the irreducibility of the curvature implies that there is a universal constant $\lambda$ such that $c_2(TX)\wedge\omega = \lambda\ \|R\|^2\ dvol$ for all Calabi-Yau $3$-folds. Checking on a single example (say, a quintic hypersurface in $\mathbb{CP}^4$) shows that $\lambda >0$.

The irreducibility comes from the fact (due, I believe, to Bochner) that, for a general Kähler metric on an $n$-fold, the curvature tensor breaks up into $3$ irreducible parts under $U(n)$: the scalar curvature, the traceless Ricci curvature, and the Bochner curvature. For a Calabi-Yau metric, the first two vanish. Thus, the above formula actually generalizes to $c_2(TX)\wedge\omega^{n-2} = \lambda_n\ \|R\|^2\ dvol$ for all Calabi-Yau $n$-folds, where $\lambda_n>0$ for all $n\ge 2$.

$\endgroup$
1
  • $\begingroup$ Is not it possible to write down every thing explicitly in a local coordinate and prove it this way. When I write it down I see a huge summation from which I have no idea how to get that identity. I don't want to use any of those non trivial facts you mentioned. Can you say why the irreducibility of the curvature implies that there is a universal constant $\lambda$ such that $c_2(TX)∧ω=\lambda \left\|R\right\|^2$ dvol$ for all Calabi-Yau 3-folds. $\endgroup$ Jul 7, 2011 at 17:42
4
$\begingroup$

adding my comment as an answer.

We have the following Kobayashi identity $$(∣∣\frac{i}{2\pi}Θ_ω∣∣^2−|Ric \omega|^2)\frac{ω^n}{n!}=(2c_2−c_1^2)∧\frac{ω^{n−2}}{(n−2)!}$$ where $\frac{i}{2π}Θ_ω$ is the curvature tensor of $ω$ and $Ric(ω)$ is the Ricci-form of $ω$ so since $X$ is Calabi-Yau variety , hence we have Yau's theorem (Ricci flat)and $c_1=0$ by integrating in both parts and take $n=3$ , we obtain your identity, see the book of complex vector bundle of Kobayashi

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.