[论文解读] Instanton sheaves on complex projective spaces

Marcos Jardim|ArXiv.org|Dec 7, 2004

Algebraic Geometry and Number Theory参考文献 21被引用 41

一句话总结

本文引入并研究了复射影空间上的瞬子层，将数学瞬子丛推广至任意秩的无挠层。研究证明此类层可作为线性幕的上同调出现，建立了低秩瞬子层的半稳定性，并刻画了模空间结构——例如，证明ℙ²上秩1瞬子层即为零维子chemes的理想层，且ℙ²上秩2与3瞬子层的模空间同构于半稳定无挠层的模空间。

ABSTRACT

We study a class of torsion-free sheaves on complex projective spaces which generalize the much studied mathematical instanton bundles. Instanton sheaves can be obtained as cohomologies of linear monads and are shown to be semistable if its rank is not too large, while semistable torsion-free sheaves satisfying certain cohomological conditions are instanton. We also study a few examples of moduli spaces of instanton sheaves.

研究动机与目标

• 将数学瞬子丛推广至复射影空间上任意秩的无挠层。
• 证明瞬子层可作为线性幕的上同调出现。
• 确定半稳定无挠层成为瞬子层的条件。
• 分析瞬子层模空间的结构与几何性质。
• 将瞬子丛的已知结果推广至更一般的层，包括非局部自由及偶数维情形。

提出的方法

• 通过上同调消去条件与第一陈类为零来定义ℙⁿ上的瞬子层。
• 使用形如 0 → V⊗𝒪(−1) → W⊗𝒪 → U⊗𝒪(1) → 0 的线性幕构造瞬子层作为其上同调。
• 应用幕上同调的无挠性、可约性与局部自由性的判定准则。
• 利用Mumford-Takemoto稳定性与上同调约束证明瞬子层的半稳定性。
• 通过与半稳定层模空间的同构关系刻画模空间，尤其关注ℙ²上低秩情形。
• 以零化相关层为关键例子，证明其为电荷1、秩n−1的瞬子层。

实验结果

研究问题

• RQ1 在ℙⁿ上，何时一个半稳定无挠层是瞬子层？
• RQ2 在ℙⁿ上，秩r的瞬子层存在的条件是什么？
• RQ3 瞬子层的模空间与半稳定层的模空间有何关系？
• RQ4 所有ℙⁿ上秩n−1的瞬子层是否均为简单层？
• RQ5 ℙ²上秩1瞬子层的模空间结构如何？

主要发现

• 在ℙⁿ上，若秩r ≤ 2n−1且局部自由，则瞬子层必为半稳定。
• 在ℙⁿ上，若秩r ≤ n且可约，则瞬子层必为半稳定。
• ℙ²上秩1瞬子层恰好为长度为c的零维子chemes的理想层，故ℐℙ²(1,c) ≅ (ℙ²)[c]。
• 当r = 2,3时，模空间ℐℙ²(r,c)同构于第一陈类c₁ = 0、第二陈类c₂ = c的半稳定无挠层的模空间。
• ℙⁿ上的零化相关层恰好为秩n−1、电荷1的瞬子层，且ℐℙⁿ(n−1,1) ≅ ℙ^{n(n+1)/2 − 1}。
• ℙⁿ上所有秩n−1的瞬子层均为简单层，推广了数学瞬子丛的相关结果。