Twisting Hermitian and hypercomplex geometries (Q616589)

The author presents a twist construction for manifolds with torus action. Let \(M \) be a manifold with an action of the \(n\)-torus \(T_M\) and let \(p:P\rightarrow M\) be a principle \(T^n\)-bundle with connection whose curvature is \(F\). The author studies conditions under which the action of \(T_M\) lifts to \(P\) in such a way that the new action \(\widetilde{T_M}\) commutes with principal action and leaves the \(T^n\)-connection on \(P\) invariant. The following theorem is proved: Suppose \(M\) admits an \(F\)-Hamiltonian \(T_M\)-action for some closed 2-form with integral periods \(F\in\Omega^2_{\mathbb Z}(M,\mathfrak t_n)\). Then there is a principal \(T^n\)-bundle \(P\rightarrow M\) which admits {\parindent6.2mm \begin{itemize}\item[(i)] a \(\widetilde{T_M}\)-action of the \(n\)-torus \(T_M\) commuting with the principal action, covering the \(T_M\)-action on \(P\), \item[(ii)] a \(\widetilde{T_M}\)-invariant \(T^n\)-connection \(\theta\) on \(P\) with curvature \(F\). \end{itemize}} In fact, such a lift exists on any \(T^n\)-bundle with \(c_1(P)\otimes\mathbb R=[F]\). Let us assume that \(M\) is a manifold with an effective \(F\)-Hamiltonian \(A_M\)-action where \(F\in\Omega^2_{\mathbb Z}(M,\mathfrak a_n)\). Let \(P\) be a principal \(A^n\)-bundle with a connection \(\theta\) whose curvature is \(F\) and with an \(\widetilde{A_M}\)-action preserving \(\theta\) and covering \(A_M\) infinitesimally, where \(\widetilde{A_M}\) is a connected abelian group covering \(A_M\). Assume that \(\widetilde{A_M}\) acts properly on \(P\) and that \(\widetilde{A_M}\) is transverse to \(\mathcal H=\text{ker} \theta\). A twist of \(M\) with respect to \(A_M\), \(F\) is the quotient space \[ W=P\slash \widetilde{A_M}. \] Applying this construction to complex, SKT, hypercomplex, and HKT manifolds, the author constructs many new compact simply connected examples of KT and HKT manifolds. The author produces examples of hypercomplex manifolds that admit no compatible HKT metrics and HKT manifolds whose Obata connection has holonomy contained in \(SL(n,\mathbb H)\).