Local smooth isometric embeddings of low-dimensional Riemannian manifolds into Euclidean spaces

Nakamura, Gen; Maeda, Yoshiaki

doi:10.1090/S0002-9947-1989-0992597-8

Local smooth isometric embeddings of low-dimensional Riemannian manifolds into Euclidean spaces
HTML articles powered by AMS MathViewer

by Gen Nakamura and Yoshiaki Maeda PDF

Trans. Amer. Math. Soc. 313 (1989), 1-51 Request permission

Abstract:

Local smooth isometric embedding problems of low dimensional Riemannian manifolds into Euclidean spaces are studied. Namely, we prove the existence of a local smooth isometric embedding of a smooth Riemannian $3$-manifold with nonvanishing curvature into Euclidean $6$-space. For proving this, we give a local solvability theorem for a system of a nonlinear PDE of real principal type. To obtain the local solvability theorem, we need a tame estimate for the linearized equation corresponding to the given PDE, which is presented by two methods. The first is based on the result of Duistermaat-Hörmander which constructed the exact right inverse for linear PDEs of real principal type by using Fourier integral operators. The second method uses more various properties of Fourier integral operators given by Kumano-go, which seems to be a simpler proof than the above.

References

Robert L. Bryant, Phillip A. Griffiths, and Deane Yang, Characteristics and existence of isometric embeddings, Duke Math. J. 50 (1983), no. 4, 893–994. MR 726313, DOI 10.1215/S0012-7094-83-05040-8
J. J. Duistermaat, Fourier integral operators, Courant Institute of Mathematical Sciences, New York University, New York, 1973. Translated from Dutch notes of a course given at Nijmegen University, February 1970 to December 1971. MR 0451313
J. J. Duistermaat and L. Hörmander, Fourier integral operators. II, Acta Math. 128 (1972), no. 3-4, 183–269. MR 388464, DOI 10.1007/BF02392165
Dennis DeTurck and Deane Yang, Local existence of smooth metrics with prescribed curvature, Nonlinear problems in geometry (Mobile, Ala., 1985) Contemp. Math., vol. 51, Amer. Math. Soc., Providence, RI, 1986, pp. 37–43. MR 848931, DOI 10.1090/conm/051/848931
Ju. V. Egorov, Canonical transformations and pseudodifferential operators, Trudy Moskov. Mat. Obšč. 24 (1971), 3–28 (Russian). MR 0361929

Local solvability of nonlinear partial differential equations of real principal type

Lars Hörmander, Fourier integral operators. I, Acta Math. 127 (1971), no. 1-2, 79–183. MR 388463, DOI 10.1007/BF02392052
Lars Hörmander, The analysis of linear partial differential operators. III, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 274, Springer-Verlag, Berlin, 1985. Pseudodifferential operators. MR 781536
H. Jacobowitz, Local isometric embeddings, Seminar on Differential Geometry, Ann. of Math. Stud., vol. 102, Princeton Univ. Press, Princeton, N.J., 1982, pp. 381–393. MR 645749

Pseudo-differential operators

The local isometric embedding

of two dimensional Riemannian manifolds with Gaussian curvature changing sign cleanly

Sigeru Mizohata, The theory of partial differential equations, Cambridge University Press, New York, 1973. Translated from the Japanese by Katsumi Miyahara. MR 0599580
Hideki Omori, Yoshiaki Maeda, and Akira Yoshioka, On regular Fréchet-Lie groups. I. Some differential geometrical expressions of Fourier integral operators on a Riemannian manifold, Tokyo J. Math. 3 (1980), no. 2, 353–390. MR 605098, DOI 10.3836/tjm/1270473002
Hideki Omori, Yoshiaki Maeda, and Akira Yoshioka, On regular Fréchet-Lie groups. II. Composition rules of Fourier-integral operators on a Riemannian manifold, Tokyo J. Math. 4 (1981), no. 2, 221–253. MR 646038, DOI 10.3836/tjm/1270215153
Hideki Omori, Yoshiaki Maeda, Akira Yoshioka, and Osamu Kobayashi, On regular Fréchet-Lie groups. III. A second cohomology class related to the Lie algebra of pseudodifferential operators of order one, Tokyo J. Math. 4 (1981), no. 2, 255–277. MR 646039, DOI 10.3836/tjm/1270215154
Hideki Omori, Yoshiaki Maeda, Akira Yoshioka, and Osamu Kobayashi, On regular Fréchet-Lie groups. IV. Definition and fundamental theorems, Tokyo J. Math. 5 (1982), no. 2, 365–398. MR 688131, DOI 10.3836/tjm/1270214899
Hideki Omori, Yoshiaki Maeda, Akira Yoshioka, and Osamu Kobayashi, On regular Fréchet-Lie groups. V. Several basic properties, Tokyo J. Math. 6 (1983), no. 1, 39–64. MR 707838, DOI 10.3836/tjm/1270214325
Akira Yoshioka, Yoshiaki Maeda, Hideki Omori, and Osamu Kobayashi, On regular Fréchet-Lie groups. VII. The group generated by pseudodifferential operators of negative order, Tokyo J. Math. 7 (1984), no. 2, 315–336. MR 776942, DOI 10.3836/tjm/1270151730
Yoshiaki Maeda, Hideki Omori, Osamu Kobayashi, and Akira Yoshioka, On regular Fréchet-Lie groups. VIII. Primordial operators and Fourier integral operators, Tokyo J. Math. 8 (1985), no. 1, 1–47. MR 800075, DOI 10.3836/tjm/1270151569
Francis Sergeraert, Une généralisation du théorème des fonctions implicites de Nash, C. R. Acad. Sci. Paris Sér. A-B 270 (1970), A861–A863 (French). MR 259699
François Trèves, Linear partial differential equations with constant coefficients: Existence, approximation and regularity of solutions, Mathematics and its Applications, Vol. 6, Gordon and Breach Science Publishers, New York-London-Paris, 1966. MR 0224958

Seminar on differential geometry