[论文解读] Geography of Brill-Noether loci for small slopes

L. Brambila‐Paz, Ivona Grzegorczyk+1 more|ArXiv.org|Nov 6, 1995

Geology and Paleoclimatology Research参考文献 14被引用 77

一句话总结

本文建立了在亏格 $ g \geq 2 $ 的非奇异射影曲线上的秩为 $ n $、次数为 $ d $ 且满足 $ 0 \leq d \leq n $ 的稳定向量丛的布里尤阿-诺特簇的不可约性、期望维数及奇异点集。证明了 $ \mathcal{W}^{k-1}_{n,d} $ 是不可约的，维数为 $ \rho^{k-1}_{n,d} $，在 $ \mathcal{W}^k_{n,d} $ 之外光滑，且当且仅当 $ d > 0 $，$ n \leq d + (n-k)g $，且 $ (n,d,k) \neq (n,n,n) $ 时非空。半稳定情形也类似分析，证明了不可约性并给出了精确的非空条件。

ABSTRACT

Let $X$ be a non-singular projective curve of genus $g\ge2$ over an algebraically closed field of characteristic zero. Let $\mo$ denote the moduli space of stable bundles of rank $n$ and degree $d$ on $X$ and $\wn $ the Brill-Noether loci in $\mo .$ We prove that, if $0\leq d \leq n $ and $\wn $ is non-empty, then it is irreducible of the expected dimension and smooth outside $\wnn$. We prove further that in this range $\wn$ is non-empty if and only if $d>0$, $n\leq d+(n-k)g$ and $(n,d,k) ot= (n,n,n)$. We also prove irreducibility and non-emptiness for the semistable Brill-Noether loci.

研究动机与目标

• 确定秩为 $ n $、次数为 $ d $ 且满足 $ 0 \leq d \leq n $ 的稳定向量丛的布里尤阿-诺特簇 $ \mathcal{W}^{k-1}_{n,d} $ 的几何结构——特别是不可约性、维数与奇异点集。
• 在所有非奇异曲线（而不仅限于通用曲线）上，为小斜率范围内的 $ \mathcal{W}^{k-1}_{n,d} $ 建立完整的非空性判别准则。
• 将分析扩展至半稳定情形，证明 $ \widetilde{\mathcal{W}}^{k-1}_{n,d} $ 的不可约性，并推导其非空性条件。

提出的方法

• 使用布里尤阿-诺特数 $ \rho^{k-1}_{n,d} = n^2(g-1) + 1 - k(k - d + n(g-1)) $ 作为该簇的期望维数。
• 应用形变理论与扩张技巧分析 $ \mathcal{W}^{k-1}_{n,d} $ 的局部结构与奇点，特别关注扩张 $ 0 \to \mathcal{O}^{n-1} \to E \to F \to 0 $ 的作用。
• 运用涉及 $ H^1(F^*) $ 与 $ H^1(F(-x)^*) $ 的上同调论证，证明某些扩张图式不可能存在，从而推导出余维数条件。
• 对秩与次数使用归纳法，证明不可约性与闭包性质，尤其针对 $ d = n $ 的半稳定丛。
• 构造一个双射态射 $ S^nX \to \widetilde{\mathcal{W}}^{n-1}_{n,n} $，以分类具有 $ n $ 个截面的次数为 $ n $ 的半稳定丛。
• 利用对称积与模空间的普遍性质，建立该态射的存在性与闭包结果。

实验结果

研究问题

• RQ1 当 $ 0 \leq d \leq n $ 时，布里尤阿-诺特簇 $ \mathcal{W}^{k-1}_{n,d} $ 何时不可约？
• RQ2 在小斜率范围内，$ \mathcal{W}^{k-1}_{n,d} $ 的精确维数与奇异点集为何？
• RQ3 当 $ 0 \leq d \leq n $ 时，稳定丛的 $ \mathcal{W}^{k-1}_{n,d} $ 在何种条件下非空？
• RQ4 半稳定布里尤阿-诺特簇 $ \widetilde{\mathcal{W}}^{k-1}_{n,d} $ 的几何性质与稳定情形相比如何？
• RQ5 是否能完全描述 $ d = n $ 且具有 $ k = n $ 个截面的半稳定丛的结构？$ \widetilde{\mathcal{W}}^{n-1}_{n,n} $ 是否不可约？

主要发现

• 当非空时，对于任意亏格 $ g \geq 2 $ 的非奇异曲线，$ \mathcal{W}^{k-1}_{n,d} $ 是不可约的，维数为 $ \rho^{k-1}_{n,d} $，且满足 $ 0 \leq d \leq n $。
• $ \mathcal{W}^{k-1}_{n,d} $ 的奇异点集恰好为 $ \mathcal{W}^k_{n,d} $，且该簇在该集合之外光滑。
• 稳定簇 $ \mathcal{W}^{k-1}_{n,d} $ 非空当且仅当 $ d > 0 $，$ n \leq d + (n-k)g $，且 $ (n,d,k) \neq (n,n,n) $。
• 半稳定簇 $ \widetilde{\mathcal{W}}^{k-1}_{n,d} $ 对所有 $ n \geq 2 $，$ 0 \leq d \leq n $，$ k \geq 1 $ 均为不可约。
• 当 $ d = n $ 时，$ \widetilde{\mathcal{W}}^{n-1}_{n,n} $ 通过一个双射态射同构于 $ n $ 次对称积 $ S^nX $。
• 当 $ k < n $ 时，$ \widetilde{\mathcal{W}}^{k-1}_{n,n} $ 中的每一点都属于稳定簇 $ \mathcal{W}^{k-1}_{n,n} $ 的闭包，从而保证了半稳定簇的不可约性。