[論文レビュー] Pluri-canonical maps of varieties of maximal Albanese dimension in positive characteristic

Yuchen Zhang|arXiv (Cornell University)|Mar 7, 2012

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

この論文は、正の特性の代数閉体上での一般型の滑らかで射影的な多様体 $X$ について、$X$ が最大アーベル型をもち、アーベル型写像が分離的であるとき、線形系統 $|4K_X|$ が双有理写像を誘導することを確立している。証明は、特徴的ゼロにおける技術を、フーリエ＝ムカイ変換、テストイデアル、およびフロベニウスとセールの消失を用いて再構成し、正の特性におけるカワマタ＝ヴィエヒェグ消失の失敗を補う。

ABSTRACT

We show that if X is a nonsingular projective variety of general type over an algebraically closed field k of positive characteristic and X has maximal Albanese dimension and the Albanese map is separable, then |4K_X| induces a birational map.

研究の動機と目的

• 特徴的ゼロにおける多項 canonical 写像の結果を正の特性へ拡張すること。
• アーベル型写像が分離的であり、最大アーベル型をもつとき、$|mK_X|$ が双有理写像を誘導するような $m$ の最適な上限を特定すること。
• 正の特性におけるカワマタ＝ヴィエヒェグ消失の失敗を、乗数イデアルの代わりにテストイデアルを用い、フロベニウスとセールの消失を組み合わせることで克服すること。
• 特徴的ゼロにおける $|3K_X|$ の双有理性結果を、最大アーベル型と分離的アーベル型写像の下で、正の特性における $|4K_X|$ に一般化すること。
• フーリエ＝ムカイ変換と漸近的テストイデアルが、一般型多様体の正の特性における双有理幾何を研究する際に効果的に用いられることを確立すること。

提案手法

• アーベル多様体上のフーリエ＝ムカイ変換を用い、コhomologyの消失を介して $mK_X$ の切断を生成する。
• 特徴的ゼロにおける乗数イデアルを、正の特性におけるテストイデアルに置き換え、フロベニウス準同型とトレース写像を活用する。
• トレース写像 $\operatorname{Tr}^e$ の $e$ 回反復を用いて、イデアルのグレード付き系列に対する漸近的テストイデアル $\tau(\mathfrak{a}_\bullet^\lambda)$ を定義する。
• 線形系列に関して $\tau(\lambda \cdot \|D\|) = \tau(\mathfrak{a}_\bullet^\lambda)$ の同型を用い、除数に関連するテストイデアルを定義する。
• カワマタ＝ヴィエヒェグ消失の代わりに、フロベニウスとセールの消失を用いて、正の特性におけるコhomologyの消失を保証する。
• $F^e_*$-引き戻しを介した層のホモオモルフィズムの鎖を構成し、その零次元的スキーム上での挙動を解析することで、$|4K_X|$ の双有理性を証明する。

実験結果

リサーチクエスチョン

• RQ1 正の特性における一般型多様体で最大アーベル型をもち、アーベル型写像が分離的な場合、$|mK_X|$ が双有理写像を誘導する最小の $m$ は何か？
• RQ2 正の特性におけるカワマタ＝ヴィエヒェグ消失の失敗は、正の特性における多項 canonical 写像の文脈で、フロベニウスとセールの消失を用いて克服可能か？
• RQ3 テストイデアルの理論は、正の特性の体上での双有理幾何の研究において、乗数イデアルの理論をどの程度まで置き換えることができるか？
• RQ4 フロベニウスとセールの消失を用いて、正の特性における $mK_X$ の切断を生成するフーリエ＝ムカイ変換と漸近的テストイデアルは、どのように作用するか？
• RQ5 特徴的ゼロにおける $|3K_X|$ の双有理性は、最大アーベル型と分離的アーベル型写像の下で、正の特性における $|4K_X|$ に拡張可能か？

主な発見

• 正の特性の代数閉体上での一般型の滑らかで射影的な多様体 $X$ について、$X$ が最大アーベル型をもち、アーベル型写像が分離的であるとき、$|4K_X|$ は双有理写像を誘導する。
• 証明は、特徴的ゼロにおける乗数イデアルとカワマタ＝ヴィエヒェグ消失を、正の特性におけるテストイデアルとフロベニウス／セールの消失に置き換えている。
• 漸近的テストイデアル $\tau(\|3\Delta\|)$ を用いて $\mathcal{O}_X(4K_X)$ をねじる。このとき得られる層 $\mathcal{O}_X(4K_X) \otimes \tau(\|3\Delta\|)$ は、一般点において接ベクトルを分離する。
• フーリエ＝ムカイ変換を用いて、コhomologyの消失を介して $mK_X$ の切断を生成し、その鍵となるステップはアーベル多様体上の全切断の上への全射である。
• 構成により、一般の $x \in X$ に対して、層 $\mathcal{F}_3 = \mathcal{O}_X(4K_X) \otimes \tau(\|3\Delta\|)$ が点 $x$ および $x$ を中心とする長さ2の零次元的スキーム上で接ベクトルを分離することが示された。
• この結果により、与えられた条件下で $|4K_X|$ が双有理的であることが確認され、特徴的ゼロにおける $|3K_X|$ の結果の正の特性版が得られた。