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
    Commented 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$ Commented 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
    Commented 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$ Commented 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

You must log in to answer this question.

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