Hyperbolic geometry and non-Kähler manifolds with trivial canonical bundle (Q986685)

The paper is devoted to two canonical constructions for providing complex and symplectic manifolds with trivial canonical bundle but without a compatible Kähler structure. The resulting main achievements are: {\parindent6.5mm \begin{itemize}\item[(a)] the first 6-dimensional example is given for a simply connected 6 manifold with a symplectic structure with \(c_1=0\) but without any Kähler metric with \(c_1 =0\); \item[(b)] the proof of the fact that \(2(S^3\times S^3)\#(S^2\times S^4)\) admits infinitely many distinct (necessarily non-Kähler) complex structures with trivial canonical bundle. \end{itemize}} The authors' approach relies upon two familiar desingularisations of the affine quadratic cone \(Q:=\{ \zeta\in\mathbb{C}^4:\;q(\zeta)=0\}\) with the form \(q:=xw-yz\): smoothing and the so-called small-resolution. The smoothing of \(Q\) is \(S:=\{ \zeta:\;q(\zeta)=1\}\), necessarily with trivial canonical bundle giving rise to a natural \(S^3\)-bundle over \(H^3\) (the 3-dimensional hyperbolic space), and being in the following close connection with hyperbolic geometry: \(\text{SO}(4,\mathbb{C})\) acts by biholomorphisms on \(S\) and \(S\) admits an invariant holomorphic volume form. The small resolution is the natural map \(p:R\to Q\) of the total space \(R\) of \(\pi:{\mathcal O}\oplus{\mathcal O} \to \mathbb{C} \mathbb{P}^1\), giving rise to a natural \(S^2\)-bundle over \(H^4\) with symplectic geometry determined by the metric. \(\text{SO}(4,1)\) acts symplectomorphically on \(R\) extending the action of \(\text{SO}(4)\) and \(R\) admits an invariant compatible almost complex structure with invariant complex volume form. The constructions are produced via crepant resolutions from orbifold quotients of spin bundles of the form of a smooth hyperbolic manifold \(M\) admitting an \(m\)-fold cyclic cover branched along a knot. In particular, examples (b) are achieved with a particular choice for \(M\) by considering the Davis manifold associated with a regular 120-cell in \(H^4\) with dihedral angles \(2\pi/5\) treated with arguments of independent interest. In the closing section, the authors outline analogous constructions for symplectic non-Kähler-Fano manifolds in higher dimensions.