Holomorphic Lagrangian fibrations on hypercomplex manifolds

1. As it was mentioned above (see also formula (?) below), the operator \mathcal{R}_{n,n} is induced by the SU(2)-action on the exterior algebra of M. Since the Obata connection \nabla preserves the hypercomplex structure, it commutes with the SU(2)-action and with the operator \mathcal{R}_{n,n}. It was explained above that \nabla \Phi_I = 0, thus \nabla \Psi = 0 also. The Obata connection is torsion-free, hence \nabla \Psi = 0 implies d\Psi = 0.

2. Let x\in N be a smooth point. By the assumptions of the lemma, we can choose a basis e_1,\ldots,e_n of T^{1,0}_{I,x}N, such that e_1,\ldots,e_n,J\overline{e}_1,\ldots,J\overline{e}_n will form a basis of T^{1,0}_{I,x} M. To show that \Psi|_{N} is strictly positive, we have to evaluate the form \Psi on the polyvector \xi = (-\sqrt{-1})^n e_1\wedge\overline{e}_1\wedge\cdots \wedge e_n\wedge\overline{e}_n\in \Lambda^{n,n}_I (T_x M).

We will use the following explicit description of the operator \mathcal{R}_{n,n}. Consider the operators: \mathcal{H} = -\sqrt{-1}I, \mathcal{X} = \frac{1}{2} (\sqrt{-1}K - J) and \mathcal{Y} = \frac 1 2 (\sqrt{-1}K + J) acting on \Lambda^1_{\Bbb C} M. It is straightforward to check that these operators satisfy the standard \mathfrak{sl}_2({\Bbb C}) commutator relations: [\mathcal{X},\mathcal{Y}]=\mathcal{H}, [\mathcal{H},\mathcal{X}]=2\mathcal{X}, [\mathcal{H},\mathcal{Y}]=-2\mathcal{Y}. Also observe that

We can extend \mathcal{H}, \mathcal{X}, \mathcal{Y} as derivations to the whole exterior algebra. Then we have

and

Observe, that \mathcal{Y}|_{T^{1,0}_{I} M} = 0, \mathcal{Y}|_{T^{0,1}_{I} M} = J, and since \mathcal{Y} acts as a derivation, we have

The volume form is given by \Phi_I = a\, e^*_1\wedge J\overline{e^*_1}\wedge\cdots \wedge e^*_n\wedge J\overline{e^*_n} for some positive real number a, and we see that \langle\Psi, \xi\rangle > 0. width 5pt height 5pt depth 0pt

Let \omega_I\in \Lambda^{1,1}_I M be a Kähler form, and \Psi the holomorphic Lagrangian calibration defined by (?). Consider the form

By ?, \Psi is closed, so we have d\Theta = \Psi\wedge d\omega_I \in \Lambda^{2n+3} M. It follows from (?) that d\omega_I has weight one, hence Clebsch-Gordan formula implies that d\Theta is a sum of weight 2n+1 and weight 2n-1 components. But the weight decomposition of \Lambda^{2n+3} M has components only up to weight 2n-3, so d\Theta has to vanish.

We will obtain a Kähler metric on X as a push-forward \pi_*\Theta, which is a (1,1)-current on X. We have to show that this current is strictly positive and smooth.

Consider any Hermitian metric on X and denote by \eta the corresponding (1,1)-form. It is always possible to rescale \eta so that it satisfies the condition \pi^*\eta \le \omega_I. In this case we have \Theta = \Psi\wedge\omega_I \ge \Psi\wedge\pi^*\eta. The inequality is preserved under taking push-forwards, so we have \pi_*\Theta \ge \pi_*(\Psi\wedge\pi^*\eta).

For any test-form \alpha\in \Lambda^{n-1,n-1}_I X we have by definition

Thus, we have the inequality \pi_*\Theta \ge \pi_*(\Psi)\wedge \eta where \pi_*(\Psi) is a closed 0-current on X, that is a constant. To see that this constant is positive, take \alpha = \eta^{n-1} and observe that \Psi\wedge \pi^*(\eta^n) is a smooth positive form of top degree on M. It suffices to check that this form is non-zero at some point of M. Pick any non-critical point x of \pi and decompose the tangent space T_x M = V_0 \oplus V_1, where V_0 is tangent to the fiber and V_1 is any complementary subspace. Since \pi^*\eta^n|_{V_0} = 0 and \pi^*\eta^n|_{V_1} is a volume form on V_1, we should check that \Psi|_{V_0} is non-zero. But this follows from the second statement in ?, since the fiber is Lagrangian.

It remains to check that \pi_*\Theta is smooth. This follows from smoothness of the fibration \varphi\colon (M,I) \to X. Since \varphi is a submersion, we can choose a splitting TM = \mathcal{V}\oplus \mathcal{H}, where \mathcal{V} is a subbundle, tangent to the fibers of \varphi. Using this splitting we can lift vector field from X to M. Denote by F_x the fiber \varphi^{-1}(x) over a point x\in X. Consider a (1,1)-form \theta on X, which is given by

where \xi, \eta \in T^{1,0} X and \pi^*\xi, \pi^*\eta denote the the lifts of these vector fields to \mathcal{H}. Note, that \theta does not actually depend on the choice of \mathcal{H}, since convolution of \Theta with a vertical vector field from \mathcal{V} gives a differential form that restricts trivially to the fiber. The form \theta coincides with \pi_*\Theta as a current, thanks to Fubini theorem. But it is clear from the definition that \theta is smooth. This completes the proof. width 5pt height 5pt depth 0pt

We can choose a Hermitian metric g on X. Then we can define a hyperhermitian metric h=g\oplus g on M, using the decomposition (?). With respect to this metric the fibers of the projection M\to X are Lagrangian, hence we can apply ?. width 5pt height 5pt depth 0pt