It is one of basic problems in differential geometry to find geometric conditions that determine the congruence class of a submanifold of a given manifold. For example, a general hypersurface of n-dimensional Euclidean space R n is determined up to congruence by its first and second fundamental forms. It is another classical result that for a certain generic hypersurfaces of R n (n > 4), the first fundamental form alone is sufficient to determine the congruence class. On the other hand, we know some remarkable facts in the complex-analytic case. First, any complex submanifold of a complex space form has the metric rigidity, i.e., it is determined up to congruence by its first fundamental form alone (the rigidity theorem of Calabi [1]). Secondly, Green [2] asserts even if the ambient space 5 is a general Kahler manifold with real-analytic Kahler metric, a certain generic holomorphic mapping (a nondegenerate mapping in his terminology) into it has the local metric rigidity: There is actually shown the existence of such a finite-dimensional family of local real-analytic hypersurfaces of S that a holomorphic mapping into S has the local metric rigidity unless its image lies in any of them. Only one cannot find any geometric conditions that assure the nondegeneracy for a mapping. In this article, we shall give local differential-geometric conditions that determine the congruence class of a holomorphic mapping into a Hermitian symmetric space under considerably general settings. For a technical reason, we have to restrict ourselves to the case where mappings are infinίtesimally in our sense. In particular we cannot deal with totally geodesic complex submanifolds. But our results extend Calabi's rigidity theorem to a direction different from [2], since our infinitesimally condition is equivalent to the full condition used in [1] in the case of complex space forms.
Read full abstract