[論文レビュー] Determinantal hypersurfaces

Arnaud Beauville|ArXiv.org|Oct 6, 1999

Algebraic Geometry and Number Theory被引用数 164

ひとこと要約

この論文は、射影空間上の斉次多項式が、斉次な要素を持つ行列の行列式または Pfaffian として表現可能な条件を確立し、そのような表現を関連する超曲面上の特定のベクトルバンドルの存在と結びつける。主な結果は、一般には曲線および3次超曲面のみが行列式方程式をもつが、任意の次数の平面曲線、および次数が低い表面・3次元超曲面は一般に線形 Pfaffian で定義可能であり、次数15（表面）および5（3次元超曲面）までコンピュータ支援で検証されている。

ABSTRACT

Let X be a smooth hypersurface in projective space. We discuss in this paper when X can be defined by an equation det M = 0 (resp. pf M = 0), where M is a matrix (resp. a skew-symmetric matrix) with homogeneous entries. Standard homological algebra methods show that this is equivalent to produce a line bundle (resp. a rank 2 vector bundle) E of a certain type on X . We discuss a number of applications for hypersurfaces of small dimension. An Appendix by F.-O. Schreyer proves (using Macaulay 2) that a general form of degree d in P^3 (resp. P^4) can be written as the pfaffian of a skew-symmetric (2d)x(2d) matrix with linear entries in the expected range, that is d < 16 (resp. d < 6).

研究の動機と目的

• 射影空間 $\mathbb{P}^n$ 上のどの斉次形式が、斉次な要素を持つ行列の行列式として表現可能かを理解すること。
• そのような表現が可能となる幾何的条件（特に、特定のベクトルバンドルの存在）を特定すること。
• 与えられた次数および次元の滑らかな超曲面に対して、行列式および Pfaffian 表現の一般性を特徴づけること。
• 関連するベクトルバンドルを備えたそのような超曲面のモジュライ空間が、好都合な場合に有理被覆であることを確立すること。
• Macaulay2 を通じた計算代数を用いて、$\mathbb{P}^4$ 内の一般な表面（次数 $\leq 15$）および3次元超曲面（次数 $\leq 5$）が Pfaffian であることを検証すること。

提案手法

• 算術的に Cohen-Macaulay（ACM）な層の理論を用い、超曲面 $F=0$ 上に特定のベクトルバンドルが存在することと、行列式/Pfaffian 表現の存在とを関連付ける。
• 局所自由層が中間コホロロジーをもたない場合、Horrocks の分裂基準を適用して、その層がラインバンドルの直和に分解することを示す。
• 層の完全列を構成し、$\mathbb{P}^n$ 上の斉次形式として行列の行列式または Pfaffian を実現する。
• Buchsbaum-Eisenbud の構造定理を用いて、部分行列のシンジーキを介して Pfaffian を計算し、Macaulay2 での効率的計算を可能にする。
• 有限体上での計算代数を用い、一般な反対称行列の部分最大階Pfaffian が生成するイデアルが、次数$d$の形式の空間と一致することを検証する。
• K3 表面の Torelli 定理を適用し、Pfaffian 構造によって誘導されるホッジ同型が、表面の同型を示す。

実験結果

リサーチクエスチョン

• RQ1 どの斉次形式が、$\mathbb{P}^n$ 上で斉次な要素を持つ行列の行列式として表現可能か？
• RQ2 反対称行列の線形要素を持つ行列の Pfaffian として定義可能な滑らかな超曲面に必要な条件は何か？
• RQ3 $\mathbb{P}^n$ 内の次数$d$の滑らかな超曲面のうち、一般な行列式または Pfaffian 表現をもつものはどれか？
• RQ4 超曲面上にランク1または2のベクトルバンドルが存在することは、その行列式または Pfaffian 構造とどのように関係するか？
• RQ5 関連するベクトルバンドルを備えたそのような超曲面のモジュライ空間が有理被覆であることを示せるか？

主な発見

• 一般には、$\mathbb{P}^n$ 内の滑らかな曲線および3次超曲面のみが、斉次な要素を持つ行列の行列式として定義可能である。
• 任意の次数の平面曲線、次数 $\leq 15$ の表面、および $\mathbb{P}^4$ 内の次数 $\leq 5$ の3次元超曲面は、一般に線形 Pfaffian として定義可能である。
• Macaulay2 を用いたコンピュータ支援計算により、$\mathbb{P}^3$ 内の一般な表面（次数 $d \leq 15$）および $\mathbb{P}^4$ 内の一般な3次元超曲面（次数 $d \leq 5$）が Pfaffian であることが確認された。
• 条件を満たすランク1または2のベクトルバンドル$E$を備えた滑らかな超曲面$X$の次数$d$に関するペア$(X,E)$のモジュライ空間は有理被覆である。
• 計算により、$|\mathcal{O}_{\mathbb{P}^5}(3)|$ 内の Pfaffian 3次4次元超曲面の閉包が、ハイパーサーフェスをなすことが確認された。