[论文解读] Moduli Space of $\Lambda$-modules on Projective Deligne-Mumford Stacks

Hao Sun|arXiv (Cornell University)|Mar 25, 2020

Algebraic Geometry and Number Theory参考文献 34被引用 5

一句话总结

该论文利用几何不变性理论（GIT）构建了射影 Deligne-Mumford 堆叠上的 $\Lambda$-模的模空间，证明其为拟射影概赋。该研究将 Simpson 在光滑射影代数簇上关于 $\Lambda$-模的工作推广至更广泛的、关于代数空间的可 tame 的射影 Deligne-Mumford 堆叠情形，建立了 $\Lambda$-商函子的表示性，并证明了模空间构造所必需的有界性与半稳定性条件。

ABSTRACT

In this paper, we define $\\Lambda$-quot-functors on Deligne-Mumford stacks. We prove that the $\\Lambda$-quot-functor is representable by an algebraic space. Then, we construct the moduli space of $\\Lambda$-modules on a projective Deligne-Mumford stack. We prove that this moduli space is a quasi-projective scheme.

研究动机与目标

• 将 $\Lambda$-模的模空间代数构造方法从光滑射影簇推广至射影 Deligne-Mumford 堆叠。
• 解决在 Deligne-Mumford 堆叠上构造 $\Lambda$-模模空间的开放问题，特别是关于抛物 Higgs 纤维丛与扭曲 Higgs 对的模空间构造。
• 证明 $\Lambda$-商函子可由代数空间表示，并在 $p$-稳定性条件下证明 $\Lambda$-模的有界性。
• 将 Simpson 关于 $p$-半稳定的 $\Lambda$-模的结果推广至不假设存在光滑射影 étale 覆盖的堆叠。

提出的方法

• 在 Deligne-Mumford 堆叠上定义 $\Lambda$-商函子，并利用 Artin 的判别准则证明其可由代数空间表示。
• 引入修正的 Hilbert 多项式与 $p$-稳定性条件，以分析 $\Lambda$-模并确保有界性。
• 应用几何不变性理论（GIT），通过 $\mathrm{SL}(V)$ 作用于 Quot 概赋，构造模空间为良好商。
• 利用 Harder-Narasimhan 与 Jordan-Hölder 裂化，刻画 $p$-半稳定的 $\Lambda$-模，并证明轨道闭包等价性。
• 通过上同调估计与大 $N$ 下的全局生成性，证明 $p$-半稳定性下 $\Lambda$-模的有界性。
• 建立 Jordan-Hölder 裂化中各分量与饱和子模之间的同构关系，以证明 $\mathcal{F}' \cong \bigoplus \mathscr{H}_\beta$。

实验结果

研究问题

• RQ1 能否在射影 Deligne-Mumford 堆叠上代数地构造 $\Lambda$-模的模空间，从而推广 Simpson 的结果？
• RQ2 $\Lambda$-商函子在这些堆叠上是否可由代数空间表示？
• RQ3 射影 Deligne-Mumford 堆叠上 $p$-半稳定的 $\Lambda$-模的模空间是否存在，且是否为拟射影概赋？
• RQ4 能否通过 $\Lambda$-模将非交换 Hodge 对应关系推广至根堆叠与一般 Deligne-Mumford 堆叠？
• RQ5 在堆叠上，何种条件可确保 $\Lambda$-模的有界性与半稳定性，从而实现模空间的构造？

主要发现

• 在射影 Deligne-Mumford 堆叠上，$\Lambda$-商函子可由代数空间表示。
• 具有固定修正 Hilbert 多项式 $P$ 的 $p$-半稳定 $\Lambda$-模的模空间是基底代数空间上的拟射影概赋。
• 该模空间普遍共表示 $p$-半稳定 $\Lambda$-模的 $S$-等价类，其点对应于 $S$-等价类。
• 稳定子空间 $\mathcal{M}_{\Lambda}^{s}$ 是 $p$-稳定 $\Lambda$-模的同构类的粗模空间。
• $p$-半稳定的 $\Lambda$-模的 Jordan-Hölder 裂化在同构意义下唯一，且 Quot 概赋中轨道闭包精确对应于相关分量对象的同构类。
• 当 $N$ 足够大时，上同调等式 $h^0(X, F_{\mathcal{E}}(\mathscr{I}_\beta)(N)) = h^0(X, F_{\mathcal{E}}(\mathscr{H}_\beta)(N))$ 蕴含 $\mathscr{I}_\beta = \mathscr{H}_\beta$，从而保证同构 $\mathcal{F}' \cong \bigoplus \mathscr{H}_\beta$。