[論文レビュー] On non-liftable Calabi-Yau threefolds

Torsten Ekedahl|ArXiv.org|Jun 30, 2003

Algebraic Geometry and Number Theory被引用数 13

ひとこと要約

本稿は正標数における非可昇型Calabi-Yau3次元多様体を研究し、その特徴類的不変量と最小普遍変形空間を計算する。Hirokadoの例の変形空間が標数3において算術的に剛性であることを証明し、超特異K3表面にパラメータ付けられる新しいCalabi-Yau3次元多様体の族の変形空間が、Ogusの周期論および正標数における変形理論を用いて、剰余体上ですべらかであることを示す。

ABSTRACT

Only two ways to construct non-liftable Calabi-Yau threefolds are currently known, one example by Hirokado and one method of Schröer. This article computes some cohomological invariants of these examples of non-liftable Calabi-Yau threefolds, in particular it computes their mini-versal deformations. One conclusion is that their mixed characteristic mini-versal deformation spaces are actually smooth over the characteristic $p$ base field. Furthermore, a new family, constructed in the spirit of Schröer, is introduced and the same calculations are performed for it.

研究の動機と目的

• 非可昇型Calabi-Yau3次元多様体の変形理論を理解すること、これは正標数においてまれである。
• 既知の例に対してホッジ数やde Rham-Wittコホモロジーなどの特徴類的不変量を計算すること。
• 特に超特異K3表面にパラメータ付けられるCalabi-Yau3次元多様体の場合に、最小普遍変形空間の構造を特定すること。
• 基底変換および消失定理を用いて、剰余体上での変形空間の滑らかさを確立すること。
• 正標数におけるホッジからde Rhamへのスペクトル系列の非退化性が変形理論に与える影響を調査すること。

提案手法

• Hirokadoの3次元多様体がP^5における型(2,4)の完全交差の小さな解消であるという事実を用い、デリーニュ＝ルシュティグ型の幾何学によりホッジ数を計算する。
• Serreの手法を適用し、3次元多様体上の群作用が標数0に引き上げられないことを示すことにより、算術的剛性を証明する。これにより、W(F_3)上に非自明な変形が存在しないことが導かれる。
• Ogusの超特異K3表面の周期論を用いて、新しい超特異K3表面にパラメータ付けられるCalabi-Yau3次元多様体の族を構成する。
• 最小普遍変形空間の接空間次元を解析し、変形空間におけるp-torsionの非消滅性を用いて、剰余体上ですべらかであることを証明する。
• デリーニュ＝イルシューゼとは対照的に、ホッジからde Rhamへのスペクトル系列が非退化することを用いて、W-変形空間がpで殺されないことを示す。
• 基底変換およびTor消失技法を用いて、特にモジュール上のウェッジフィルトレーションの下での層のコホモロジーを計算する。

実験結果

リサーチクエスチョン

• RQ1 正標数における非可昇型Calabi-Yau3次元多様体の特徴類的不変量、例えばホッジ数やde Rham-Wittコホモロジーは何か？
• RQ2 非可昇型Calabi-Yau3次元多様体の最小普遍変形空間は、剰余体上ですべらかいのか？
• RQ3 超特異K3表面にパラメータ付けられる新しいCalabi-Yau3次元多様体の族を構成できるか？その変形的性質は何か？
• RQ4 これらの3次元多様体において、ホッジからde Rhamへのスペクトル系列が正標数で非退化しないのはなぜか？その結果は何か？
• RQ5 群作用の引き上げ障害を用いて、非可昇型Calabi-Yau3次元多様体に対して算術的剛性をどの程度まで確立できるか？

主な発見

• HirokadoのCalabi-Yau3次元多様体は算術的に剛性である：任意の3次元多様体の完全局所環を係数とする変形は、3A = 0を満たす形X × Spec Aとして自明でなければならない。
• Hirokadoの3次元多様体の最小普遍変形空間は、非可昇型であるにもかかわらず、剰余体F_3上ですべらかである。
• Ogusの周期論を用いて、ρ = 22である超特異K3表面にパラメータ付けられる新しいCalabi-Yau3次元多様体の族が構成された。
• この新しい族に対して、普遍W(k)-変形空間はk上ですべらかであり、接空間次元はコホモロジーから得られる予想される次元と一致する。
• これらの3次元多様体において、ホッジからde Rhamへのスペクトル系列は標数2または3において非退化せず、これはデリーニュ＝イルシューゼの定理の適用を妨げる。
• この新しい族のde Rham-Wittコホモロジーは、正次元の変形の族を持つため、このようなCalabi-Yau3次元多様体の分類はコホモロジーのみでは不可能である。