[论文解读] On the $K$-theory of smooth toric DM stacks

Lev Borisov, R. Paul Horja|ArXiv.org|Mar 14, 2005

Algebraic Geometry and Number Theory参考文献 7被引用 31

一句话总结

本文提供了光滑 торิก Deligne-Mumford 堆栈的格罗滕迪克 K-理论环的显式计算，表明其同构于由扇形结构导出的关系所定义的洛朗多项式环的商环。本文引入了一种组合的陈特征类，推广了经典陈特征类，并计算了加权爆破下的 K-理论上推与下拉，为同调镜像对称与 GKZ 系统的应用建立了框架。

ABSTRACT

We explicitly calculate the Grothendieck $K$-theory ring of a smooth toric Deligne-Mumford stack and define an analog of the Chern character. In addition, we calculate $K$-theory pushforwards and pullbacks for weighted blowups of reduced smooth toric DM stacks.

研究动机与目标

• 计算光滑 toric Deligne-Mumford 堆栈的格罗滕迪克 K-理论环，推广 toric 品种的相关结果。
• 为这些堆栈定义并表征一种组合类陈特征类的类比。
• 计算光滑 toric DM 堆栈加权爆破下的 K-理论下拉与上推，尤其关注余维数为 1 和大于 1 的情形。
• 将简化情形下的结果推广至一般（可能非简化）情形。
• 为同调镜像对称与 GKZ 超几何系统的研究提供工具。

提出的方法

• 使用 [E] 中的齐次化技巧，通过可逆层的直和来解析凝聚层。
• 将 K-理论环构造为洛朗多项式环 ℤ[x₁, x₁⁻¹, ..., xₙ, xₙ⁻¹] 的商环，关系分为两类：一类来自格点 N 上的线性函数，另一类来自不包含于扇形 Σ 的任意锥中的向量集合。
• 将组合陈特征类定义为 K-理论与复系数之间的向量空间同构，该同构映射至一个组合定义的 SR-上同调环。
• 应用下拉-上推公式，并通过不动点层分析有限群作用，以计算加权爆破下的上推。
• 使用形式幂级数中的生成函数来计算几何定义层的上推。
• 通过群作用核与理想层描述，显式计算余维数为 1 及以上的加权爆破的上推。

实验结果

研究问题

• RQ1 光滑 toric Deligne-Mumford 堆栈的格罗滕迪克 K-理论环的结构是什么？
• RQ2 如何为这类堆栈定义广义陈特征类，其与经典陈特征类及等变陈特征类的关系如何？
• RQ3 光滑 toric DM 堆栈加权爆破下的 K-理论下拉与上推是什么？
• RQ4 在堆栈扇形的背景下，K-理论运算在双有理态射下如何表现？
• RQ5 复系数 K-理论与组合 SR-上同调环之间有何关系？

主要发现

• 格罗滕迪克 K-理论环 K₀(ℙ_Σ) 同构于洛朗多项式环 ℤ[x₁, ..., xₙ] 关于理想 ( ∏xᵢ^{f(vᵢ)} = 1 对所有 f:N→ℤ，以及 ∏(1−xᵢ) = 0 对所有满足 {vᵢ}ᵢ∈I 不包含于 Σ 的任意锥的集合 I ) 的商环 B。
• 复系数 K-理论为一个半局部阿廷环 ℂ-代数，组合陈特征类在该 K-理论与 SR-上同调环之间给出一个向量空间同构。
• 对于余维数 d > 1 的加权爆破，上推 μ_*R^{-l} 通过生成函数计算，结果为包含 (1−Rᵢ^{-1}) 与 (1−Rᵢ^{-1}t^{hᵢ}) 乘积的有理函数表达式。
• 对于余维数为 1 的加权爆破，上推 μ_*((1−R^{-1}t)^{-1}) 由公式 (1−t)^{-1} − (t/(1−t)) · (1−R₁^{-1})/(1−R₁^{-1}t^k) 给出，其中 k 为权重。
• 证明了对 1 ≤ m ≤ k，R′₁^{-m} 的上推为 R₁^{-1}，表明典范线丛的逆拉回到原丛的倍数。
• 通过下拉公式 μ^*R₁ = R₁^k 与上推公式，K-理论运算可完全计算，从而可计算此类态射下的任意 K-理论类。