[论文解读] The birational geometry of moduli space of sheaves on the projective plane

Aaron Bertram, Cristian Martínez+1 more|arXiv (Cornell University)|Jan 10, 2013

Algebraic Geometry and Number Theory参考文献 11被引用 9

一句话总结

该论文在射影平面上 Gieseker 稳定层模空间的双有理几何与布里奇兰德稳定性流形中的小墙穿刺之间建立了精确对应关系。它表明布里奇兰德模空间上的典范行列式线丛与 GIT 中的正则线丛一致，从而系统地关联了 (s,t)-平面上的墙穿刺与模空间的双有理变换，特别是通过 Mori 梦空间上的 MMP（极小模型程序）。

ABSTRACT

We describe a close relation between wall crossings in the birational geometry of moduli space of Gieseker stable sheaves $M_H(v)$ on $\bb{P}^2$ and mini-wall crossings in the stability manifold $Stab(D^b(\bb{P}^2))$.

研究动机与目标

• 理解射影平面上 Gieseker 稳定层模空间的双有理几何。
• 在布里奇兰德稳定性流形中的墙穿刺与模空间的双有理变换之间建立对应关系。
• 证明当 v 为本原类且 M_H(v) 非空且不可约时，模空间 M_H(v) 是一个 Mori 梦空间，且其反 canonical 线丛为大且 nef。
• 将布里奇兰德模空间上的典范行列式线丛识别为来自 GIT 的正则线丛，从而将稳定性条件与几何不变理论联系起来。

提出的方法

• 通过反 canonical 线丛的 first Chern class 分析射影平面上 Gieseker 稳定层模空间 M_H(v) 的结构。
• 将反 canonical 线丛 -K_{M_H(v)} 与 J. Li 构造的行列式线丛进行比较，证明二者在 first Chern class 上相等。
• 利用 M_H(v) 是 Mori 梦空间的事实，将其伪有效锥分解为 Mori 房间，每个房间对应一个双有理收缩。
• 通过将布里奇兰德模空间上的典范行列式线丛 λ_{s,t} 沿 t 减小的方向拉回，构造 M_H(v) 上的 Néron-Severi 空间 NS¹(M_H(v))_ℝ 中的一条路径。
• 引入布里奇兰德模空间的主要分量 M_P^{s,t}(v)，以确保通用点参数化为层，从而保证双有理几何描述的一致性。
• 应用 Bayer 和 Macri 在 K3 情况下关于行列式线丛的结果，证明由于 GIT 构造，λ_{s,t} 为正则。

实验结果

研究问题

• RQ1 布里奇兰德稳定性流形 (s,t)-平面上的墙穿刺如何与 P² 上模空间 M_H(v) 的双有理变换相关？
• RQ2 典范行列式线丛 λ_{s,t} 在连接布里奇兰德稳定性与 GIT 构造中起什么作用？
• RQ3 为何 P² 上的模空间 M_H(v) 表现为具有大且 nef 反 canonical 线丛的 Mori 梦空间？
• RQ4 λ_{s,t} 在 NS¹(M_H(v))_ℝ 中所追踪的路径如何对应于 M_H(v) 上的定向 MMP？
• RQ5 布里奇兰德模空间中例外集与层的几何结构，特别是在墙穿刺处，是怎样的？

主要发现

• 当 v 为本原类且 M_H(v) 非空且不可约时，模空间 M_H(v) 是光滑的，且 -K_{M_H(v)} 为大且 nef，因此 M_H(v) 是一个 Mori 梦空间。
• 反 canonical 线丛 -K_{M_H(v)} 的 first Chern class 与 J. Li 构造的行列式线丛的 first Chern class 相等，暗示存在一个到 Donaldson-Uhlenbeck 紧化空间的典范收缩。
• 布里奇兰德模空间 M_{s,t}(v) 上的典范行列式线丛 λ_{s,t} 与来自 GIT 的正则线丛一致，从而保证了其正则性。
• 当 s 固定而 t 减小时，λ_{s,t} 拉回到 M_H(v) 上的路径在 NS¹(M_H(v))_ℝ 中追踪出一条路径，暗示模空间上存在一个定向 MMP。
• 布里奇兰德模空间的主要分量 M_P^{s,t}(v) 确保通用点参数化为层，从而实现对双有理几何的一致描述。
• 布里奇兰德模空间的分层结构通过射影丛描述，关键区域如 Sec X 在最终墙处收缩至 (P²)*，揭示了墙穿刺的几何结构。