[论文解读] On the stability of syzygy bundles

Iustin Coandă|ArXiv.org|Sep 24, 2009

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文利用马尔克·格林的Koszul上同调消去定理，建立了射影空间和完全交上syzygy丛的稳定性。证明了当 $$\mathbb{P}^n$$ 中次数为 $d$ 的形式的基点自由子空间的维数超过 $P_n(d-1) + Q_{n-1}(d-1)$ 时，其对应的syzygy丛是稳定的，并将此结果推广到 $n \geq 3$ 时的单项式子空间，解决了 H. Flenner 提出的问题，且推广了此前关于单项式稳定性的结果。

ABSTRACT

We are concerned with the problem of the stability of the syzygy bundles associated to base point free vector spaces of forms of the same degree d on the projective space of dimension n. We deduce directly, from Mark Green's vanishing theorem for Koszul cohomology, that any such bundle is stable if his rank is sufficiently high. With a similar argument, we prove the semistability of a certain syzygy bundle on a general complete intersection of hypersurfaces of degree d in the projective space. This answers a question of H. Flenner (1984). We then give an elementary proof of H. Brenner's criterion of stability for monomial syzygy bundles, avoiding the use of Klyachko's results on toric vector bundles. We finally prove the existence of stable syzygy bundles defined by monomials of the same degree d, of any possible rank, for n at least 3. This extends the similar result proved, for n=2, by L. Costa, P. Macias Marques and R.M. Miro-Roig (2009). The extension to the case n at least 3 has been also, independently, obtained by P. Macias Marques in his thesis (2009).

研究动机与目标

• 为 $n \geq 2$，$d \geq 2$ 的情形，建立与 $$\mathbb{P}^n$$ 中基点自由子空间 $V \subset S_d$ 相关的syzygy丛 $M_{d,V}$ 的稳定性。
• 解决 H. Flenner（1984 年）关于一般完全交上次数为 $d$ 的超曲面的syzygy丛的半稳定性问题。
• 提供 H. Brenner 关于单项式syzygy丛稳定性准则的特征无关、初等证明，避免使用 Klyachko 的 торическое丛理论。
• 将 $n \geq 3$ 时由次数为 $d$ 的单项式定义的稳定syzygy丛的存在性，推广至所有秩 $m$ 满足 $n+1 \leq m \leq P_n(d)$，推广了 $n=2$ 时的结果。

提出的方法

• 直接从 Mark Green 的 Koszul 上同调消去定理推导 $M_{d,V}$ 的稳定性，通过多项式 $P_n(T)$ 和 $Q_{n-1}(T)$ 进行次数与秩的估计。
• 将相同方法应用于证明一般完全交 $Y \subset \mathbb{P}^n$ 上由 $c$ 个次数为 $d$ 的超曲面构成的 $c$ 重完全交上，syzygy丛 $N_{d,c}$ 的半稳定性。
• 通过分析作为 $S$-模的 $\mathbb{Z}^{n+1}$-分次 Koszul 复形，提供 Brenner 关于单项式syzygy丛稳定性准则的初等、特征无关证明。
• 通过 $n$ 和 $d$ 的归纳法构造 $n \geq 3$ 时的稳定单项式syzygy丛，其中 $n=2$ 的基础情形取自 Costa、M. Macias Marques 和 Miro-Roig（2009）。
• 利用组合构造方法构造满足推论 2.6 中严格不等式的单项式子空间 $V \subset S_d$，以确保稳定性，尤其针对 $n=2$，$d=2$，$m=5$ 等特殊情况。
• 分析单项式 $u$ 的结理想 $(V:u)$，以验证所有子丛均满足斜率不等式条件，从而保证稳定性。

实验结果

研究问题

• RQ1 在基点自由子空间 $V \subset S_d$ 的维数 $m$ 满足何种条件时，$$\mathbb{P}^n$$ 上的 syzygy 丛 $M_{d,V}$ 是稳定的？
• RQ2 在 $$\mathbb{P}^n$$ 中由 $c$ 个次数为 $d$ 的超曲面构成的一般完全交上，syzygy 丛 $N_{d,c}$ 关于 $$\mathcal{O}_Y(1)$$ 是否是半稳定的？
• RQ3 是否可以不使用 Klyachko 的 toric 向量丛理论，证明 Brenner 关于单项式 syzygy 丛稳定性的准则？
• RQ4 对于 $n \geq 3$，是否存在由次数为 $d$ 的单项式定义的、任意秩 $m$ 满足 $n+1 \leq m \leq P_n(d)$ 的稳定 syzygy 丛 $M_{d,V}$？
• RQ5 在例外情形 $n=2$，$d=2$，$m=5$ 时，$M_{d,V}$ 的行为如何？对于一般 $V$，它是否仍然稳定？

主要发现

• 对于 $n \geq 2$，$d \geq 2$，且当 $m > P_n(d-1) + Q_{n-1}(d-1)$ 时，syzygy 丛 $M_{d,V}$ 是稳定的；当 $m = P_n(d-1) + Q_{n-1}(d-1)$ 时，它是半稳定的。
• 在 $$\mathbb{P}^n$$ 中由 $c$ 个次数为 $d$ 的超曲面构成的一般完全交上，syzygy 丛 $N_{d,c}$ 关于 $$\mathcal{O}_Y(1)$$ 是半稳定的，回答了 Flenner 提出的问题。
• 提供了 Brenner 关于单项式 syzygy 丛稳定性准则的初等、特征无关证明，用 $\mathbb{Z}^{n+1}$-分次 Koszul 复形取代了 Klyachko 的 toric 向量丛理论。
• 对于 $n \geq 3$，且任意满足 $n+1 \leq m \leq P_n(d)$ 的秩 $m$，存在一个基点自由的单项式子空间 $V \subset S_d$，使得 $M_{d,V}$ 是稳定的。
• 例外情形 $n=2$，$d=2$，$m=5$ 仍能保证 $M_{d,V}$ 的稳定性，对于一般 $V$ 成立，从而解决了唯一已知的稳定性模式例外。
• $n \geq 3$ 时稳定单项式 syzygy 丛的构造独立于先前工作，依赖于归纳法与满足斜率不等式的显式组合构造。