Servicios Personalizados
Revista
Articulo
Indicadores
-
Citado por SciELO
Links relacionados
-
Similares en SciELO
Compartir
Revista de la Unión Matemática Argentina
versión impresa ISSN 0041-6932versión On-line ISSN 1669-9637
Rev. Unión Mat. Argent. v.47 n.2 Bahía Blanca jul./dic. 2006
On the geometry of a class of conformal harmonic maps of surfaces into
Eduardo Hulett
Abstract: This paper deals with certain advances in the understanding of the geometry of superconformal harmonic maps of Riemann surfaces into De Sitter space . The character of these notes is mainly expository and we made no attempt to provide complete proofs of the main results, which can be found in reference [12]. Our main analytic tool to study superconformal harmonic maps is a Gram-Schmidt algorithm to produce adapted frames for such maps. This allows us to compute the normal curvatures and obtain identities which are used to study their geometry. Some global properties such as fullness and rigidity are considered and a highest order Gauss transform or polar map is constructed and its main properties are discussed.
2000 Mathematics Subject Classification. 53C42, 53C50
Key words and phrases. De Sitter space-time, superconformal harmonic maps, harmonic sequences.
Partially supported by Fundación Antorchas, CONICET, FONCYT and SECYT-UNCba
The purpose of these notes is to present some recent advances on the geometry of a class of harmonic maps of surfaces into De Sitter space . As we shall see these maps have many properties in common with their natural relatives: the so-called superconformal harmonic maps of surfaces into Euclidean (round) spheres
, introduced and studied by Bolton, Pedit and Woodward in [2] and also by Miyaoka in [14].
The style of the paper is expository so that we have omitted the proofs of the main results. The interested reader can consult reference [12] for details.
Let denote the flat Lorentz
-space i.e.
equipped with the Lorentz inner product
(1) |
The -dimensional De Sitter space-time of radius
is by definition the pseudosphere
on which the ambient metric induces a metric also denoted by of signature
, hence
is a Lorentz manifold of constant sectional curvature
. A smooth map
from a Riemann surface is harmonic if its tension field vanishes on
:
[7]. It is easily seen that
is harmonic if and only if on any local complex coordinate in
the following PDE is satisfied by
:
(2) |
where denotes the complex bilinear extension of
to
and
Note that equation (2) does not depend on a particular metric on but only on the conformal structure of
. This is characteristic of harmonic maps of Riemann surfaces.
Let and
or
and
a smooth map from a connected Riemann surface and assume that there is an integer
such that
where . It is not difficult to show that such integer
is independent of complex coordinates on
, so that it depends only on the map
itself. It is called the isotropy dimension of
and is denoted by
. A smooth map
is called superconformal if
, where
. Here we adapted the notion of isotropy dimension which F. Burstall introduced in [5] to study harmonic maps of surfaces into
and
.
Let be a harmonic map with isotropy dimension
. Then equation (2) implies that the locally defined non-vanishing complex function
is holomorphic, hence its zeros are isolated. Moreover the formal expression
is globally defined on . It is called the
-th complex Hopf differential of
. We notice here that the topology of the Riemann surface
plays a role. In fact, applying the Riemann-Roch Theorem [13], Ejiri in [8] shows that every space-like harmonic map
is isotropic:
for every pair of integers such that
. This says that the isotropy dimension of
is infinite. Then if
is harmonic with finite isotropy dimension and
is compact, then genus
. Harmonic maps of infinite isotropy dimension in
have been considered by Ejiri [8] and also by Erdem [9].
It is well known that harmonic maps of surfaces into are related to Willmore surfaces in
and
. In fact harmonic maps (superconformal or not) of surfaces in
arise as images of the conformal Gauss map of immersed Willmore surfaces in
and in
(see [1, 15]).
Also in [1] Alías and Palmer considered space-like superconformal minimal surfaces into four dimensional Lorentz spaceforms and studied the behaviour of their normal and Gaussian curvatures obtaining interesting results.
On the other hand Sakaki in [16] studied superconformal minimal space-like surfaces in four dimensional Lorentz spaceform satisfying a generalized Ricci-condition. Harmonic maps of surfaces with infinite isotropy dimension (also called isotropic) into were considered by Ejiri [8]. Erdem in [9] obtained a classification of harmonic isotropic maps of Riemann surfaces into
with non-degenerate osculating bundle.
The layout of the paper is as follows. Section 1 introduces the Gram-Schmidt algorithm for the construction of harmonic sequences which give rise to the complex line sub bundles . In Section 2 we compute the normal curvatures of a superconformal harmonic map and derive the structural equations. Section 3 deals with global rigidity and Section 4 is devoted to the construction and main properties of the highest order Gauss transform or polar map.
In what follows we shall consider only the class of superconformal harmonic maps with
or
(
), i.e. those with maximal finite isotropy dimension:
. Hence in particular
is a (weakly) conformal map
| (3) |
At any point condition (3) above is equivalent to
Now since the ambient metric has signature , for any
such that
is non-singular we have
, so that
is a space-like map i.e. the pull-back metric
is Riemannian at those points
for which
is non-singular.
Conversely, if is an orientable surface and
is a space-like immersion, then the pullback
is a Riemannian metric on
which determines a conformal or Riemann surface structure on
such that
is a conformal immersion [13]. Hence if one considers on
the induced metric
, then
is an isometric space-like immersion.
Let us denote by simplicity. Now fix a local chart
and set
| (4) |
Note that is just the component of
orthogonal to
. Moreover
is defined away from the zeros of
which are called the higher order singularities of
.
The following is our main technical result. It establishes the consistency of the Gram-Schmidt process (4) and assures that the vectors have positive square norms open densely in
. Its proof relies on the fact that harmonic maps of Riemann surfaces into pseudospheres are real analytic maps, an essential observation due to Ejiri [8]. For details, see [12], Section 3.
Lemma 1. [12] Let be a connected Riemann surface and
a superconformal harmonic map, where
or
, (
). On any fixed complex chart
of
, formula (4) generates
-valued maps
, defined on an open and dense subset of
satisfying the following properties: i) For each
the zeros of
are isolated in
and
on an open and dense subset of
. ii)
for
. iii)
for
.
By the above Lemma every superconformal harmonic map has isolated higher-order singularities. Moreover it is space-like and
is non-singular on an open and dense subset of
. In particular the induced metric
is a Riemannian metric on
with isolated singularities. Considering
with the induced metric
then
is a branched isometric minimal space-like immersion. The globally defined complex differential
, where
, measures the failure of
and
to be orthogonal. It is called the Hopf differential of
and is an important invariant of
. If
the map
is called isotropic.
Let be the finite sequence generated by (4) on
. Defining
| (5) |
then a straightforward computation shows that the augmented sequence satisfies the following formulae
| (6) |
Also from (5) it follows that , hence the extremes are orthogonal only at the zeros of the
-th Hopf differential.
Harmonic sequences were thoroughly studied by Bolton and Woodward in [4], who considered harmonic maps of surfaces into complex projective spaces and spheres.
2.1. The line bundles . The (pseudo) hermitian inner product on
is defined by
| (7) |
We denote by the complex vector space
equipped with the (pseudo-hermitian) inner product (7). Let
be the trivial bundle equipped with the canonical connection
where
is any smooth local section of
and
. The map
determines a complex line subbundle
|
equipped with the metric-compatible connection , where the projection
along
is well defined since
. By the well known Theorem of Koszul-Malgrange [7],
determines a unique compatible holomorphic structure on
such that a local smooth section
of
is holomorphic if and only if
, where
. Hence
is holomorphic if and only if
. In particular by the harmonic map equation (2)
is a global holomorphic section of
. On the other hand the fibers of
determine a map
by
. Since
is the composition of
followed by the totally geodesic imbedding
, it results also harmonic.
In general a complex vector subbundle can be equipped with the Koszul-Malgrange holomorphic structure provided it is non-degenerate respect to the ambient hermitian indefinite inner product
. That is,
fiberwise, where
denotes
-orthogonal complement.
The bundle operator given by
splits up into its
and
parts
and
, according to
. It is shown in [11] that both operators are related by the identity
| (8) |
Now since is a harmonic map,
takes holomorphic sections of
to holomorphic sections of
. This is equivalent to
which also says that is a holomorphic section of
and by (8)
is antiholomorphic. Let
be the unique complex line sub bundle of
containing the image of
. Define
by continuity across the isolated zeros of
, hence
is a well defined non-degenerate complex line subbundle of
on which the ambient metric
is positive definite by Lemma 1, i.e.
is a space-like subbundle of
. In particular it has a well defined metric connection
and hence a unique compatible holomorphic structure. From (4) it follows that
sends holomorphic sections of
to holomorphic sections of
, in particular
is a local holomorphic section of
. In the same way the image of the operator
determines a unique space-like (hence non-degenerate) complex line subbundle
. Thus it has also a well-defined metric connection
and hence a unique compatible holomorphic structure. Also from (4)
is a local holomorphic section of
. The process continues producing a sequence of mutually orthogonal space-like holomorphic complex line subbundles
where each
has a well-defined metric connection
and a compatible holomorphic structure via the Koszul-Malgrange Theorem. However the last complex subbundle
containing the image of
may degenerate at some points and its signature may change.
The conjugate bundles
are also space-like. Including the possibly degenerate subbundles
, then Lemma 1 and formulae (6) imply that the whole sequence
satisfies orthogonality relations
| (9) |
Also from (6) we conclude that defined by
satisfy . Hence for
the bundle operators
are holomorphic, i.e. they send holomorphic sections to holomorphic sections. This fact is expressed in an equivalently way by equation
which follows from (4) and the definition of and
. Also for
the operators
are anti-holomorphic bundle operators as a consequence of the identity
(see [12], page 190, for details). It is not difficult to show that the maps
defined by
are harmonic for
. The finite sequence of harmonic maps
is called the harmonic sequence of the initial superconformal harmonic map
.
The curvature of . The intrinsic curvatures of the complex line bundles
are obtained using the Koszul-Malgrange holomorphic structure. In fact, we have
In the next section we shall see that the quantity is just a multiple of the
-th normal curvature
by a factor depending on the induced metric
on
.
3. Normal curvatures and Structure equations
We fix the induced metric on
, hence the computations that follow hold away from the isolated singularities
. Let
be the pseudo-Riemannian Levi-Civita connection of
determined by the Lorentz metric and consider the pull-back bundle
with the pull-back connection denoted also by , and the pull-back Lorentz metric
. The subspace of
generated by the
-derivatives of
up to order
at
is called the
-th osculating space at
and is denoted by
. Then
and
is a subspace of
. The orthogonal complement of
in
, denoted by
, is called the
-normal space at
. Thus
| (10) |
At generic points one can consider the -th osculating bundle
with
-dimensional fibers
, and also the
-th normal bundle
with
-dimensional fibers
. A point
is said to be generic if the fiber of
over
coincides with the
-th osculating space at
. It is known that the set of generic points is open and dense in
(see [17]). The set of non-generic points, are nothing but the higher-order singularities of
and consists of isolated points (cf. [6, 17]).
For the fibres of each complex line bundle
determined by
are isotropic space-like complex lines in
. Hence each
, may be identified with an oriented real space-like 2-plane subbundle of
in the following way: on a complex chart
is a local holomorphic section of
generated by (4). We define real vector fields
on
by setting
| (11) |
Then since , the fields are orthogonal
and of unit norm
. Thus, for
,
are local generating sections of the first osculating bundle (or tangent bundle)
of
, and for
are local generating sections of the
-th normal bundle
of
. This exhibits the identification of
and of
for
. Consequently the (complex) maximal isotropic space-like subbundle
identifies with the -th osculating bundle
of
. Also from (11) we have
It follows from Lemma 1 and our discussion above that is a real space-like
-dimensional vector subbundle of
. Now if
is linearly full, we have
and by (10) the last normal bundle
of
is a real non-degenerate oriented Lorentz 2-plane subbundle of
: i.e. the restriction of the Lorentz metric to the fibers of
has signature
. Then it is easily seen that there are local generating sections
of
satisfying
| (12) |
In particular and hence there are (local) complex functions
such that
| (13) |
so that identifies with
. Note that the direct sum subbundle
identifies with the normal bundle of
and restricted to
coincides with the normal connection
on
. Also
restricted to
coincides with the Levi-Civita Riemannian connection on
determined by the induced metric
. The projection of
onto each normal 2-plane subbundle
defines a metric-compatible connection
which is Riemannian for
, whereas
is pseudo-Riemannian.
Let be the connection forms of
,
. Then the equation
defines the curvature function
, where
is the area element of the induced metric respect to a local complex coordinate
(cf. [17]). It is shown in [12] that
| (14) |
where
| (15) |
is the Laplacian operator of the induced metric on
. Note that
is just the Gauss curvature of the induced metric
. The expression of the last normal curvature
looks a little bit different
| (16) |
where are given by (13). See [12], page 194 for details.
3.1. Curvature identities and consequences. The compatibility or integrability equations satisfied by the harmonic sequence of a superconformal harmonic map are
,
which as consequence of (4) and (6) are given by
In terms of the functions ,
, and
,
such that
, the compatibility equations above are expressed by the following system of partial differential equations
| (17) |
Using the expressions for obtained before, and (15), we obtain the normal curvatures in terms of
and
:
(18) |
Hence the sum of the first curvatures gives
| (19) |
Note that from (19) the sign of depends on the sign of
.
On the other hand squaring (16) and adding (19) we obtain
| (20) |
Away from the zeros of the -th Hopf differential
we can take
at both sides of (20) and since
is a local harmonic function, we obtain the following identity
| (21) |
This identity generalizes a formula obtained by Alías and Palmer in [1] and is the key point to prove the following characterization of superconformal harmonic maps of tori given in [12], which is a generalization of a Theorem by Sakaki in [16]
Theorem 1. ([12], Theorem 8.1) Let be a compact connected Riemann surface and
a linearly full superconformal harmonic map having no higher-order singularities. If the Gaussian and normal curvatures of
satisfy
on
, then
is topologically a
-torus.
Conversely, if is a 2-torus then passing to the universal covering space
of
it is possible to normalize
globally on
. Hence if the full superconformal harmonic map
has no higher-order singularities, the inequality
holds on
as a consequence of (20).
Also as an application of identities (19) and (20) we obtain the following result which gives information on the global behaviour of a non-full superconformal harmonic map in terms of the normal curvatures
Theorem 2. ([12], Theorem 5.4) Let be a superconformal harmonic map of a Riemann surface. Then
if and only if
lies fully in a unique non-degenerate hyperplane
. In this case
a) if and only if the induced metric on
has signature
and
is superconformal harmonic full into
.
b) if and only if
is space-like and
is a superconformal harmonic full into the Euclidean unit sphere
.
In both cases identity (20) implies that can occur only at the zeros of
which are isolated.
3.2. Toda affine equations and Toda frames.. Away from the isolated zeros of the -th Hopf differential of
it is possible to find a local complex coordinate
which normalizes
, i.e.
on
(a proof of this fact is given in [2]). In terms of
and
condition,
is just
on
, so let
be a complex function defined on
such that
and
. Introduce new local sections
of
by
| (22) |
where . It is easily seen that
and
. In this new frame we have
so that , where
. It follows that
. The fourth and fifth compatibility equations in (17) yield
and hence
. Also from the third equation of (17) we get
, from which
satisfies
| (23) |
We have shown that in a local coordinate chart where
it is possible to find a local frame
|
such that its compatibility equations become the following system of elliptic non-linear partial differential called Toda affine equations associated to the pair
| (24) |
Thus locally and away from the zeros of the -th Hopf differential
the geometry of a superconformal harmonic map
is completely determined from a solution of the above system. The frame
considered above is called a Toda frame by Bolton Pedit and Woodward (cf. [2]). Toda equations are well known examples of completely integrable systems. For a survey on Toda equations and other soliton equations arising in geometry, see [10] and the bibliography cited there.
In terms of the last normal curvature
is given by
| (25) |
Also from (19) we see that
| (26) |
Thus at points where (hence on an open and dense subset) we have
| (27) |
Applying to both sides of (27) we get the following identity which generalizes formula (3.1) of Alías and Palmer in [1]
| (28) |
Integrating this identity respect to and using the Divergence Theorem we obtain the following result
Theorem 3. ([12], Lemma 5.5) Let be a compact connected Riemann surface and
a full superconformal harmonic immersion for which
at each point of
. Then
Note that under the hypothesis of Theorem 3, so that
must be a signed function on
.
Here we consider the problem of determining invariants which determine a superconformal harmonic map up to ambient isometries. We obtained the following result which is analogous to that obtained in [4, 11] when the target is
and
respectively
Theorem 4. ([12], Theorem 6.1) Let be superconformal harmonic maps from a connected Riemann surface. If they induce the same metric on
and have the same
-th Hopf differentials, then there is an isometry
of
such that
.
The construction of the isometry uses the harmonic sequence of
which by hypothesis coincides with that of
, and the Toda equations (24).
A manifestation of the complete integrability of the Toda system (24) describing the geometry of a superconformal harmonic map is the fact that for a simply connected
there is an associated
-family
of isometric deformations of the given
. The proof of the following Theorem is consequence of a result by Bolton and Woodward in [4] when the target is the Euclidean sphere
. For superconformal harmonic maps into
, the proof is analogous and uses the machinery of harmonic sequences which we developed before.
Theorem 5. Let be a simply connected Riemann surface and let
be full superconformal harmonic maps inducing the same metric on
. If
for some function
, then
is constant and
is congruent with some
of the family.
5. A higher order Gauss transform
According to Theorem 2 the image of a non-linearly full superconformal harmonic map lies fully in a non-degenerate hyperplane
which may be either space-like or have signature
. In this case the sequence
generated by
is periodic:
| (29) |
and the last line bundle of is non-degenerate and satisfies
. Our discussion below needs the following result which also has an independent interest
Proposition 1. ( [12], Proposition 4.2) Let be a superconformal harmonic map. Then for every local complex chart on
the following inequality holds
| (30) |
If is not full then its image
lies fully in a non-degenerate hyperplane
and equality holds in (30).
We are ready now to define the higher order Gauss transform or polar map of as follows. If the equality holds in (30) we have
. Then according to the signature of the metric induced on
we have:
(i) The hyperplane is space-like and consequently
. In particular
and
have the same order zeros so that one can extend the vector
across its singularities by continuity (cf. [14]). It can be easily checked that it is a real vector and has square norm one. Moreover
is independent of coordinates of
. The Gauss transform of
is well defined by
| (31) |
where is the unit sphere of
.
(ii) The induced metric on the hyperplane has signature
and so it is isometric to
. Here note that the square norm of
is non-positive since
. Like in the previous case the vector
can be extended by continuity across its singularities and does not depend on local coordinates in
. However it is not a real vector since as consequence of
we have,
In this case defining (
), it follows that
is a real vector with square norm
lying in
which is independent of local coordinates of
. We define the Gauss map of
in this case by
| (32) |
where the sign in (32) depends on a choice of the sheets of the hyperboloid defining the hyperbolic space
.
The main result of this section is the following
Theorem 6. ([12], Theorem 7.1) Let be a non-full superconformal harmonic map. If the image
lies in a space-like hyperplane
then the Gauss transform
is a full superconformal harmonic map into the Euclidean unit sphere of
which has the same
-th Hopf differential as
.
If lies in a
-hyperplane
then the Gauss transform
is a full superconformal harmonic map in the sense of [11]. In this case the
-th Hopf differentials of
and
have opposite signs.
Since there are no non-constant harmonic maps of compact surfaces into we obtain
Corollary 1. There exist no non-constant superconformal harmonic map of a compact surface into odd-dimensional De Sitter space (
).
Note that the simplest case in the above Corollary is interesting since a conformal minimal immersion
is superconformal if and only if its umbilic points are isolated.
Corollary 2. There is no non-constant conformal minimal immersion of a compact surface into
with isolated umbilic points.
Other applications of higher order Gauss transforms of maps into will be discussed elsewhere.
[1] L.J. Alías, B. Palmer, Curvature properties of zero mean curvature surfaces in four-dimensional Lorentzian space-forms, Math. Proc. Camb. Phil. Soc. (1998). [ Links ]
[2] J. Bolton, F. Pedit and L. Woodward, Minimal surfaces and the affine Toda field model J. Reine u. Angew. Math. 459 (1995), 119-150. [ Links ]
[3] J. Bolton, L. Woodward, On immersions of surfaces into Space forms, Soochow Journal of Math. Vol. 14, No. I (1988), 11-31. [ Links ]
[4] J. Bolton, L. Woodward, Congruence Theorems for harmonic maps from a Riemann surface into and
, J. London Math. Soc. (2) 45 (1992), 363-376. [ Links ]
[5] F.E. Burstall, Harmonic tori in spheres and complex projective spaces, J. Reine u. Angew. Math. 469 (1995), 149-177. [ Links ]
[6] S.S. Chern, On minimal immersions of the two sphere in a space of constant curvature, Problems in Analysis, Princeton University Press (1970), 27-40. [ Links ]
[7] J. Eells and L. Lemaire, Selected topics on Harmonic maps, C.B.M.S. Regional Conference Series 50, Am. Math. Soc. 1983. [ Links ]
[8] N. Ejiri, Isotropic Harmonic maps of Riemann surfaces into the De Sitter space-time, Quart. J. Math. Oxford (2), 39 (1988), 291-306. [ Links ]
[9] S. Erdem, Harmonic maps from surfaces into pseudo-Riemannian spheres and hyperbolic spaces, Math. Proc. Camb. Phil. Soc. (1983), 483-494. [ Links ]
[10] A.P. Fordy and J.C. Wood, eds., Harmonic maps and integrable systems, Aspects of Mathematics, Vieweg 1994. [ Links ]
[11] E. Hulett, Harmonic superconformal maps of surfaces into , Journal of Geometry and Physics 42 (2002), 139-165. [ Links ]
[12] E. Hulett, Superconformal harmonic surfaces in De Sitter space-times, Journal of Geometry and Physics 55 (2005), 179-206. [ Links ]
[13] J. Jost, Compact Riemann Surfaces, Universitext, Springer Verlag, Berlin Heidelberg 1997. [ Links ]
[14] R. Miyaoka, The family of isometric superconformal harmonic maps and the affine Toda equations, J. Reine angew. Math 481 (1996), 1-25. [ Links ]
[15] B. Palmer, The conformal Gauss Map and the Stability of Willmore Surfaces, Ann. Global Anal. Geom. Vol 9, No.3 (1991), 305-317. [ Links ]
[16] M. Sakaki, Spacelike Minimal surfaces in 4-dimensional Lorenzian Space Forms, Tsukuba J. Math. Vol. 25 No. 2 (2001), 239-246. [ Links ]
[17] M. Spivak, A comprehensive introduction to Differential Geometry Vol.IV, Berkeley: Publish or Perish, 1979. [ Links ]
Eduardo Hulett
FaMAF-CIEM, Universidad Nacional de Córdoba,
Córdoba 5000, Argentina
hulett@famaf.unc.edu.ar
Recibido: 16 de noviembre de 2005
Aceptado: 18 de septiembre de 2006