[論文レビュー] 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）理論を用いて、コンpakto型の非可約ヘルミート対称空間の許容的対を分類し、非剛性の十分条件を確立するとともに、分類における特別な対が代数的であることを証明している。ホンとモクの部分ダイニン図型埋め込み枠組みを拡張し、特定のルートベクトル条件による退化が生じる場合に非剛性対が出現することを示しており、ハイパークアドリックと特定のグラスマン多様体が主な例となっている。

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理論を用いて、コンパクト型の非可約ヘルミート対称空間のすべての許容的対 $(\mathcal{S}_0, \mathcal{S})$ を分類すること。
• ダイニン部分図に基づくものに限らない、より広いクラスの許容的対へ、部分図型埋め込みの概念を拡張すること。
• このような対における剛性問題を調査し、特に非剛性の十分条件を同定すること。
• 分類プロセスで特定された特別な対が剛性を持つのか、それとも非自明な変形を許すのかを特定すること — これはVMRT理論における主要な未解決問題である。
• VMRT理論の枠組みにおいて、特別な対が代数的であることを示すこと — これは完全な剛性よりも弱い結果である。

提案手法

• 有理ホロノミック空間の接構造を解析するため、最小有理接線の多様体（VMRT）理論を用いる。
• 許容的対の形式的定義を適用：VMRTを保存し、$H_2(\cdot, \mathbb{Z})$ に同型を誘導する $i: \mathcal{S}_0 \hookrightarrow \mathcal{S}$ である等変埋め込み。
• 正ルートベクトルに双対的なハリシュ・チャンドラ座標を用いて、接空間構造と退化条件を分析する。
• 双線形形式 $\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(\mathscr{C}_x(S)) = \mathscr{C}_o(\mathcal{S}_0)$ および $\Lambda_x(\mathscr{C}_x(X)) = \mathscr{C}_o(X)$ を満たす射影線形同型 $\Lambda_x$ を用いて、部分VMRT構造を検証する。

実験結果

リサーチクエスチョン

• RQ1 VMRTを保存する条件の下で、コンパクト型の非可約ヘルミート対称空間の対 $(\mathcal{S}_0, \mathcal{S})$ のうち、どの対が許容的か？
• RQ2 VMRT構造における退化に基づいて、許容的対が非剛性を示すための十分条件は何か？
• RQ3 分類プロセスで特定された特別な対は剛性を持つのか、それとも非自明な変形を許すのか？
• RQ4 ルート対応 $\Phi: \Delta_0 \to \Delta$ は、許容的対における標準的埋め込みの存在とどのように関係するか？
• RQ5 多様体 $\mathcal{S}$ の部分多様体が $\mathcal{S}_0$ をモデルとする部分VMRT構造をどの程度継承するのか？ そして、その継承が非剛性を示すにはどのような条件下で成立するのか？

主な発見

• 許容的対の分類には、すべての部分図型埋め込み対に加え、$n \equiv m \pmod{1}$ である $(Q^n, Q^m)$ や、$(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構造を継承する。これにより、退化状態における非剛性が証明された。
• 3つの例外的退化対 $(Z^{n-1}_{\text{max}}, Q^{2n-1})$、$(Z^1_{\text{max}}, G^{\text{iii}}(n,n))$、および $n \equiv m \pmod{1}$ である $(Q^n, Q^m)$ については、既知の例（ホン・チョエ、2004年）と部分VMRT構造の一般的継承により、非剛性が確認された。
• 分類において現れる特別な対は代数的であることが証明されたが、その剛性は未解決であり、VMRT理論の枠組み内でさらなる研究を要する。
• 局所的射影線形同型 $\Lambda_x$ が $\Lambda_x(\mathscr{C}_x(S)) = \mathscr{C}_o(\mathcal{S}_0)$ および $\Lambda_x(\mathscr{C}_x(X)) = \mathscr{C}_o(X)$ を満たすことで、部分VMRT構造の理論が形式化された。これにより、部分多様体上での部分VMRTモデルの定義が可能になった。