Abstract
We introduce the natural notion of (p, q)-harmonic morphisms between Riemannian manifolds. This unifies several theories that have been studied during the last decades. We then study the special case when the maps involved are complex-valued. For these we find a characterisation and provide new non-trivial examples in important cases.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The history of harmonic morphisms can be traced back to the pioneering work [7] of Jacobi from 1848. He studies complex-valued functions pulling back harmonic functions in the complex plane \({\mathbb C}\) to harmonic functions in the 3-dimensional Euclidean space \({\mathbb R}^3\). The notion is then generalised to the Riemannian setting in the late 1970s, independently by Fuglede and Ishihara, see [2] and [6]. This has led to a lively development that can be followed both in [1] and at the regularly updated on-line bibliography [5].
Loubeau and Ou study biharmonic morphisms between Riemannian manifolds, see [8] and [9]. These are maps pulling back biharmonic functions to biharmonic functions. In his work [10], Maeta introduces the notion of triharmonic morphisms. These are mappings pulling back triharmonic functions to triharmonic functions.
Recently, Ghandour and Ou introduce the notion of generalised harmonic morphisms between Riemannian manifolds, see [3] and [4]. These are maps pulling back harmonic functions to biharmonic functions. They also find a characterisation for these non-linear objects.
In this work we unify the above notions by defining the (p, q)-harmonic morphisms. These are maps between Riemannian manifolds pulling back q-harmonic functions to p-harmonic functions. Just as the harmonic morphisms and their above mentioned variants, they are solutions to an over-determined system of non-linear partial differential equations. This means that they have no general existence theory. For this reason it is interesting to develop methods for constructing solutions in particular cases.
In this paper we focus our attention on complex-valued (p, q)-harmonic morphisms from Riemannian manifolds. The aim is to extend the known characterisation to this case and to manufacture new non-trivial examples to this non-linear problem. The explicit examples presented here involve rather demanding computations. They were all tested, by the computer algebra systems Maple and Mathematica, independently.
2 Preliminaries
Let (M, g) be an m-dimensional Riemannian manifold and \(T^{{\mathbb C}}M\) be the complexification of the tangent bundle TM of M. We extend the metric g to a complex-bilinear form on \(T^{{\mathbb C}}M\). Then the gradient \(\nabla z\) of a complex-valued function \(z:(M,g)\rightarrow {\mathbb C}\) is a section of \(T^{{\mathbb C}}M\). In this situation, the well-known complex linear Laplace–Beltrami operator (alt. tension field) \(\tau \) on (M, g) acts locally on z as follows
For two complex-valued functions \(z,w:(M,g)\rightarrow {\mathbb C}\) we have the following well-known relation
where the complex bilinear conformality operator \(\kappa \) is given by \(\kappa (z,w)=g(\nabla z,\nabla w)\). Locally this satisfies
For the naming of the operator \(\kappa \), we have the following.
Remark 2.1
Note that for a complex-valued function \(z=x+i\,y:(M,g)\rightarrow {\mathbb C}\) we have
if and only if the two gradients \(\nabla x\) and \(\nabla y\) are orthogonal and of the same length at every point \(p\in M\) i.e. z is horizontally conformal, see [1].
As a direct consequence of the complex linearity and bi-linearity of the operators \(\tau \) and \(\kappa \), respectively, we have the following.
Lemma 2.2
Let (M, g) be a Riemannian manifold and \(z,w:(M,g)\rightarrow {\mathbb C}\) be two complex-valued functions. Then the tension field \(\tau \) and the conformality operator \(\kappa \) satisfy
We are now ready to define the complex-valued proper p-harmonic functions, the main objects of our study.
Definition 2.3
For a positive integer p, the iterated Laplace–Beltrami operator \(\tau ^p\) is given by
We say that a complex-valued function \(z:(M,g)\rightarrow {\mathbb C}\) is
-
(a)
p-harmonic if \(\tau ^p (z)=0\), and
-
(b)
proper p-harmonic if \(\tau ^p (z)=0\) and \(\tau ^{(p-1)} (z)\) does not vanish identically.
We now introduce the natural notion of a (p, q)-harmonic morphism. For \((p,q)=(1,1)\) this is the classical case of harmonic morphisms introduced by Fuglede and Ishihara, in [2] and [6], independently.
Definition 2.4
A map \(\phi :(M,g)\rightarrow (N,h)\) between Riemannian manifolds is said to be a (p, q)-harmonic morphism if, for any q-harmonic function \(f:U\subset N\rightarrow {\mathbb R}\), defined on an open subset U such that \(\phi ^{-1}(U)\) is not empty, the composition \(f\circ \phi :\phi ^{-1}(U)\subset M\rightarrow {\mathbb R}\) is p-harmonic.
As an immediate consequence of Definition 2.4 we have the following natural composition law.
Lemma 2.5
Let \(\phi :(M,g)\rightarrow ({\bar{N}},{\bar{h}})\) be a (p, r)-harmonic morphism between Riemannian manifolds. If \(\psi :({\bar{N}},{\bar{h}})\rightarrow (N,h)\) is an (r, q)-harmonic morphism then the composition \(\psi \circ \phi :(M,g)\rightarrow (N,h)\) is a (p, q)-harmonic morphism.
Another useful consequence of Definition 2.4 is the following.
Lemma 2.6
Let \(\phi :(M,g)\rightarrow (N,h)\) be a (p, q)-harmonic morphism between Riemannian manifolds. Then \(\phi \) is a \((p,q^\prime )\)-harmonic morphism for \(q>q^\prime \) and is a \((p^\prime ,q)\)-harmonic morphism for \(p^\prime >p\).
In our Theorem 7.2, we show that a complex-valued (p, q)-harmonic morphism is a p-harmonic function and for this situation we define the following.
Definition 2.7
A complex-valued (p, q)-harmonic morphism \(z:(M,g)\rightarrow {\mathbb {C}}\) from a Riemannian manifold is said to be proper if it is proper as a p-harmonic function i.e. \(\tau ^p(z)=0\) and \(\tau ^{p-1}(z)\ne 0\).
3 Complex-Valued (2, q)-Harmonic Morphisms
Throughout this work we assume that \(z:(M,g)\rightarrow {\mathbb C}\) is a smooth complex-valued function on a Riemannian manifold and that \(f:U\rightarrow {\mathbb C}\) is differentiable and defined on an open subset U of \({\mathbb C}\) containing the image z(M) of z. Further let \(\phi :(M,g)\rightarrow {\mathbb C}\) be the composition \(\phi =f\circ z\). For this situation we have the following result that later will be employed several times. This is easily obtained by using the chain rule.
Lemma 3.1
Let \(z:(M,g)\rightarrow {\mathbb C}\) be a complex-valued function on a Riemannian manifold and \(F,G:U\rightarrow {\mathbb C}\) be differentiable functions defined on an open subset U of \({\mathbb C}\) containing the image z(M) of z. Then the tension field \(\tau \) and the conformality operator \(\kappa \) satisfy
and
As a direct consequence of Lemma 3.1, we now see that the tension field \(\tau (\phi )\) of the composition \(\phi =f\circ z\) is given by
For the completeness of our exposition we now state the following. This recovers the classical result of Fuglede and Ishihara in our special case of complex-valued functions.
Theorem 3.2
A complex-valued function \(z:(M,g)\rightarrow {\mathbb C}\) from a Riemannian manifold is a (1, 1)-harmonic morphism if and only if
Proof
The function \(z:(M,g)\rightarrow {\mathbb C}\) is a (1, 1)-harmonic morphism if and only if, for any harmonic \(f:U\rightarrow {\mathbb C}\) defined on an open subset U of \({\mathbb C}\) containing the image z(M) of z, the tension field \(\tau (\phi )\) of the composition \(\phi =f\circ z\) vanishes. Since the function f is assumed to be harmonic we have
It now follows from Lemma 2.2 and Eq. (3.1) that \(\tau (\phi )=0\) is equivalent to
\(\square \)
Proposition 3.3
Let \(z:(M,g)\rightarrow {\mathbb C}\) be a complex-valued (1, q)-harmonic morphism from a Riemannian manifold. If \(1<q\) then the function z is constant.
Proof
The condition \(1<q\) implies from (3.1) that both \(\kappa (z,z)=0\) and \(\kappa (z,{\bar{z}})=0\) or equivalently that the function z is constant. \(\square \)
The next result is our fundamental tool for analysing the case of (2, q).
Lemma 3.4
Let \(z:(M,g)\rightarrow {\mathbb {C}}\) be a complex-valued function from a Riemannian manifold and \(f:U\rightarrow {\mathbb {C}}\) be defined on an open subset U of \({\mathbb {C}}\) containing the image z(M). Then the 2-tension field \(\tau ^2(\phi )\) of the composition \(\phi =f\circ z\) satisfies
Proof
Utilising the two basic Eqs. (2.1) and (3.1) we see that the 2-tension field \(\tau ^2(\phi )\) of the composition \(\phi =f\circ z\) satisfies
By applying Lemma 3.1 and reordering the terms we then obtain the stated result. \(\square \)
For later use, we now reformulate Lemma 3.4 and thereby show that the 2-tension field \(\tau ^2(\phi )\) of \(\phi \) can be presented in terms of the different partial derivatives of f with coefficients determined by the functions z, \({\bar{z}}\) and their various tension fields.
Lemma 3.5
Let \(z:(M,g)\rightarrow {\mathbb {C}}\) be a complex-valued function from a Riemannian manifold and \(f:U\rightarrow {\mathbb {C}}\) be defined on an open subset U of \({\mathbb {C}}\) containing the image z(M). Then the 2-tension field \(\tau ^2(\phi )\) of the composition \(\phi =f\circ z\) satisfies
Proof
The statement follows directly by inserting the following identities, and their conjugates, into the formula given in Lemma 3.4. For this see Lemma 2.2.
\(\square \)
In their paper [4], the authors introduce the notion of generalised harmonic morphisms between Riemannian manifolds. These are exactly the (2, 1)-harmonic morphisms in the sense of our Definition 2.4. They give a characterisation of these objects between Riemannian manifolds. In general this is rather complicated, see Theorem 2.2 of [4]. In our context, of complex-valued functions, it is the following.
Theorem 3.6
A complex-valued function \(z:(M,g)\rightarrow {\mathbb C}\) from a Riemannian manifold is a (2, 1)-harmonic morphism if and only if
Proof
The function \(z:(M,g)\rightarrow {\mathbb C}\) is a (2, 1)-harmonic morphism if and only if, for any harmonic \(f:U\rightarrow {\mathbb C}\) defined on an open subset U of \({\mathbb C}\) containing the image z(M) of z, the 2-tension field \(\tau ^2(\phi )\) of the composition \(\phi =f\circ z\) vanishes. It follows immediately from Lemma 3.1 that
Since the test function f is assumed to be harmonic we also have
This means that the formulae for the 2-tension field \(\tau ^2(\phi )\), presented in Lemmas 3.1 and 3.5, simplify considerably. The statement is then a direct consequence of the latter. \(\square \)
Remark 3.7
In the case when the Riemannian manifold (M, g) is a surface, i.e. of dimension 2, then the horizontal conformality of \(\phi :M\rightarrow {\mathbb C}\) and the Cauchy–Riemann equations imply harmonicity. That means that in this case no proper (2, 1)-harmonic morphisms do exist.
In their paper [4] the authors construct the following first known proper (2, 1)-harmonic morphism. This was basically the only known example before this current study.
Example 3.8
Let \({\mathbb R}^4\) be the standard 4-dimensional Euclidean space and U be the open subset given by
Then \(z:U\rightarrow {\mathbb C}\) satisfying \(z(x)= \sqrt{x_1^2+x_2^2+x_3^2}+i\, x_4\) is a proper (2, 1)-harmonic morphism.
Furthermore they introduce several interesting general methods for constructing solutions to our non-linear (2, 1)-problem from Euclidean spaces. The following result is a direct consequence of Corollary 3.1. of [4].
Proposition 3.9
Let (M, g) be a Riemannian manifold and \(z:M\rightarrow {\mathbb C}\) be a (2, 1)-harmonic morphism. Further let \(f:U\rightarrow {\mathbb C}\) be a holomorphic function defined on an open subset of \({\mathbb C}\) such that \(z(M)\subset U\). Then the composition \(f\circ z:M\rightarrow {\mathbb C}\) is a (2, 1)-harmonic morphism.
Proof
It is a classical result that any such holomorphic function f is a (1, 1)-harmonic morphism. The statement then is a direct concequence of our Lemma 2.5. \(\square \)
The following is a special case of Lemma 2.5, noted already in [4].
Proposition 3.10
Let (M, g) and (N, h) be Riemannian manifolds, \(f:(M,g)\rightarrow (N,h)\) be a (2, 2)-harmonic morphism and \(\phi :N\rightarrow {\mathbb C}\) be a (2, 1)-harmonic morphism. Then the composition \(\phi \circ f:(M,g)\rightarrow {\mathbb C}\) is a (2, 1)-harmonic morphism.
Remark 3.11
The reader should note that the word ”proper” does not appear in Proposition 3.10. As we will see later, there is a good reason for this.
From the above calculations of the 2-tension field \(\tau ^2(\phi )\) we now have the following result in the case when \((p,q)=(2,2)\). This should be compared with Theorem 4.1 of [8] and Theorem 3.3 of [9].
Theorem 3.12
A complex-valued function \(z:(M,g)\rightarrow {\mathbb C}\) from a Riemannian manifold is a (2, 2)-harmonic morphism if and only if
Proof
The function \(z:(M,g)\rightarrow {\mathbb C}\) is a (2, 2)-harmonic morphism if and only if, for any 2-harmonic \(f:U\rightarrow {\mathbb C}\) defined on an open subset U of \({\mathbb C}\) containing the image z(M) of z, the 2-tension field \(\tau ^2(\phi )\) of the composition \(\phi =f\circ z\) vanishes. It follows directly from Lemma 3.1 that
Since the function f is assumed to be 2-harmonic we also have
This means that the formulae for the 2-tension field \(\tau ^2(\phi )\), presented in Lemmas 3.1 and 3.5, simplify considerably. The statement is then an immediate consequence of the latter. \(\square \)
The next statement follows immediately from Proposition 3.2. of [4].
Proposition 3.13
Let (M, g), (N, h) be Riemannian manifolds, \(\phi :M\rightarrow {\mathbb C}\) be a (2, 1)-harmonic morphism and \(\psi :N\rightarrow {\mathbb C}\) be a (1, 1)-harmonic morphism. Then the sum \(\Phi =\phi \oplus \psi :M\times N\rightarrow {\mathbb C}\), with
is a (2, 1)-harmonic morphism on the Riemannian product \(M\times N\).
4 New (2, 1)-Harmonic Morphisms
In this section we present several new proper complex-valued (2, 1)-harmonic morphisms locally defined on the Euclidean \({\mathbb R}^n\). Example 4.2 shows that such objects can easily be constructed for any dimension \(n\ge 4\).
Definition 4.1
For a positive integer \(p\in {\mathbb Z}^+\) we denote by \(i_p\) the inversion \(i_p:{\mathbb R}^{2p}\setminus \{0\}\rightarrow {\mathbb R}^{2p}\setminus \{0\}\) of the unit sphere \(S^{2p-1}\) in \({\mathbb R}^{2p}\) satisfying
Let \(\phi :U\rightarrow {\mathbb C}\) be a function defined locally on an open subset U of \({\mathbb R}^{2p}\setminus \{0\}\). Then by its dual function \(\phi ^*\) we shall mean the composition \(\phi ^*=\phi \circ i_p:U\rightarrow {\mathbb C}\).
Example 4.2
Let \({\mathbb R}^n\) be the standard n-dimensional Euclidean space of dimension \(n\ge 4\) and U be the open subset given by
Then the complex-valued function \(\phi :U\rightarrow {\mathbb C}\) defined by
is a proper (2, 1)-harmonic morphism if and only if the complex coefficients satisfy the relation
The same applies to the dual function \(\phi ^*=\phi \circ i_{p}\) in the case when \(n=2p\). It should be noted that, when \(n=4\), the function \(\phi \) reduces to Example 2 in [4].
Example 4.3
Let U be the open subset of the standard Euclidean space \({\mathbb R}^4\) with \(U=\{(x_1,x_2,x_3,x_4)\in {\mathbb R}^4|\ x_2^2+x_3^2> 0\}\) and define the function \(\phi :U\rightarrow {\mathbb C}\) by
Then \(\phi \) is a proper (2, 1)-harmonic morphism. Furthermore, its dual function \(\phi ^*=\phi \circ i_2\) is the proper (2, 1)-harmonic morphism given by
Example 4.4
The complex-valued function \(\phi :{\mathbb R}^4\setminus \{0\}\rightarrow {\mathbb C}\) satisfying
is a proper (2, 1)-harmonic morphism. Its dual function \(\phi ^*=\phi \circ i_2\) is the proper (2, 1)-harmonic morphism satisfying
Example 4.5
For a positive \(r\in {\mathbb R}^+\), the well-known local (1, 1)-harmonic morphism \(\phi _r:U\subset {\mathbb R}^4\rightarrow {\mathbb C}\), often called the outer-disc example, is given by
Then the dual map \(\phi _r^*=\phi _r\circ i_2\) satisfies
This is a proper (2, 1)-harmonic morphism on \({\mathbb R}^4\).
In the above Examples 4.2–4.5 we have seen that the constructed complex-valued (2, 1)-harmonic morphisms \(\phi \) and their duals \(\phi ^*\) are all proper. The next three examples show that this is not true in general, see Remark 3.11.
Example 4.6
For complex numbers \(a,b,c,d\in {\mathbb C}\) with \(a^2+b^2+c^2+d^2=0\), let \(\phi :{\mathbb R}^4\setminus \{0\}\rightarrow {\mathbb C}\) be the proper (2, 1)-harmonic morphism
Then its dual function \(\phi ^*=\phi \circ i_2\) is the globally defined (1, 1)-harmonic morphism satisfying
By Lemma 2.5, this is a (2, 1)-harmonic morphism, but it is not proper.
Example 4.7
For elements \(a,b,c,d\in {\mathbb C}\), define the complex-valued function \(\phi :U\subset {\mathbb R}^4\rightarrow {\mathbb C}\) by
Then \(\phi \) is a proper (2, 1)-harmonic morphism and its dual \(\phi ^*=\phi \circ i_2\) is the holomorphic function
This is clearly a (2, 1)-harmonic morphism which is not proper.
Example 4.8
Define the complex-valued function \(\phi :{\mathbb R}^4\setminus \{0\}\rightarrow {\mathbb C}\) by
Then \(\phi \) is a proper (2, 1)-harmonic morphism and its dual satisfying
is holomorphic and hence a (2, 1)-harmonic morphism, but not proper as it is a (1, 1)-harmonic morphism.
5 A Generalised Construction Method
The main purpose of this section is to prove Theorem 5.2 which is a wide generalisation of Proposition 3.13.
Lemma 5.1
Let (M, g), (N, h) be Riemannian manifolds and \(\phi :M\rightarrow {\mathbb C}\), \(\psi :N\rightarrow {\mathbb C}\) be two horizontally conformal functions. Let U be an open subset of \({\mathbb C}^2\) such that \(\phi (M)\times \psi (N)\subset U\) and \(f:U\rightarrow {\mathbb C}\) be a holomorphic function. Then the composition \(\Phi :M\times N\rightarrow {\mathbb C}\) with \(\Phi (x,y)=f(\phi (x),\psi (y))\) is horizontally conformal on the Riemannian product space \(M\times N\).
Proof
Let \({\mathcal {B}}_M\) and \({\mathcal {B}}_N\) be local orthonormal frames for the tangent bundles TM and TN, respectively. Then
\(\square \)
Theorem 5.2
Let U, V be open subsets of \({\mathbb R}^m\) and \({\mathbb R}^n\), respectively. Let \(\phi :U\rightarrow {\mathbb C}\) be a (2, 1)-harmonic morphism and \(\psi :V\rightarrow {\mathbb C}\) be a (1, 1)-harmonic morphism. Let W be an open subset of \({\mathbb C}^2\) such that \(\phi (U)\times \psi (V)\subset W\) and \(f:W\rightarrow {\mathbb C}\) be a holomorphic function. Then the composition \(\Phi :U\times V\rightarrow {\mathbb C}\) with \(\Phi (x,y)=f(\phi (x),\psi (y))\) is a (2, 1)-harmonic morphism.
Proof
It follows from Lemma 5.1 that \(\Phi \) is horizontally conformal i.e. \(\kappa (\Phi ,\Phi )=0\). For the tension field \(\tau (\Phi )\) of \(\Phi \) we have
With this at hand, we can now calculate the 2-tension field \(\tau ^2(\Phi )\) of \(\Phi \) as follows.
For the tension field \(\tau (\Phi ^2)\) of \(\Phi ^2\) we have
Hence the bi-tension field \(\tau ^2(\Phi ^2)\) of \(\Phi ^2\) satisfies
The conclusion follows from Theorem 3.6. \(\square \)
Example 5.3
We have already seen that the complex-valued function \(\phi :{\mathbb R}^4\setminus \{0\}\rightarrow {\mathbb C}\) satisfying
is a proper (2, 1)-harmonic morphism. It is clear that the holomorphic function \(\psi :{\mathbb R}^4\rightarrow {\mathbb C}\) satisfying
is a (1, 1) harmonic morphism. Calculations confirm that \(\Phi :U\subset {\mathbb R}^8\rightarrow {\mathbb C}\) given by \(\Phi =f(\phi ,\psi )=\phi \cdot \psi \) is a proper (2, 1)-harmonic morphism.
6 Complex-Valued (3, q)-Harmonic Morphisms
In this section we present a formula for the 3-tension field \(\tau ^3(\phi )\), of the composition \(\phi =f\circ z\). It turns out that, just as in the case of (2, q), horizontal conformality, i.e. \(\kappa (z,z)=0\), is a necessary condition. Elementary but rather tedious calculations provide the following useful result.
Lemma 6.1
Let \(z:(M,g)\rightarrow {\mathbb {C}}\) be a horizontally conformal complex-valued function from a Riemannian manifold and \(f:U\rightarrow {\mathbb {C}}\) be defined on an open subset U of \({\mathbb {C}}\) containing the image z(M). Then the 3-tension field \(\tau ^3(\phi )\) of the composition \(\phi =f\circ z\) satisfies
Theorem 6.2
A complex-valued function \(z:(M,g)\rightarrow {\mathbb {C}}\) from a Riemannian manifold is a (3, 1)-harmonic morphism if and only if
Proof
The method used here is exactly the same as that we have employed in the proof of Theorem 3.6 employing the fact that f is harmonic i.e.
\(\square \)
Example 6.3
Let \(\phi :{\mathbb R}^6\setminus \{0\}\rightarrow {\mathbb C}\) be the (1, 1)-harmonic morphism given by
Then calculations show that its dual map \(\phi ^*=\phi \circ i_3:{\mathbb R}^6\setminus \{0\}\rightarrow {\mathbb C}\) is a proper (3, 1)-harmonic morphism.
In the Tables 1 and 2 we give several new examples of (3, 1)-harmonic morphisms defined on the appropriate open subsets U of \({\mathbb R}^6\). They are proper if and only if the stated p is 3 and not proper otherwise.
Theorem 6.4
A complex-valued function \(z:(M,g)\rightarrow {\mathbb {C}}\) from a Riemannian manifold is a (3, 2)-harmonic morphism if and only if
Proof
The statement follows easily from the fact that \(\kappa (z,z)=\kappa ({\bar{z}},{\bar{z}})=0\), Lemma 6.1 and
since f is assumed to be a general 2-harmonic function. \(\square \)
Our next result gives a characterisation in the complex-valued (3, 3)-case. This recovers a particular case of Corollary 6.2 of the interesting work [10] of Maeta.
Theorem 6.5
A complex-valued function \(z:(M,g)\rightarrow {\mathbb {C}}\) from a Riemannian manifold is a (3, 3)-harmonic morphism if and only if
Proof
Here we use exactly the same method as above, utilising Lemma 6.1 and the fact that in this case we have
\(\square \)
7 Complex-Valued (p, q)-Harmonic Morphisms
In this section we investigate the p-tension field \(\tau ^p(\phi )\) of the composition \(\phi =f\circ z\) and derive several consequences from the condition \(\tau ^p(\phi )=0\) i.e. of \(\phi \) being p-harmonic. It turns out that \(\tau ^p(\phi )\) takes the following form
where the coefficients \(c^p_{jk}:U\rightarrow {\mathbb C}\) are differentiable functions involving various tension fields and conformality operators of the functions z and \({\bar{z}}\) and independent of f.
We have already presented the tension fields \(\tau (\phi )\), \(\tau ^2(\phi )\) and \(\tau ^3(\phi )\) of \(\phi \). When calculating the 4-tension field \(\tau ^4(\phi )\) a clear pattern comes to light. These calculations are far too extensive to be presented here. For the p-tension field \(\tau ^p(\phi )\) we have the following result.
Lemma 7.1
Let \(z:(M,g)\rightarrow {\mathbb {C}}\) be a complex-valued function from a Riemannian manifold and \(f:U\rightarrow {\mathbb {C}}\) be defined on an open subset U of \({\mathbb {C}}\) containing the image z(M). Then for \(p\ge 2\) the p-tension field \(\tau ^p(\phi )\) of the composition \(\phi =f\circ z\) is of the form
The coefficients \(c^p_{jk}:U\rightarrow {\mathbb C}\) are differentiable functions, independent of f, involving various tension fields and conformality operators of the functions z and \({\bar{z}}\). Furthermore, they are symmetric with respect to complex conjugation i.e. \(c_{jk}^p={\bar{c}}_{kj}^p\) and
This leads to the following general result which should be compared with Theorems 3.2, 3.6, 3.12, 6.2, 6.4 and 6.5 above.
Theorem 7.2
A complex-valued function \(z:(M,g)\rightarrow {\mathbb {C}}\) from a Riemannian manifold is a (p, q)-harmonic morphism if and only if
Proof
The function \(z:(M,g)\rightarrow {\mathbb C}\) is a (p, q)-harmonic morphism if and only if, for any q-harmonic function \(f:U\rightarrow {\mathbb C}\) defined on an open subset U of \({\mathbb C}\) containing the image z(M) of z, the p-tension field \(\tau ^p(\phi )\) of the composition \(\phi =f\circ z\) vanishes. Since the function f is assumed to be q-harmonic we know that
According to Lemma 7.1 we also have
If we now plug these indentities into the expression for \(\tau ^p(\phi )\) this simplifies considerably to
where \(c_{pp}^p=2^p\cdot \kappa (z,{\bar{z}})^p\). Hard work then shows that the remaining coefficients satisfy
The rest follows by the same method as applied in the proof of Theorem 3.12. \(\square \)
Remark 7.3
In the paper [10], Maeta presents his interesting Conjecture 7.6. In our language his statement is: ”A (p, p)-harmonic morphism is characterized as a special horizontally weakly conformal 2p-harmonic map.”
In our Theorem 7.2 we study the special case of complex-valued (p, p)-harmonic morphisms. We obtain a characterisation of these objects and show that they are both horizontally conformal and 2p-harmonic, as Maeta suggests. But additionally, they must satisfy several rather non-trivial conditions. They can therefore rightly be said to be ”special horizontally weakly conformal 2p-harmonic maps” (Table 3).
We conclude this section by presenting further examples. They suggest that one should be able to produce (p, 1)-harmonic morphisms for any positive integer \(p\in {\mathbb Z}^+\). The question marks ’?’ in Table 4 tell us that the calculations needed, in those cases, were too heavy for the tools available to us.
Remark 7.4
In the process of obtaining Lemma 7.1, it is easily seen that every (p, q)-harmonic morphism is constant in the cases when \(p<q\). This is due to the fact that in these cases we have
The reader should compare this with Proposition 3.3.
Example 7.5
Let \(\phi :{\mathbb R}^8\rightarrow {\mathbb C}\) be the holomorphic (1, 1)-harmonic morphism defined by
Then its dual map \(\phi ^*=\phi \circ i_4:{\mathbb R}^8\setminus \{0\}\rightarrow {\mathbb C}\) is a proper (4, 1)-harmonic morphism.
8 The Inversion About the Unit Sphere \(S^{2p-1}\) in \(\pmb {{\mathbb R}}^{2p}\)
In this section we investigate the inversion \(i_p:{\mathbb R}^{2p}\setminus \{0\}\rightarrow {\mathbb R}^{2p}\setminus \{0\}\) about the unit sphere \(S^{2p-1}\) in \({\mathbb R}^{2p}\).
Theorem 8.1
Let \(i_p:{\mathbb R}^{2p}\setminus \{0\}\rightarrow {\mathbb R}^{2p}\setminus \{0\}\) be the inversion about the unit sphere \(S^{2p-1}\) in \({\mathbb R}^{2p}\) given by
Then the map \(i_p\) is horizontally conformal and p-harmonic.
Proof
The fact that \(i_p\) is conformal is classic, but we prove it here for the reader’s convenience. For \(1\le j,k\le 2p\) the conformality operator \(\kappa \) satisfies
The fact that the map \(i_p\) is proper p-harmonic is a direct consequence of the following repeated application of Lemma 8.2.
\(\square \)
Lemma 8.2
For a positive integer \(n\in {\mathbb Z}^+\) let the map \(\phi :{\mathbb R}^{p}\setminus \{0\}\rightarrow {\mathbb R}^{p}\setminus \{0\}\) be given by
Then the tension field \(\tau (\phi )\) of \(\phi \) satisfies
Proof
First we notice that
Applying this several times we then get
and
This means that for the tension field \(\tau (\phi _k)\) we yield
\(\square \)
9 Two Conjectures
We conclude this work with two conjectures that have come to our minds while working on this project.
Conjecture 9.1
Let \(p\in {\mathbb Z}^+\) be a positive integer and \(i_p=(F_1,F_2,\dots ,F_{2p}):{\mathbb R}^{2p}\setminus \{0\}\rightarrow {\mathbb R}^{2p}\setminus \{0\}\) be the inversion about the unit sphere \(S^{2p-1}\) in \({\mathbb R}^{2p}\). Then \(z:{\mathbb R}^{2p}\setminus \{0\}\rightarrow {\mathbb C}\) with
is a complex-valued (p, p)-harmonic morphism for any element \(a\in {\mathbb C}^{2p}\).
Our rather extensive computer calculations show that this Conjectu 9.1 is true in the cases when \(p=1,2,3,4\), but the statement seems to be difficult to prove in general.
No proper (2, 1)-harmonic morphism is known to exist from the three dimensional Euclidean space \({\mathbb R}^{3}\), not even locally. For this we have the following.
Conjecture 9.2
Let \(p\ge 2\) and \(\phi :U\rightarrow {\mathbb C}\) be a complex-valued (p, 1)-harmonic morphism defined locally on the standard Euclidean space \({\mathbb R}^{2p-1}\). Then \(\phi \) is a (1, 1)-harmonic morphism i.e. \(\tau (\phi )=0\).
References
Baird, P., Wood, J.C.: Harmonic Morphisms Between Riemannian Manifolds. The London Mathematical Society Monographs, vol. 29. Oxford University Press, Oxford (2003)
Fuglede, B.: Harmonic morphisms between Riemannian manifolds. Ann. Inst. Fourier 28, 107–144 (1978)
Ghandour, E.: Applications semi-conformes et solitons de Ricci, Doctoral Thesis, University of Brest (2018)
Ghandour, E., Ou, Y.-L.: Generalised harmonic morphisms and horizontally weakly conformal biharmonic maps. J. Math. Anal. Appl. 464, 924–938 (2018)
Gudmundsson, S.: The Bibliography of Harmonic Morphisms. www.matematik.lu.se/matematiklu/personal/sigma/harmonic/bibliography.html
Ishihara, T.: A mapping of Riemannian manifolds which preserves harmonic functions. J. Math. Kyoto Univ. 19, 215–229 (1979)
Jacobi, C.G.J.: Über eine Lösung der partiellen Differentialgleichung \(\Delta (V)=0\). J. Reine Angew. Math. 36, 113–134 (1848)
Loubeau, E., Ou, Y.-L.: The characterization of biharmonic morphisms. In: Proceedings of the 8th International Conference on Differential Geometry and Its Applications (Silesian Univ. Opava), Math. Publ., vol. 3, pp. 31–41 (2001)
Loubeau, E., Ou, Y.-L.: Biharmonic maps and morphisms from conformal mappings. Tohoku Math. J. 62, 55–73 (2010)
Maeta, S.: Triharmonic morphisms between Riemannian manifolds. J. Geom. 105, 507–527 (2014)
Acknowledgements
The authors would like to thank the referee for several useful remarks that have improved the presentation. The first author would like to thank the Department of Mathematics at Lund University for its great hospitality during her time there as a postdoc.
Funding
Open access funding provided by Lund University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ghandour, E., Gudmundsson, S. Complex-Valued (p, q)-Harmonic Morphisms from Riemannian Manifolds. J Geom Anal 31, 11386–11409 (2021). https://doi.org/10.1007/s12220-021-00685-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-021-00685-2