[论文解读] Determinantal hypersurfaces

Arnaud Beauville|ArXiv.org|Oct 6, 1999

Algebraic Geometry and Number Theory被引用 164

一句话总结

本论文确立了在何种条件下，射影空间上的齐次多项式可以表示为具有齐次系数的矩阵的行列式或Pfaffian，将此类表示与相关超曲面上特定向量丛的存在性联系起来。关键结果表明，仅曲线和三次曲面通常可表示为行列式方程，而任意次数的平面曲线以及低次的曲面与三焦点通常可由线性Pfaffian定义，且通过计算机辅助验证了次数高达15（曲面）和5（三焦点）的情形。

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$ 的通用曲面与次数 $\leq 5$ 的通用三焦点为Pfaffian。

提出的方法

• 利用算术Cohen-Macaulay（ACM）层的理论，将行列式/Pfaffian表示的存在性与超曲面 $F=0$ 上特定向量丛的存在性联系起来。
• 应用Horrocks分裂准则，证明具有中间上同调消失的局部自由层可分解为线丛的直和。
• 构造层的正合列，以在 $\mathbb{P}^n$ 上实现矩阵的行列式或Pfaffian作为齐次形式。
• 使用Buchsbaum-Eisenbud的结构定理，通过子矩阵的挠率关系计算Pfaffian，从而在Macaulay2中实现高效计算。
• 在有限域上进行计算代数运算，验证次数为 $d$ 的形式空间等于通用斜对称矩阵的次最大Pfaffian生成的理想。
• 应用K3曲面的Torelli定理，从Pfaffian结构诱导的Hodge等距关系推导出曲面间的同构。

实验结果

研究问题

• RQ1 哪些在 $\mathbb{P}^n$ 上的齐次形式可表示为具有齐次系数的矩阵的行列式？
• RQ2 在何种条件下，光滑超曲面可由具有线性系数的斜对称矩阵的Pfaffian定义？
• RQ3 在 $\mathbb{P}^n$ 中次数为 $d$ 的哪些光滑超曲面可具有通用的行列式或Pfaffian表示？
• RQ4 在超曲面上存在秩1或秩2向量丛时，其与行列式或Pfaffian结构有何关系？
• RQ5 是否可证明此类超曲面（连同相关向量丛）的模空间为有理可约？

主要发现

• 仅在 $\mathbb{P}^n$ 中的光滑曲线与三次曲面可通常表示为具有齐次系数矩阵的行列式。
• 任意次数的平面曲线、次数 $\leq 15$ 的曲面，以及 $\mathbb{P}^4$ 中次数 $\leq 5$ 的三焦点可通常由线性Pfaffian定义。
• 通过Macaulay2的计算机辅助计算，确认在 $\mathbb{P}^3$ 中次数 $d \leq 15$ 的通用曲面与在 $\mathbb{P}^4$ 中次数 $d \leq 5$ 的通用三焦点为Pfaffian。
• 满足特定条件的对 $(X,E)$ 的模空间，其中 $X$ 为次数 $d$ 的光滑超曲面，$E$ 为秩1或2向量丛，为有理可约。
• 在 $|\mathcal{O}_{\mathbb{P}^5}(3)|$ 中，Pfaffian三次4-焦点的闭包形成一个超曲面，该结论通过计算得到确认。