[論文レビュー] A weaker rigidity theorem for pairs of hyperquadrics and its application

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

Algebraic Geometry and Number Theory参考文献 4被引用数 3

ひとこと要約

本稿は、部分VMRT構造の完全な継承を要件としないで、最小有理曲線の保存のみを仮定することで、双曲二次曲面の対に対するより弱い剛性定理を確立する。この条件を満たす任意の局所的部分多様体は、標準的モデルに含まれることを示しており、第二基本形式の計算を避けた、蔡の定理（有界対称領域間の等長埋め込みに関する）のより内在的な証明を提供する。

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.

研究の動機と目的

• 双曲二次曲面の対に対するより弱い剛性条件を確立し、完全な部分VMRT構造の継承の代わりに最小有理曲線の保存を仮定する。
• タイプIVの有界対称領域間の等長埋め込みに関する蔡の定理のより内在的な証明を提供する。
• 任意の双曲二次曲面内の局所的部分多様体が最小有理曲線を保存し、接線的条件を満たすならば、それが標準的モデルに含まれることを示す。
• 等長性の結果を証明する際、第二基本形式の計算に依存することを回避し、幾何的・表現論的代替手法を提供する。

提案手法

• 主な手法は、双曲二次曲面 Q^m 内の部分多様体 S の点における最小有理接線の集合（VMRT）を分析することである。
• S に接する最小有理曲線（MRC）が S 内に含まれ続けるという条件を用いる。これは部分VMRT構造の継承よりも強い条件である。
• 原点を通る直線に沿った解析接続を用いて、S のVMRTを標準的モデル M のVMRTと特定する。
• 定義関数の2階微分を計算することで、S と標準的モデル M の間の2階接続性を非ゼロ点で示す。
• 同調部分群 M⁻ の作用を用いて、Q^m 内に非全測地的標準的モデルを生成する。
• 極化および等変性の議論を適用し、写像 f による度合いの引き戻し g - f*h が恒等的に消えることを示し、等長性を導く。

実験結果

リサーチクエスチョン

• RQ1 双曲二次曲面の部分多様体が標準的モデルに含まれるよう強制されるより弱い条件下では、どのような条件が成立するか？
• RQ2 部分VMRT構造が完全に継承されない場合でも、最小有理曲線の保存だけが、部分多様体が標準的モデルに含まれることを示唆できるか？
• RQ3 第二基本形式の計算を避けて、有界対称領域の蔡の剛性定理を証明することは可能か？
• RQ4 群 M⁻ の作用は、Q^m 内で非全測地的標準的モデルをどのように生成するか？
• RQ5 同調部分群 K 及びその複素化は、Q^m と D^IV_n の幾何的構造において果たす役割は何か？

主な発見

• 任意の局所的 n 次元部分多様体 S ⊂ Q^m が、VMRT が Q^{n-2} に同型であり、最小有理曲線を保存する接線的条件を満たすならば、ある標準的モデルに含まれる。
• 最小有理曲線の保存が、原点を通る直線に沿った解析接続を用いることで、部分多様体が標準的モデルと開部分集合まで一致することを強制する。
• 第二基本形式の計算は完全に回避され、蔡の定理のより概念的な証明が得られる。
• 写像 f: D^IV_3 → D^IV_n の等長性は、極化および MRC 保存から導かれる (1,1) 構造 g - f*h が恒等的に消えることによって確立される。
• 群 M⁻ は非全測地的標準的モデルに推移的に作用し、D^IV_n の等長群との交わりは、恒等写像を除き自明である。
• 証明により、f(D^IV_3) は等変性および等長性から、アフィン線形部分多様体（よって全測地的）であることが示される。