[论文解读] Non-Abelian Brill-Noether theory and Fano 3-folds

Shigeru Mukai|ArXiv.org|Apr 15, 1997

Algebraic Geometry and Number Theory参考文献 26被引用 35

一句话总结

本文为代数曲线上具有固定行列式之秩2向量丛发展了非交换的Brill–Noether理论，引入了II型与III型的loci，以推广经典的Brill–Noether loci。研究证明，某些此类loci——特别是当 $n = (g-1)/2$ 时的 $M_C(2,K,n)$——是种类为7或9的法诺3-流形，并进一步表明，包含曲线 $C$ 的K3曲面可通过双重模形式构造重建，从而得到一个非交换的阿贝尔簇映射。

ABSTRACT

A Brill-Noether locus is a subscheme of the moduli of bundles E over a curve C defined by requiring E to have a given number of sections, or homomorphisms from another bundle. There are a number of different types, that can be treated by determinantal methods, with symmetry or skewsymmetry arising from Serre duality. They have many beautiful applications to curves, K3 surfaces and Fano 3-folds.

研究动机与目标

• 将经典的Brill–Noether理论从线丛推广至曲线上具有固定行列式的稳定秩2向量丛。
• 研究由 $\operatorname{hom}(F,E)$ 和 $h^0(E)$ 条件分别定义的II型与III型非交换Brill–Noether loci 的几何结构。
• 建立这些loci与法诺3-流形之间的联系，证明某些loci本身即是已知种类的法诺3-流形。
• 通过使用向量丛模形式的双重模形式构造，从曲线上构造K3曲面，发展一个非交换的阿贝尔簇映射。
• 从其非交换模形式空间恢复一个包含曲线 $C$ 的K3曲面，将经典对偶性推广至非交换设置。

提出的方法

• 在具有固定行列式之稳定秩2丛的模空间 $M_C(2,\xi)$ 内，通过 $\operatorname{hom}(F,E)$ 和 $h^0(E)$ 的条件，分别定义II型与III型非交换Brill–Noether loci。
• 使用行列式形式描述这些loci：III型loci由对偶丛之间斜对称同态的子式消失所定义。
• 将这些loci表征为参数化满足其上重量1自守形式空间维数 $\geq n+2$ 的不可约 $\operatorname{SU}(2)$-表示，通过 $S_1(\Gamma,\rho)$ 与自守形式建立联系。
• 在 $C \times T$ 上构造一个普遍向量丛 $\mathcal{E}$，其中 $T = M_C(2,K,n)$，并利用其在 $p \times T$ 上的限制定义一个分类映射 $C \to \widehat{T}$。
• 证明当 $g \equiv 3 \mod 4$ 时，$T = M_C(2,K,n)$ 是一个K3曲面，且 $\widehat{T} = M_T(2,h_{\det},n)$ 同构于原始的包含 $C$ 的K3曲面，从而确立双重模形式对偶性。
• 在 $g \equiv 1 \mod 4$ 的情况下，使用 $\mathbb{P}^1$-丛而非向量丛，证明 $C$ 嵌入至 $T = M_C(2,K,n)$ 上 $\operatorname{SO}(3)$-丛的模空间中。

实验结果

研究问题

• RQ1 经典的Brill–Noether理论能否被推广至曲线上向量丛的模空间，而不仅限于线丛？
• RQ2 非交换Brill–Noether理论中的II型与III型loci是否产生法诺3-流形？若是，是哪些？
• RQ3 能否通过双重模形式构造，从曲线上向量丛的模空间重建一个包含曲线 $C$ 的K3曲面？
• RQ4 当 $n = (g-1)/2$ 时，locus $M_C(2,K,n)$ 的几何与上同调结构为何？
• RQ5 非交换阿贝尔簇映射如何与K3曲面上的经典对偶性及导出范畴相关联？

主要发现

• 对于一个7-亏格曲线 $C$，locus $M_C(2,K,3)$ 是一个种类为7的法诺3-流形，实现了已知的法诺3-流形作为非交换Brill–Noether loci。
• 对于一个3-亏格曲线上稳定丛 $F$，locus $M_C(2,K:\!3F)$ 是一个种类为9的法诺3-流形，展示了通过非交换Brill–Noether理论构造法诺3-流形的第二种方式。
• 当 $g \equiv 3 \mod 4$ 时，locus $M_C(2,K,n)$（其中 $n = (g-1)/2$）是一个K3曲面，其行列式线丛诱导出种类为 $g$ 的极化，使其成为一个极化K3曲面。
• 分类映射 $C \to \widehat{T} = M_T(2,h_{\det},n)$ 是一个嵌入，且每个包含 $C$ 的K3曲面都同构于 $\widehat{T}$，证明了通过双重模形式构造，$C$ 可唯一确定其所在的K3曲面。
• 在 $g \equiv 1 \mod 4$ 的情况下，普遍向量丛 $\mathcal{E}$ 无法全局存在，但存在一个 $\mathbb{P}^1$-丛 $\mathbb{P}(\mathcal{E})$，且K3曲面作为 $T = M_C(2,K,n)$ 上 $\operatorname{SO}(3)$-丛的模空间被恢复。
• 在 $S$ 与 $\widehat{S}$ 上的凝聚层导出范畴是等价的，且对偶性 $S \mapsto \widehat{S}$ 是一个阶为2的对合（当 $g \geq 7$ 时），推广了经典的K3对偶性。