[论文解读] Moduli of ags of sheaves and their K-theory

Andrei Neguţ|arXiv (Cornell University)|Jan 1, 2015

Algebraic structures and combinatorial models参考文献 10被引用 28

一句话总结

本文引入了在 P² 上的层旗的模空间，并构建了标准层模空间的导出范畴之间的函子。这些函子在 K-理论上诱导出对称代数的作用，通过典型类实现了 Baranovsky 算子的 K-理论实现。

ABSTRACT

We introduce moduli spaces of ags of sheaves on P 2 , and use them to obtain functors between the derived categories of the usual moduli spaces of sheaves on P 2 . These functors induce an action of the shue algebra on K-theory, which we reinterpret in terms of tautological classes. In particular, this action provides a K-theoretic version of Baranovsky’s operators from [Bar00].

研究动机与目标

• 构建在射影平面 P² 上的层旗的模空间。
• 在标准层模空间的导出范畴之间定义函子。
• 在层模空间的 K-理论上实现对称代数的作用。
• 以典型类的形式重新解释这一作用。
• 为 [Bar00] 中 Baranovsky 算子提供 K-理论类比。

提出的方法

• 构建参数化 P² 上具有特定性质的凝聚层旗的模空间。
• 在这些模空间的导出范畴之间定义傅里叶-穆凯类型函子。
• 利用旗模空间的几何结构，在 K-理论上诱导出对称代数的作用。
• 通过模空间上的典型类表达对称代数的作用。
• 利用关于模空间 K-理论的已知结果，将该作用与典型运算联系起来。
• 利用典型类框架，在 K-理论中重新解释 Baranovsky 算子。

实验结果

研究问题

• RQ1 如何构建 P² 上的层旗模空间，它们具有何种几何性质？
• RQ2 通过这些旗模空间，标准层模空间的导出范畴之间会产生何种函子？
• RQ3 在此设定下，对称代数如何作用于层模空间的 K-理论？
• RQ4 这种 K-理论作用在何种方式下可由典型类描述？
• RQ5 该构造在多大程度上提供了 Baranovsky 算子的 K-理论版本？

主要发现

• 本文构建了在 P² 上具有良好性质的层旗模空间，推广了标准层模空间。
• 旗模空间诱导出标准模空间导出范畴之间的函子，提供了范畴上的联系。
• 通过这些函子，在层模空间的 K-理论上实现了对称代数的作用。
• 该对称代数作用被明确地以模空间上的典型类形式描述。
• 该构造得到了 Baranovsky 算子的 K-理论类比，与猜想一致。
• 典型类框架为 K-理论中的对称代数作用提供了几何解释。