C OMPOSITIO M ATHEMATICA
R UISHI K UWABARA
Correction to : “On isospectral deformations of riemannian metrics. II”
Compositio Mathematica, tome 50, n
o1 (1983), p. 93-94
<http://www.numdam.org/item?id=CM_1983__50_1_93_0>
© Foundation Compositio Mathematica, 1983, tous droits réservés.
L’accès aux archives de la revue « Compositio Mathematica » (http:
//http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir 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/
93
Correction to: ON ISOSPECTRAL DEFORMATIONS OF RIEMANNIAN METRICS. II
Ruishi Kuwabara
Compositio Mathematica 50 (1983) 93-94
O 1983 Martinus Nijhoff Publishers, The Hague. Printed in the Netherlands
The
proof
of Lemma 3.3:(1) given
in the paper in Vol. 47[p. 201] is
incorrect. We here
give
acomplete proof
of the lemma.Define a differential
operator 8g : Sk+1
~Sk by
p
being
the covariant differentiation withrespect
to g.Then, 8§
is theformally adjoint operator
ofpg
withrespect
to the innerproducts
inSk’s
naturally
definedby
g. SetThen
Dg
is anon-negative, self-adjoint, elliptic
differentialoperator
of order2, and
theequation Dkga
= 0 isequivalent to
= 0(see [2]).
Next,
let us introduce various norms on the space of tensor fields onM. A
(fixed)
Coo Riemannian metric gonaturally
defines anorm, 1 - 1,
oneach fibre of the tensor bundle over M. Various
global
norms for a tensorfield T are defined
by
for k =
0, 1,2,...,
where V is the covariant differentiation withrespect to go.
Using
thesenotations,
we have for every a ES’k,
CI being
a constant, becauseDg
is a second order differentialoperator
94
whose coefficients consist of g and its first derivatives. On the other
hand,
sinceD ô
is anelliptic operator
of order2,
there is a constantC2
such that
for every a E
Sk.
Now we prove that
Nk
=f g ~ R; (Dkg)-1(0)
={0}}
is an open subset ofIR. Suppose
gobelongs
toCVLk. Noting
thatDkg
has a discretespectrum
consisting
ofnon-negative
realeigenvalues,
we havefor every
a(~ 0) E Sk,
where À is the leasteigenvalue.
We show go is an interiorpoint
ofNk.
If thecontrary holds,
there are sequences{gn}~n=1 1 in
R and
{an}~n=
1 inSk
such thatD I.
and gn ~ g0 withrespect
to the Cootopology (i.e. gn - gOlk
~ 0 forevery k 0)
as n ~ 00.Using (1)
and(2),
we haveHence,
forsufficiently large
n,Therefore,
weget ~Dkg0an~0
~ 0 as n - oo . This contradicts(3).
References
[1] R. KUWABARA: On isospectral deformations of Riemannian metrics. II. Comp. Math. 47 (1982) 195-205.
[2] C. BARBANCE: Sur les tenseurs symétriques. C.R. Acad. Sc. Paris 276 (1973) 387-389.
(Oblatum 21-XII-1982) Department of Mathematics
College of General Education The University of Tokushima Minami-Josanjima-cho
Tokushima 770, Japan