Marcos Dajczer,Miguel I. Jimenez,Theodoros Vlachos
Abstract:We investigate isometric immersions $f\colon M^n\to\R^{n+2}$, $n\geq 3$, of Riemannian manifolds into Euclidean space with codimension two that admit isometric deformations that preserve the metric of the Gauss map. In precise terms, the preservation of the third fundamental form of the submanifold must be ensured throughout the deformation. For minimal isometric deformations of minimal submanifolds this is always the case. Our main result is of a local nature and states that if $f$ is neither minimal nor reducible, then it is a hypersurface of an isometrically deformable hypersurface $F\colon\tilde{M}^{n+1}\to\R^{n+2}$ such that the deformations of $F$ induce those of $f$. Moreover, for a particular class of such submanifolds, a complete local parametric description is provided.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the local geometric characteristics of sub - manifolds with specific Gaussian mapping metric properties in Euclidean space. Specifically, the authors studied the properties of isometric immersions \(f\) of a Riemannian manifold \(M^n\) of dimension \(n\) into \(R^{n + 2}\) while keeping the Gaussian mapping metric invariant. The key here is that when these immersions allow isometric deformations, how these deformations affect the third fundamental form of the Gaussian mapping.
The main results of the paper show that if \(f\) is neither minimal nor reducible, then \(f\) is a hypersurface of some isometrically deformable hypersurface \(F:\tilde{M}^{n+1}\to R^{n + 2}\), and the deformation of \(F\) induces the deformation of \(f\). In addition, a complete local parametric description is provided for a specific class of such sub - manifolds.
### Formula Analysis
1. **Third Fundamental Form**:
\[
III_f(X,Y)=\sum_{i = 1}^n\langle\alpha_f(X,X_i),\alpha_f(Y,X_i)\rangle=\sum_{j = 1}^p\langle A_{\xi_j}^2X,Y\rangle
\]
where \(\{X_i\}_{1\leq i\leq n}\) and \(\{\xi_j\}_{1\leq j\leq p}\) are orthonormal bases of \(T_xM\) and \(N_fM(x)\) respectively.
2. **Relationship of Shape Operators**:
\[
A_\eta=\bar{A}_{\bar{\eta}}
\]
\[
\text{tr}A_\xi=\text{tr}\bar{A}_{\bar{\xi}} = 0
\]
\[
A_\xi^2=\bar{A}_{\bar{\xi}}^2
\]
3. **Definition of Bilinear Mapping \(\beta\)**:
\[
\beta(X,Y)=(\langle A_\xi X,Y\rangle,\langle\bar{A}_{\bar{\xi}}X,Y\rangle)
\]
where \(\beta\) is a flat bilinear form satisfying:
\[
\langle\langle\beta(X,W),\beta(Y,Z)\rangle\rangle=\langle\langle\beta(X,Z),\beta(Y,W)\rangle\rangle
\]
4. **Gaussian Equation**:
\[
\langle R(X,Y)Z,W\rangle=\langle\alpha_f(X,W),\alpha_f(Y,Z)\rangle-\langle\alpha_f(X,Z),\alpha_f(Y,W)\rangle
\]
\[
n\langle\alpha_f(X,Y),H_f\rangle - III_f(X,Y)=\text{Ric}(X,Y)=n\langle\alpha_g(X,Y),H_g\rangle - III_g(X,Y)
\]
5. **Symmetry of Shape Operators**:
\[
A_\xi X\wedge A_\xi Y=\bar{A}_{\bar{\xi}}X\wedge\bar{A}_{\bar{\xi}}Y
\]
### Main Conclusions
- If \(f\) is neither minimal