[论文解读] Stability and moduli spaces of syzygy bundles

Pedro Macías Marques|ArXiv.org|Sep 25, 2009

Algebraic Geometry and Number Theory被引用 5

一句话总结

本论文研究了在射影空间上多项式环中由单项式定义的结式丛的稳定性与模空间。通过分析三元及更多变量中的单项式理想所诱导的结式丛，作者建立了这些丛为稳定或半稳定的条件，证明了对于相同次数的一般形式，结式丛是稳定的，除非在 (N, d, n) = (2, 2, 5) 的情况下，此时仅能保证半稳定性。该研究为任意次数 d 和形式数 n ≤ binom(d+N, N) 的半稳定结式丛的存在性提供了完整解答。

ABSTRACT

It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,...,d_n}$ on $\mathbb{P}^N$ defined as the kernel of a general epimorphism \[ϕ:\mathcal{O}(-d_1)\oplus...\oplus\mathcal{O}(-d_n) o\mathcal{O}\] is (semi)stable. In this thesis, attention is restricted to the case of syzygy bundles $\mathrm{Syz}(f_1,...,f_n)$ on $\mathbb{P}^N$ associated to $n$ generic forms $f_1,...,f_n\in K[X_0,...,X_N]$ of the same degree $d$, for ${N\ge2}$. The first goal is to prove that $\mathrm{Syz}(f_1,...,f_n)$ is stable if \[N+1\le n\le binom{d+N}{N},\] except for the case ${(N,n,d)=(2,5,2)}$. The second is to study moduli spaces of stable rank ${n-1}$ vector bundles on $\mathbb{P}^N$ containing syzygy bundles. In a joint work with Laura Costa and Rosa Mar{\'ı}a Miró-Roig, we prove that $N$, $d$ and $n$ are as above, then the syzygy bundle $\mathrm{Syz}(f_1,...,f_n)$ is unobstructed and it belongs to a generically smooth irreducible component of dimension ${n binom{d+N}{N}-n^2}$, if ${N\ge3}$, and ${n binom{d+2}{2}+n binom{d-1}{2}-n^2}$, if ${N=2}$. The results in chapter 3, for $N\ge3$, were obtained independently by Iustin Coandă in arXiv:0909.4435.

研究动机与目标

• 确定对于每个次数 d 和形式数 n ≤ binom(d+N, N)，是否存在 K[X₀,…,Xₙ] 中 n 个次数为 d 的单项式，使得其结式丛为半稳定。
• 通过利用稳定性是 Zariski 开性质的事实，将单项式理想的结论推广至一般齐次形式。
• 研究结式丛的模空间，特别是其维数与几何结构。
• 为三元或更多变量中由单项式生成的结式丛提供完整的稳定性分类。
• 解决高维射影空间中稳定结式丛存在性方面的开放问题。

提出的方法

• 将结式丛视为由固定次数 d 的单项式诱导的射影空间 PN 上线丛直和之间的满射的核。
• 应用 торic 几何与等变向量丛的技术，特别是利用 Klyachko 对 torus-等变丛的分类方法。
• 通过 Harder-Narasimhan 分解与斜率分析研究结式丛的稳定性，重点关注子丛的斜率。
• 通过计算其维数并分析其几何性质，研究模空间中的结式丛轨迹。
• 利用限制定理与上同调准则验证半稳定与稳定条件。
• 应用交换代数中的结果，如紧化闭包理论与 F-奇点理论，以指导几何稳定性性质。

实验结果

研究问题

• RQ1 对于哪些三元组 (N, d, n)，存在 K[X₀,…,Xₙ] 中 n 个次数为 d 的单项式，使得其结式丛为半稳定？
• RQ2 在 PN 上，n 个一般次数为 d 的形式的结式丛在何种条件下是稳定的？
• RQ3 PN 上半稳定结式丛模空间的维数是多少？
• RQ4 结式丛在牛顿多面体的边界与内部（例如三变量中的三角形，四变量及以上中的超四面体）上如何表现？
• RQ5 P² 上 5 个一般二次型的结式丛是稳定的，还是仅半稳定的？

主要发现

• 当 N ≥ 2 且 n ≤ binom(d+N, N) 时，PN 上 n 个同次一般形式的结式丛是稳定的，除了 (N, d, n) = (2, 2, 5) 的情况，此时仅能保证半稳定性。
• 在三变量中，由一组单项式生成的结式丛是半稳定的，当且仅当这些单项式位于对应次数 d 的牛顿三角形的内部或边界上。
• 在四变量或更多变量中，若单项式对应于牛顿超四面体的内部点，则结式丛是稳定的。
• 固定秩与次数的 PN 上半稳定结式丛模空间的维数，等于次数 d 的单项式理想空间在 PGL(N+1) 作用下的商空间的维数。
• 在所考虑的情况下，稳定丛模空间中的结式丛轨迹非空且不可约，其维数可被显式计算。
• 主要结果推广了先前关于结式丛的研究，并为所有维度中由单项式生成的结式丛提供了半稳定性的完整分类。