[論文レビュー] Monads and Rank Three Vector Bundles on Quadrics

Francesco Malaspina|ArXiv.org|Dec 18, 2006

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

ひとこと要約

この論文は、$n > 3$ における四次超曲面 $ackslash mathcaligackslash{Q}_n$ 上の内科同調同型をもたないランク 3 ベクトル bundle を、モノイド理論を用いて分類する。最小モノイドの解析とスピンルバンドルの構造を活用することで、$n=4$ の場合、非分解なようなものとしては $ackslash mathcaligackslash{G}_4$、その双対 $ackslash mathcaligackslash{P}_4$、および $ackslash mathcaligackslash{Z}_4$ のねじれのみが存在し、$n=5$ および $n=6$ の場合、非分解なものはそれぞれ $ackslash mathcaligackslash{G}_5$、$ackslash mathcaligackslash{P}_5$、$ackslash mathcaligackslash{G}_6^ackslash{prime}$、$ackslash mathcaligackslash{G}_6^\backslash{prime\prime}$ に限られ、$n \geq 7$ の場合にはそれらのようなバンドルは存在しないことが示される。分類は、低次元の四次超曲面への制限と、コホモロジー的制約に依拠している。

ABSTRACT

In this paper we give the classification of rank 3 vector bundles without "inner" cohomology on a quadric hypersurface \Q_n (n>3) by studying the associated monads.

研究の動機と目的

• 四次超曲面 $\backslash mathcaligackslash{Q}_n$ ($n > 3$) 上の内科同調同型をもたないランク 3 ベクトルバンドルを分類すること。
• ランク 2 ベクトルバンドルに用いられたモノイド理論的アプローチを、より高いランクのバンドルへ拡張すること。
• このようなバンドルのうち非分解なものの構造を特定し、それらのモノイド構造を同定すること。
• 内科同調同型をもたない非分解ランク 3 ベクトルバンドルの次元依存的な存在を確立すること。

提案手法

• ベクトルバンドル $\backslash mathcaligackslash{E}$ を、$\backslash mathcaligackslash{Q}_n$ 上の最小モノイド $0 \to \backslash mathcaligackslash{A} \xrightarrowackslash{\alpha} \backslash mathcaligackslash{B} \xrightarrowackslash{\beta} \backslash mathcaligackslash{C} \to 0$ にホロックス対応を用いる。
• バンドル $\backslash mathcaligackslash{B}$ のコホモロジー的性質を解析し、$H^1_*(\backslash mathcaligackslash{B}) = H^{n-1}_*(\backslash mathcaligackslash{B}) = 0$ かつ $1 < i < n-1$ に対して $H^i_*(\backslash mathcaligackslash{B}) \cong H^i_*(\backslash mathcaligackslash{E})$ が成り立つことを要求する。
• 低次元の四次超曲面 $\backslash mathcaligackslash{Q}_{n-1}$ への制限技術を適用し、$\backslash mathcaligackslash{Q}_4$、$\backslash mathcaligackslash{Q}_5$、$\backslash mathcaligackslash{Q}_6$ 上での既知のモノイド構造を基本ケースとして用いる。
• 四次超曲面における ACM バンドルの分類（線分バンドルおよびスピンルバンドルの直和、適切なねじれを除く）を活用する。
• $n=5,6$ の場合、$\backslash mathcaligackslash{S}_{n|\backslash mathcaligackslash{Q}_{n-1}} \cong \backslash mathcaligackslash{S}^\backslash{prime}_{n-1} \oplus \backslash mathcaligackslash{S}^{\backslash{prime\prime}}_{n-1}$ が成り立つことを利用して、次元間のモノイドを関連付ける。
• コホモロジーの消滅および双対性の議論を用いて、高次元において $\mathcal{A}$ および $\mathcal{C}$ が非ゼロであるモノイドを除外する。

実験結果

リサーチクエスチョン

• RQ1 四次超曲面 $\backslash mathcaligackslash{Q}_n$ ($n > 3$) 上のランク 3 ベクトルバンドルで、内科同調同型をもたない、すなわち $H^2_*(\backslash mathcaligackslash{E}) = \cdots = H^{n-2}_*(\backslash mathcaligackslash{E}) = 0$ を満たすものはどれか？
• RQ2 このようなバンドルの可能な最小モノイド構造は何か？ また、それらは低次元の四次超曲面にどのように制限されるか？
• RQ3 どの次元 $n$ において、非分解ランク 3 ベクトルバンドルで内科同調同型をもたないものが存在するか？
• RQ4 それらの非分解バンドルは、ねじれおよび双対性を除いて一意的か？
• RQ5 スピンルバンドルおよびその制限は、このようなバンドルの存在をどのように制約するか？

主な発見

• $n=4$ の場合、内科同調同型をもたない非分解ランク 3 ベクトルバンドルは、$\backslash mathcaligackslash{G}_4$、その双対 $\backslash mathcaligackslash{P}_4$、および $\backslash mathcaligackslash{Z}_4 \oplus \mathcal{O}(a)$、それに加えて $\mathcal{S}^\prime \oplus \mathcal{O}(a)$ および $\mathcal{S}^{\prime\prime} \oplus \mathcal{O}(a)$ のねじれのみが存在する。
• $n=5$ の場合、内科同調同型をもたない非分解ランク 3 ベクトルバンドルは、$\backslash mathcaligackslash{G}_5$、その双対 $\backslash mathcaligackslash{P}_5$、および $\backslash mathcaligackslash{Z}_5 \oplus \mathcal{O}(a)$ のみが存在する。
• $n=6$ の場合、それらのバンドルは $\backslash mathcaligackslash{G}_6^\backslash{prime}$、$\backslash mathcaligackslash{G}_6^{\backslash{prime\prime}}$、$\backslash mathcaligackslash{P}_6^\backslash{prime}$、および $\backslash mathcaligackslash{P}_6^{\backslash{prime\prime}}$ に限られ、これらは $\mathcal{A} = \mathcal{O}$ および $\mathcal{C} = \mathcal{O}(1)$ を持つモノイドから生じる。
• $n \geq 7$ の場合、四次超曲面 $\backslash mathcaligackslash{Q}_n$ 上に、内科同調同型をもたない非分解ランク 3 ベクトルバンドルは存在しない。これは、$\backslash mathcaligackslash{Q}_6$ へのモノイドの制限が矛盾を引き起こすためである。
• $\backslash mathcaligackslash{Q}_4$ 上のモノイド $0 \to \mathcal{O} \to \mathcal{S}^\prime(1) \oplus \mathcal{S}^{\prime\prime}(1) \to \mathcal{O}(1) \to 0$ のホモロジーは $\backslash mathcaligackslash{Z}_4$ であり、これはカイリー・バンドルである。
• 分類は完全であり、任意のこのようなバンドルが $\mathcal{A}$ および $\mathcal{C}$ が両方非ゼロ、または片方がゼロであるモノイドから生じることに依拠しており、低次元への制限が可能な形を決定する。