Calabi Yau threefold volume and intersection identities

Expert intro: The holomorphic (3,0)-form \Omega and the Kähler form \omega control every identity in this Calabi-Yau threefold computation.

Detailed walkthrough

Part (a): Positivity of the holomorphic volume form

For a compact Calabi-Yau 3-fold, the holomorphic form $\Omega$ is nowhere vanishing, so at each point it gives a complex volume element on the complex tangent space. The product $i\,\bar\Omega\wedge\Omega$ is real because complex conjugation swaps the two factors and introduces the compensating sign needed for a top-degree real form.

To see positivity, choose local holomorphic coordinates $(z^1,z^2,z^3)$ so that $\Omega = f\,dz^1\wedge dz^2\wedge dz^3$ with $f\neq 0$. Then

$i\,\bar\Omega\wedge\Omega = i\,|f|^2\, d\bar z^1\wedge d\bar z^2\wedge d\bar z^3 \wedge dz^1\wedge dz^2\wedge dz^3,$

which is a positive real multiple of the standard orientation form. Hence it is a volume form on $X$.

Part (b): Relating $\int_X \omega^3$ and $\int_X \Omega\wedge\bar\Omega$

The identity is a normalization statement for a Calabi-Yau metric in complex dimension three. On a Ricci-flat Kähler manifold, the metric volume form can be written both in terms of the Kähler form and in terms of the holomorphic volume form, up to a constant depending on conventions.

With the standard convention used in Calabi-Yau geometry, the pointwise relation is

$\frac{\omega^3}{3!} = \frac{i}{8}\,\Omega\wedge\bar\Omega.$

Integrating over $X$ gives

$\int_X \omega^3 = \frac{i}{8}\int_X \Omega\wedge\bar\Omega.$

The key idea is that both sides represent the same total volume density after the metric is normalized by the Ricci-flat Calabi-Yau structure.

Part (c): Harmonic $(1,1)$-forms and the Hodge-Riemann relations

Let $a$ be harmonic of type $(1,1)$. On a compact Kähler manifold, harmonic representatives depend only on the cohomology class, so any integral built from $a$ and powers of $\omega$ is a cohomological invariant once $[a]$ is fixed.

The Hodge-Riemann bilinear relations imply that for $(1,1)$-classes the pairing with $\omega^{n-1}$ is governed by the Lefschetz decomposition. In complex dimension three, any harmonic $(1,1)$-class decomposes into a primitive part plus a multiple of $\omega$. Thus

$a = a_0 + \lambda\,\omega,$

where $a_0\wedge \omega^2 = 0$. Wedge with $\omega^2$ and integrate:

$\int_X a\wedge\omega^2 = \lambda \int_X \omega^3.$

The constant $\lambda$ is determined by the class $[a]$, not by the choice of harmonic representative.

Part (d): Symmetry and reality of triple intersection numbers

For harmonic basis elements $x_i\in H^{1,1}(X,\mathbb R)$, the triple intersection number

$K_{ijk} = \int_X x_i\wedge x_j\wedge x_k$

is real because each $x_i$ is a real differential form and the wedge product of real forms is real.

Symmetry follows from graded commutativity. Since each $x_i$ has degree 2, swapping two factors gives a sign $(-1)^{2\cdot 2}=+1$. Therefore

$x_i\wedge x_j\wedge x_k = x_{\sigma(i)}\wedge x_{\sigma(j)}\wedge x_{\sigma(k)}$

for every permutation $\sigma$. After integration, $K_{ijk}$ is symmetric in all three indices.

Part (e): Why the volume depends only on the Kähler class

The volume is

$\mathrm{Vol}(X)=\frac{1}{3!}\int_X \omega^3.$

If $\omega$ is replaced by another Kähler form in the same cohomology class, then $\omega' = \omega + i\partial\bar\partial\phi$ for some global potential $\phi$. Since the difference is exact, $(\omega')^3-\omega^3$ differs by an exact form after expansion and integration over a compact manifold.

Thus the integral depends only on the de Rham class $[\omega]$, and because $\omega$ is of type $(1,1)$, this is the Kähler class in $H^{1,1}(X,\mathbb R)$. Equivalently, the volume is a cubic polynomial in the Kähler parameters with coefficients given by the triple intersection numbers $K_{ijk}$.

💡 Pitfall guide

A common mistake in the Calabi-Yau 3-fold identities is to treat $\Omega\wedge\bar\Omega$ as if it were automatically positive without checking the local normal form. The positivity comes from writing $\Omega=f\,dz^1\wedge dz^2\wedge dz^3$ with $f\neq 0$ and observing that the coefficient is $|f|^2$, not just a complex number with unspecified sign. Another frequent error is to forget that wedge products of degree-2 forms commute, so $x_i\wedge x_j\wedge x_k$ is symmetric rather than antisymmetric. For part (c), the dangerous step is to claim that every harmonic $(1,1)$-form is automatically proportional to $\omega$; the correct statement is a Lefschetz decomposition into a primitive part plus a multiple of $\omega$. If you skip that decomposition, the appearance of the constant $\lambda$ is not justified. For the volume statement, do not argue only from pointwise metric intuition; the clean reason is that changing $\omega$ within its Kähler class changes it by an exact term, and the integral over a compact manifold is unchanged.

🔄 Real-world variant

If the triple intersection data are changed, the same reasoning still works. For example, replace the basis $\{x_i\}$ by $\{y_i\}$ with one class scaled, such as $y_1=2x_1$, while keeping $y_2=x_2$ and $y_3=x_3$. Then the new intersection number becomes $\int_X y_1\wedge y_2\wedge y_3 = 2K_{123}$, so the symmetry and reality arguments are unchanged, but the coefficient rescales exactly as multilinearity predicts. A second useful variation is to replace $\omega$ by a cohomologous Kähler form $\omega'$. The question then becomes: why does $\frac{1}{3!}\int_X (\omega')^3$ equal the same volume? The answer is that $\omega'-\omega$ is exact, so the difference of cubes integrates to zero on compact $X$. This variant shows that the volume depends only on the Kähler class, not on the chosen representative.

🔍 Related terms

Calabi Yau volume form, Hodge Riemann bilinear relations, triple intersection numbers