A family of compact complex and symplectic Calabi-Yau manifolds that are non-Kähler (Q1746382)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A family of compact complex and symplectic Calabi-Yau manifolds that are non-Kähler
scientific article

    Statements

    A family of compact complex and symplectic Calabi-Yau manifolds that are non-Kähler (English)
    0 references
    0 references
    0 references
    25 April 2018
    0 references
    The existence of a Kähler form on a compact complex manifold implies a number of properties: there are strong restrictions on the fundamental group and the Betti numbers, moreover the hard Lefschetz property and formality holds. In this paper the authors give for every \(A \in \text{SL}(2, \mathbb Z[i])\) such that \(|\text{tr}(A)|>2\) an explicit construction of a compact differentiable manifold \(M(A)\) of real dimension six that is simultaneously diffeomorphic to a complex manifold \(M_C\) with trivial canonical bundle and a symplectic manifold \(M_S\) such that the first Chern class \(c_1(M_S)\) vanishes. Nevertheless the manifold \(M(A)\) is not homotopy equivalent to a compact Kähler manifold. \newline The remarkable feature of this construction is that \(M(A)\) satisfies the aforementioned basic properties of Kähler manifolds: the fundamental group is \(\mathbb Z^{\oplus 2}\), the odd-degree Betti numbers are even, the linear map defined by the symplectic form on \(M_S\) satisfies hard Lefschetz and the real homotopy type is formal. The proof of non-Kählerness relies on the much more subtle properties of cohomological jump loci of compact Kähler manifolds proven by the second-named author in [Math. Res. Lett. 23, No. 2, 545--563 (2016, Zbl. 1345.32019)]. The authors use this earlier result to prove that for a fibre bundle \(E \rightarrow S^1\) with a fibre \(F\) such that all \(H^j(F, \mathbb C)\) are finite dimensional and \(E\) is homotopy equivalent to a compact Kähler manifold, the eigenvalues of the monodromy action on \(H^j(F, \mathbb C)\) are roots of unity.
    0 references
    Kähler manifolds
    0 references
    Calabi-Yau manifolds
    0 references
    non-Kähler manifolds
    0 references
    symplectic manifolds
    0 references

    Identifiers