Rigidity of pairs of rational homogeneous spaces of Picard number 1 and analytic continuation of geometric substructures on uniruled projective manifolds

Abstract

Building on the geometric theory of uniruled projective manifolds by Hwang–Mok, which relies on the study of varieties of minimal rational tangents (VMRTs) from both the algebro-geometric and the differential-geometric perspectives, Mok, Hong–Mok and Hong–Park have studied standard embeddings between rational homogeneous spaces X=G/P of Picard number 1. Denoting by S⊂X an arbitrary germ of complex submanifold which inherits from X a geometric structure defined by taking intersections of VMRTs with tangent subspaces and modeled on some rational homogeneous space X0=G0/P0 of Picard number 1 embedded in X=G/P as a linear section through a standard embedding, we say that (X0,X) is rigid if there always exists some γ∈Aut(X) such that S is an open subset of γ(X0). We prove that a pair (X0,X) of sub-diagram type is rigid whenever X0 is nonlinear, which in the Hermitian symmetric case recovers Schubert rigidity for nonlinear smooth Schubert cycles, and which in the general rational homogeneous case goes beyond earlier works dealing with images of holomorphic maps. Our methods apply to uniruled projective manifolds (X,K), for which we introduce a general notion of sub-VMRT structures ϖ:C(S)→S, proving that they are rationally saturated under an auxiliary condition on the intersection C(S):=C(X)∩PT(S) and a nondegeneracy condition for substructures expressed in terms of second fundamental forms on VMRTs. Under the additional hypothesis that minimal rational curves are of degree 1 and that distributions spanned by sub-VMRTs are bracket generating, we prove that S extends to a subvariety Z⊂X. For its proof, starting with a “Thickening Lemma” which yields smooth collars around certain standard rational curves, we show that the germ of submanifold (S;x0) and, hence, the associated germ of sub-VMRT structure on (S;x0) can be propagated along chains of “thickening” curves issuing from x0, and construct by analytic continuation a projective family of chains of rational curves compactifying the latter family, thereby constructing the projective completion Z of S as its image under the evaluation map.