[论文解读] Quantum Multiplicative Hypertoric Varieties and Localization

Nicholas Cooney|arXiv (Cornell University)|Feb 2, 2016

Algebraic structures and combinatorial models参考文献 21被引用 5

一句话总结

本文通过在张量范畴中的辫子海森堡双代数构造了乘法超辛流形的 $q$-变形，使用 $q$-差分算子。当 $q$ 为单位根时，证明了所得代数 $\mathscr{D}_q$ 是在乘法超辛流形的 $l$-扭上的一個 Azumaya 代数，其在 момента и разрешения 映射下均分裂，并为这些代数勾勒出一个导出局部化定理。

ABSTRACT

We consider q-deformations of multiplicative hypertoric varieties, for q a non-zero element of an algebraically closed field of characteristic 0. We construct an algebra Dq of q-difference operators as a Heisenberg double in a braided monoidal category. We then focus on the case where q is specialized to a root of unity. In this setting, we use Dq to construct an Azumaya algebra on an l-twist of the multiplicative hypertoric variety, before showing that this algebra splits over the fibers of both the moment and resolution maps. Finally, we sketch a derived localization theorem for these Azumaya algebras.

研究动机与目标

• 在辫子张量范畴中，使用 $q$-差分算子构造乘法超辛流形的 $q$-变形。
• 分析当 $q$ 取为单位根时，变形代数 $\mathscr{D}_q$ 的行为。
• 在乘法超辛流形的 $l$-扭上构造一个在 момента 和 разрешения 映射下均分裂的 Azumaya 代数。
• 为这些 Azumaya 代数建立一个导出局部化定理，统一通用情形与单位根情形。

提出的方法

• 在 $\mathrm{Rep}_q(T)$ 的范畴中，通过 $T$-作用诱导的非平凡辫子结构，将 $\mathscr{D}_q$ 构造为 $q$-变形对称代数及其对偶的海森堡双代数。
• 利用 Jo 关于乘法 quiver 变体的工作，定义 $q$-变形的 момента 映射 $\Phi_{q,T}: \mathcal{O}(T) \to \mathscr{D}_q$。
• 将 $q$ 专用于 $l$ 次单位根，此时 $\mathscr{D}_q$ 获得一个大中心，并在一般情形下成为其中心上的 Azumaya 代数。
• 将 $\mathscr{A}^\chi_{q,\eta}$ 定义为 $\mathscr{D}_q^\circ(\mathbb{A}^n)$ 关于由 $\Phi_{q,K} - \eta$ 生成的理想之 $K$-不变商，再通过商映射的 $l$-扭向前推。
• 证明 $\mathscr{A}^\chi_{q,\eta}$ 同构于 Frobenius 扭 $Fr_l$ 下的结构层 $\mathscr{O}_{\mathfrak{M}_{\chi,\eta}}$ 的前推，从而证明其为一个凝聚代数层。
• 利用包含 $Fr_l$ 与商映射的交换图的交换性，建立同构 $\mathscr{A}^\chi_{q,\eta} \cong (Fr_l)_*\mathscr{O}_{\mathfrak{M}_{\chi,\eta}}$。

实验结果

研究问题

• RQ1 如何在辫子张量范畴框架下，利用 $q$-差分算子构造乘法超辛流形的 $q$-变形？
• RQ2 当 $q$ 为单位根时，代数 $\mathscr{D}_q$ 的结构是什么？它是否具有 Azumaya 代数结构？
• RQ3 在 $l$-扭乘法超辛流形上的 Azumaya 代数 $\mathscr{A}^\chi_{q,\eta}$ 是否在 момента 映射和 разрешения 映射下分裂？
• RQ4 能否为这些 $q$-变形代数建立一个导出局部化定理，统一通用情形与单位根情形？

主要发现

• 代数 $\mathscr{D}_q$ 的 $q$-差分算子在 $\mathrm{Rep}_q(T)$ 中被构造为辫子海森堡双代数，其非平凡辫子结构由 $T$-作用诱导。
• 当 $q$ 为 $l$ 次单位根时，$\mathscr{D}_q$ 成为在其大中心上的有限维模，并在一般情形下是其中心上的 Azumaya 代数。
• $\mathscr{A}^\chi_{q,\eta}$ 被定义为 $\mathscr{D}_q^\circ(\mathbb{A}^n)$ 关于理想 $\Phi_{q,K} - \eta$ 的 $K$-不变商，构成在 $l$-扭乘法超辛流形 $\mathfrak{M}^{(l)}_{\chi,\eta}$ 上的代数层。
• 存在一个典范同构 $\mathscr{A}^\chi_{q,\eta} \cong (Fr_l)_*\mathscr{O}_{\mathfrak{M}_{\chi,\eta}}$ 作为 $\mathscr{O}_{\mathfrak{M}^{(l)}_{\chi,\eta}}$-模，表明 Azumaya 代数同构于 Frobenius 扭下结构层的前推。
• Azumaya 代数 $\mathscr{A}^\chi_{q,\eta}$ 在 момента 映射和 разрешения 映射下均分裂，表明其与流形的几何结构相容。
• 本文勾勒了一个这些代数的导出局部化定理，旨在通过模仿 GIT 商形式的范畴构造，统一通用情形与单位根情形。