[论文解读] Projective moduli space of semistable principal sheaves for a reductive group

Tomás L. Gómez, Ignacio Sols|ArXiv.org|Dec 11, 2001

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

一句话总结

本文引入了复数域上高维射影簇 $X$ 上约化群 $G$ 的半稳定主层的定义，推广了 Ramanathan 在曲线上的主丛模空间构造。通过将主层定义为具有到抛物子群的约化的 $(2,1)$-张量 $(E,\varphi)$，并利用几何不变量理论（GIT），作者构建了固定拓扑类型的半稳定主 $G$-层的射影粗模空间，在 $\dim X = 1$ 时恢复了 Ramanathan 的构造。主要贡献在于通过稳定张量形式，将射影模空间理论推广至高维代数簇上的约化群。

ABSTRACT

Let X be a smooth projective complex variety, and let G be an algebraic reductive complex group. We define the notion of principal G-sheaf, that generalises the notion of principal G-bundle. Then we define a notion of semistability, and construct the projective moduli space of semistable principal G-sheaves on X. This is a natural compactification of the moduli space of principal G-bundles. This is the announcement note presented by the second author in the conference held at Catania (11-13 April 2001), dedicated to the 60th birthday of Silvio Greco. Detailed proofs will appear elsewhere.

研究动机与目标

• 将 Ramanathan 在曲线上半稳定主丛的模空间推广至高维射影代数簇。
• 在高维射影代数簇 $X$ 上定义主层的概念，使其在 $\dim X = 1$ 时退化为 Ramanathan 的定义。
• 利用几何不变量理论，为固定拓扑类型的半稳定主 $G$-层建立射影粗模空间。
• 确保模空间构造与曲线情形下 Ramanathan 的稳定性条件相容。

提出的方法

• 将主层定义为挠自由层 $E$ 搭配一个 $(2,1)$-张量 $\varphi: E \otimes E \to E^{**}$，其在 $E$ 局部自由的开集 $U_E$ 上限制为李代数结构。
• 在 $U_E$ 上引入对抛物子群 $H \subset G$ 的约化 $\xi$，并使其与 $H$ 在 $\mathfrak{g}' = [\mathfrak{g}, \mathfrak{g}]$ 上的伴随作用相容，以模拟主 $G$-丛的结构。
• 对 $(2,1)$-张量 $(E, \varphi)$ 使用 $\delta$-稳定性条件，其中 $\delta$ 为零次多项式，以定义半稳定性。
• 将几何不变量理论（GIT）应用于参数化此类对象的射影空间，确保模空间为射影的。
• 利用李代数 $\mathfrak{g}'$ 关于 Levi 分量的 Cartan 子代数的根空间分解，将稳定性重新表达为分次分量 $E^\alpha = E_{(\leq \alpha)} / E_{(< \alpha)}$ 的形式，从而实现稳定性的有效检验。
• 证明当 $\dim X = 1$ 时，该稳定性条件与 Ramanathan 的定义完全一致，从而确保与经典情形的一致性。

实验结果

研究问题

• RQ1 能否在复数域上高维射影代数簇 $X$ 上，为半稳定主 $G$-层构造一个射影模空间，从而推广 Ramanathan 在曲线上的构造？
• RQ2 何种主丛在高维的恰当推广形式，可使通过 GIT 构造射影模空间成为可能？
• RQ3 如何表述此类对象的稳定性条件，使其在 $\dim X = 1$ 时退化为 Ramanathan 的定义？
• RQ4 在主层定义中包含对抛物子群的约化数据 $\xi$，是否能保持 GIT 所需的稳定性条件？
• RQ5 模空间构造是否可独立于约化数据的选择，同时仍能产生定义良好的粗模空间？

主要发现

• 在复数域上高维射影代数簇 $X$ 上，固定拓扑类型的半稳定主 $G$-层存在射影粗模空间，如定理 8 所述。
• 主层的稳定性条件通过 $(2,1)$-张量 $(E, \varphi)$ 的 $\delta$-稳定性定义，该条件确保了通过 GIT 构造模空间的可行性。
• 当 $\dim X = 1$ 时，该稳定性条件恰好退化为 Ramanathan 的定义，如命题 10 所示，从而确认了与经典情形的一致性。
• 利用根空间分解可将稳定性条件重新表达为分次分量 $E^\alpha$ 的形式，从而提供了稳定性的实用判别准则。
• 模空间构造对约化数据 $\xi$ 的引入具有鲁棒性，因为稳定性条件在该类约化下保持不变。
• 对于经典群如 $O(n,\mathbb{C})$、$Sp(n,\mathbb{C})$ 和 $SO(2n+1,\mathbb{C})$，该构造通过对称或反对称的 $(2,1)$-张量生成主层的模空间，而 $SO(2n,\mathbb{C})$ 虽需特殊处理，但不改变稳定性概念。