[論文レビュー] Fano varieties of cubic fourfolds containing a plane

Emanuele Macrì, Paolo Stellari|arXiv (Cornell University)|Sep 15, 2009

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

ひとこと要約

本稿では、平面を含む一般の三次四次元超曲面の直線のファノ多様体が、K3多様体上のねじれた安定複体のモジュライ空間に同型であることを確立している。一方で、常にねじれた安定層のモジュライ空間に双有理的である。この同型は、ねじれた層の導来カテゴリ－における壁越えによって生じ、ファノ多様体の幾何とK3多様体上のモジュライ理論とをカテゴリカルな手法によって結びつける。

ABSTRACT

We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived category of twisted sheaves on the corresponding K3 surface.

研究の動機と目的

• 平面を含む三次四次元超曲面の直線のファノ多様体の幾何を理解すること。これはハッセットの同型結果がカバーしない特別なクラスの三次四次元超曲面である。
• このようなファノ多様体が、K3多様体上のねじれた安定層または複体のモジュライ空間に同型であるかどうかを調査すること。これにより、ハッセットの定理を d=2(n²+n+2) の場合から拡張する。
• 半直交分解と安定性条件を用いて、ファノ多様体とK3多様体上のモジュライ空間との間の導来カテゴリカルな枠組みを確立すること。
• 関連するK3多様体上のブラウアー類 β が、ファノ多様体の双有理型および同型型を決定する役割を明確にすること。
• ファノ多様体がねじれた安定複体のモジュライ空間に同型である一方で、常にねじれた安定層のモジュライ空間に双有理的であることを示し、両者を壁越えによって関連付けること。

提案手法

• 三次四次元超曲面 Y の一様連接層の導来カテゴリ－のクズネツォフの半直交分解を用い、非自明な成分 T_Y を分離する。
• 平面に沿った Y の吹き上げによって得られる二次曲面ファイブレーションから、平面上の非特異な平面六次曲線を分岐曲線とする P² への2重被覆として K3多様体 S を構成する。
• S 上にブラウアー類 β（自明または位数 2）を導入し、これはモジュライ空間内のねじれの分類を担う。
• m > 0 をパrameterとする S 上のねじれた層の導来カテゴリ－における安定性条件 σ_m を導入し、σ_m-安定な対象のモジュライ空間 M^{σ_m}(S,v,B) を定義する。
• 安定性マニフォールドにおける壁越え技法を用い、小さな m における σ_m-安定な複体のモジュライ空間と、大きな m における β-ねじれた安定層のモジュライ空間との関係を確立する。
• ブリッジランドらの導来カテゴリ－におけるモジュライ空間の構造に関する結果を適用し、小さな m に対してファノ多様体 F(Y) が M^{σ_m}(S,v,B) に同型であり、大きな m に対しては M(S,v,B) に双有理的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の平面を含む三次四次元超曲面 Y のファノ多様体 F(Y) は、K3多様体上のねじれた安定複体のモジュライ空間に同型であるか？
• RQ2 F(Y) が両方のモジュライ空間（ねじれた安定複体およびねじれた安定層）に双有理的であるとき、それらのモジュライ空間の関係は何か？
• RQ3 関連するK3多様体上のブラウアー類 β は、F(Y) の双有理型および同型型を決定する上で果たす役割は何か？
• RQ4 K3多様体上のねじれた層の導来カテゴリ－における壁越えは、ファノ多様体と層のモジュライ空間との間の幾何的遷移を説明できるか？
• RQ5 F(Y) の幾何は、安定性条件と半直交分解を含むカテゴリカルな構成によって完全に捉えられるか？

主な発見

• 一般の平面を含む三次四次元超曲面 Y のファノ多様体 F(Y) は、小さな m > 0 に対して、K3多様体 S 上の σ_m-安定複体のモジュライ空間 M^{σ_m}(S,v,B) に同型である。
• ファノ多様体 F(Y) は、常に同じ K3多様体 S 上の β-ねじれた安定層のモジュライ空間 M(S,v,B) に双有理的である。
• F(Y) と M^{σ_m}(S,v,B) 間の同型は、S 上のねじれた層の導来カテゴリ－における壁越えによって生じ、安定性条件 σ_m が m = m₀ で壁を越えることによって実現される。
• ムカイベクトル v を持つ σ_m-安定な対象に対して、モジュライ空間 M^{σ_m}(S,v,B) は F(Y) に同型であり、これらの対象は直線 l ⊂ Y の理想層 J_l に同型であることが示された。
• σ_m-安定な対象が適切に半安定である場合、それらは2つの安定な因子の拡張として現れ、その結果得られる対象も依然として J_l に同型である。これはモジュライ解釈を確認する。
• ファノ多様体 F(Y) は、P(Hom(E₀,E₁)) に沿ったムカイフロップとして、M(S,v,B) の正確な双有理的モデルとして実現され、カテゴリカル幾何学を用いたモジュライ空間の明確な双有理的モデルが得られた。