Plurisubharmonic functions on hypercomplex manifolds and HKT-geometry (Q2434066)

Let \((X,I,J,K)\) be a \textit{hypercomplex} manifold, i.e., a \(4n\)-dimensional real manifold \(X\) endowed with a triple \((I,J,K)\) of complex structures with \(IJ=-JI=K\). Let \(\partial:\Lambda_I^{p,q}(X)\longrightarrow\Lambda_I^{p+1,q}(X)\) be the standard \(\partial\)-operator with respect to the complex manifold \((X,I)\). Put \(\partial_J:=J^{-1}\circ\overline\partial\circ J\). The authors study a quaternionic analogue of plurisubharmonic functions. A continuous function \(h:X\longrightarrow\mathbb R\) is said to be \textit{quaternionic plurisubharmonic} (\(h\in P'(X)\)) if \(\omega:=\partial\partial_Jh\) is a nonnegative section of \(\Lambda_{I,\mathbb R}^{2,0}(X)\), i.e., \(\overline{J\circ\omega}=\omega\) and \(\omega(Y, Y\circ J)\geq0\) for any real vector field \(Y\). Let \(P''(X)\) denote the class of all \(h\in P'(X)\) such that every point \(x\in X\) has a neighborhood \(U\) and a sequence \((h_N)_{N=1}^\infty\subset P'(U)\cap\mathcal C^2(U)\) with \(h_N\longrightarrow h\) locally uniformly on \(U\). The main results of the paper are the following two theorems. (1) For any \(h_1,\dots,h_k\in P''(X)\) one can define a nonnegative section \(\partial\partial_Jh_1\wedge\dots\wedge\partial\partial_Jh_k\) of \(\Lambda_{I,\mathbb R}^{2k}\) such that if \((h_i^N)_{N=1}^\infty\subset P''(X)\) and \(h_i^N\longrightarrow h_i\) locally uniformly on \(X\), \(i=1,\dots,k\), then \(\partial\partial_Jh_1^N\wedge\dots\wedge\partial\partial_Jh_k^N\longrightarrow \partial\partial_Jh_1\wedge\dots\wedge\partial\partial_Jh_k\) in the weak topology. (2) Let \(f\) be a \(\mathcal C^\infty\)-smooth strictly quaternionic plurisubharmonic function. Put \(g(A,A):=(\partial\partial_Jf)(A,A\circ J)\) for any vector field \(A\) on \(X\). Then \(g\) is a \(HKT\)-metric, i.e., \(g\) is a Riemannian metric on \(X\), invariant under the group of unitary quaternions, such that \(\partial(\omega_J-\sqrt{-1}\omega_K)=0\), where \(\omega_L(A,B):=g(A,B\circ L)\) for any \(L\in\mathbb H\) with \(L^2=-1\) and any vector fields \(A, B\). Conversely, any \(HKT\)-metric is locally of the above form. The second theorem is a consequence of the following result. Let \(\varOmega\in\mathcal C^\infty(X,\Lambda_{I,\mathbb R}^{2,0})\). Then \(\varOmega\) is locally of the form \(\varOmega=\partial\partial_Jf\) with \(f\) being a \(\mathcal C^\infty\)-smooth real function, iff \(\partial\varOmega=0\).