[Math] Example of a compact Kähler manifold with non-finitely generated canonical ring

ag.algebraic-geometrycomplex-geometrycv.complex-variablesdg.differential-geometryopen-problems

A celebrated recent theorem of Birkar-Cascini-Hacon-McKernan and Siu says that the canonical ring $R(X)=\oplus_{m\geq 0}H^0(X,mK_X)$ of any smooth algebraic variety $X$ over $\mathbb{C}$ is a finitely generated $\mathbb{C}$-algebra.

On the other hand P.M.H. Wilson (using a construction of Zariski) gave an example of a compact complex manifold $X$ with $R(X)$ not finitely generated. However his manifold $X$ is not Kähler.

Does anyone know an example of a compact Kähler manifold $X$ with $R(X)$ not finitely generated? Or is this an open problem?

Best Answer

As pointed out by Ruadhai Dervan in the comments, a paper by Fujino contains the answer to this question: the canonical ring of any compact Kähler manifold is finitely generated. By bimeromorphic invariance of this ring, the result even holds for compact complex manifolds in Fujiki's class $\mathcal{C}$.

The idea is to consider the Iitaka fibration of the manifold, which has the obvious property that its base is always a projective variety. Thanks to Fujino-Mori finite generation upstairs can be deduced from finite generation downstairs (with a boundary divisor term), and this latter statement follows from BCHM. The details are in the paper of Fujino cited above.