[论文解读] 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的有界对称域之间等距嵌入的蔡氏定理提供更内在的证明。
• 证明任意保持极小有理曲线并满足切向条件的双超二次曲面局部子流形必包含于某一标准模型中。
• 消除证明等距性结果时对第二基本形式计算的依赖，提供一种几何的、表示论的替代方法。

提出的方法

• 主要方法是分析子流形 S 在双超二次曲面 Q^m 中点处的极小有理切线族（VMRT）。
• 利用极小有理曲线（MRCs）在 S 处的切线仍完全包含于 S 的条件，该条件强于子-VMRT结构的继承。
• 证明依赖于通过原点出发的直线进行解析延拓，将 S 的 VMRT 与标准模型 M 的 VMRT 识别。
• 通过计算定义函数的二阶导数，证明 S 与标准模型 M 在直线上的非零点处具有二阶切性。
• 论证利用了稳定子子群 M⁻ 的作用，以在 Q^m 中生成非全测地的标准模型。
• 应用极化与等变性论证，证明映射 f 下的度量拉回恒为零，从而推出等距性。

实验结果

研究问题

• RQ1 在何种较弱条件下，双超二次曲面的子流形会被迫位于标准模型中？
• RQ2 仅凭极小有理曲线的保持是否足以推出子流形包含于标准模型中，即使子-VMRT结构未被完全继承？
• RQ3 是否可能在不计算第二基本形式的前提下证明蔡氏关于有界对称域的刚性定理？
• RQ4 群 M⁻ 的作用如何在 Q^m 中生成非全测地的标准模型？
• RQ5 稳定子子群 K 及其复化在 Q^m 和 D^IV_n 的几何结构中起何作用？

主要发现

• 任意满足 VMRT 同构于 Q^{n-2} 且保持极小有理曲线的局部 n 维子流形 S ⊂ Q^m，必包含于某个标准模型中。
• 通过沿直线的解析延拓，极小有理曲线的保持足以迫使子流形与标准模型在某个开子集上重合。
• 第二基本形式的计算被完全避免，从而为蔡氏定理提供了更概念性的证明。
• 映射 f: D^IV_3 → D^IV_n 的等距性通过 (1,1) 张量 g - f*h 恒为零而确立，该结果源于极化与 MRC 保持性。
• 群 M⁻ 在非全测地标准模型上作用传递，且其与 D^IV_n 的等距群的交集除单位元外为空。
• 证明表明 f(D^IV_3) 是仿射线性子流形，因此为全测地，这是由等变性与等距性所保证的。