[论文解读] On the geometry of the moduli spaces of semistable sheaves supported on plane quartics

Jean–Marc Drézet, Mario Maican|ArXiv.org|Oct 28, 2009

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

该论文将复射影平面上多重性为四、欧拉示性数为1至4的半稳定层的模空间分解为局部闭的层状结构，每一层均可表示为局部自由层间态射空间在约化或非约化群作用下的良好商或几何商。关键贡献在于对这些模空间的完整分层与解析描述，为每一层建立了显式的解析式与几何商，包括证明在 M_{P^2}(4,4) 中不存在满足 h^0(F(-1)) ≥ 2 的层。

ABSTRACT

We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms of locally free sheaves modulo a reductive or a nonreductive group. We find locally free resolutions of length one of all these sheaves and describe them.

研究动机与目标

• 理解复射影平面上具有1维支撑与4次度数的半稳定层模空间的几何结构。
• 将每个模空间 M_{P^2}(4,χ)（χ = 1, 2, 3, 4）分解为由层的上同调条件定义的局部闭子簇（层状结构）。
• 将每一层实现为局部自由层间态射空间在群作用下的良好商或几何商。
• 为这些模空间中所有层构造长度为一的局部自由解析式，并描述其几何与上同调性质。

提出的方法

• 基于上同调不变量 h^0(F(-1))、h^1(F) 与 h^0(F⊗Ω^1(1)) 对每个模空间 M_{P^2}(4,χ) 进行分层。
• 对每一层，将对应层 F 实现为若干线丛 O(-k) 与 O 的直和之间的态射的余核。
• 利用约化或非约化代数群（如 GL(n,C) × GL(n,C) 或 Aut 群）作用，构造此类态射空间的几何商。
• 运用蛇形引理与正合列推导出扩张与解析式，例如 0 → O_C(1) → F → coker(φ) → 0。
• 应用先前研究结果（如 [15], [17]）将问题约化为已知情形，并将框架扩展至多重性四的情形。
• 通过代数扩张论证在开子集上定义态射，并将其延拓至整个空间，确保商构造定义良好。

实验结果

研究问题

• RQ1 如何基于所参数化层的上同调不变量，将模空间 M_{P^2}(4,χ) 分解为局部闭子簇？
• RQ2 每个层状结构在 M_{P^2}(4,χ) 中的几何结构为何？它如何被实现为局部自由层间态射空间的商？
• RQ3 能否为 P^2 上所有多重性为四、度数为四的半稳定层显式构造长度为一的局部自由解析式？
• RQ4 条件 h^0(F(-1)) ≥ 2 在 M_{P^2}(4,4) 的几何结构中起何作用？是否存在满足此条件的层？
• RQ5 M_{P^2}(4,χ) 的解析式与商构造如何推广已知的 r = 1, 2, 3 的结果？

主要发现

• 模空间 M_{P^2}(4,1) 同构于态射 3O(-2) → 2O(-1) ⊕ O 的开子集在 GL(3,C) × GL(2,C) × GL(1,C) 作用下的良好商。
• 对于 M_{P^2}(4,2)，该层状结构实现为态射 3O(-2) ⊕ O(-1) → 2O(-1) ⊕ 2O 的几何商，群作用为 GL(3,C) × GL(1,C) × GL(2,C) × GL(2,C)。
• 在 M_{P^2}(4,3} 中，满足 h^0(F(-1)) = 0 的层状结构同构于态射 3O(-2) ⊕ 2O(-1) → 3O(-1) ⊕ 2O 在 GL(3,C) × GL(2,C) × GL(3,C) × GL(2,C) 作用下的良好商。
• 在 M_{P^2}(4,3} 中，满足 h^0(F(-1)) = 1 的层状结构同构于态射 3O(-2) ⊕ O(-1) → 3O(-1) ⊕ 3O 在 GL(3,C) × GL(1,C) × GL(3,C) × GL(3,C) 作用下的几何商。
• 本文证明在 M_{P^2}(4,4) 中不存在满足 h^0(F(-1)) ≥ 2 的层，且开层状结构 X_0 的补集恰好为层状结构 X_1，后者为一个不可约超曲面。
• 在 M_{P^2}(4,4) 中满足 h^0(F(-1)) = 1 的层状结构中，层 F 位于一个扩张序列 0 → O_C(1) → F → coker(φ_{11}) → 0 中，其中 C 是由 φ_{21} 与线性形式 ℓ 的行列式表达式定义的四次曲线。