[Paper Review] A weaker rigidity theorem for pairs of hyperquadrics and its application

Yunxin Zhang|arXiv (Cornell University)|Mar 18, 2015

Algebraic Geometry and Number Theory4 references3 citations

TL;DR

This paper establishes a weaker rigidity theorem for pairs of hyperquadrics by requiring only that minimal rational curves are preserved, rather than full sub-VMRT structure inheritance. It proves that any local submanifold satisfying this condition must lie within a standard model, offering a more intrinsic proof of Tsai's theorem on isometric embeddings of bounded symmetric domains without computing second fundamental forms.

ABSTRACT

In this short article, we establish a rigidity theorem for pairs of hyperquadrics in a weaker sense, i.e., we impose a condition that minimal rational curves are preserved, which is stronger than inheriting a sub-VMRT structure, a notion raised by Mok & Zhang (2014). This problem has its source in a theorem of Tsai (1993), and the main result of this article can be applied back to give a more intrinsic proof of Tsai's theorem.

Motivation & Objective

• To establish a weaker rigidity condition for pairs of hyperquadrics, replacing full sub-VMRT structure with preservation of minimal rational curves.
• To provide a more intrinsic proof of Tsai’s theorem on isometric embeddings between bounded symmetric domains of type IV.
• To show that any local submanifold of a hyperquadric preserving minimal rational curves and satisfying a tangential condition must be contained in a standard model.
• To eliminate reliance on second fundamental form computations in proving isometry results, offering a geometric, representation-theoretic alternative.

Proposed method

• The main method involves analyzing the variety of minimal rational tangents (VMRT) at points of a submanifold S in a hyperquadric Q^m.
• It uses the condition that minimal rational curves (MRCs) tangent to S remain contained in S, which is stronger than sub-VMRT inheritance.
• The proof relies on identifying the VMRT of S with that of a standard model M via analytic continuation along lines through the origin.
• It computes second derivatives of defining functions to show tangency to order two between S and a standard model M at non-zero points on lines.
• The argument uses the action of the isotropy subgroup M⁻ to generate non-totally geodesic standard models in Q^m.
• It applies polarization and equivariance arguments to show that the pullback of the metric under f vanishes identically, implying isometry.

Experimental results

Research questions

• RQ1 Under what weaker conditions can a submanifold of a hyperquadric be forced to lie in a standard model?
• RQ2 Can the preservation of minimal rational curves alone imply that a submanifold is contained in a standard model, even when the sub-VMRT structure is not fully inherited?
• RQ3 Is it possible to prove Tsai’s rigidity theorem for bounded symmetric domains without computing the second fundamental form?
• RQ4 How does the action of the group M⁻ generate non-totally geodesic standard models in Q^m?
• RQ5 What is the role of the isotropy subgroup K and its complexification in the geometric structure of Q^m and D^IV_n?

Key findings

• Any local n-dimensional submanifold S ⊂ Q^m satisfying the tangential condition with VMRT isomorphic to Q^{n-2} and preserving minimal rational curves must be contained in some standard model.
• The preservation of minimal rational curves is sufficient to force the submanifold to coincide with a standard model up to open subset, via analytic continuation along lines.
• The second fundamental form computation is avoided entirely, leading to a more conceptual proof of Tsai’s theorem.
• The isometry property of the mapping f: D^IV_3 → D^IV_n is established via vanishing of the (1,1)-tensor g - f*h, derived from polarization and MRC preservation.
• The group M⁻ acts transitively on non-totally geodesic standard models, and its intersection with the isometry group of D^IV_n is trivial except for identity.
• The proof shows that f(D^IV_3) is an affine linear submanifold, hence totally geodesic, due to equivariance and the isometry property.