[論文レビュー] On Fano complete intersections in rational homogeneous varieties

Chenyu Bai, Bojie Fu+1 more|arXiv (Cornell University)|Aug 5, 2018

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

ひとこと要約

この論文は、有理型同次多様体内の局所的剛性を持つファノ完結交差を分類し、それが射影空間または超2次曲面、あるいはグラスマンニアン、スピン形式多様体、例外的フラッグ多様体などの特定の同次多様体の一般線形切断であるか、それらに他ならないことを示している。主な結果は、接バンドルの第一コホモロジーが自明であるようなこのようなファノ多様体の完全な分類であり、Vinbergの放物型前置多様体理論を用いて、背後にある構造を説明している。

ABSTRACT

Complete intersections inside rational homogeneous varieties provide interesting examples of Fano manifolds. For example, if $X = \cap_{i=1}^r D_i \subset G/P$ is a general complete intersection of $r$ ample divisors such that $K_{G/P}^* \otimes \mathcal{O}_{G/P}(-\sum_i D_i)$ is ample, then $X$ is Fano. We first classify these Fano complete intersections which are locally rigid. It turns out that most of them are hyperplane sections. We then classify general hyperplane sections which are quasi-homogeneous.

研究の動機と目的

• 有理型同次多様体内の局所的剛性（非自明な変形を許さない）を持つファノ完結交差を分類すること。
• そのようなファノ多様体のうち、代数的群による推移的作用をもつ、すなわち準同次的であるもの（quasi-homogeneous）を特定すること。
• ヘルミート対称空間の超平面切断に関する先行結果を、より一般の完結交差へと拡張すること。
• Vinbergの放物型前置多様体理論を用いて、分類の幾何的起源を説明すること。
• 表現論的およびコホモロジー的手段を用いて、これらのファノ多様体の剛性と対称性を統一的に理解する枠組みを提供すること。

提案手法

• Kodaira–Nakanoの消滅定理を用い、局所的剛性を $ H^1(X, T_X) = 0 $ に帰着させる。$ q \geq 2 $ に対して $ H^q(X, T_X) = 0 $ であるため、これは同値である。
• 変形理論を適用する：滑らかな射影的多様体 $ X $ が局所的剛性を持つための必要十分条件は $ H^1(X, T_X) = 0 $ であり、これは一次の変形が自明であることに等しい。
• 単純な代数群 $ G $ とその放物型部分群 $ P $ による有理型同次多様体 $ G/P $ の構造を活用し、$ K_{G/P}^* \otimes \mathcal{O}_{G/P}(-\sum D_i) $ が非常に ample であるような、非常に ample な除数 $ D_i $ の完結交差 $ X = \bigcap_{i=1}^r D_i \subset G/P $ を分析する。
• Vinbergの放物型前置多様体理論を用い、特にディンキン図形からノードを1つ除去した場合に現れる、$ G/P $ の線形切断の同型型が有限個であることを説明する。
• 具体的な切断の自己同型群を、明示的な表現を用いて分析する。例えば、$ \mathbb{S}_5 $ のcodimension 2 切断では $ \mathfrak{g}_2 \times \mathfrak{sl}_2 $、カイリー平面のcodimension 2 切断では $ \mathrm{Spin}_8 $ が自己同型代数として現れる。
• 点の安定化部分群（例：純粋スピン形式や $ H_3(\mathbb{O}) $ の行列）を構成し、軌道が開集合または閉集合であることを示すことで、準同次性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有理型同次多様体内のどのファノ完結交差が局所的剛性を持つのか？
• RQ2 有理型同次多様体のどの一般線形切断が準同次的（quasi-homogeneous）であるのか？
• RQ3 このような切断の同型型が有限個であるという事実の幾何的および表現論的説明は何か？
• RQ4 Vinbergの放物型前置多様体理論は、これらのファノ多様体の剛性をどのように説明するのか？
• RQ5 一般のcodimension $ k $ 線形切断 $ G/P $ の自己同型群の構造は何か？ そして、それが準同次性とどのように関係するのか？

主な発見

• 局所的剛性を持つ唯一のファノ完結交差は、$ \mathbb{P}^n $、$ \mathbb{Q}^n $、あるいは $ \mathrm{Gr}(2,n), \mathrm{Gr}(3,6), \dots, E_7/P_7 $ などの特定の同次多様体の一般線形切断に同型であるものに限られる。
• codimension 2 および 3 において、$ \mathrm{Gr}(2,2k+1) $（$ k \geq 2 $）の一般超平面切断、$ \mathbb{S}_5 $、および $ \mathrm{Gr}(2,5) $ はそれぞれ局所的剛性を持つ。
• $ \mathbb{P}(T_{\mathbb{P}^2}) $ 上のbidegree $ (1,1) $ の一般超曲面は局所的剛性を持ち、$ E_6 $ の三重ノード切断として現れる。
• $ \mathbb{S}_5 $ の一般codimension 2 線形切断は、自己同型代数 $ \mathfrak{g}_2 \times \mathfrak{sl}_2 $ を持ち、その開軌道は8次元である。
• カイリー平面 $ E_6/P_1 $ の一般codimension 2 切断は、$ \mathrm{Spin}_8 / G_2 $ のコンactificationであり、点の安定化部分群は $ G_2 $ に同型である。
• 分類はVinberg理論によって説明される：各ケースは、ディンキン図形からノードを1つ除去した場合に、残りが $ A_{k-1} $ と連結な図形 $ D_0 $ の disjoint な和に分解されるものに対応する。