[論文レビュー] Lagrangian embeddings of cubic fourfolds containing a plane

Genki Ouchi|arXiv (Cornell University)|Jul 27, 2014

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

ひとこと要約

この論文は、平面を含む非常に一般な立方四次曲面が、その四次曲面に関連するねじれK3表面の導来圏におけるブリッジランド安定的対象のモジュライ空間として構成された複素シンプレクティック8次元多様体へラグランジュ埋め込み可能であることを証明している。この8次元多様体は、K3表面の4点のヒルベルトス킴と変形同値であり、Pfaffianや平面を含まない場合に限られていた従来の結果を、導来圏と安定的条件を用いて一般化した。

ABSTRACT

We prove that a very general cubic fourfold containing a plane can be embedded into a holomorphic symplectic eightfold as a Lagrangian submanifold. We construct the desired holomorphic symplectic eightfold as a moduli space of Bridgeland stable objects in the derived category of the twisted K3 surface corresponding to the cubic fourfold containing a plane.

研究の動機と目的

• Pfaffianや平面を含まない場合に限られていた立方四次曲面のラグランジュ埋め込みの構成を、それらのケースを超えて拡張すること。
• 平面を含む非常に一般な立方四次曲面が、複素シンプレクティック8次元多様体内にラグランジュ部分多様体として埋め込まれることを確立すること。
• 関連するねじれK3表面の導来圏におけるブリッジランド安定的対象のモジュライ空間として、ターゲットとなる8次元多様体を構成すること。
• この8次元多様体が、四次曲面に平面が含まれる場合でも、K3表面の4点のヒルベルトス킴と変形同値であることを示すこと。

提案手法

• 平面を含む立方四次曲面の導来圏のクズネツォフの半直交分解を用い、Calabi-Yau 2カテゴリ $\mathcal{A}_X$ を分離する。
• クズネツォフの導来同値性を用いて、$\mathcal{A}_X \simeq D^b(S, \alpha)$ となるねじれK3表面 $(S, \alpha)$ を構成する。
• $\lambda \in (\sqrt{3/8}, 3/4)$ に対して、$D^b(S, \alpha)$ 上に、スクリャプチャーファンクターの射影を安定化させるように調整されたブリッジランド安定的条件 $\sigma_\lambda$ を定義する。
• $D^b(S, \alpha)$ 内の $\sigma_\lambda$-安定な対象のモジュライ空間として、複素シンプレクティック8次元多様体 $M$ を構成する。特に、射影関手による点層の像 $P_x = \mathrm{pr}(\mathcal{O}_x)$ に注目する。
• ハーダー＝ナラシマンおよびジョルダン＝ホルダー分解を用い、不安定な部分対象 $F$ に対する中心的質量 $Z(F)$ を解析することで、$P_x$ がすべての $x \in X$ に対して $\sigma_\lambda$-安定であることを証明する。特に、小さなランクに対して矛盾が生じることを示す。
• 不変量と安定的条件の比較により、得られたモジュライ空間 $M$ がK3表面の4点のヒルベルトス킴と変形同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 平面を含む非常に一般な立方四次曲面は、ねじれ立方体に基づく従来の方法が失敗するにもかかわらず、複素シンプレクティック8次元多様体内にラグランジュ部分多様体として埋め込めるか？
• RQ2 関連するねじれK3表面の導来圏におけるブリッジランド安定的対象のモジュライ空間は、K3表面の4点のヒルベルトス킴と変形同値か？
• RQ3 平面を含む立方四次曲面の導来圏構造は、その関連ねじれK3表面の幾何にどのように関係しているか？
• RQ4 どの安定的条件が $D^b(S, \alpha)$ 上で $P_x = \mathrm{pr}(\mathcal{O}_x)$ が安定であることを保証し、ターゲット8次元多様体の構成を可能にするか？
• RQ5 平面を含む非常に一般な立方四次曲面の有理的でない性質の障害は、任意のK3表面 $S$ に対して $\mathcal{A}_X$ が $D^b(S)$ と同値でないことに反映されるか？

主な発見

• $D^b(S, \alpha)$ 内の $\sigma_\lambda$-安定対象のモジュライ空間として構成された複素シンプレクティック8次元多様体 $M$ は、K3表面の4点のヒルベルトス킴と変形同値である。
• 平面を含む非常に一般な立方四次曲面 $X$ に対して、すべての $x \in X$ に対して $P_x = \mathrm{pr}(\mathcal{O}_x)$ が $\sigma\_\lambda$-安定であることが保証され、$X$ が $M$ 内にラグランジュ部分多様体として埋め込まれる。
• 不安定な部分対象 $F$ に対する中心的質量 $Z(F)$ は、$\mathrm{rk}F < 4$ のとき矛盾を引き起こし、さらなる解析により $\mathrm{rk}F = 2$ や $\mathrm{rk}F = 1$ である可能性も排除され、$P_x$ が安定であることが証明される。
• 非常に一般な $X$ に対して、$\alpha \in \mathrm{Br}(S)$ は非自明であるため、$M$ は通常のK3表面上の層のモジュライ空間ではなく、ねじれK3表面上のものである。
• ブリッジランド安定的条件と導来圏を用いた構成により、ねじれ立方体に基づく従来の方法が失敗する平面を含む立方四次曲面に対しても、ラグランジュ埋め込みが成功に拡張された。
• 不安定な部分対象の仮定のもとで不等式 $\lambda^2 < 9/32$ が矛盾することを示し、その結果、このような部分対象が存在しないことが確認され、$P_x$ が安定であることが裏付けられる。