[論文レビュー] A characterization of toric varieties in characteristic p

Piotr Achinger|arXiv (Cornell University)|Mar 24, 2013

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

ひとこと要約

この論文は、正の特性を持つ代数閉体上の滑らかで射影的な多様体が、Frobenius準同型による任意の可逆層の押し出し（pushforward）が可逆層の直和に分解するとき、かつそのときに限り、トーリック多様体であることを確立している。証明ではCox環とKunzの基準を用い、Frobenius捩れの下での平坦性がCox環が多項式環であることを強制し、その結果多様体がトーリックであることを示している。このように、正の特性におけるトーリック多様体の特徴づけは、Frobenius分離性の性質によってなされる。

ABSTRACT

If $X$ is a smooth toric variety over an algebraically closed field of positive characteristic and $L$ is an invertible sheaf on $X$, it is known that $F_* L$, the push-forward of $L$ along the Frobenius morphism of $X$, is a direct sum of invertible sheaves. We show that this property characterizes smooth projective toric varieties.

研究の動機と目的

• 正の特性における滑らかで射影的なトーリック多様体を、可逆層のFrobenius押し出しの分離性によって特徴づけること。
• 滑らかで射影的な多様体において、すべての可逆層のFrobenius押し出し $ F_*L $ が可逆層の直和に分解する、という性質が、多様体がトーリックであることと同値であることを証明すること。
• Cox環のアプローチを用い、Kunzの正則性基準を適用することで、特徴づけを特徴零体から正の特性へと拡張すること。
• Cox環形式主義に依存するため、非射影的多様体への一般化の限界を明確にすること。

提案手法

• Picard群が自由アーベル群である場合に帰着するため、Picard群が自由となる有限エタール被覆を考察すること。
• 多様体 $ X $ のCox環 $ R $ を用い、これはPicard群により重み付けられる。すべての $ L $ に対して $ F_*L $ が分解するという仮定から、$ R $ が $ R^p $ 上平坦であることが導かれる。
• Kunzの基準の適用：$ R $ が $ R^p $ 上平坦であることから、$ R $ が正則であり、したがって多項式環であることが従う。
• 補題5の適用：零次の次数に体があり、最大の同次イデアルを持つ正則で重み付きの整域は、多項式環に同型である。
• Cox環形式主義を用いるために、引き戻しPicard群が自由となる有限エタール被覆 $ Y \to X $ を構成すること。
• 正の特性における [KW11, 定理1.5] の適用（トーラスのLunaのエタールスライス定理により正当化）により、$ Y $ がトーリックであること、したがってエタール同型により $ X $ がトーリックであることへと結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべての可逆層 $ L $ に対して $ F_*L $ が可逆層の直和に分解するという性質が、正の特性における滑らかで射影的なトーリック多様体を特徴づけるか？
• RQ2 通常は特徴零体の仮定に依存するが、Cox環のアプローチを用いて正の特性におけるトーリック多様体を特徴づけられるか？
• RQ3 Frobenius準同型が、正の特性におけるトーリック多様体と他の滑らかで射影的な多様体を区別する上で果たす役割は何か？
• RQ4 Cox環形式主義に依存する以上、特徴づけは非射影的多様体へどの程度拡張可能か？

主な発見

• 代数閉体の正の特性 $ p > 0 $ 上の滑らかで射影的な多様体 $ X $ は、任意の可逆層 $ L $ に対して $ F_*L $ が可逆層の直和に分解するとき、かつそのときに限り、トーリック多様体である。
• Frobenius押し出し $ F_*\mathcal{O}_X(D) $ は、$ D - \ell E $ を係数 $ \{0,1,\ldots,\ell-1\} $ を持つ $ T $-不変除集合で表すようなものに対応する、重複度付きの可逆層の直和に分解される。
• 分解仮定によって誘導される、Cox環 $ R $ と $ R^p $ 間の平坦性から、Kunzの基準により $ R $ が正則であり、したがって多項式環であることが従う。
• Cox環の正則性は、トーリック多様体の分類におけるCox環による特徴づけにより、$ X $ がトーリック多様体であることを強制する。
• 証明は $ X $ の射影性に依存しており、[KW11] のCox環特徴づけは射影性を要するため、一般に固有多様体では成り立たない。
• Cox環形式主義に依存するため、非射影的多様体への拡張は成立しない。