[论文解读] How to categorify the ring of integers localized at two

Mikhail Khovanov, Tian Yin|arXiv (Cornell University)|Feb 24, 2017

Algebraic structures and combinatorial models参考文献 22被引用 3

一句话总结

该论文通过图解微分分次范畴与莱维特路径代数，构建了一个三角化单oidal卡鲁比闭合范畴，实现了对环 ℤ[1/2] 的范畴化。通过实现自对偶移位同构 X ≅ X[-1] ⊕ 1，紧致导出范畴的格罗滕迪克环同构于 ℤ[1/2]，从而解决了在 2 处局部化的整数的范畴化问题。

ABSTRACT

We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two.

研究动机与目标

• 为解决 [17, 问题 2.3] 中提出的关于整数在 2 处局部化 ℤ[1/2] 的范畴化开放问题。
• 构造一个格罗滕迪克环同构于 ℤ[1/2] 的幂等完备三角化单oidal范畴。
• 将图解范畴化技术推广，通过自对偶移位同构实现有理格罗滕迪克环。

提出的方法

• 定义一个由单位对象 1 和对象 X 生成的 DG 单oidal 范畴 𝒞，其态射通过平面弧图表示，并模去局部关系。
• 通过满足特定关系的四个生成态射（z, z*, x_i, x_i*）实现同构 X ≅ X[-1] ⊕ 1，这些关系编码了移位与幂等结构。
• 构造导出范畴 D(𝒞)，并提取其紧致对象的全子范畴 D^c(𝒞)，该子范畴是三角化且卡鲁比闭合的。
• 利用 End(1 ⊕ X) 的 DG 代数结构与 K-理论计算分析格罗滕迪克环 K₀(D^c(𝒞))。
• 通过证明在格罗滕迪克群中关系 2[X] = 1 成立，建立 K₀(D^c(𝒞)) ≅ ℤ[1/2] 的环同构。
• 提出一个推广猜想：通过自对偶同构 X ≅ 1 ⊕ X^{n+1} 与相应的莱维特路径代数，将构造推广至 ℤ[1/n]。

实验结果

研究问题

• RQ1 环 ℤ[1/2] 能否作为某个幂等完备三角化单oidal 范畴的格罗滕迪克环被范畴化？
• RQ2 如何在 DG 范畴中通过图解方式实现自对偶移位同构 X ≅ X[-1] ⊕ 1，以在格罗滕迪克环中实现 1/2？
• RQ3 莱维特路径代数及其 K-理论在构造此类范畴化中起什么作用？
• RQ4 该构造能否推广至对任意 n ≥ 2 的 ℤ[1/n] 的范畴化？
• RQ5 是否存在对莱维特代数 L(m, 3m+1) 上模的范畴化环的范畴作用，该作用能提升 ℤ[1/2] 在 ℤ/(2m+1) 上的线性作用？

主要发现

• 紧致导出范畴 D^c(𝒞) 的格罗滕迪克环同构于 ℤ[1/2]，其中 [X] 映射到 1/2。
• 范畴中同构 X ≅ X[-1] ⊕ 1 的存在性在 K₀ 中诱导出关系 2[X] = 1，从而将 1/2 实现为格罗滕迪克类。
• 范畴 𝒞 通过满足特定关系的图解 DG 范畴构造，这些关系编码了移位与幂等结构，生成元为 z, z*, x_i, x_i*。
• 导出范畴 D(𝒞) 在 End(1 ⊕ X) 上具有 DG 代数结构，微分平凡，基通过幂等分解构造。
• K-理论计算表明 K₀(D^c(𝒞)) ≅ ℤ[1/2]，确认了对局部化环的范畴化。
• 提出一个猜想：通过同构 X ≅ 1 ⊕ X^{n+1} 将构造推广至 ℤ[1/n]，并预期存在 K-理论同构 K₀(Ka(𝒞)) ≅ ℤ[1/n]。