- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2012 (2012), Article ID 315757, 8 pages
Harmonic Morphisms Projecting Harmonic Functions to Harmonic Functions
Department of Mathematical Sciences, King Fahd University of Petroleum and Minerals, Dhahran 31261, Saudi Arabia
Received 30 January 2012; Revised 30 March 2012; Accepted 31 March 2012
Academic Editor: Saminathan Ponnusamy
Copyright © 2012 M. T. Mustafa. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
For Riemannian manifolds and , admitting a submersion with compact fibres, we introduce the projection of a function via its decomposition into horizontal and vertical components. By comparing the Laplacians on and , we determine conditions under which a harmonic function on projects down, via its horizontal component, to a harmonic function on .
1. Introduction and Preliminaries
Harmonic morphisms are the maps between Riemannian manifolds which preserve germs of harmonic functions, that is, these (locally) pull back harmonic functions to harmonic functions. The aim of this paper is to analyse the converse situation and to investigate the class of harmonic morphisms that (locally) projects or pushes forward harmonic functions to harmonic functions, in the sense of Definition 2.4. If such a class exists, another interesting question arises “to what extent does the pull back of the projected function preserve the original function."
Definition 1.1. A smooth map between Riemannian manifolds is called a harmonic morphism if, for every real-valued function which is harmonic on an open subset of with nonempty, is a harmonic function on .
These maps are related to horizontally (weakly) conformal maps which are a natural generalization of Riemannian submersions.
For a smooth map , let be its critical set. The points of the set are called regular points. For each , the vertical space at is defined by . The horizontal space at is given by the orthogonal complement of in .
Definition 1.2 (see [3, Section 2.4]). A smooth map is called horizontally (weakly) conformal if on and the restriction of to is a conformal submersion, that is, for each , the differential is conformal and surjective. This means that there exists a function such that
By setting on , we can extend to a continuous function on such that is smooth. The extended function is called the dilation of the map.
For , the assignments and define smooth distributions and on or subbundles of , the tangent bundle of . The distributions and are, respectively, called horizontal distribution (or horizontal subbundle) and vertical distribution (or vertical subbundle) defined by .
Recall that a map is said to be harmonic if it extremizes the associated energy integral for every compact domain . It is well known that a map is harmonic if and only if its tension field vanishes.
A smooth map is a harmonic morphism if and only if it is harmonic and horizontally (weakly) conformal.
What is special about this characterization of harmonic morphism is that it equips them with geometric as well as analytic features. For instance, the following result of Baird and Eells [4, Riemannian case] and Gudmundsson [5, semi-Riemannian case] reflects such properties of harmonic morphisms.
Theorem 1.3. Let be a horizontally conformal submersion with dilation . If(1), then is a harmonic map if and only if it has minimal fibres;(2), then two of the following imply the other:(a) is a harmonic map,(b) has minimal fibres,(c) where denotes the projection of on the horizontal subbundle of , obtained through the unique orthogonal decomposition into vertical and horizontal parts.
2. The Projection of a Function via a Submersion
Given a smooth map with compact fibres for , we can use fibre integration to define the horizontal and vertical components of every integrable function on at regular points.
Definition 2.1. Let be a smooth map between Riemannian manifolds with compact fibres. Define the horizontal component of an integrable function , on , at a regular point as the average of taken over the fibre . Precisely, for any and integrable function , the horizontal component of at a regular point is defined as
where , , is the volume element of the fibre , is the volume of the fibre , and denotes the integral of .
The vertical component of is given by
Note that the horizontal component of a function depends only on the fibre and not the choice of .
Definition 2.2. Let be a submersion. A function is called horizontally homothetic if the vector field is vertical, that is, at each point is tangent to the fibre.
The components and have the following basic properties for submersions.
Lemma 2.3. Let be a submersion with compact fibres. Suppose that the fibres , are minimal submanifolds of . Consider and a function .(1)If is horizontally homothetic at , then is also horizontally homothetic at .(2)If is horizontally homothetic at and either or (for all ) on the fibre through , then is horizontally homothetic, where is a local orthonormal frame for the horizontal distribution.(3)If is constant along the fibre through then .
Proof. The proof can be completed by following the calculations in Proposition 3.1.
Definition 2.4. Let be a submersion with compact fibres, and let be an integrable function. The horizontal component of defines a function as where and . The function is called the projection of on , via the map .
We next focus on projection of harmonic functions to harmonic functions via harmonic morphisms.
3. Harmonic Morphisms Projecting Harmonic Functions
The conditions under which harmonic morphisms project harmonic functions to harmonic functions can be obtained by employing an identity relating the Laplacian on the fibre with the Laplacians on the domain and target manifolds.
Recalling that for a submersion , the vector fields on and on are said to be -related if for every . A horizontal vector field on is called basic if it is -related to some vector field on , and is called horizontal lift of . It is well known that for a given vector field on , there exists a unique horizontal lift of such that and are -related.
Proposition 3.1. Let be a nonconstant submersive harmonic morphism with dilation , having compact, connected, and minimal fibres. Then for any and , where is as defined in Definition 2.4 and , , are the Laplacians on , , , respectively, is the Levi-Civita connection on , denotes the vertical component of , and denote the horizontal lift of a local orthonormal frame for .
Proof. First notice from Theorem 1.3 that is horizontally homothetic, a fact which will be used repeatedly in the proof.
Choose a local orthonormal frame for . If denotes the horizontal lift of for , then is a local orthonormal frame for the horizontal distribution. Let be a local orthonormal frame for the vertical distribution. Then we can write the Laplacian on as Now the Laplacian of the fibre is If is the second fundamental form of the fibre as a submanifold in , we can write as Let denote the mean curvature vector of given by Setting , we obtain from (3.2) where , denote the orthogonal projections of a vector field on the horizontal and vertical subbundles of TM, respectively.
Since is the horizontal lift of , we have where denotes the Lie derivative along . The volume of the fibres does not vary in the horizontal direction because of the relation and the fact that the fibres are minimal.
Similarly, we obtain The horizontal homothety of the dilation implies that is the horizontal lift of , cf. [9, Lemma 3.1]; therefore, we have Now using (3.7), (3.8), (3.9), along with the condition that the fibres are minimal, in (3.6) completes the proof.
From the above proposition, we see that it suffices to take constant to have both and harmonic on and , respectively. In this case, by a homothety of we may suppose that and is a harmonic Riemannian submersion. We then have the following consequence.
Theorem 3.2. Let be a harmonic Riemannian submersion with compact, connected fibres. Then the projection (via ) of any harmonic function is a harmonic function. Moreover, . If denotes the class of harmonic functions on having the same horizontal component then each class has a unique representative in the space of harmonic functions on .
Proof. Since and the dilation , Proposition 3.1 leads to
where we have also used the fact that
for compact fibres.
Let be a local orthonormal frame for TN and be the horizontal lift of for . Then is a local orthonormal frame for the horizontal distribution. Let be a local orthonormal frame for the vertical distribution. Then using the standard expression for Levi-Civita connection, we have Because are basic, are vertical we have vertical and therefore Hence, from (3.10), is harmonic. The rest of the proof follows from the construction of .
As an application, we give a description of harmonic functions on manifolds admitting harmonic Riemannian submersions with compact fibres.
Corollary 3.3. Let be a Riemannian manifold admitting a harmonic Riemannian submersion with compact fibres. Then(1)every horizontally homothetic harmonic function on is horizontal, that is, , and so in particular is constant;(2)every nonhorizontally homothetic harmonic function on satisfies one of the following:(a);(b) and for at least one ;(c), (for all ) and changes sign on the fibre, for at least one .
Remark 3.4. (1) Since an -valued map is harmonic if and only if each of its component is harmonic, we see that Riemannian submersions with compact fibres project -valued harmonic maps from to -valued harmonic maps from .
(2) Given a Lie group and a compact subgroup of , the standard projection with -invariant metric provides many examples satisfying the hypothesis of Theorem 3.2. Further examples can be obtained from Bergery’s construction with and compact; see  for the details of the metrics for which is a harmonic morphism. Another reference for such examples is [11, Chapter 6].
The author is thankful to the referee for valuable comments that have improved the quality of the paper. The author would also like to acknowledge the support and research facilities provided by King Fahd University of Petroleum and Minerals, Dhahran.
- B. Fuglede, “Harmonic Morphisms between Riemannian Manifolds,” Université de Grenoble. Annales de l'Institut Fourier, vol. 28, no. 2, pp. 107–144, 1978.
- T. Ishihara, “A mapping of Riemannian manifolds which preserves harmonic functions,” Journal of Mathematics of Kyoto University, vol. 19, no. 2, pp. 215–229, 1979.
- P. Baird and J. C. Wood, Harmonic Morphisms between Riemannian Manifolds, vol. 29 of London Mathematical Society Monographs. New Series, Oxford University Press, Oxford, UK, 2003.
- P. Baird and J. Eells, “A conservation law for harmonic maps,” in Geometry Symposium, Utrecht 1980 (Utrecht, 1980), vol. 894 of Lecture Notes in Mathematics, pp. 1–25, Springer, Berlin, Germany, 1981.
- S. Gudmundsson, “On the existence of harmonic morphisms from symmetric spaces of rank one,” Manuscripta Mathematica, vol. 93, no. 4, pp. 421–433, 1997.
- P. Baird, Harmonic Maps with Symmetry, Harmonic Morphisms, and Deformation of Metrics, vol. 87 of Pitman Research Notes in Mathematics, Pitman, Boston, Mass, USA, 1983.
- J. C. Wood, “Harmonic morphisms, foliations and Gauss maps,” in Complex Differential Geometry and Nonlinear Differential Equations, R. I. Providence and Y. T. Siu, Eds., vol. 49 of Contemporary Mathematics, pp. 145–184, American Mathematical Society, Providence, RI, USA, 1986.
- S. Gudmundsson, The Bibliography of Harmonic Morphisms, http://www.maths.lth.se/matematiklu/personal/sigma/harmonic/bibliography.html.
- P. Baird and S. Gudmundsson, “P-harmonic maps and minimal submanifolds,” Mathematische Annalen, vol. 294, no. 4, pp. 611–624, 1992.
- L. Berard-Bergery, “Sur Certaines Fibrations d'Espaces HomogEnes Riemanniens,” Compositio Mathematica, vol. 30, pp. 43–61, 1975.
- S. Gudmundsson, The geometry of harmonic morphisms, Ph.D. thesis, University of Leeds, Leeds, UK, 1992.