[论文解读] Q-modules are Q-suplattices

Isar Stubbe|ArXiv.org|Sep 25, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 10

一句话总结

该论文证明，对于任意小的量纲范畴 𝒬，通过 KZ 门道构造，𝒬-模的范畴与 𝒬-上层范畴（即具有上确界完备性的 𝒬-丰富范畴）的范畴等价。利用丰富范畴理论及一个关于 KZ 门道的引理，论文证明 𝒬-模正是 𝒬-序的内部上确界完备化，从而推广了经典结果：𝛺-模是局部 𝛺 上层范畴中的内部上确界完备化。

ABSTRACT

It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case of ordered sheaves on a small quantaloid. Comparing module-equivalence with sheaf-equivalence for quantaloids and using the notion of centre of a quantaloid, we refine a result of F. Borceux and E. Vitale.

研究动机与目标

• 将经典结果‘𝛺-模是局部 𝛺 上层范畴中的内部上确界完备化’推广至非交换、多类型设定。
• 通过丰富范畴理论，建立 𝒬-模与 𝒬-上层范畴之间的范畴等价。
• 改进 Borceux 与 Vitale 关于量纲范畴、其模范畴及其中心之间关系的结果。
• 基于 KZ 门道，给出 𝒬-模作为自由上确界完备化 2-单子的 Eilenberg-Moore 代数的单子化表征。

提出的方法

• 在小量纲范畴 𝒬 上使用丰富范畴理论，将 𝒬-序视为在 𝒬 的分裂幂等完备化中丰富的柯西完备范畴。
• 应用将每个 𝒬-序映射为其自由上确界完备化（即下闭子对象的上确界完备化）的 KZ 门道，通过幂函子 ℘ 实现。
• 利用关于 KZ 门道的关键引理，证明在 𝒮𝒯𝒯(𝒬) 上诱导出的 2-单子以 𝒬-模为其 Eilenberg-Moore 代数。
• 通过此 KZ 门道，证明 𝒬-模范畴关于 𝒬-序范畴是单子化的。
• 利用局部 𝛺 的 𝒪𝓇𝒹(𝛺) 与 𝒪𝓇𝒹(𝒮𝒽(𝛺)) 之间的等价性，将经典局部情形作为特例恢复。
• 通过中心构造比较模范畴与层范畴，表明量纲范畴 𝒬 的中心捕捉了其交换结构。

实验结果

研究问题

• RQ1 如何将经典结果‘𝛺-模是局部 𝛺 上层范畴中的内部上确界完备化’推广至非交换、多类型的设定？
• RQ2 𝒬-模与具有上确界完备性的 𝒬-丰富范畴（即 𝒬-上层范畴）之间的确切范畴关系为何？
• RQ3 能否将 𝒪𝓇𝒹(𝒬) 上的自由上确界完备化 2-单子表征为 KZ 门道？其代数是否恰好为 𝒬-模？
• RQ4 范畴 𝒪𝓇𝒹(𝒬)、𝒮𝒫(𝒬) 与 𝒪𝓇𝒹(𝒬) 如何与 𝒬 的中心相关联？在何种条件下它们彼此等价？

主要发现

• 𝒬-模恰好是 𝒬-上层范畴：每个 𝒬-模都是一个具有上确界完备性的 𝒬-丰富范畴，且每个具有上确界完备性的 𝒬-范畴均可表示为一个 𝒬-模。
• 通过将每个 𝒬-序映射至其自由上确界完备化 ℘𝒜 的 KZ 门道，𝒬-模范畴关于 𝒬-序范畴是单子化的。
• 对于局部 𝛺，该结果恢复了经典事实：𝛺-模是 𝛺 上层范畴的内部上确界完备化。
• 量纲范畴 𝒬 的中心与其中心范畴 𝒮𝒫(𝒬) 的中心同构，且该同构由其中心之间的量代数同态实现。
• 对于交换量代数 𝒬 与 𝒬′，范畴 𝒪𝓇𝒹(𝒬) 与 𝒪𝓇𝒹(𝒬′) 同构当且仅当 𝒬 ≅ 𝒬′，从而改进了 Borceux 与 Vitale 的结果。
• 对于局部 𝛺 与 𝛺′，有 𝛺 ≅ 𝛺′ ⟺ 𝒮𝒫(𝛺) ≅ 𝒮𝒫(𝛺′) ⟺ 𝒪𝓇𝒹(𝛺) ≅ 𝒪𝓇𝒹(𝛺′) ⟺ 𝒮𝒫(𝛺) ≅ 𝒮𝒫(𝛺′) 成立，表明其具有完整的范畴不变性。