Namespaces
Variants
Actions

Difference between revisions of "Harmonic mapping"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 34 formulas out of 34 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A smooth mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200301.png" /> between Riemannian manifolds (cf. [[Riemannian manifold|Riemannian manifold]]) is harmonic if it is an extremal (or critical point) of the energy functional
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200302.png" /></td> </tr></table>
+
Out of 34 formulas, 34 were replaced by TEX code.-->
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200303.png" /> is the [[Hilbert–Schmidt norm|Hilbert–Schmidt norm]] of the differential, computed with respect to the metrics <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200304.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200305.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200306.png" /> is the Riemannian volume element.
+
{{TEX|semi-auto}}{{TEX|done}}
 +
A smooth mapping $\varphi : ( M , g ) \rightarrow ( N , h )$ between Riemannian manifolds (cf. [[Riemannian manifold|Riemannian manifold]]) is harmonic if it is an extremal (or critical point) of the energy functional
  
The mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200307.png" /> is harmonic if it satisfies the [[Euler–Lagrange equation|Euler–Lagrange equation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200308.png" />, where the tension field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h1200309.png" /> is given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003010.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003011.png" /> denoting the natural [[Connection|connection]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003012.png" />.
+
\begin{equation*} E ( \varphi ) = \frac { 1 } { 2 } \int _ { M } | d \varphi | ^ { 2 } v _ { g }, \end{equation*}
  
In local coordinate systems <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003013.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003015.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003016.png" />, one has
+
where $| d \varphi |$ is the [[Hilbert–Schmidt norm|Hilbert–Schmidt norm]] of the differential, computed with respect to the metrics $g$ and $h$, and $v _ { g }$ is the Riemannian volume element.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003017.png" /></td> </tr></table>
+
The mapping $\varphi$ is harmonic if it satisfies the [[Euler–Lagrange equation|Euler–Lagrange equation]] $\tau ( \varphi ) = 0$, where the tension field $\tau ( \varphi )$ is given by $\tau ( \varphi ) = \text { trace } \nabla d \varphi$, $\nabla$ denoting the natural [[Connection|connection]] on $T ^ { * } M \otimes \varphi ^ { - 1 } T N$.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003018.png" /></td> </tr></table>
+
In local coordinate systems $( x ^ { i } )$ on $M$ and $( y ^ { \alpha } )$ on $N$, one has
  
where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003019.png" /> are the Christoffel symbols of the Levi–Civita connections on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003020.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003021.png" />. The Euler–Lagrange equation is therefore a semi-linear elliptic system of partial differential equations.
+
\begin{equation*} | d \varphi | ^ { 2 } ( x ) = g ^ { i j } ( x ) h _ { \alpha \beta } ( \varphi ( x ) ) \cdot \frac { \partial \varphi ^ { \alpha } } { \partial x ^ { i } } \frac { \partial \varphi ^ { \beta } } { \partial x ^ { j } }, \end{equation*}
  
Harmonic mappings include as special cases the closed geodesics in a Riemannian manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003022.png" />, the minimal immersions, the totally geodesic mappings and the holomorphic mappings between Kähler manifolds. In physics, they are related to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003024.png" />-models and to some types of liquid crystals.
+
\begin{equation*} \tau ( \varphi ) ^ { \alpha } ( x ) = g ^ { i j } ( x ) \left( \frac { \partial ^ { 2 } \varphi ^ { \alpha } } { \partial x ^ { i } \partial x ^ { j } } - \square ^ { M } \Gamma _ { i j } ^ { k } ( x ) \frac { \partial \varphi ^ { \alpha } } { \partial x ^ { k } } + + \square ^ { N } \Gamma _ { \beta \gamma } ^ { \alpha } ( \varphi ( x ) ) \frac { \partial \varphi \beta } { \partial x ^ { i } } \frac { \partial \varphi ^ { \gamma } } { \partial x ^ { j } } \right), \end{equation*}
 +
 
 +
where the $\Gamma$ are the Christoffel symbols of the Levi–Civita connections on $M$ and $N$. The Euler–Lagrange equation is therefore a semi-linear elliptic system of partial differential equations.
 +
 
 +
Harmonic mappings include as special cases the closed geodesics in a Riemannian manifold $( N , h )$, the minimal immersions, the totally geodesic mappings and the holomorphic mappings between Kähler manifolds. In physics, they are related to $\sigma$-models and to some types of liquid crystals.
  
 
The systematic study of harmonic mappings was initiated in 1964 in [[#References|[a7]]] by J. Eells and J. Sampson.
 
The systematic study of harmonic mappings was initiated in 1964 in [[#References|[a7]]] by J. Eells and J. Sampson.
Line 33: Line 41:
 
Application of harmonic mappings to (Mostow) rigidity of manifolds was pursued in [[#References|[a4]]] and [[#References|[a15]]], the latter unifying previous results. In a similar vein, existence of harmonic mappings bears on the structure of the fundamental group of Kähler manifolds ([[#References|[a3]]], see also [[#References|[a1]]]).
 
Application of harmonic mappings to (Mostow) rigidity of manifolds was pursued in [[#References|[a4]]] and [[#References|[a15]]], the latter unifying previous results. In a similar vein, existence of harmonic mappings bears on the structure of the fundamental group of Kähler manifolds ([[#References|[a3]]], see also [[#References|[a1]]]).
  
A new direction was opened in [[#References|[a11]]], in which the notion of harmonic mapping was extended to more general spaces (trees, polyhedra, Tits buildings), and an existence result was proved and applied to the study of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003025.png" />-adic superrigidity for lattices in groups of rank one.
+
A new direction was opened in [[#References|[a11]]], in which the notion of harmonic mapping was extended to more general spaces (trees, polyhedra, Tits buildings), and an existence result was proved and applied to the study of $p$-adic superrigidity for lattices in groups of rank one.
  
 
Further curvature pinching theorems were obtained in [[#References|[a13]]] and [[#References|[a19]]].
 
Further curvature pinching theorems were obtained in [[#References|[a13]]] and [[#References|[a19]]].
Line 39: Line 47:
 
Various results on Teichmüller spaces were obtained, using classical harmonic mappings (see [[#References|[a17]]]) or harmonic maps into trees (see [[#References|[a18]]]).
 
Various results on Teichmüller spaces were obtained, using classical harmonic mappings (see [[#References|[a17]]]) or harmonic maps into trees (see [[#References|[a18]]]).
  
The question of regularity or partial regularity was extended to weakly harmonic mappings (as opposed to minimizers) in the appropriate Sobolev space: when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003026.png" />, any weakly harmonic mapping is smooth [[#References|[a12]]], and examples show that for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003027.png" />, the Hausdorff dimension of the singular set is not restricted [[#References|[a16]]].
+
The question of regularity or partial regularity was extended to weakly harmonic mappings (as opposed to minimizers) in the appropriate Sobolev space: when $\operatorname { dim } M = 2$, any weakly harmonic mapping is smooth [[#References|[a12]]], and examples show that for $\dim M \geq 3$, the Hausdorff dimension of the singular set is not restricted [[#References|[a16]]].
  
 
Examples show that harmonic mappings homotopic to homeomorphisms are not always homeomorphisms, even when the curvature of the range is negative [[#References|[a8]]].
 
Examples show that harmonic mappings homotopic to homeomorphisms are not always homeomorphisms, even when the curvature of the range is negative [[#References|[a8]]].
Line 46: Line 54:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Amorós,   M. Burger,   K. Corlette,   D. Kotschick,   D. Toledo,   "Fundamental groups of compact Kähler manifolds" , ''Math. Surveys Monogr.'' , '''44''' , Amer. Math. Soc. (1996)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> F.E. Burstall,   D. Ferus,   F. Pedit,   U. Pinkall,   "Harmonic tori in symmetric spaces and commuting Hamiltonian systems on loop algebras" ''Ann. of Math.'' , '''138''' (1993) pp. 173–212</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.A. Carlson,   D. Toledo,   "Harmonic maps of Kähler manifolds to locally symmetric spaces" ''Publ. Math. IHES'' , '''69''' (1989) pp. 173–201</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> K. Corlette,   "Archimedean superrigidity and hyperbolic geometry" ''Ann. of Math.'' , '''135''' (1992) pp. 165–182</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> J. Eells,   L. Lemaire,   "A report on harmonic maps" ''Bull. London Math. Soc.'' , '''10''' (1978) pp. 1–68</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> J. Eells,   L. Lemaire,   "Another report on harmonic maps" ''Bull. London Math. Soc.'' , '''20''' (1988) pp. 385–524</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> J. Eells,   J. Sampson,   "Harmonic mappings of Riemannian manifolds" ''Amer. J. Math.'' , '''86''' (1964) pp. 109–160</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> F.T. Farrell,   L.E. Jones,   "Some non-homeomorphic harmonic homotopy equivalences" ''Bull. London Math. Soc.'' , '''28''' (1996) pp. 177–180</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> "Harmonic maps and integrable systems" A.P. Fordy (ed.) J.C. Wood (ed.) , ''Aspects of Math.'' , '''23''' , Vieweg (1994)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> M.A. Guest,   "Harmonic maps, loop groups, and integrable systems" , ''London Math. Soc. Student Texts'' , '''38''' , Cambridge Univ. Press (1997)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> M. Gromov,   R. Schoen,   "Harmonic maps into singular spaces and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003028.png" />-adic superrigidity for lattices in groups of rank one" ''Publ. Math. IHES'' , '''76'''  (1992)  pp. 165–246</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> F. Hélein,   "Régularité des applications faiblement harmoniques entre une surface et une variété riemannienne" ''C.R. Acad. Sci. Paris Ser. I'' , '''312''' (1991) pp. 591–596</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> L. Hernandez,   "Kähler manifolds and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003029.png" /> pinching"  ''Duke Math. J.'' , '''62''' (1991) pp. 601–611</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> N. Hitchin,   "Harmonic maps from a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003030.png" />-torus to the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003031.png" />-sphere"  ''J. Diff. Geom.'' , '''31''' (1990) pp. 627–710</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top"> N. Mok,  Y.-T. Siu,   S.-K. Yeung,  "Geometric superrigidity"  ''Invent. Math.'' , '''113''' (1993) pp. 57–83</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top"> T. Rivière,   "Applications harmoniques de <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003032.png" /> dans <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003033.png" /> partout discontinues"  ''C.R. Acad. Sci. Paris Ser. I'' , '''314'''  (1992)  pp. 719–723</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  A.J. Tromba,  "Teichmüller theory in Riemannian geometry" , ''ETH Lectures'' , Birkhäuser  (1992)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  M. Wolf,  "On realizing measured foliations via quadratic differentials of harmonic maps to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003034.png" />-trees" ''J. Anal. Math.'' , '''68''' (1996) pp. 107–120</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top"> S.-T Yau,   F. Zheng,   "Negatively <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120030/h12003035.png" />-pinched Riemannian metric on a compact Kähler manifold" ''Invent. Math.'' , '''103''' (1991) pp. 527–536</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top"> J. Amorós, M. Burger, K. Corlette, D. Kotschick, D. Toledo, "Fundamental groups of compact Kähler manifolds" , ''Math. Surveys Monogr.'' , '''44''' , Amer. Math. Soc. (1996) {{MR|1379330}} {{ZBL|0849.32006}} </td></tr><tr><td valign="top">[a2]</td> <td valign="top"> F.E. Burstall, D. Ferus, F. Pedit, U. Pinkall, "Harmonic tori in symmetric spaces and commuting Hamiltonian systems on loop algebras" ''Ann. of Math.'' , '''138''' (1993) pp. 173–212 {{MR|1230929}} {{ZBL|0796.53063}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> J.A. Carlson, D. Toledo, "Harmonic maps of Kähler manifolds to locally symmetric spaces" ''Publ. Math. IHES'' , '''69''' (1989) pp. 173–201</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> K. Corlette, "Archimedean superrigidity and hyperbolic geometry" ''Ann. of Math.'' , '''135''' (1992) pp. 165–182 {{MR|1147961}} {{ZBL|0768.53025}} </td></tr><tr><td valign="top">[a5]</td> <td valign="top"> J. Eells, L. Lemaire, "A report on harmonic maps" ''Bull. London Math. Soc.'' , '''10''' (1978) pp. 1–68 {{MR|0495450}} {{ZBL|0401.58003}} </td></tr><tr><td valign="top">[a6]</td> <td valign="top"> J. Eells, L. Lemaire, "Another report on harmonic maps" ''Bull. London Math. Soc.'' , '''20''' (1988) pp. 385–524 {{MR|0956352}} {{ZBL|0669.58009}} </td></tr><tr><td valign="top">[a7]</td> <td valign="top"> J. Eells, J. Sampson, "Harmonic mappings of Riemannian manifolds" ''Amer. J. Math.'' , '''86''' (1964) pp. 109–160 {{MR|0164306}} {{ZBL|0122.40102}} </td></tr><tr><td valign="top">[a8]</td> <td valign="top"> F.T. Farrell, L.E. Jones, "Some non-homeomorphic harmonic homotopy equivalences" ''Bull. London Math. Soc.'' , '''28''' (1996) pp. 177–180 {{MR|1367166}} {{ZBL|0858.53033}} </td></tr><tr><td valign="top">[a9]</td> <td valign="top"> "Harmonic maps and integrable systems" A.P. Fordy (ed.) J.C. Wood (ed.) , ''Aspects of Math.'' , '''23''' , Vieweg (1994) {{MR|1264179}} {{ZBL|0788.00063}} </td></tr><tr><td valign="top">[a10]</td> <td valign="top"> M.A. Guest, "Harmonic maps, loop groups, and integrable systems" , ''London Math. Soc. Student Texts'' , '''38''' , Cambridge Univ. Press (1997) {{MR|1630443}} {{ZBL|0898.58010}} </td></tr><tr><td valign="top">[a11]</td> <td valign="top"> M. Gromov, R. Schoen, "Harmonic maps into singular spaces and $p$-adic superrigidity for lattices in groups of rank one" ''Publ. Math. IHES'' , '''76''' (1992) pp. 165–246 {{MR|1215595}} {{ZBL|}} </td></tr><tr><td valign="top">[a12]</td> <td valign="top"> F. Hélein, "Régularité des applications faiblement harmoniques entre une surface et une variété riemannienne" ''C.R. Acad. Sci. Paris Ser. I'' , '''312''' (1991) pp. 591–596 {{MR|1131583}} {{MR|1101039}} {{ZBL|0728.35015}} {{ZBL|0744.58010}} </td></tr><tr><td valign="top">[a13]</td> <td valign="top"> L. Hernandez, "Kähler manifolds and $1 / 4$ pinching" ''Duke Math. J.'' , '''62''' (1991) pp. 601–611 {{MR|1104810}} {{ZBL|0725.53068}} </td></tr><tr><td valign="top">[a14]</td> <td valign="top"> N. Hitchin, "Harmonic maps from a $2$-torus to the $3$-sphere" ''J. Diff. Geom.'' , '''31''' (1990) pp. 627–710 {{MR|1053342}} {{ZBL|}} </td></tr><tr><td valign="top">[a15]</td> <td valign="top"> N. Mok, Y.-T. Siu, S.-K. Yeung, "Geometric superrigidity" ''Invent. Math.'' , '''113''' (1993) pp. 57–83 {{MR|1223224}} {{ZBL|0808.53043}} </td></tr><tr><td valign="top">[a16]</td> <td valign="top"> T. Rivière, "Applications harmoniques de $B ^ { 3 }$ dans $S ^ { 2 }$ partout discontinues" ''C.R. Acad. Sci. Paris Ser. I'' , '''314''' (1992) pp. 719–723 {{MR|}} {{ZBL|0793.58012}} {{ZBL|0780.49030}} </td></tr><tr><td valign="top">[a17]</td> <td valign="top"> A.J. Tromba, "Teichmüller theory in Riemannian geometry" , ''ETH Lectures'' , Birkhäuser (1992) {{MR|1164870}} {{ZBL|0785.53001}} </td></tr><tr><td valign="top">[a18]</td> <td valign="top"> M. Wolf, "On realizing measured foliations via quadratic differentials of harmonic maps to $R$-trees" ''J. Anal. Math.'' , '''68''' (1996) pp. 107–120</td></tr><tr><td valign="top">[a19]</td> <td valign="top"> S.-T Yau, F. Zheng, "Negatively $1 / 4$-pinched Riemannian metric on a compact Kähler manifold" ''Invent. Math.'' , '''103''' (1991) pp. 527–536</td></tr></table>

Latest revision as of 16:55, 1 July 2020

A smooth mapping $\varphi : ( M , g ) \rightarrow ( N , h )$ between Riemannian manifolds (cf. Riemannian manifold) is harmonic if it is an extremal (or critical point) of the energy functional

\begin{equation*} E ( \varphi ) = \frac { 1 } { 2 } \int _ { M } | d \varphi | ^ { 2 } v _ { g }, \end{equation*}

where $| d \varphi |$ is the Hilbert–Schmidt norm of the differential, computed with respect to the metrics $g$ and $h$, and $v _ { g }$ is the Riemannian volume element.

The mapping $\varphi$ is harmonic if it satisfies the Euler–Lagrange equation $\tau ( \varphi ) = 0$, where the tension field $\tau ( \varphi )$ is given by $\tau ( \varphi ) = \text { trace } \nabla d \varphi$, $\nabla$ denoting the natural connection on $T ^ { * } M \otimes \varphi ^ { - 1 } T N$.

In local coordinate systems $( x ^ { i } )$ on $M$ and $( y ^ { \alpha } )$ on $N$, one has

\begin{equation*} | d \varphi | ^ { 2 } ( x ) = g ^ { i j } ( x ) h _ { \alpha \beta } ( \varphi ( x ) ) \cdot \frac { \partial \varphi ^ { \alpha } } { \partial x ^ { i } } \frac { \partial \varphi ^ { \beta } } { \partial x ^ { j } }, \end{equation*}

\begin{equation*} \tau ( \varphi ) ^ { \alpha } ( x ) = g ^ { i j } ( x ) \left( \frac { \partial ^ { 2 } \varphi ^ { \alpha } } { \partial x ^ { i } \partial x ^ { j } } - \square ^ { M } \Gamma _ { i j } ^ { k } ( x ) \frac { \partial \varphi ^ { \alpha } } { \partial x ^ { k } } + + \square ^ { N } \Gamma _ { \beta \gamma } ^ { \alpha } ( \varphi ( x ) ) \frac { \partial \varphi \beta } { \partial x ^ { i } } \frac { \partial \varphi ^ { \gamma } } { \partial x ^ { j } } \right), \end{equation*}

where the $\Gamma$ are the Christoffel symbols of the Levi–Civita connections on $M$ and $N$. The Euler–Lagrange equation is therefore a semi-linear elliptic system of partial differential equations.

Harmonic mappings include as special cases the closed geodesics in a Riemannian manifold $( N , h )$, the minimal immersions, the totally geodesic mappings and the holomorphic mappings between Kähler manifolds. In physics, they are related to $\sigma$-models and to some types of liquid crystals.

The systematic study of harmonic mappings was initiated in 1964 in [a7] by J. Eells and J. Sampson.

A detailed exposition of results obtained before 1988 can be found in [a5] and [a6] and includes the following four main directions:

existence theory for harmonic mappings in prescribed homotopy classes (with existence and non-existence results);

regularity and partial regularity for minimizers of the energy in appropriate Sobolev spaces (with restriction on the Hausdorff dimension of the singular set);

explicit constructions of harmonic mappings from the two-dimensional sphere to Lie groups, symmetric spaces and loop groups in terms of holomorphic mappings and twistor constructions;

applications of the existence theory of harmonic mappings to the study of the geometry of real manifolds (curvature pinching, rigidity), or of Kähler manifolds (rigidity, uniformization), applications to the study of Teichmüller spaces (cf. Discrete subgroup; Teichmüller space; Riemannian geometry in the large).

Further developments (up to 1997) include the following:

Application of harmonic mappings to (Mostow) rigidity of manifolds was pursued in [a4] and [a15], the latter unifying previous results. In a similar vein, existence of harmonic mappings bears on the structure of the fundamental group of Kähler manifolds ([a3], see also [a1]).

A new direction was opened in [a11], in which the notion of harmonic mapping was extended to more general spaces (trees, polyhedra, Tits buildings), and an existence result was proved and applied to the study of $p$-adic superrigidity for lattices in groups of rank one.

Further curvature pinching theorems were obtained in [a13] and [a19].

Various results on Teichmüller spaces were obtained, using classical harmonic mappings (see [a17]) or harmonic maps into trees (see [a18]).

The question of regularity or partial regularity was extended to weakly harmonic mappings (as opposed to minimizers) in the appropriate Sobolev space: when $\operatorname { dim } M = 2$, any weakly harmonic mapping is smooth [a12], and examples show that for $\dim M \geq 3$, the Hausdorff dimension of the singular set is not restricted [a16].

Examples show that harmonic mappings homotopic to homeomorphisms are not always homeomorphisms, even when the curvature of the range is negative [a8].

Explicit constructions of harmonic mappings of surfaces into symmetric spaces in terms of holomorphic constructions or totally integrable systems were further developed, e.g. in [a14] and [a2] (see [a9], [a10]).

References

[a1] J. Amorós, M. Burger, K. Corlette, D. Kotschick, D. Toledo, "Fundamental groups of compact Kähler manifolds" , Math. Surveys Monogr. , 44 , Amer. Math. Soc. (1996) MR1379330 Zbl 0849.32006
[a2] F.E. Burstall, D. Ferus, F. Pedit, U. Pinkall, "Harmonic tori in symmetric spaces and commuting Hamiltonian systems on loop algebras" Ann. of Math. , 138 (1993) pp. 173–212 MR1230929 Zbl 0796.53063
[a3] J.A. Carlson, D. Toledo, "Harmonic maps of Kähler manifolds to locally symmetric spaces" Publ. Math. IHES , 69 (1989) pp. 173–201
[a4] K. Corlette, "Archimedean superrigidity and hyperbolic geometry" Ann. of Math. , 135 (1992) pp. 165–182 MR1147961 Zbl 0768.53025
[a5] J. Eells, L. Lemaire, "A report on harmonic maps" Bull. London Math. Soc. , 10 (1978) pp. 1–68 MR0495450 Zbl 0401.58003
[a6] J. Eells, L. Lemaire, "Another report on harmonic maps" Bull. London Math. Soc. , 20 (1988) pp. 385–524 MR0956352 Zbl 0669.58009
[a7] J. Eells, J. Sampson, "Harmonic mappings of Riemannian manifolds" Amer. J. Math. , 86 (1964) pp. 109–160 MR0164306 Zbl 0122.40102
[a8] F.T. Farrell, L.E. Jones, "Some non-homeomorphic harmonic homotopy equivalences" Bull. London Math. Soc. , 28 (1996) pp. 177–180 MR1367166 Zbl 0858.53033
[a9] "Harmonic maps and integrable systems" A.P. Fordy (ed.) J.C. Wood (ed.) , Aspects of Math. , 23 , Vieweg (1994) MR1264179 Zbl 0788.00063
[a10] M.A. Guest, "Harmonic maps, loop groups, and integrable systems" , London Math. Soc. Student Texts , 38 , Cambridge Univ. Press (1997) MR1630443 Zbl 0898.58010
[a11] M. Gromov, R. Schoen, "Harmonic maps into singular spaces and $p$-adic superrigidity for lattices in groups of rank one" Publ. Math. IHES , 76 (1992) pp. 165–246 MR1215595
[a12] F. Hélein, "Régularité des applications faiblement harmoniques entre une surface et une variété riemannienne" C.R. Acad. Sci. Paris Ser. I , 312 (1991) pp. 591–596 MR1131583 MR1101039 Zbl 0728.35015 Zbl 0744.58010
[a13] L. Hernandez, "Kähler manifolds and $1 / 4$ pinching" Duke Math. J. , 62 (1991) pp. 601–611 MR1104810 Zbl 0725.53068
[a14] N. Hitchin, "Harmonic maps from a $2$-torus to the $3$-sphere" J. Diff. Geom. , 31 (1990) pp. 627–710 MR1053342
[a15] N. Mok, Y.-T. Siu, S.-K. Yeung, "Geometric superrigidity" Invent. Math. , 113 (1993) pp. 57–83 MR1223224 Zbl 0808.53043
[a16] T. Rivière, "Applications harmoniques de $B ^ { 3 }$ dans $S ^ { 2 }$ partout discontinues" C.R. Acad. Sci. Paris Ser. I , 314 (1992) pp. 719–723 Zbl 0793.58012 Zbl 0780.49030
[a17] A.J. Tromba, "Teichmüller theory in Riemannian geometry" , ETH Lectures , Birkhäuser (1992) MR1164870 Zbl 0785.53001
[a18] M. Wolf, "On realizing measured foliations via quadratic differentials of harmonic maps to $R$-trees" J. Anal. Math. , 68 (1996) pp. 107–120
[a19] S.-T Yau, F. Zheng, "Negatively $1 / 4$-pinched Riemannian metric on a compact Kähler manifold" Invent. Math. , 103 (1991) pp. 527–536
How to Cite This Entry:
Harmonic mapping. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Harmonic_mapping&oldid=14710
This article was adapted from an original article by Luc Lemaire (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article