[论文解读] Stable tensor fields and moduli space of principal G-sheaves for classical groups

Tomás L. Gómez, Ignacio Sols|arXiv (Cornell University)|Mar 24, 2001

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

一句话总结

本文引入了经典群 G = O(r, C) 和 Sp(r, C) 的半稳定主 G-层的概念，将主丛推广至包含挠自由层上的对称或反对称张量场。利用几何不变性理论（GIT），构建了一个通过这些 G-层紧化的射影模空间，将此前针对 GL(r, C) 的结果扩展至正交和辛结构。

ABSTRACT

Abstract. Let X be a smooth projective variety over C. Let G be the group O(r, C), or Sp(r, C). We find the natural notion of semistable principal G-bundle and construct the moduli space, which we compactify by considering also principal G-sheaves, i.e., pairs (E, ϕ), where E is a torsion free sheaf on X and ϕ is a symmetric (if G is orthogonal) or antisymmetric (if G is symplectic) bilinear form on E. If G is SO(r, C), then we have to consider triples (E, ϕ, ψ), where ψ is an isomorphism between det(E) andOX such that det(ϕ) = ψ 2. More generally, we consider semistable tensor fields, i.e., multilinear forms on a torsion free sheaf, and construct their projective moduli space using GIT. Let X be a smooth projective variety of dimension n over C. A principal GL(r, C)bundle over X is equivalent to a vector bundle E of rank r. If X is a curve, the moduli space was constructed by Mumford, Narasimhan and Seshadri. If dim(X)> 1, to obtain a projective moduli space we have to consider also torsion free sheaves, and this was done by Gieseker, Maruyama and Simpson. Let G be the orthogonal group O(r, C) or symplectic group Sp(r, C). A principal

研究动机与目标

• 为当 G 是正交或辛群时，主 G-丛定义一个自然的半稳定概念。
• 将模空间构造从向量丛扩展至包含对称或反对称双线性形式的挠自由层。
• 通过包含 G-层（即具有额外张量场结构的层）来紧化主 G-丛的模空间。
• 通过三元组 (E, ϕ, ψ) 将构造推广至 SO(r,C)，并施加行列式约束。
• 利用几何不变性理论（GIT）为挠自由层上的半稳定张量场建立射影模空间。

提出的方法

• 将主 G-层定义为对 (E, ϕ)，其中 E 是挠自由层，ϕ 是对称形式（对于 O(r,C)）或反对称形式（对于 Sp(r,C)）的双线性形式。
• 对于 SO(r,C)，引入三元组 (E, ϕ, ψ)，其中 ψ 是 det(E) 与 O_X 之间的同构，且满足 det(ϕ) = ψ²。
• 应用几何不变性理论（GIT）来构造挠自由层上半稳定张量场的射影模空间。
• 通过引入张量结构，将 Gieseker、Maruyama 和 Simpson 的框架扩展至经典群。
• 使用通过 Hilbert 多项式和 GIT 商定义的半稳定概念，以确保良好的紧化。
• 将挠自由层上的多线性形式视为对称/反对称形式的推广，从而实现模空间的构造。

实验结果

研究问题

• RQ1 当 G 为 O(r,C) 或 Sp(r,C) 时，主 G-丛的正确半稳定概念是什么？
• RQ2 当 dim(X) > 1 且 G 为经典群时，如何紧化主 G-丛的模空间？
• RQ3 必须向挠自由层添加何种结构，才能将主丛的概念推广至经典群？
• RQ4 行列式约束的引入如何影响 SO(r,C) 的模空间？
• RQ5 能否通过 GIT 构造出挠自由层上半稳定张量场的射影模空间？

主要发现

• 为 G = O(r,C) 或 Sp(r,C) 的主 G-层建立了明确定义的半稳定概念，推广了 GL(r,C) 的经典情形。
• 通过包含 G-层（即具有对称或反对称形式的挠自由层）来紧化主 G-丛的模空间。
• 对于 SO(r,C)，模空间需要三元组 (E, ϕ, ψ)，且满足 det(ϕ) = ψ²，以确保与群结构的一致性。
• 通过 GIT，本文在光滑射影代数簇上为挠自由层上的半稳定张量场构造了射影模空间。
• 该构造将先前针对 GL(r,C) 的结果推广至经典群，为正交和辛结构提供了统一的框架。
• 模空间被证明是射影的，将经典理论从向量丛扩展至具有结构的层。