[论文解读] Admissible pairs of Hermitian symmetric spaces in the perspective of the theory of varieties of minimal rational tangents

Yunxin Zhang|arXiv (Cornell University)|Dec 24, 2014

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

本文利用极小有理切丛（VMRT）理论，对紧致型不可约Hermitian对称空间的可允许对进行分类，建立了非刚性的一个充分条件，并证明了分类中特殊对的代数性。该研究扩展了Hong与Mok的子图型嵌入框架，表明当通过特定根向量条件发生退化时，非刚性对会出现，关键例子包括超二次曲面和某些Grassmannian。

ABSTRACT

We study a pair (\mathcal{S}_0,\mathcal{S}) of irreducible Hermitian Symmetric Spaces of compact type (cHSS) in this paper, with the first aim being classifying all the admissible pairs (\mathcal{S}_0,\mathcal{S})). This notion is a natural generalization of the pairs of sub-diagram type originated by Jaehyun Hong and Ngaiming Mok ([HoM 10]). Based on this classification, we partially solve the rigidity problem for the admissible pairs (\mathcal{S}_0,\mathcal{S}) which was raised by Mok and Zhang (2014) ([MoZ 14]), culminating in determining a sufficient condition for the pairs being non-rigid and proving that special pairs, which show up in the classification procedure, are algebraic, as a weaker result than being rigid. However, whether special pairs are rigid or not remains unknown and needs further investigation in the framework of VMRT theory.

研究动机与目标

• 利用VMRT理论对紧致型不可约Hermitian对称空间的所有可允许对 $(\mathcal{S}_0, \mathcal{S})$ 进行分类。
• 将子图型嵌入的概念扩展至超越Dynkin子图定义的更广泛可允许对类别。
• 研究此类对的刚性问题，特别是识别非刚性的充分条件。
• 确定分类过程中识别出的特殊对是否具有刚性，这是VMRT理论中的一个关键开放问题。
• 在VMRT理论框架下，证明特殊对是代数的，作为全刚性的一个较弱结果。

提出的方法

• 利用极小有理切丛（VMRT）理论分析有理齐次空间的切丛结构。
• 应用可允许对的严格定义：等变嵌入 $i: \mathcal{S}_0 \hookrightarrow \mathcal{S}$，其保持VMRT并诱导 $H_2(\cdot, \mathbb{Z})$ 上的同构。
• 采用与正根向量对偶的Harish-Chandra坐标，分析切空间结构与退化条件。
• 通过双线性形式 $\sigma'(E_{\gamma+\theta_{n+1}}, T_\alpha(\widetilde{\mathscr{C}}_o(\mathcal{S}_0))) = 0$ 的消失来识别退化性。
• 通过映射 $f: \mathbb{C}^n \to \mathbb{C}^n \times \mathbb{C}^{m-n}$，其中 $f(z_1,\dots,z_n) = (z_1,\dots,z_n, z_n^2, 0,\dots,0)$，构造子流形 $S \subset \mathcal{S}$ 的局部芽，以检验子-VMRT结构的继承性。
• 利用射影线性同构 $\Lambda_x$ 验证子-VMRT结构，通过匹配 $\Lambda_x(\mathscr{C}_x(S)) = \mathscr{C}_o(\mathcal{S}_0)$ 与 $\Lambda_x(\mathscr{C}_x(X)) = \mathscr{C}_o(X)$ 实现局部验证。

实验结果

研究问题

• RQ1 哪些紧致型不可约Hermitian对称空间对 $(\mathcal{S}_0, \mathcal{S})$ 在保持VMRT的条件下是可允许的？
• RQ2 基于VMRT结构中的退化，可允许对非刚性的充分条件是什么？
• RQ3 分类过程中识别出的特殊对是否具有刚性，还是允许非平凡形变？
• RQ4 根对应 $\Phi: \Delta_0 \to \Delta$ 如何与可允许对中标准嵌入的存在性相关联？
• RQ5 子流形 $\mathcal{S}$ 在何种程度上继承基于 $\mathcal{S}_0$ 的子-VMRT结构，且这种继承何时意味着非刚性？

主要发现

• 可允许对的分类包括所有子图型对以及额外的非子图型情形，例如 $(Q^n, Q^m)$ 满足 $n \equiv m \pmod{1}$，以及 $(Z^{n-1}_{\text{max}}, Q^{2n-1})$、$(Z^1_{\text{max}}, G^{\text{iii}}(n,n))$（$n \geq 2$）等。
• 建立了非刚性的充分条件：若标准嵌入 $i_{\Phi}: \mathcal{S}_0 \hookrightarrow \mathcal{S}$ 不是由根对应诱导，且退化性由 $\sigma'(E_{\gamma+\theta_{n+1}}, T_\alpha(\widetilde{\mathscr{C}}_o(\mathcal{S}_0))) = 0$ 所导致，则该对是非刚性的。
• 通过映射 $f(z_1,\dots,z_n) = (z_1,\dots,z_n, z_n^2, 0,\dots,0)$ 构造的局部芽 $S \subset \mathcal{S}$ 生成一个继承基于 $\mathcal{S}_0$ 的子-VMRT结构的子流形，从而在退化情形下证明了非刚性。
• 对于三个例外的退化对 $(Z^{n-1}_{\text{max}}, Q^{2n-1})$、$(Z^1_{\text{max}}, G^{\text{iii}}(n,n))$ 以及 $(Q^n, Q^m)$ 满足 $n \equiv m \pmod{1}$，非刚性通过已知例子（Hong–Choe, 2004）及子-VMRT结构的普遍继承性得到确认。
• 分类中出现的特殊对被证明是代数的，尽管其刚性尚未解决，仍需在VMRT理论框架下进一步研究。
• 通过满足 $\Lambda_x(\mathscr{C}_x(S)) = \mathscr{C}_o(\mathcal{S}_0)$ 与 $\Lambda_x(\mathscr{C}_x(X)) = \mathscr{C}_o(X)$ 的局部射影线性同构 $\Lambda_x$，正式建立了子-VMRT结构的理论，从而可在子流形上定义基于 $\mathcal{S}_0$ 的子-VMRT模型。