[論文レビュー] Smooth Projective Symmetric Varieties with Picard Number equal to one

Alessandro Ruzzi|ArXiv.org|Feb 12, 2007

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

ひとこと要約

この論文は、半単純な $G$ に対して、ピカール数が1の滑らかで、射影的で、対称な $G$-代数的多様体を分類し、それがすべてファノ多様体であることを証明するとともに、色付きファンを用いた完全な組合せ的分類を提示する。主な結果は、このような多様体が滑らかであるための必要十分条件である：関連するトロイカル部分多様体が滑らかであること。この条件により、ルート系の型と部分群の指数に基づいた分類が可能になる。

ABSTRACT

We classify the smooth projective symmetric G-varieties with Picard number one (and G semisimple). Moreover we prove a criterion for the smoothness of the simple (normal) symmetric varieties whose closed orbit is complete. In particular we prove that, given a such variety X which is not exceptional, then X is smooth if and only if an appropriate toric variety contained in X is smooth.

研究の動機と目的

• $G$ が半単純である場合に、ピカール数が1の滑らかで射影的な対称 $G$-多様体を分類すること。
• 閉軌道が完全な単純な対称多様体の滑らかさに関する基準を確立すること。
• 対称多様体の滑らかさと埋め込まれたトロイカル部分多様体の滑らかさとの関係を特定すること。
• ピカール数が1の対称多様体のうち、射影的でかつファノであるものかどうかを特定すること。
• 色付きファンとルート系のデータを用いた完全な組合せ的分類を提供すること。

提案手法

• 対称多様体の滑らかさ問題を、関連するトロイカル部分多様体 $\overline{T \cdot x_0}$ の滑らかさ問題に還元する。
• 色付きファンの構成を用いて、対称多様体の組合せ的データを符号化する。
• 球的多様体の理論と $G$-等変埋め込みの理論を応用して、軌道構造を分析する。
• 制限されたルート系 $R_{G,\theta}$ と $H \subset N_G(G^\theta)$ の構造を用いて、場合分けを分類する。
• 除数類群のランクと色付き錐の構造を用いて、ピカール群を分析する。
• 閉軌道が高々2つの完全な対称多様体は射影的であることが分かっているため、分類が可能になる。

実験結果

リサーチクエスチョン

• RQ1 $G$ が半単純である場合に、ピカール数が1の滑らかで射影的な対称 $G$-多様体はどのように存在するか？
• RQ2 色付きファンにどのような組合せ的条件が満たされると、対称多様体が滑らかになるか？
• RQ3 ピカール数が1の対称多様体が射影的であるのはいつか？
• RQ4 $H$（$N_G(G^\theta)$ の部分群としての）構造が、滑らかさとピカール数にどのように影響するか？
• RQ5 どの制限ルート系 $R_{G,\theta}$ が、ピカール数が1の滑らかで射影的な対称多様体を許容するか？

主な発見

• ピカール数が1の滑らかで射影的な対称 $G$-多様体は、すべてファノ多様体である。
• ピカール数が1の滑らかな完全な対称多様体は、高々2つの閉軌道を持つ。
• このような多様体が射影的であるための必要十分条件は、高々2つの閉軌道を持つことであるが、ピカール数が1の場合は常に成り立つ。
• 対称多様体の滑らかさは、関連するトロイカル部分多様体 $\overline{T \cdot x_0}$ の滑らかさと同値である。
• ルート系の型が $A_l$（$l > 1$）の場合、$D_{\text{max}}$-錐は、$(cone(\alpha^\vee_1,\dots,\alpha^\vee_{l-1}, -\omega^\vee_1), \{D_{\alpha^\vee_1},\dots,D_{\alpha^\vee_{l-1}}\})$ またはその双対として明示的に記述される。
• 型 $E_6$、$E_7$、$E_8$、$F_4$ は、ピカール数が1の滑らかで射影的な対称多様体を許容しない。