# Addendum To: On fibre space structures of a projective irreducible symplectic manifold

(E-mail Address tyler@kurims.kyoto-u.ac.jp)  

In this note, we prove that every fibre space of a projective irreducible manifold is a lagrangian fibration. 

###### Theorem 1

Let $`X`$ be a projective irreducible symplectic manifold and $`f:XB`$ a fibre space with projective base $`B`$. Then $`f`$ is a lagrangian fibration, that is a general fibre of $`f`$ is a lagrangian submanifold.

Remark.  Beauville proves that a Lagrangian fibration is a complete integrable system in \[2, Proposition 1\]. Thus, a general fibre of a fibre space of a projective irreducible symplectic manifold is an abelian variety. 

Remark.  Markshevich states in \[4, Remark 3.2\] that there exists an irreducible symplectic manifold which has a family of non lagrangian tori. But this family does not form fibration.

Proof of Theorem.  Let $`\omega `$ be a nondegenerate two form on $`X`$ and $`\overline{\omega }`$ a conjugate. Assume that $`dimX=2n`$. Then $`dimF=n`$ \[5, Theorem 2\], where $`F`$ is a general fibre of $`f`$. In order to prove that $`F`$ is a Lagrangian submanifold, it is enough to show

$$_F\omega \overline{\omega }A^{n2}=0$$

where $`A`$ is an ample divisor on $`X`$. Let $`H^{}`$ be an ample divisor on $`B`$ and $`H:=f^{}H^{}`$. Then

$$_F\omega \overline{\omega }A^{n2}=c(\omega \overline{\omega }A^{n2}H^n),$$

where $`c`$ is a nonzero constant. We shall show $`\omega \overline{\omega }A^{n2}H^n=0`$. By \[3, Theorem 4.7\], there exists a bilinear form $`q_X`$ on $`H^2(X,)`$ which has the following properties:

$$a_0q_X(D,D)^n=D^{2n}DH^2(X,).$$

We consider the following equation,

$$a_0q_X(\omega +\overline{\omega }+sA+tH,\omega +\overline{\omega }+sA+tH)^n=(\omega +\overline{\omega }+sA+tH)^{2n}.$$

Calculating the left hand side, we obtain

$$a_0(q_X(\omega +\overline{\omega })+s^2q_X(A)+2sq_X(\omega +\overline{\omega },A)+2tq_X(\omega +\overline{\omega },H)+2stq_X(A,H))^n.$$

Since $`\omega H^0(X,\mathrm{\Omega }_X^2)`$ and $`A,HH^1(X,\mathrm{\Omega }_X^1)`$,

$$q_X(\omega +\overline{\omega },A)=q_X(\omega +\overline{\omega },H)=0$$

by \[1, Théorème 5\]. Thus we can conclude that $`\omega \overline{\omega }A^{n2}H^n=0`$ by comparing $`s^{n2}t^n`$ term of both hands sides. Q.E.D.

Resarch Institute of Mathematical Science,

Kyoto University.

KITASHIRAKAWA, OIWAKE-CHO, KYOTO, 606-01, JAPAN.