On compact Kähler-Liouville surfaces (Q1389871)

A compact Kähler-Liouville surface \((M,g,J; {\mathcal F})\) is defined as a compact, connected Kähler surface \((M,g,J)\) associated with a 2-dimensional real vector space \({\mathcal F}\) of first integrals on the cotangent bundle \(T^*M\) of its geodesic flows such that (1) the vector space \({\mathcal F}\) contains the energy function on \(T^*M\); (2) all the first integrals contained in the vector space \({\mathcal F}\) are fiberwise homogeneous polynomials of degree 2 and are Hermitian with respect to the complex structure \(J\). The author studies the structure of compact Kähler-Liouville surfaces under an assumption which he defines as `properness.' The author proves that compact proper Kähler-Liouville surfaces \((M,g,J; {\mathcal F})\) have the following properties. (1) The geodesic flow of \((M,g)\) is completely integrable; (2) \((M,J)\) is bi-holomorphic to the complex projective plane \(\mathbb{C} P^2\); (3) there exists a family \({\mathcal S}\) of compact real Liouville surfaces imbedded in \(M\) whose Liouville structures are inherited from \({\mathcal F}\), and every compact real Liouville surface belonging to \({\mathcal S}\) is diffeomorphic to the real projective plane \(\mathbb{R} P^2\); (4) an effective torus action on \(M\) is naturally defined and the compact real Liouville surfaces belonging to \({\mathcal S}\) are isomorphically transferred to each other by this action.