Arxiv:2101.11879V1 [Math.DG]

arXiv:2101.11879v1 [math.DG] 28 Jan 2021 formal hnfidsvrlepii ouin n hrb osrc m construct thereby and solutions explicit several find then fprildffrnileutosivligtegoercda geometric the involving equations differential partial of e 3.Tecs f(2 of morphisms case harmonic generalised The [3]. see aud( valued d o rdcn xlctsltosi h aewe h dom the when case the in solutions explicit al They producing equations. for differential ods partial of system non-linear the rjcinΦ:( : Φ projection (2 g u manifolds our 90 neednl,se[]ad[] hs r aspulling maps are These i [6]. on Ishihara functions and and harmonic [2] Fuglede real-valued see by independently, introduced 1970s was manifolds, mannian akreal-valued back xeln ok[] yBidadWo,adterglryupda regularly the author. and second Wood, the b by and maintained can Baird [5], as by bibliography activities, research [1], th vibrant work of to excellent geometry lead the have to and connection volved interesting an have objects morphisms. fapriua om e eto .W hnivsiaewhen investigate then We 3. Section see form, particular a of , 2020 h rnia i fti oki oetn h td ocomple to study the extend to is work this of aim principal The h ocp fa of concept The eety h oinwsgnrlsdt ( to generalised was notion the Recently, e od n phrases. and words Key RPRBHROI ASAND MAPS BIHARMONIC PROPER )hroi opim rmReana aiod ( manifolds Riemannian from morphisms 1)-harmonic m dmninlEcienspace. Euclidean -dimensional , OPIM RMSM IDGEOMETRIES WILD SOME FROM MORPHISMS ahmtc ujc Classification. Subject Mathematics ytmo ata ieeta qain eedn ntege involved. the manifolds on the depending of equations t differential solutions partial are of These system geometry. non-trivial with manifolds (2 and maps biharmonic proper Abstract. harmonic ,q p, -amncmorphisms )-harmonic LAGADU N IMNU GUDMUNDSSON SIGMUNDUR AND GHANDOUR ELSA M ,g M, q soe ust of subsets open as hroi ucin on functions -harmonic nti okw osrc ait fnwcomplex-valued new of variety a construct we work this In n even and ) amncmorphism harmonic → , i rus ofra oitos iia oitos har foliations, minimal foliations, conformal groups, Lie C )hderirbe tde n[]udrtename the under [4] in studied been earlier had 1) notefis w oriae is coordinates two first the onto biharmonic 1. Introduction n[] h uhr hrceiecomplex- characterise authors the [3], In . , )hroi opim nRiemannian on morphisms 1)-harmonic R N φ m 1 33,5C3 58E20. 53C43, 53C30, ( : ohroi ucin on functions harmonic to qipdwt imninmetric Riemannian a with equipped , hslast a to leads This . ,g M, φ N ,q p, ( : to )- ) ,g M, amncmorphisms harmonic p → hroi ucin on functions -harmonic ) C (2 → , ntrso heavily a of terms in 1) ( ,h N, -HARMONIC non-linear a o mti data ometric non-linear ,g M, ao ( on ta opoiemeth- provide so oiotlycon- horizontally etrics ,btenRie- between ), aiod in- manifolds e rcdi the in traced e .W model We ). i ( ain h natural the M h late the n aklocal back ,g M, e online ted g x-valued These . pulling , ,g M, turning system .We ). monic is ) M , 2 ELSAGHANDOURANDSIGMUNDURGUDMUNDSSON the projection Φ into a proper biharmonic map and even a proper (2, 1)- harmonic morphism. By this we provide the first known complex-valued (2, 1)-harmonic morphisms from Riemannian manifolds with non-trivial geometry.

2. Preliminaries Let (M, g) be an m-dimensional Riemannian manifold and T CM be the complexification of the tangent bundle T M of M. We extend the metric g to a complex-bilinear form on T CM. Then the gradient ∇φ of a complex- valued function φ : (M, g) → C is a section of T CM. In this situation, the well-known complex linear Laplace-Beltrami operator (alt. tension field) τ on (M, g) acts locally on φ as follows m 1 ∂ ∂φ τ(φ) = div(∇φ)= gij |g| . g ∂xj ∂xi i,jX=1 | | p p For two complex-valued functions φ, ψ : (M, g) → C we have the following well-known relation τ(φ · ψ)= τ(φ) · ψ + 2 · κ(φ, ψ)+ φ · τ(ψ), (2.1) where the complex bilinear conformality operator κ is given by κ(φ, ψ) = g(∇φ, ∇ψ). Locally this satisfies m ∂φ ∂ψ κ(φ, ψ)= gij · . ∂x ∂x i,jX=1 i j We are now ready to define the complex-valued proper p-harmonic functions. Definition 2.1. For a positive integer p, the iterated Laplace-Beltrami operator τ p is given by τ 0(φ)= φ and τ p(φ)= τ(τ (p−1)(φ)). We say that a complex-valued function φ : (M, g) → C is (a) p-harmonic if τ p(φ) = 0, and (b) proper p-harmonic if τ p(φ)=0 and τ (p−1)(φ) does not vanish iden- tically. 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.2. A map φ : (M, g) → (N, h) between Riemannian manifolds is said to be a (p,q)-harmonic morphism if, for any q-harmonic function f : U ⊂ N → R, defined on an open subset U such that φ−1(U) is not empty, the composition f ◦ φ : φ−1(U) ⊂ M → R is p-harmonic. As an immediate consequence of Definition 2.2 we have the following natural composition law. PROPER BIHARMONIC MAPS AND (2, 1)-HARMONIC MORPHISMS 3

Lemma 2.3. Let φ : (M, g) → (N,¯ h¯) be a (p, r)-harmonic morphism between Riemannian manifolds. If ψ : (N,¯ h¯) → (N, h) is an (r, q)-harmonic morphism then the composition ψ ◦ φ : (M, g) → (N, h) is a (p,q)-harmonic morphism.

3. Some Rather Wild Geometries The aim of this section is to describe a particular collection of Riemannian manifolds (M, g) investigated in this work. We present formulae for their sectional curvatures to show that the geometry is here far from being trivial. We then give two concrete examples that turn out to be useful later on. m 3 For an open subset M of R , let λ, λ1, . . . , λm : M → R be C -functions such that λ = λ1 = λ2 and equip the manifold M with the Riemannian metric g of the special form

−2λ 2 2 −2λ3 2 −2λm 2 g = e (dx + dy )+ e dx3 + · · · + e dxm. For our purposes it is practical to introduce the function f : M → R with m f(x)= λk(x). Xk=3 For the tangent bundle T M of (M, g) we have the following global orthonormal frame

λ1 ∂ λm ∂ X1 = e · ,...,Xm = e · ∂x1 ∂xm When appropriate, we shall by x = (x,y,x3,...,xm) denote the canonical m coordinates (x1,...,xm) on R and set X = X1, Y = X2. The Lie brackets for T M satisfy

λj λk [Xj, Xk]= e (λk)xj Xk − e (λj)xk Xj, where the subscript xj means the partial derivative with respect to the j-th coordinate function. A standard computation shows that for the sectional curvature K(Xj ∧ Xk) of the 2-plane Xj ∧ Xk we have

2λj 2 K(Xj ∧ Xk) = e [(λj)xj (λk)xj + (λk)xj xj − (λk)xj ] e2λk λ λ λ λ 2 + [( k)xk ( j)xk + ( j)xkxk − ( j)xk ]

2λr − e (λk)xr (λj)xr . r∈{ /Xj,k} In particular, for the horizonal section X ∧ Y we have m K X Y e2λ λ λ e2λk λ2 . ( ∧ ) = ( xx + yy) − xk Xk=3 Let Φ : (Rm, g) → C be the horizontally conformal submersion

Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2) 4 ELSAGHANDOURANDSIGMUNDURGUDMUNDSSON with dilation eλ : Rm → R+. For the tangent bundle T M we have the following orthogonal decomposition T M = H⊕V into its horizontal and vertical subbundles H and V, respectively, where

H = span{X,Y } and V = span{X3,...,Xm}. Definition 3.1. For an open subset M of Rm we denote by Ω(M) the set of C3-functions ω : M → R which are independent of the first coordinates (x,y) of x = (x,y,x3,...,xm) i.e. 3 Ω(M)= {ω ∈ C (M, R)| ωx = ωy = 0}. We now present two Riemannian manifolds (M, g) with non-trivial geometry. Later in this work, we then show that the complex-valued functions Φ : (M, g) → C is proper biharmonic in these and other similar cases. Example 3.2. For an open subset M of R3, constants A,B,θ ∈ R and α ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x,y,z)= α(z), f(x,y,z) = log(1 + tan(Θ)2), where Θ(x,y)= A · (cos θ · x + sin θ · y)+ B. Then equip M with the Riemannian metric g given by g = e−2λ(dx2 + dy2)+ e−2f dz2. Then the sectional curvature function K of the manifold (M 3, g) satisfies λ2 K(X ∧ Y )= − z , cos4(Θ) λ − λ2 + 2A2e2λ cos2(θ) · (2 cos4(Θ) − cos2(Θ)) K(X ∧ Z)= zz z , cos4(Θ) λ − λ2 + 2A2e2λ sin2(θ) · (2 cos4(Θ) − cos2(Θ)) K(Y ∧ Z)= zz z . cos4(Θ) If we assume that A,B,θ ∈ Ω(M), rather than A,B,θ ∈ R, then the geometry of (M, g) runs rather wild. The formulae for the sectional curvature K become far too extensive to be included in this work. For explicit proper biharmonic maps in that general case, see Example 5.2. Example 3.3. For an open subset M of R4, constants A, B, Ψ ∈ R and α ∈ Ω(M), let the functions λ, f : M → R be defined by λ(x)= α(z, w),

f(x)= λ3(x)+ λ4(x)= −2 log(A · (cos(t) · x + sin(t) · y)+ B), where λ3(x)= − log(A · (cos(t) · x + sin(t) · y)+ B)+Ψ,

λ4(x)= − log(A · (cos(t) · x + sin(t) · y)+ B) − Ψ. PROPER BIHARMONIC MAPS AND (2, 1)-HARMONIC MORPHISMS 5

Then equip M with the Riemannian metric g satifying g = e−2λ(dx2 + dy2)+ e−2λ3 dz2 + e−2λ4 dw2. Then a standard computation shows that the sectional curvatures of (M, g) fulﬁll e2Ψ · λ2 + e−2Ψ · λ2 K(X ∧ Y )= z w , (A · (cos(t) · x + sin(t) · y)+ B)2 e2Ψ · (λ − λ2) K(X ∧ Z)= K(Y ∧ Z)= zz z , (A · (cos(t) · x + sin(t) · y)+ B)2 e−2Ψ · (λ − λ2 ) K(X ∧ W )= K(Y ∧ W )= ww w , (A · (cos(t) · x + sin(t) · y)+ B)2 e2λ · A2 K(Z ∧ W )= − . (A · (cos(t) · x + sin(t) · y)+ B)2

If we assume that A, B, Ψ ∈ Ω(M), rather than A, B, Ψ ∈ R, then the formulae for the sectional curvature K become very complicated, including partial derivatives of these functions. For explicit proper (2, 1)-harmonic morphisms in that general case, see Example 7.1

4. The tension Fields τ(Φ) and τ 2(Φ) Our ﬁrst principal aim is to construct Riemannian manifolds (M, g), of the form introduced in Section 3, such that the horizontally conformal submersion Φ : (M, g) → C with

Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2) is a proper biharmonic map. For this purpose we now want to determine the tension field τ(Φ) and the bitension field τ 2(Φ) of Φ, respectively. Lemma 4.1. Let (M m, g) be a Riemannian manifold, as defined above, with the orthonormal basis {X1,...,Xm} for the tangent bundle T M. Then its Levi-Civita connection satisfies m m m λj ∇Xk Xk = e (λk)xj Xj. Xk=1 Xj=1 Xk6=j Proof. The statement follows from the following computation m m

∇Xk Xk = g(∇Xk Xk, Xj) Xj Xk=1 j,kX=1 m = g([Xj , Xk], Xk) Xj j,kX=1 m λj λk = g(e (λk)xj Xk − e (λj)xk Xj, Xk) Xj j,kX=1 6 ELSAGHANDOURANDSIGMUNDURGUDMUNDSSON

m m λj λj = e (λk)xj Xj − e (λj)xj Xj j,kX=1 Xj=1 m m λj = e (λk)xj Xj. Xj=1 Xk6=j

Lemma 4.2. Let Φ : (M m, g) → C be the horizontally conformal submersion Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2) with dilation eλ : M → R+. Then we have the following relation m 2λ 2λ dΦ(∇Xk Xk)= e (λx + fx) · e1 + e (λy + fy) · e2. Xk=1 Proof. It follows from Lemma 4.1 and the fact that the diﬀerential dΦ sat- isﬁes dΦ(X3)= · · · = dΦ(Xm) = 0 that m

dΦ(∇Xk Xk) Xk=1 m m λj = e (λk)xj dΦ(Xj) Xj=1 Xk6=j 2 m λ1 λ2 λj = e (λ2)x1 dΦ(X1)+ e (λ1)x2 dΦ(X2)+ e (λk)xj dΦ(Xj) Xj=1 Xk=3 2 2λ 2λ λj = e λx1 e1 + e λx2 e2 + e fxj dΦ(Xj) Xj=1 2λ 2λ = e (λx + fx) e1 + e (λy + fy) e2.

With the next result we provide a formula for the tension field τ(Φ) of the horizontally conformal submersion Φ. Proposition 4.3. Let Φ : (M, g) → C be the horizontally conformal submersion Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2) with dilation eλ : M → R+. Then the tension field τ(Φ) of Φ satisfies 2λ τ(Φ) = − e (fx · e1 + fy · e2).

Proof. The two vector ﬁelds X1 and X2 generate the horizontal distribution H so the horizontal conformality of Φ is a direct consequence of the fact that λ λ dΦ(X1)= e · e1, dΦ(X2)= e · e2, dΦ(X3) = 0, ... ,dΦ(Xm) = 0. PROPER BIHARMONIC MAPS AND (2, 1)-HARMONIC MORPHISMS 7

The tension field τ(Φ) of Φ is defined by the well-known formula m τ Φ d X d X . (Φ) = ∇Xk Φ( k) − Φ(∇Xk k) Xk=1 For the first part, we have m Φ d X Φ d X Φ d X ∇Xk Φ( k) = ∇X1 Φ( 1)+ ∇X2 Φ( 2) Xk=1 λ ∂ λ λ ∂ λ = e · (e e1)+ e · (e e2) ∂x1 ∂x2 2λ = e (λx · e1 + λy · e2). For the second part, we now employ Lemma 4.1 and yield m 2λ 2λ dΦ(∇Xk Xk)= e (λx + fx) · e1 + e (λy + fy) · e2. Xk=1 The statement is now an immediate consequence of the above calculations.

Corollary 4.4. The horizontally conformal submersion Φ : (M, g) → C, with

Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2), is harmonic and hence a harmonic morphism if and only if (fx,fy) = 0. Proof. This is an immediate consequence of Proposition 4.3 and the char- acterisation of harmonic morphisms, proven by Fuglede and Ishihara in [2] and [6], respectively. After determining the tension field τ(Φ), we now turn our attention to the bitension field τ 2(Φ). Definition 4.5. For an open subset M of Rm, let λ, f : M → R be differentiable functions on M with coordinates x = (x,y,x3,...,xm). Then we define the non-linear partial differential operators D1, D2 by

D1(λ, f) = { (λx + fx) · (2λxfx + fxx) + (λy + fy) · (2λyfx + fxy) 2 −(6 λx fx + 2 λxx fx + 5 λx fxx + fxxx) 2 −(6 λy fx + 2 λyy fx + 5 λy fxy + fxyy) },

D2(λ, f) = { (λx + fx) · (2λxfy + fyx) + (λy + fy) · (2λyfy + fyy) 2 −(6 λxfy + 2 λxxfy + 5 λx fyx + fyxx) 2 −(6 λyfy + 2 λyyfy + 5 λy fyy + fyyy) }. With the next result we present a formula for the bitension ﬁeld τ 2(Φ) of the horizontally conformal submersion Φ. 8 ELSAGHANDOURANDSIGMUNDURGUDMUNDSSON

Theorem 4.6. Let Φ : (M, g) → C be the horizontally conformal submersion Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2) with dilation eλ : M → R+. Then the bitension ﬁeld τ 2(Φ) of Φ satisﬁes 2 4λ 4λ τ (Φ) = e · D1(λ, f) · e1 + e · D2(λ, f) · e2.

Proof. The bitension ﬁeld τ 2(Φ) of the C4-map Φ is given by m τ 2(Φ) = {∇Φ ∇Φ τ(Φ) −∇Φ τ(Φ)}. Xk Xk ∇Xk Xk Xk=1 First we notice that for k = 1, 2 we have ∂ ∇Φ τ(φ) = − eλ · e2λ {f e + f e } Xk ∂x x1 1 x2 2 k 3λ = − e {(2 λxk fx1 + fx1xk ) e1

+ (2 λxk fx2 + fx2xk ) e2} Diﬀerentiating once more gives m Φ Φ τ φ ∇Xk ∇Xk ( ) Xk=1 2 λ ∂ 3λ = − e · (e (2λxk fx1 + fx1xk )) e1 ∂xk Xk=1 2 λ ∂ 3λ − e · (e (2 λxk fx2 + fx2xk )) e2 ∂xk Xk=1 2 e4λ λ2 f λ f λ f f e = − · (6 xk x1 + 2 xkxk x1 + 5 xk x1xk + x1xkxk ) 1 Xk=1 2 e4λ λ2 f λ f λ f f e . − · (6 xk x2 + 2 xkxk x2 + 5 xk x2xk + x2xkxk ) 2 Xk=1 For the second part of the bitension ﬁeld τ 2(Φ) of Φ we now yield m − ∇Φ (τ(Φ)) ∇Xk Xk Xk=1 2λ ∂ 2λ ∂ = −e (λx1 + fx1 ) · τ(Φ) − e (λx2 + fx2 ) · τ(Φ) ∂x1 ∂x2 2λ ∂ 2λ = e (λx1 + fx1 ) · ( e · {fx1 e1 + fx2 e2}) ∂x1 2λ ∂ 2λ + e (λx2 + fx2 ) · (e · {fx1 e1 + fx2 e2}) ∂x2 4λ = e (λx1 + fx1 ) · {(2λx1 fx1 + fx1x1 ) e1 + (2λx1 fx2 + fx2x1 ) e2} PROPER BIHARMONIC MAPS AND (2, 1)-HARMONIC MORPHISMS 9

4λ + e (λx2 + fx2 ) · {(2λx2 fx1 + fx1x2 ) e1 + (2λx2 fx2 + fx2x2 ) e2} We now easily obtain the stated result by adding the terms.

5. Explicit Proper Biharmonic Submersions. In the Section 4 we have derived explicit formulae for the tension fields τ(Φ) and τ 2(Φ). This leads to a system of non-linear partial differential equations for the pair of functions (λ, f). We are now interested in con- structing Riemannian metrics g, on open subsets M of Rm, turning the horizontally conformal submersion Φ : (M, g) → C into proper biharmonic maps i.e. finding explicit solutions (λ, f) to the system

(fx,fy) 6= 0, D1(λ, f)=0 and D2(λ, f) = 0. Let us first consider the case when λ = α ∈ Ω(M) i.e. independend of the two first coordinates x and y. Then the differential operators D1 and D2 simplify to

D1(α, f) = (fx · fxx + fy · fxy − fxxx − fxyy) 1 2 2 = 2 (fx + fy − 2 (fxx + fyy))x,

D2(α, f) = (fx · fyx + fy · fyy − fyxx − fyyy) 1 2 2 = 2 (fx + fy − 2 (fxx + fyy))y. As a ﬁrst example we have the following which clearly gives solutions to the system under consideration. Example 5.1. For an open subset M of Rm and A, B, α, β ∈ Ω(M) let the functions λ, f : M → R be deﬁned by λ(x)= α, f(x)= A · x + B · y + β. If A2 + B2 6= 0, then the associated map Φ : (M, g) → C is horizontally conformal and proper biharmonic i.e.

(fx,fy) 6= 0, D1(α, f)=0 and D2(α, f) = 0. It is clear that the choice of M and A, B, α, β ∈ Ω(M) can lead to rather non-trivial geometries (M, g). If we now assume that the function f : M → R is independent of the coordinate y then we have that

fx 6= 0, D1(α, f)= fx · fxx − fxxx =0 and D2(α, f) = 0. The ordinary differential equation 1 D (α, f)= f · f − f = (f 2 − 2f ) = 0 1 x xx xxx 2 x xx x can easily be integrated to A · x f (x)= A · tan( + B), x 2 10 ELSAGHANDOURANDSIGMUNDURGUDMUNDSSON for some A, B ∈ Ω(M). Integrating yet again, we finally obtain A · x f(x) = log(1 + tan( + B)2)+ β, 2 defined on the appropriate open subset M of Rm and with β ∈ Ω(M). From this we see that under the above mentioned assumptions and modulo the functions A, B, β ∈ Ω(M), the solution is uniquely determined. This leads to the following. Example 5.2. For an open subset M of Rm and A,B,α,β,θ ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x)= α, f(x) = log(1 + tan(A · (cos θ · x + sin θ · y)+ B)2)+ β. If A 6= 0, then the associated horizontally conformal map Φ : M → C is proper biharmonic. By the seperation of variables, one easily yields the next two families of solutions. Example 5.3. For an open subset M of Rm and A,B,C,D,α,β ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x)= α, f(x) = log((1 + tan(A · x + C)2) · (1 + tan(B · y + D)2)) + β. If A2 +B2 6= 0 then the associated horizontally conformal map Φ : (M, g) → C is proper biharmonic. Example 5.4. For an open subset M of Rm and A,B,C,D,α,β ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x)= α, f(x)= −2 log((A · x + C)(B · y + D)) + β. If A2 +B2 6= 0 then the associated horizontally conformal map Φ : (M, g) → C is proper biharmonic. We also yield the following examples without assuming the condition λ ∈ Ω(M). Example 5.5. For an open subset M of Rm and A,B,C,D,α,β ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x)= A · x + B · y + α, f(x)= C · x + D · y + β. If AC + B D = 2 (A2 + B2) 6= 0 then the associated horizontally conformal map Φ : (M, g) → C is proper biharmonic. Example 5.6. For an open subset M of Rm and A,B,r,α,β,θ ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x)= −r · (cos θ · x + sin θ · y)+ α, f(x)= A · exp(2 r · (cos θ · x + sin θ · y)+ B)+ β. If r 6= 0, then the associated horizontally conformal map Φ : (M, g) → C is proper biharmonic. PROPER BIHARMONIC MAPS AND (2, 1)-HARMONIC MORPHISMS 11

Example 5.7. For an open subset M of Rm and A,B,r,α,β,θ ∈ Ω(M) let the functions λ, f : M → R be defined by 1 λ(x)= 2 · log(A · exp(r · (cos θ · x + sin θ · y)) + B)+ α, f(x)= r · (cos θ · x + sin θ · y)+ β. If r 6= 0, then the associated horizontally conformal map Φ : (M, g) → C is proper biharmonic. Example 5.8. For an open subset M of Rm and A,α,β,θ ∈ Ω(M) let the functions λ, f : M → R be defined by 1 λ(x)= 2 · log(cos θ · x + sin θ · y)+ α, f(x)= A · log(cos θ · x + sin θ · y)+ β. Then the associated horizontally conformal map Φ : (M, g) → C is proper biharmonic. Example 5.9. For an open subset M of Rm and A,α,β,θ ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x)= A · log(cos θ · x + sin θ · y)+ α,

f(x)=2(A − 1) · log(cos θ · x + sin θ · y)+ β. Then the associated horizontally conformal map Φ : (M, g) → C is proper biharmonic if and only if A 6= 1.

6. The tension Fields τ(Φ2) and τ 2(Φ2) Our second principal aim is to construct Riemannian manifolds (M, g), of the form introduced in Section 3, such that the horizontally conformal submersion Φ : (M, g) → C with

Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2) is a proper (2, 1)-harmonic morphism. For this purpose we now want to determine the tension field τ(Φ2) and the bitension field τ 2(Φ2) of Φ2, respectively. For this we have the following useful result. Theorem 6.1. [3] A complex-valued function φ : (M, g) → C from a Rie- mannian manifold is a (2, 1)-harmonic morphism if and only if κ(φ, φ) = 0, τ 2(φ) = 0 and τ 2(φ2) = 0. Lemma 6.2. Let φ : (M, g) → C be a horizontally conformal proper biharmonic function. Then the tension field τ(φ2) and the bitension field τ 2(φ2) of φ2 satisfy (a) τ(φ2) = 2 · τ(φ) φ 6= 0, (b) τ 2(φ2)=2(τ(φ)2 + 2 · κ(τ(φ), φ)). 12 ELSAGHANDOURANDSIGMUNDURGUDMUNDSSON

Proof. Since the complex-valued function φ is horizontally conformal and biharmonic we know that κ(φ, φ) = 0 and τ 2(φ) = 0. Then the result follows from the following elementary calculations. τ 2(φ2) = τ(τ(φ2)) = τ(τ(φ) φ + 2 κ(φ, φ)+ φτ(φ)) = 2 · τ(τ(φ) φ) = 2 · τ 2(φ) φ + 2 κ(τ(φ), φ)+ τ(φ)2 . Definition 6.3. Let λ, f : M → R be differentiable functions on an open m subset M of R with coordinates x = (x,y,x3,...,xm). Then we define the non-linear partial differential operators D3, D4 by 2 2 D3(λ, f) = 2 · (fx − fy ) − 8 · (λx fx − λy fy) − 4 · (fxx − fyy),

D4(λ, f) = 4 · fxfy − 8 · (λx fy + λy fx) − 8 · fxy. Proposition 6.4. Let Φ : (Rm, g) → C be the horizontally conformal submersion Φ : x 7→ (x + iy) =∼ (x · e1 + y · e2) with dilation eλ : Rm → R+. If Φ is proper biharmonic then τ(Φ2) 6= 0 and the bitension ﬁeld τ 2(Φ2) of Φ2 satisﬁes 2 2 4λ 4λ τ (Φ ) = e · D3(λ, f) · e1 + e · D4(λ, f) · e2.

Proof. It follows from Lemma 6.2 that τ(Φ2) 6= 0 and τ 2(Φ2) = 2 τ(Φ)2 + 4 κ(τ(Φ), Φ). Then the following computations provide the result. 2 4λ 2 2 τ(Φ) = e · {((fx1 ) − (fx2 ) ) e1 + 2 fx1 fx2 e2}. m κ(τ(Φ), Φ) = Xk(τ(Φ)) · Xk(Φ) Xk=1 2 2λ λ = − Xk(e {fx1 e1 + fx2 e2}) · e ek Xk=1 2 4λ = − e (2 λxk fx1 + fx1xk ) e1 · ek Xk=1 2

+ (2 λxk fx2 + fx2xk ) e2 · ek Xk=1 4λ = − e (2 λx1 fx1 + fx1x1 − 2 λx2 fx2 − fx2x2 ) e1 4λ − e (2 λx2 fx1 + fx1x2 + 2 λx1 fx2 + fx2x1 ) e2. PROPER BIHARMONIC MAPS AND (2, 1)-HARMONIC MORPHISMS 13

7. Explicit (2, 1)-Harmonic Morphisms In Sections 4 and 6, we have defined the partial differential operators D1, D2, D3 and D4. We will now use these to construct explicit proper (2, 1)-harmonic morphisms Φ : (M, g) → C. We will then show how these can be employed to produce a large variety of concrete proper biharmonic maps. Example 7.1. For an open subset M of Rm and A, B, α, β ∈ Ω(M) let the functions λ, f : M → R be defined by λ(x)= α, f(x)= −2 log(A · (cos(t) · x + sin(t) · y)+ B)+ β. If A 6= 0, then the associated horizontally conformal map Φ : M → C is a proper (2, 1)-harmonic morphism i.e.

(fx,fy) 6= 0, D1(λ, f) = 0, D2(λ, f) = 0, D3(λ, f) = 0, D4(λ, f) = 0. The next result is a reformulation of Proposition 3.9 of [3], see also Corol- lary 3.1 of [4]. Together with Example 7.1 it is a useful tool for manufac- turing a large variety of proper (2, 1)-harmonic morphisms (M, g) → C on the non-trivial manifolds constructed there. Proposition 7.2. Let (M, g) be a Riemannian manifold and φ : M → C be a proper (2, 1)-harmonic morphism. Further, let F : U → C be a non- constant holomorphic function defined on an open subset of C containing φ(M). Then the composition F ◦ φ : (M, g) → C is a proper (2, 1)-harmonic morphism, in particular a proper biharmonic map. Every complex-valued harmonic function, locally defined in the plane C, is the sum of a holomorphic and an anti-holomorphic one. This leads us to the next statement. Proposition 7.3. Let (M, g) be a Riemannian manifold and φ : M → C be a submersive (2, 1)-harmonic morphism. Further, let F, G : U → C be holomorphic functions defined on an open subset U of C containing φ(M) and ψ = F + G¯. Then the composition ψ ◦ φ : (M, g) → C is a biharmonic map. It is proper if and only if

Fz(τ(φ)) + Gz(τ(φ)) 6= 0. Proof. The tension ﬁeld τ is linear so it follows from Proposition 7.2 that the composition ψ ◦ φ : U → C is biharmonic. Following the well-known composition law, see Corollary 3.3.13 of [1], we have τ(ψ ◦ φ) = dψ(τ(φ)) + trace ∇dψ(dφ, dφ). The map φ : (M, g) → C is horizontally conformal with dilation of the λ + form e : M → R . The standard basis vectors e1 and e2 form a global orthonormal frame on the open subset U of C. Let X and Y be their horizontal lifts via φ so that the vector ﬁelds e−λX and e−λX form an 14 ELSAGHANDOURANDSIGMUNDURGUDMUNDSSON orthonormal frame for the horizontal distribution H of the tangent bundle T M. Then trace ∇dψ(dφ, dφ) = ∇dψ(dφ(e−λX), dφ(e−λX)) +∇dψ(dφ(e−λY ), dφ(e−λY )) −2λ = e · (∇dψ(e1, e1)+ ∇dψ(e2, e2)) = e−2λ(τ(F + G¯)) = 0. Furthermore we have dψ(τ(φ)) = dF (τ(φ)) + dG¯(τ(φ))

= Fz(τ(φ)) + Gz(τ(φ)). The stated result now follows from these calculations.

8. Acknowledgements The ﬁrst author would like to thank the Department of Mathematics at Lund University for its great hospitality during her time there as a postdoc. References [1] P. Baird, J.C. Wood, Harmonic morphisms between Riemannian manifolds, The Lon- don Mathematical Society Monographs 29, Oxford University Press (2003). [2] B. Fuglede, Harmonic morphisms between Riemannian manifolds, Ann. Inst. Fourier 28 (1978), 107-144. [3] E. Ghandour, S. Gudmundsson, Complex-valued (p, q)-harmonic morphisms from Riemannian manifolds, preprint (2020). [4] E. Ghandour, Y.-L. Ou, Generalised harmonic morphisms and horizontally weakly conformal biharmonic maps, J. Math. Anal. Appl. 464 (2018), 924-938. [5] S. Gudmundsson, The Bibliography of Harmonic Morphisms, www.matematik.lu.se/ matematiklu/personal/sigma/harmonic/bibliography.html [6] T. Ishihara, A mapping of Riemannian manifolds which preserves harmonic functions, J. Math. Kyoto Univ. 19 (1979), 215-229.

Mathematics, Faculty of Science, University of Lund, Box 118, Lund 221, Sweden Email address: [email protected]