A NNALES DE LA FACULTÉ DES SCIENCES DE T OULOUSE
B ANG -Y EN C HEN
Y OSHIHIKO T AZAWA
Slant surfaces of codimension two
Annales de la faculté des sciences de Toulouse 5
esérie, tome 11, n
o3 (1990), p. 29-43
<http://www.numdam.org/item?id=AFST_1990_5_11_3_29_0>
© Université Paul Sabatier, 1990, tous droits réservés.
L’accès aux archives de la revue « Annales de la faculté des sciences de Toulouse » (http://picard.ups-tlse.fr/~annales/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions).
Toute utilisation commerciale ou impression systématique est constitu- tive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
- 29 -
Slant surfaces of codimension two
BANG-YEN
CHEN(1)
and YOSHIHIKOTAZAWA(2)
Annales de la Faculté des Sciences de Toulouse Vol. XI, n° 3, 1990
RESUME. - Une immersion isométrique d’une variete riemannienne dans une variété presque hermitienne est dite oblique si 1’angle de Wirtinger est constant
[1].
Le but de cet article est d’etudier et de carac-teriser les surfaces obliques dans le plan complexe 2 utilisant 1’application
de Gauss. Nos démontrons que chaque surface n’ayant aucun point tan- gent complexe dans une variété presque hermitienne M de dimension 4 est oblique par rapport à une structure presque complexe bien choisie sur M.
ABSTRACT. - A slant immersion is an isometric immersion from a Riemannian manifold into an almost Hermitian manifold with constant
Wirtinger angle
(1~ .
In this article we study and characterize slant surfaces in the complex 2-plane ~2 via the Gauss map. We also prove that every surface without complex tangent points in a 4-dimensional almost Hermitian manifold M is slant with respect to a suitably chosen almost complex structure on M.1. Introduction
Let x : M ~ M be an isometric immersion of a Riemannian manifold M with Riemannian
metric g
into an almost Hermitian manifold M withan almost
complex
structure J and an almost hermitian metricg.
For eachnonzero vector X
tangent
to M at p eM,
theangle 8(X )
betweenJX
and the
tangent
spaceTpM
of M at p is called theWirtinger angle
of X. .The immersion x is said to be
general
slant if theWirtinger angle 9(X )
isconstant
(which
isindependent
of the choiceofpeM
and X ETpM).
Inthis case the
angle 8
is called the slantangle
of the slant immersion.~ ~ Department of Mathematics, Michigan State University, East Lansing, Michigan
48824
(U.S.A.)
~ Department of Mathematics, Tokyo Denki University, Kanda, Tokyo 101
(Japan)
If x is a
totally
real(or Lagrangian) immersion,
thenTp
M~ J(TpM)
forany p e M where M is the normal space of M in M at p. Thus a
totally
real immersion is a
general
slant immersion withWirtinger angle 8 - ?r/2.
If M is also an almost Hermitian manifold with almost
complex
structureJ,
then the immersion z : M is calledholomorphic (respectily,
anti-holomorphic)
if we havefor any X E
TpM.
It is clear thatholomorphic
andanti-holomorphic
immersions are
general
slant immersions with 8 - 0. Ageneral
slantimmersion which is neither
holomorphic
noranti-holomorphic
issimply
called a slant immersion
~1~.
Inparagraph
2 we review thegeometry
ofthe Grassmannian
G(2,4)
for later use. Inparagraph
3 weinvestigate
the
relationship
between2-planes
in the Euclidean4-space E4
and thecomplex
structures onE4. By applying
therelationship
we obtain apointwise
observationconcerning
slant surfaces. Inparagraph
4 westudy
slant surfaces via their Gauss map. In
particular
we obtain in this section a new characterization of slant surfaces and we also prove that a non-minimal surface inE4
can be slant withrespect
to at most fourcompatible complex
structures on
E4.
Inparagraph
5 we prove that every Hermitian manifold is a proper slant surface with anyprescribed
slantangle
withrespect
to a suitable almostcomplex
structure. In the last section we definedoubly
slantsurfaces and show that their Gaussian and the normal curvatures vanish
identically.
2.
Geometry
ofG(2, 4)
In the section we recall some results
concerning
thegeometry
of the GrassmannianG(2,4)
of oriented2-planes
inE4 (for details,
see[2, 3, 7,
8]).
Let Em =
( . , . ))
be the Euclidean m-space with the canonical innerproduct (’, ’).
Let~E1, ... ,
be the canonical basis of Em.Then 03A8 := E1 ^ ... A
gives
the canonical orientation of Em. For eachn
E ~ 1,
...,m~,
the space/~n
Em is an(’;:) -dimensional
real vector space with the innerproduct,
also denoteby ( ~ , ~ ~,
definedby
and be extended
linearly.
The two vector spaces andare identified in a natural way
by
for
any 03A6
E and any ..., E Em. . The GrassmannianG(n, m)
of orientedn-planes
in was identified with the setDl (n, m)
ofunit
decomposable
n-vectors in The identification ~p: G (n, m) -
Dl (n, m)
isgiven by
=X1
n ~ ~ ~ nXn
for anypositive
orthonormal basis ofV EG(n, m)
.The star
operator
* :/~2 E4 ~ A 2 E4
is definedby
If we
regard
a V EG(2, 4)
as an element inD1(2, 4)
via cp, we have *V = whereV..L
is the orientedorthogonal complement
of V inE4 .
Since * is asymmetric involution, /B~ E4
isdecomposed
into thefollowing orthogonal
direct sum :
of
eigenspaces
of * witheigenvalues
1 and-1, respectively.
Denoteby
7r-~ and ~r_ the natural
projections
from/~2 E4
into/1+ E4
andn2 E4,
respectively.
Given a
positive
orthonormal basis ... ,e4 ~
ofE4,
weput
Then ~2,
~I3~
and~r~4,
r~5, are orthonormal bases of~+ E4
and/B~_ E4 respectively.
We shall orient/~+ E4
and/B~_ E4
so that these two bases arepositive.
For
any £
EDi(2, 4)
we haveIf we denote
by ,S+
and,S2
the2-spheres
centered at theorigin
with radius1/~/2
in/B~ E4
and/B~. E4, respectively,
then we haveand
3.
Complex
structures onE4
Let
~2
=~IR2 , ~ ~ , ~ ~ , Jo)
be thecomplex plane
with the canonical(almost) complex
structureJo
definedby Jo(a, b, c, d) _ (-b,
a,-d, c). Jo
is an orientation
preserving isomorphism.
We denoteby G
the set of all(almost) complex
structures onE4
which arecompatible
with the innerproduct (’, ’), i.e.,
For each we choose an
(orthonormal)
J-basis ... ,e4 ~
so thatJel
= e2,Je3
= e4. Two J-bases of the samecomplex
structure J have thesame orientation.
By using
the canonical orientation ~ = E1 /~ ~ ~ ~ A E4, wedivide 9
into twodisjoint
subsets :and
For each J E
g,
there is aunique
2-vector~J
EA 2 E4
defined as follows.Let Q j
be the Kaehler form ofJ, i.e.,
for any
X,
Y EE4.
The 2-vector~J
associated with J is defined to be theunique
2-vectorsatisfying
LEMMA 3.1..2014 The
mapping
defined by ~(J~
_~J gives
rise to twobijections :
:where and
S~ (~)
are the2-spheres
centered at theorigin
withradius
B/2
inn+ E4
and~~_ E4, respectively.
Proof.
- Let JE ~
and ... ,e4~
be a J-basis. If J Eg+
(respectively,
J E~-),
then ...,e4~
ispositive (respectively, negative).
Since
03B6J
= e1 ^ e2 + e3 ^ e4by (3.1), (
mapsg+
into and mapsG-
intoS2-(2).
Theirinjectivity
are clear.Conservely,
foreach ~
ES+ (~),
wehave ) (
E,S+ . Hence,
we canpick
an oriented
2-plane
V such that V E~r+1 ( 2 ~).
Now we choose apositive
orthonormal basis ... ,
e4~
such thate2~
is apositive
basis of V.Let J be the
complex
structure onE4
such thatJei
= e2,Je2
= -e1,Je3
= e4,Je4
= -e3. Then J Eg+
and~J = ~’.
E
S2 ( ~) ,
wepick
V E~r=1 ( 2 ~ )
and define Jby
= e 2 ,Je2
= -el,Je3
= -e4,Je4
= e3. Then we have a similar result. DIn the
following
weidentify g, g+
andg-
with5~.(~2)
US2 (~), S’+ ( ~) ,
andS2 ( ~) , respectively, via (.
For each V E
G(2, 4)
and each J Eg,
we defineThen E
[0, 7r].
A2-plane
V is said to be a-slant if = a.The relation between defined in
paragraph
1 and is asfollows. Let x be an isometric immersion of M into
(M, ~, J).
If weregard (TpM, ~, J)
as acomplex plane
with the induced innerproduct (’, ’),
thenwe have
for any non-zero vector X E
TpM.
If M is
oriented,
then M has aunique complex
structure J determinedby
its orientation and its metric induced fromg.
Withrespect
to a j, we have:The
argument
above also hold for the case dim M > 4. We note that a J coincides with theangle
defined in[6].
LEMMA 3.2
~i~ If
J E~+,
J then is theangle
between ~+(V)
and~J
.(ii) If
J E~-
, thenaJ(V)
is theangle
between ~r_(V)
and~J
.Proof.
- If J E~+, then, by (3.2), (3.5)
and lemma3.1,
we have_ _
~~J~ V)
_~~J ~ ’~+(V + ~r_(V)~
_~~J a ’~+(V )~
which is the cosine of the
angle
between~+ ( V )
and(j, since
=~/2
and
I I ~+ ( V ) I =
Similarargument applies
to the case JE ~ - .
0For each a
E ~ 0 , ~ ~
and J E~,
we definei.e.,
is the set of all oriented2-planes
inE4
which are a-slant withrespect
to J. Also for each a E[0,
and V EG(2, 4)
we definei.e.,
is the set of allcompatible complex
structure onE4
withrespect
to which V is a-slant. We
put
By applying
lemma 3.2 we obtain thefollowing generalization
of propo- sition 2 of[3].
PROPOSITION 3.3
~i~ If
J Eg+,
then = xS2
where is the circle onS’+
consisting of
2-vectors u,hich make constantangle
a with~,~
.(ii) If
J E~-,
then =S+
x where is the circle onS~
consisting of
2-vectors which make constantangle
a with~J
.(iii)
Via theidentification ( given
in~3.l~~,
is a circle onS+ (~~
consisting of
2-vectors inS‘+(~~
which make constantangle
a with~r+(~).
.Similarly,
is a circle onS~ (~~
obtained in a similar way.For
simplicity,
for each V EG(2, 4),
we defineJY
andJv
as thecomplex
structures
given by
where (
is thebijection given
in lemma 3.1. It is clear thatJY
Eg+
and4. Slant surfaces and Gauss map
Let x : At 2014~
E4
be an isometric immersion from an oriented surface M intoE4.
We denoteby V
and V the Riemannian connections of M andE4, respectively.
We choose apositive
orthonormal local frame field...,
e4 ~
inE4
suchthat,
restricted toM,
the vectors e1, e2give
apositive
frame fieldtangent
to M(and
hence e3, e4 are normal toM).
Letw 1,
... , be the field of dual frame field. The structureequations
ofE4
are then
given by
If we restrict these forms to
M,
then= w4
= 0. From = =0,
(4.2),
and Cartan’slemma,
we haveThe Gauss curvature G and the normal curvature
GD
of M inE4
aregiven respectively by
In the
following
we denoteby
v : ~YI --~G(2, 4)
the Gauss map of the immersion x definedby
where we
identify G(2, 4)
withDi(2,4) consisting
of unitdecomposable
2-vectors in
A 2
define two maps v+ and v-by
where ~+ and 1r - are the
projections given
inparagraph
2. Then v+ andv- map M into
S’+
andS2 , respectively.
In terms of v+ and v-, , we have the
following
characterization of slant surfaces in~2.
.PROPOSITION 4.1.2014 Let M --~
E4
be an isometric immersionfrom
an oriented
surface
M intoE4.
Then x is a slant immersion withrespect
to a
complez
structure J Eg+ (respectively,
J E~-~ if
andonly if v+(M)
is contained in a circle on
S+ (respectively,
v-(M)
is contained in a circleon
S’2 ~.
Moreover,
x is a-slant withrespect
to J Eg+ (respectively,
J E~-~ if
and
only if v+(M)
is contained in a circleSa
onS+ (respectively, v_ (M)
is contained in a circle on
S2-),
where S+J,a and are the circlesdefined
inproposition
3.3.~ ~
Proof.
- If x . M -~E4
is a-slant withrespect
to J E~+,
thenby
(3.11)
andproposition 3.3,
we havev(TpM)
E xS2
for any p E M.Thus
v+(M)
is contained in a circle on6’~ consisting
of 2-vectors in5~.
which makeangle
a with(J.
Conversely,
if x : M -->E4
is an immersion such thatv+ (M)
is contained in a circleS1
onS2+
.Let ~
be a vector inA 2 E4
withlength B/2
which isnormal to the
2-plane
inn2 E4 containing S1.
Then r~ EBy
lemma
3.1,
there is aunique
J Eg+
such that~J
= r~. It is clear thatS1
is a for some constantangle
a.Therefore, by proposition 3.3,
theimmersion x is a-slant with
respect
to J E~+ .
Similarargument applies
tothe other case. 0
The
following
lemma was obtained in[1] (given
in theproof
of theorem 1of
[1]).
Here we reprove itby using
Gauss map.LEMMA 4.2. - Let .c : . M -~
E4
be an isometric immersionfrom
ansurface
M intoE4.
Then M is minimal and slant withrespect
to someJ E
g+ (respectively,
J E~-~ if
andonly if v+(M) (respectively, v_ (M)~
is a
singleton.
Proof.
- If x isminimal,
then both v+ and v- areanti-holomorphic ~5~ .
In
particular,
v+ and v- are open maps ifthey
are not constant maps.However,
if x is slant withrespect
to J Eg+ (respectively,
J E~- ), then, by proposition 4.1,
v+(respectively, v_ )
cannot be an open map.Hence,
v+(M) (respectively, v_ (M))
is asingleton.
Conversely,
ifv+ ( M ) (respectively, v_ ( M ) )
is asingleton,
say~~ ~ .
Then2~
ES+ ( ~) . Thus, by
lemma3.1,
there is aunique
J= ~ -1 ( 2~ )
Eg+
such that
v+(M)
is contained in Thus x isholomorphic
withrespect
to J
(see proposition
2 of[3]),
inparticular,
a? is a minimal immersion.Because a
singleton {~}
lies in every circleS1
onS’+ through ~, proposition
4.1
implies
that for any aE ~ [0, ~ ~,
there exists aJa e g+ (respectively,
Ja e 9 - ),
such that x is a-slant withrespect
toJa.
DBy applying proposition
4.1 and lemma 4.2 we have thefollowing
resultconcerning
non-minimal surfaces.THEOREM 4.3. -
If x
: M -->E4
is notmiminal,
then there ezist at most twocomplez
structures ±J Eg+
and at most twocomplex
structures~J~
E~-
such that x is slant withrespect
them.Proof.
- If x is anon-minimal,
a-slant immersion withrespect
to acomplex
structure J Eg+ (respectively,
J~ E~- ), then, by proposition
4.1and lemma
4.2, ~+(M) ) (respectively, v_ ( M ) )
contains an arc of the circle(respectively, ,~).
Thus,
xJ andxJ’
are theonly possible complex
structures which makex to be slant
according
toproposition
4.1. DFrom
proposition 4.1,
lemma 4.2 and theorem 4.3 we have thefollowing.
PROPOSITION 4.4. - Let : M --~
E4
be an isometric immersionfrom
a
surface
M intoE4.
. Then thefollowing
statements areequivalent:
(i)
x in minimal and slant withrespect
to somecomplex
structureJ E
~+ (respectively,
J E~-~;
v+ (M) (respectively, v_ (~VI ~~
is asingleton;
(iii)
x isholomorphic
withrespect
somecomplex
structure J EG+
(respectively,
J EG-~;
(iv) for
each a E[0, 03C0],
there existJa
EG+ (respectively, Jd
EG-)
such that ae is a-slant with
respect
toJa
.Theorem 4.3 and
proposition
4.4provide
us a cleargeometric
under-standing
of lemmas 5 and 6 and theorems1,
3 and 4 of~1~ .
5. Slant surfaces in 4-dimensional almost Hermitian manifolds Let : M -
(M, J)
be an immersion of a manifold M into an almostcomplex
manifold(M, J).
Then apoint
p E M is called acomplex tangent point
if thetangent plane
of M at p is invariant under the action of J. The purpose of this section is to prove thefollowing.
THEOREM 5.1. Let x : M ~
(M,
g,J)
be animbedding from
anoriented
surface
M into an almost Hermitianmanifold (M,
g,J~
.If
x hasno
complex tangent point, for
anyprescribed angle
a E(0, 03C0),
there existsan almost
complex
structureJ
on Msatisfying
thefollowing
conditions:~i~ (M,
g,J~
is an almost Hermitianmanifold,
andx is a-slant with
respect
to J .Proof.
- has a natural orientation determinedby
J. At eachpoint
p E
M, (TpM, gp)
is a Euclidean4-space
and so we canapply
theargument given
inparagraphs
2 and 3.According
to(2.4)
the vector bundle/‘2(M)
of 2-vectors on M is a directsum of two vector subbundles.
We define two
sphere-bundles
over Mby
By applying
lemma 3.1 we canidentify
a cross-sectionwith an almost
complex
structureJ.y
on M such that(M,
g, is an almost Hermitian manifold. In thefollowing
we denoteby
p the cross-sectioncorresponding
to J and we want to construct another cross-section to obtain the desired almostcomplex
structure J.We consider the
pull-backs
of these bundles via the immersion a?,i.e.,
The
tangent
bundle TM determines a cross-section r : M ~S’+(M) given
by
where x+ is the
projection
of onton+ (T~,~VI ~.
Note that 2r is across-section
of S+ (M);
We denote x * p also
by
p, whichgives
us another cross-section:Since c has no
complex tangent point,
Therefore, p(p)
and2r(p)
determine a2-plane
in which intersectsthe circle
p at two
points,
where is the circle on(S+ (M))
pdetermined in
proposition
3.3 with V =TpM.
Let be one of the twopoints
which lies on thehalf-great-circle
on(5~ (At)) starting from 2r(p)
and
passing through p(p).
Since p and r aredifferentiable,
so is r. Thuswe
get
the third cross-section:and we want to extend 03C3 to a cross-section of
S+ (M).
For each p we choose an open
neighborhood Up
of p in M suchthat
~I U
PnM can be extended to a cross-section ofS+(M~
onU~,:
We
identify
here the manifold M with itsimage
via theimbedding.
We
put
and
pick
alocally finitely
countablerefinement {~}~.
of the opencovering
U. For each i we
pick
apoint
p E M suchthat Ui
is contained inUp
andput
Let
~~i ~
be a differentiablepartition
ofunity
on U subordinated to thecovering {Ui}.
We define a cross-section 03C3 of^2+()|U by
By
the construction of 03C3i and 03C3 we haveSince the
angle , p( p~ ~
~r for any p EM,
we haveBy continuity
of 03C3 we canpick
an openneighborhood
W of M contained in U such thatWe define a cross-section of
S+ (M) by
Then we have
p(q))
03C0 for any q E M too.Finally,
we considerthe open
covering {W,
M -M~
of M and local cross-section û andpl -
and
repeat
the sameargument using a partition of unity
subordiante to{W,
M -M}
toget
a cross-section :S2+() satisfying |M
= cr.Now,
it is clear that the almostcomplex
structure Jcorresponding
to ? isthe desired almost
complex
structure. D6.
Appendix :
double slant surfaces in~2
An immersion x : :
M2 -+ E4
is calleddoubly
slant if it is slant withrespect
to acomplex
structure J Eg+
and at the same time it is slant withrespect
to anothercomplex
structureJ
E~- .
.Equivalently,
the immersion x isdoubly
slant if andonly
if there existsa V E
G(2, 4)
such that x is slant withrespect
to bothJY
andwhere Jy
andJr~
are definedby (3.13).
PROPOSITION f .1.
: M2
--~E4
is adoubly
slantimmersion,
thenProof.
- If x isdoubly slant, then, by proposition 4.1,
we know thatv+ ( M )
andv_ ( M )
both lie in some circles onS+
andS2 , respectively.
Thus,
both(v+~ *
and(v_ ~ *
aresingular
at everypoint
p E M. The resultthen follows from the
following
lemma of~7~ .
LEMMA 6.2. - For an isometric immersion ae :
M2
---~E4,
we haveThis lemma can be
proved
in our notation as follows.From
(4.8)
we havev*X
= for any Xtangent
to M.
Thus, by applying (2.5), (4.1)
and(4.4),
we find(see [3])
Since
~r~2, r~3~
is apositive
orthonormal basis of~p~S+
and~r~5,
isa
positive
orthonormal basis ofTv_ ~~~ 5~
we obtainBy applying (4.4), (4.6), (4.7)
and(6.2)
we obtain the lemma.Remark 6.3. -
Examples
1through
6 of~1~
areexamples
ofdoubly
slantsurfaces in
~2.
Here wegive
anotherexample
ofdoubly
slant surfaces.Example.
- For any two nonzero real numbers p and q, we consider thefollowing
immersion from IR x(0, oo)
into~2
definedby
v)
_(pv
sin u , pv cos u , v sin qu , v cosqu) . (6.3)
The slant
angles
and the ranksof v,
v+ and v- of thoseexamples
can bedetermined
by
directcompution.
We list them as thefollowing
table.Except
forexample 4,
a and b above are the slantangles
withrespect
to
Jo
= andJ1 = (cf. (3.13~~.
Forexample 4,
a is the slantangle
withrespect
toJo
and b is the slantangle
withrespect
toJE1 ~E3 ’
In
[4]
further results on slant immersions have been obtained.- 43 - References
[1]
CHEN(B.Y.) .
2014 Slant immersions,Bull. Austral. Math. Soc., 41
(1990),
pp. 135-147.[2]
CHEN(B.Y.)
and MORVAN(J.M.)
.2014 Propriétés riemanniennes des surfaceslagrangiennes,
C. R. Acad. Sc. Paris, Ser. I, 301
(1985),
pp. 209-212.[3]
CHEN(B.Y.)
and MORVAN(J.M.)
.2014 Géométrie des surfaces lagrangiennesde
2,
J. Math. Pures et Appl., 66
(1987),
pp. 321-335.[4]
CHEN(B.Y.)
and TAZAWA(Y.)
.2014 Slant submanifolds in complex Euclideanspaces,
preprint.
[5]
CHERN(S.S.) .
2014 Minimal surfaces in a Euclidean space of N dimensions, Differential and Combinatorial Topology, Princeton Univ. Press.,(1965),
pp. 187-198.
[6]
CHERN(S.S.)
and WOLFSON(J.G.) .2014
Minimal surfaces by moving frames, Amer. J. Math., 105(1983),
pp. 59-83.[7]
HOFFMAN(D.A)
and OSSERMAN(R.)
.2014 The Gauss map of surfaces in IR3and
IR4 ,
Proc. London Math. Soc.,
(3)
50(1985),
pp. 27-56.[8]
SINGER(I.M.)
and THORPE(J.A.)
.2014 The curvature of 4-dimensional Einstein spaces,Global Analysis, Princeton University Press, 1969, pp. 73-114.