[论文解读] Stable tensors and moduli space of orthogonal sheaves

Tomás L. Gómez, Ignacio Sols|ArXiv.org|Mar 24, 2001

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

一句话总结

本文引入了复数域上光滑射影代数簇上张量的广义稳定性概念，利用几何不变性理论（GIT）构建其射影模空间，并将该框架应用于构造正交、特殊正交及辛层的射影模空间——通过允许无挠层来紧化经典向量丛的模空间。核心贡献在于基于GIT系统地构建了这些几何结构的粗模空间，包括GL(r,ℂ)-表示对的模空间。

ABSTRACT

Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,ϕ), where E is a torsion free sheaf on X and ϕis a symmetric nondegenerate (in the open set where E is locally free) bilinear form on E. We also consider special orthogonal sheaves, by adding a trivialization ψof the determinant of E such that det(ϕ)=ψ^2 ; and symplectic sheaves, by considering a form which is skewsymmetric. More generally, we consider semistable tensors, i.e. multilinear forms on a torsion free sheaf, and construct their projective moduli space using GIT.

研究动机与目标

• 为复数域上光滑射影代数簇上的正交、特殊正交及辛层定义自然的半稳定性概念。
• 通过仅在局部自由部分上允许无挠层和非退化形式，构建这些层的射影模空间。
• 利用几何不变性理论（GIT）将该框架推广至半稳定张量——即无挠层上的多重线性型。
• 将张量模空间构造应用于获得GL(r,ℂ)-表示对的模空间，包括相关纤维丛的截面。
• 为半稳定特殊正交层的S-等价类建立粗模空间。

提出的方法

• 通过涉及 isotropic 子层及其正交补的希尔伯特多项式不等式，定义正交、辛及特殊正交层的半稳定性。
• 将该概念推广至张量：三元组 (E, φ, u)，其中 φ 是从 (E^⊗s)^⊕c 到 (det E)^⊗b ⊗ D_u 的同态，且 D_u 属于由方案 R 参数化的固定族。
• 应用GIT构建半稳定张量的射影模空间，遵循Simpson与Huybrechts–Lehn的方法。
• 以张量模空间为基础，构建经典几何结构（如正交与辛层）的模空间。
• 证明GL(r,ℂ)-表示对的模空间在稳定性条件下作为张量模空间的闭子概形出现。
• 证明张量的稳定性条件对应于斜率-τ-稳定性，并与现有定义（如Banfield、Mundet）一致。

实验结果

研究问题

• RQ1 当 E 为无挠层而非向量丛时，正交、辛及特殊正交层的正确半稳定性概念是什么？
• RQ2 如何构建此类层的射影模空间，包括通过无挠层实现的紧化？
• RQ3 能否通过GIT构建张量模空间（即层上的多重线性型）？它如何统一各种几何结构？
• RQ4 正交/辛层的模空间与GL(r,ℂ)-表示对的模空间之间有何关系？
• RQ5 GIT构造是否能为半稳定特殊正交层的S-等价类提供粗模空间？

主要发现

• 通过GIT构建的半稳定张量模空间提供了一个统一框架，适用于复数域上光滑射影代数簇上的各种几何结构。
• 半稳定正交层的射影模空间存在，并通过将丛空间紧化为包含具有对称非退化形式的无挠层来构建。
• 为S-等价类的半稳定特殊正交层构造了粗模空间 𝔐_SO(r)，其开子集参数化丛。
• 在稳定性条件下，GL(r,ℂ)-表示对的模空间被实现为张量模空间的闭子概形。
• 张量的稳定性条件与斜率-τ-稳定性一致，并与Banfield与Mundet的定义相符，验证了该框架的有效性。
• 该构造推广了关于二次锥丛、装饰向量丛与带框架模的先前结果，将其扩展至任意维数及正交/辛结构。