[论文解读] Perverse schobers and wall crossing

Will Donovan|arXiv (Cornell University)|Mar 2, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 3

一句话总结

该论文针对GIT墙交叉构造了 perverse schobers——三角范畴的范畴化 perverse 可去层——定义在圆盘上，利用球对来编码GIT商之间的导出等价性。关键贡献在于刻画了复化 Grothendieck 群何时给出交集上同调复形，从而将范畴化单值性与几何墙交叉现象相联系。

ABSTRACT

For a balanced wall crossing in geometric invariant theory, there exist derived equivalences between the corresponding GIT quotients if certain numerical conditions are satisfied. Given such a wall crossing, I construct a perverse sheaf of categories on a disk, singular at a point, with half-monodromies recovering these equivalences, and with behaviour at the singular point controlled by a GIT quotient stack associated to the wall. Taking complexified Grothendieck groups gives a perverse sheaf of vector spaces: I characterise when this is an intersection cohomology complex of a local system on the punctured disk.

研究动机与目标

• 建立一个范畴框架，以理解代数几何中双有理变换的性质，使用 perverse schobers。
• 将GIT墙交叉中的导出等价性推广为圆盘上范畴的层论结构。
• 刻画此类层的 Grothendieck 群何时给出交集上同调复形。
• 将范畴设定下的单值函子与 flop 和墙交叉中的已知导出等价性相联系。
• 系统性地从满足数值条件的平衡墙交叉构造球对。

提出的方法

• 在圆盘上构造一个带有奇点的范畴层，使用GIT商的导出范畴及半稳定不变量的子范畴。
• 将球对定义为带有骨架中两条弧的 perverse 可去层的范畴化，编码范畴到中心范畴的嵌入。
• 应用 Halpern-Leistner 与 Ballard–Favero–Katzarkov 的结果，确保在数值条件下 $X//_{\text{--}}G$ 与 $X//_{+}G$ 之间存在导出等价性。
• 使用复化 Grothendieck 群生成向量丛层，并刻画其何时同构于交集上同调复形。
• 应用球函子与扭变换的理论，范畴化地恢复单值作用。
• 采用 Koszul 分解与 K-理论计算，分析单值算子的秩，并检验不等式的饱和性。

实验结果

研究问题

• RQ1 由GIT墙交叉产生的球对的 Grothendieck 群在何种情况下给出交集上同调复形？
• RQ2 GIT商之间的导出等价性如何被范畴化地编码为 perverse schober 中的单值函子？
• RQ3 墙交叉的何种条件可确保关联的球对诱导出良好的单值作用？
• RQ4 在何种情况下，中心范畴的 Grothendieck 群无法给出交集上同调复形？
• RQ5 球函子及其扭变换如何在 flop 的背景下恢复范畴化单值性？

主要发现

• 对于一个具有单参数子群的简单平衡墙交叉，若满足数值条件，则GIT商 $X//_{\text{--}}G$ 与 $X//_{+}G$ 的导出范畴彼此等价。
• 该构造产生一个球对 $(\text{D}(X//_{\text{--}}G), \text{D}(X//_{+}G), \text{C})$，其中 $\text{C}$ 是 $\text{D}(X^{\text{ss}}(\text{M}_0)/G)$ 的子范畴，且满足球对的公理。
• 当且仅当单值减去恒等算子的秩在中心范畴的 K-理论中达到饱和时，该球对的复化 Grothendieck 群同构于穿孔圆盘上局部系统之交集上同调复形。
• 在 $X = V \bigoplus \det V^\vee$ 且具有 $\mathbb{C}^*$-作用的情形下，Grothendieck 群给出交集上同调复形，且满足饱和条件。
• 在 $X = V \bigoplus V^\vee$ 且具有 $\mathbb{C}^*$-作用的情形下，Grothendieck 群不给出交集上同调复形，因为单值秩条件未达到饱和，即 $\text{rk}(m - \mathds{1}) = 0$ 而 $\dim \text{K}(\mathcal{D}) = 1$。
• Grothendieck 群上的单值作用通过球函子的余扭范畴化地实现，其秩决定了交集上同调刻画中不等式的饱和性。