[论文解读] Configurations in abelian categories. IV. Invariants and changing stability conditions

Dominic Joyce|ArXiv.org|Oct 11, 2004

Advanced Topics in Algebra参考文献 20被引用 8

一句话总结

本文证明了在阿贝尔范畴中，计数半稳定对象与配置的不变量独立于稳定性条件的选择，通过半稳定局部的特征函数的变换公式实现。证明了构造函数与堆函数代数在稳定性条件改变下保持不变，并显式计算了曲线上的凝聚层及特殊卡拉比-丘3流形的这些不变量。

ABSTRACT

This is the fourth in a series of papers math.AG/0312190, math.AG/0503029, math.AG/0410267 on configurations in an abelian category A. Given a finite partially ordered set (I,

研究动机与目标

• 理解在阿贝尔范畴中，半稳定对象的模空间在稳定性条件改变下的变换方式。
• 证明模堆上的构造函数与堆函数代数在所选稳定性条件下的不变性。
• 显式计算特定范畴（如 mod-𝕂Q 和 coh(P)，其中 P 为光滑曲线或卡拉比-丘3流形）中计数半稳定对象与配置的不变量。
• 探讨导出代数几何中 Ext 群的作用，并提出一个框架以将结果推广至非零 Ext 条件（即 Ext^{i}(X,Y)=0 对于 i>1）之外。

提出的方法

• 推导一个变换公式（公式 47），将新稳定性条件下半稳定对象的特征函数表示为原条件下特征函数的组合。
• 使用组合系数 S({1,…,n},≤,κ,τ,τ̃) ∈ {−1,0,1} 来编码代数结构中稳定性条件的改变。
• 在构造函数上使用非交换乘法 *，以模拟半稳定对象分解为稳定因子的过程。
• 构造生成函数 Fα(Z)，其在除满足 arg(Z(β)) = arg(Z(γ)) 的实超曲面外均为全纯函数，并证明其不连续性在不变量中相互抵消。
• 证明生成函数满足平坦性条件（偏微分方程，公式 141），可解释为稳定性流形上的联络。
• 提出使用 D-堆或 dg-堆的导出框架，以包含更高阶 Ext 群，旨在将结果推广至排除 Ext^{i}(X,Y)=0 对于 i>1 的假设之外。

实验结果

研究问题

• RQ1 当稳定性条件改变时，半稳定对象的模空间如何变换？
• RQ2 模堆上构造函数与堆函数代数是否独立于所选稳定性条件？
• RQ3 在 mod-𝕂Q 或 coh(P)（P 为光滑曲线或卡拉比-丘3流形）等范畴中，计数半稳定对象与配置的不变量的显式值是什么？
• RQ4 能否将不变量的变换律推广至包含更高阶 Ext 群的导出设定中？
• RQ5 生成函数 Fα(Z) 所满足的偏微分方程（141）的几何与代数意义是什么？

主要发现

• τ̃-半稳定的对象的特征函数 δ_ss^α(τ̃) 可表示为系数为 S(⋅,τ,τ̃) 的配置之和，证明了半稳定局部结构在稳定性改变下以代数方式变换。
• 代数 H^pa_τ、H^to_τ 及其 bar-版本在稳定性条件（τ,T,≤）下保持不变，确立了模堆代数结构中深层的不变性。
• 当 A = mod-𝕂Q 或 coh(P)，其中 P 为光滑曲线时，不变量 I_ss^α(τ) 被显式计算，表明其满足加法与乘法恒等式。
• 当 A = coh(P)，其中 P 为光滑曲面且 K_P^{-1} 为非负，或为卡拉比-丘3流形时，构造了具有独特性质的特殊不变量。
• 生成函数 Fα(Z) 沿满足 arg(Z(β)) = arg(Z(γ)) 的实超曲面不连续，但其跳跃与不变量 J^α_i(μ)^Ω 的跳跃相互抵消，确保了完整生成级数的连续性。
• 函数 Fα(Z) 满足偏微分方程（141），可解释为稳定性流形上联络的平坦性，暗示了不变量背后存在更深层的几何结构。