[論文レビュー] Instanton bundles on $\mathbb{P}^1 imes\mathbb{F}_1$

Vincenzo Antonelli, Gianfranco Casnati+1 more|arXiv (Cornell University)|Jan 1, 2021

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

ひとこと要約

この論文は、Fano 3次元多様体 $\mathbb{P}^1 \times \mathbb{F}_1$ 上のインスタントン bundle について、自由層項を持つモノイドによる記述を確立し、任意の such bundle がその cohomology として得られることを証明している。任意の許容可能な2番目のチエーン類をもつインスタントン bundle のモジュライ成分を構成し、最小インスタントン bundle が aCM であることを示し、それらのモジュライ空間の完全な記述を与えている。

ABSTRACT

In this paper we deal with a particular class of rank two vector bundles (\emph{instanton} bundles) on the Fano threefold of index one $F:=\mathbb{F}_1 imes \mathbb{P}^1$. We show that every instanton bundle on $F$ can be described as the cohomology of a monad whose terms are free sheaves. Furthermore we prove the existence of instanton bundles for any admissible second Chern class and we construct a nice component of the moduli space where they sit. Finally we show that minimal instanton bundles (i.e. with the least possible degree of the second Chern class) are aCM and we describe their moduli space.

研究の動機と目的

• Fano 3次元多様体 $\mathbb{P}^1 \times \mathbb{F}_1$ 上のインスタントン bundle をモノイドを用いて記述すること。
• 任意の許容可能な2番目のチエーン類 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$ に対してインスタントン bundle の存在を証明すること。
• これらの bundle のモジュライ空間の特徴的な成分を構成すること。
• 最小インスタントン bundle が整数的 Cohen-Macaulay (aCM) であることと、それらのモジュライ空間の記述を示すこと。
• インスタントン bundle と弱く Ulrich bundle の関係を、インデックスが1の Fano 3次元多様体の文脈で調査すること。

提案手法

• 著者たちは、$\mathbb{P}^1 \times \mathbb{F}_1$ 上のラインバンドルの直和として表される項 $C^{-1} \to C^0 \to C^1$ をもつモノイドを定義し、整数 $\alpha, \beta, \gamma, \delta, \epsilon$ が特定の不等式を満たすようにパラメータ化する。
• 与えられた $c_2(E)$ をもつ任意のインスタントン bundle $E$ が、$\delta = h^1(F, E(-e))$ および $\epsilon = h^1(F, E(-e - \xi))$ を満たすようなそのようなモノイドの cohomology と同型であることを証明する。
• Serre 対応を用いて、任意の許容可能な $c_2(E)$ に対して $\mu$-安定なインスタントン bundle の明示的例を構成し、そのようなモノイドの存在を保証する。
• モノイドのコホモロジー的性質を分析し、チャウ環 $A(F) \cong \pi^*A(\mathbb{P}^1) \otimes p^*A(\mathbb{F}_1)$ の分解を用いて交差数を計算し、チエーン類の条件を検証する。
• モノイド cohomology が $\mu$-半安定 bundle を与えるための必要十分条件が、$h^1(E(-e))$ および $h^1(E(-e - \xi))$ のコホモロジー的制約を満たすことであることを確立する。
• twisting を通じてインスタントン bundle と弱く Ulrich bundle の関係を関係づけ、そのような bundle が弱く Ulrich 性質を満たすための条件を分析する。

実験結果

リサーチクエスチョン

• RQ1 任意のインスタントン bundle が、自由層項を持つモノイドの cohomology として実現可能か？
• RQ2 2番目のチエーン類 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$ がどのような値をとるときにインスタントン bundle が存在するか？
• RQ3 最小インスタントン bundle（最小 $c_2$ をもつもの）は整数的 Cohen-Macaulay (aCM) か？
• RQ4 $\mathbb{P}^1 \times \mathbb{F}_1$ 上のインスタントン bundle のモジュライ空間の構造は何か？
• RQ5 特にインデックスが1の場合に、twisting を通じてインスタントン bundle と弱く Ulrich bundle の間に対応があるか？

主な発見

• 任意のインスタントン bundle $E$ で $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$ を満たすものについて、自由層項を持つモノイド $C^{-1} \to C^0 \to C^1$ の cohomology と同型である。
• 不等式 $\alpha \geq 3$, $\gamma \geq 2$, $\alpha + \gamma \geq 6$, $\alpha - \beta \geq 2$, $\epsilon \geq 2 - \beta - \gamma$, $\delta \geq 1 - \beta$ を満たす任意の整数 $\alpha, \beta, \gamma$ に対して、その $c_2(E)$ をもつ $\mu$-安定なインスタントン bundle が存在する。
• 最小インスタントン bundle（最小 $c_2$ をもつもの）は整数的 Cohen-Macaulay (aCM) であり、そのモジュライ空間は明示的に記述されている。
• インスタントン bundle のモジュライ空間にはモノイドデータによってパラメータ化される特徴的な成分が含まれており、この成分は既約的で一般に滑らかである。
• 著者たちは、$\mathbb{P}^1 \times \mathbb{F}_1$ 上の最小インスタントン bundle が $\mathcal{O}_F(2\xi)$ で twist された後、弱く Ulrich であることを示し、この性質がモノイド構成によって保存されることを示した。
• 論文は、$i_X = 1$ のとき、すべての弱く Ulrich bundle がインスタントン bundle の twist として得られるわけではないことを確認しており、一般には逆は成り立たないことを示している。