Showing changes from revision #10 to #11:
Added | Removed | Changed
A Riemannian immersion or isometric immersion of Riemannian manifolds is an immersion of their underlying smooth manifolds which is also an isometry with respect to their Riemannian metrics.
Similarly, an isometric embedding is an isometric immersion which is also an embedding of smooth manifolds, hence of the underlying topological spaces.
The isometric immersion/embedding problem is to find isometric immersions/embeddings of Riemannian manifolds into large-dimensional but flat (Euclidean) spaces (e.g. Han & Hong 2006, Han & Lewicka 2023).
Given a Riemannian manifold of dimension , then
an orthonormal local frame is an open cover equipped with a -tuple of vector fields
such that at each point we have that
is the canonical inner product on , hence in components
an orthonormal local co-frame is an open cover equipped with a -valued differential 1-form
such that at each point we have
Now given moreover an immersion into a Riemannian manifold
such an orthonormal local frame is called adapted or Darboux (generalizing terminology originating in the differential geometry of curves and surfaces, cf. Guggenheimer 1977, p. 210) for if for each and each lift of its first components are tangent to :
(Sternberg 1964, Def. 2.1 on p. 244; Griffiths & Harris 1979 (1.12); Berger, Bryant & Griffiths 1983, p. 818)
such an orthonormal local co-frame is called adapted or Darboux for (generalizing again the terminology fromdifferential geometry of curves and surfaces , if its lastCartan 1926, p. 211 -components ) are for transversal to if its last -components are transversal to :
(Sternberg 1964, (2.11) on p. 246; Zandi 1988, p. 426; Mastrolia, Rigoli & Setti 2012, Def. 1.17; Giron 2020, §3.2.2; Chen & Giron 2021, §2.4)
\begin{remark} \label{DarbouxCoFramePullingBackToCoframeOnImmersedManifold} The Darboux co-frame property (2) immediately implies that the pullback of the remaining frame components
is a local frame on . We may summarize this by saying that a local Darboux co-frame gives
(cf. Griffiths & Harris 1979 (1.13)).
Incidentally, this situation (3) of Darboux co-frames, when applied to the bosonic coframe components of super spacetimes, has later independently come to be known as the “embedding condition” in the “super-embedding approach” to super p-branes &;brack;Bandos 2011 (2.6-2.9); Bandos & Sorokin 2023 (5.13-14)], strenghtening the original “geometrodynamical condition” of Bandos et al. 1995 (2.23), which is just the first condition in (3). \end{remark}
\begin{proposition} \label{ExistenceOfDarbouxFrames} Given an immersion into a Riemannian manifold, local Darboux (co-)frames always exist. \end{proposition} \begin{proof} Given an immersion , consider any point . Since the immersion is locally an embedding (see here), there exists an open neighbourhood such that is the embedding of a submanifold. Therefore (by this Prop.) there exists an open neighbourhood of which serves as a coordinate chart for and a slice chart for in that it exhibits as a rectilinear hyperplane in .
Hence in this slice coordinate chart a local frame for is given by the canonical coordinate vector fields on with the first of them forming a local chart of
From this local frame the Gram-Schmidt process produces an orthonormal frame, first for and then extended to :
This demonstrates the esistence of orthonormal local frames (cf. Kayban 2021, Prop. 3.1).
To obtain an orthonormal local coframe we just dualize this local frame:
By construction, the matrix of components of the above frame (given by ) is block diagonal (the upper diagonal block being the local frame on ).
This means (cf. e.g. here) that also the inverse matrix
is block diagonal, with its upper diagonal block being the inverse matrix of the original upper left block.
This gives the desired coframe field:
which is orthonormal on
because
and which is Darboux by the block-diagonal structure of . \end{proof}
(For the further generality of sequences of Darboux frames for suitable sequences of immersions, see Giron 2020 and Chen & Giron 2021, Thm. 2.2.)
Hence an immersion of Riemannian manifolds is isometric iff around each point any of its Darboux coframe fields pull back to locally induce the given metric on .
Élie Cartan (translated by Vladislav Goldberg from Cartan’s lectures at the Sorbonne in 1926–27): Part E of: Riemannian Geometry in an Orthogonal Frame, World Scientific (2001) [[doi:10.1142/4808](https://doi.org/10.1142/4808), pdf]
Shlomo Sternberg, Lectures on differential geometry, Prentice-Hall (1964), AMS (1983) [ISBNJ:978-0-8218-1385-0, ams:chel-316, ark:/13960/t1pg9dv6k]
Heinrich W. Guggenheimer, Differential Geometry, Dover (1977) [[isbn:9780486634333](https://store.doverpublications.com/products/9780486634333), ark:/13960/t9t22sk9n]
Phillip Griffiths, Joseph Harris, Algebraic geometry and local differential geometry, Annales scientifiques de l’École Normale Supérieure, Serie 4, Volume 12 no. 3 (1979) 355-452 [[numdam:ASENS_1979_4_12_3_355_0](http://www.numdam.org/item/?id=ASENS_1979_4_12_3_355_0)]
Eric Berger, Robert Bryant, Phillip Griffiths, The Gauss equations and rigidity of isometric embeddings, Duke Math. J. 50 3 (1983) 803-892 [[doi:10.1215/S0012-7094-83-05039-1](http://dx.doi.org/10.1215/S0012-7094-83-05039-1)]
Ahmad Zandi, Minimal immersions of surfaces in quaternionic projective space, Tsukuba Journal of Mathematics 12 2 (1988) 423-440 [[jstor:43686661](https://www.jstor.org/stable/43686661)]
Qing Han, Jia-Xing Hong: Isometric Embedding of Riemannian Manifolds in Euclidean Spaces, Mathematical Surveys and Monographs 130, AMS (2006) [[ISBN:0821840711](https://maa.org/press/maa-reviews/isometric-embedding-of-riemannian-manifolds-in-euclidean-spaces)]
Paolo Mastrolia, Marco Rigoli, Alberto G. Setti, §1.3 Some formulas for immersed submanifolds in: Yamabe-type Equations on Complete, Noncompact Manifolds, Birkhäuser (2012) [[doi:10.1007/978-3-0348-0376-2](https://doi.org/10.1007/978-3-0348-0376-2)]
Tristan Pierre Giron, On the Analysis of Isometric Immersions of Riemannian Manifolds, PhD thesis (2020) [[uuid:cae2f41d-c5a1-4138-9dec-5e824d21044e](https://ora.ox.ac.uk/objects/uuid:cae2f41d-c5a1-4138-9dec-5e824d21044e), pdf]
Gui-Qiang G. Chen, Tristan P. Giron, Weak continuity of curvature for connections in [[arXiv:2108.13529](https://arxiv.org/abs/2108.13529)]
Nicholas Kayban, Riemannian Immersions and Submersions (2021) [[pdf](https://www.math.uwaterloo.ca/~karigian/training/M11-kayban-final-project.pdf), pdf]
Qing Han, Marta Lewicka, Isometric immersions and applications, Notices of the AMS 2023 [[arXiv:2310.02566](https://arxiv.org/abs/2310.02566)]
Revision on May 18, 2024 at 11:40:00 by Urs Schreiber See the history of this page for a list of all contributions to it.