[论文解读] Morita theory in enriched context

Kruna Ratković|arXiv (Cornell University)|Feb 12, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 3

一句话总结

本文在丰富范畴论与模型范畴的背景下，建立了经典莫里塔理论的同伦推广。通过利用张量强度与强单子在可生成的张量模型范畴中的性质，证明了在适当条件下——如单位对象的上同调性、强度映射的弱等价性，以及同伦细胞附着的保持性——强单子代数的同伦范畴与基范畴中单子上的模范畴之间存在奎伦等价，从而将斯维德的Γ-环定理作为特例恢复出来。

ABSTRACT

We develop a homotopy theoretical version of classical Morita theory using the notion of a strong monad. It was Anders Kock who proved that a monad T in a monoidal category E is strong if and only if T is enriched in E. We prove that this correspondence between strength and enrichment follows from a 2-isomorphism of 2-categories. Under certain conditions on T, we prove that the category of T-algebras is Quillen equivalent to the category of modules over the endomorphism monoid of the T-algebra T(I) freely generated by the unit I of E. In the special case where E is the category of Gamma-spaces equipped with Bousfield-Friedlander's stable model structure and T is the strong monad associated to a well-pointed Gamma-theory, we recover a theorem of Stefan Schwede, as an instance of a general homotopical Morita theorem.

研究动机与目标

• 在丰富范畴论的背景下，形式化并证明经典莫里塔理论的同伦推广。
• 确定强单子代数的同伦范畴与基范畴中单子上的模范畴之间存在奎伦等价的充分条件。
• 将斯维德关于Γ-环的定理作为该一般同伦莫里塔等价的特例恢复。
• 通过强函子、丰富函子与张量强度之间的2-范畴同构，阐明强函子、丰富函子与张量强度之间的关系。

提出的方法

• 在张量化的E-范畴上，建立强函子与强自然变换的2-范畴与丰富函子与丰富自然变换的2-范畴之间的2-同构。
• 利用张量强度与丰富性的对应关系，证明强单子代数自然继承E-丰富的结构、张量积与余张量积结构。
• 引入一个单子态射λ: −⊗T(I) → T，将T-代数与T(I)上的模联系起来，形成一个自然的伴随关系。
• 在四个关键假设下——转移模型结构、单位映射的上同调性、强度映射的弱等价性，以及同伦细胞扩张的保持性——证明该单子态射诱导出奎伦等价。
• 在Γ-空间配备博斯菲尔德-弗里德兰德稳定模型结构的情况下验证这些假设，表明良好指向的Γ-理论满足条件。
• 将结果应用于FSP（带 smash 积的函子）的情形，通过Lyddakis的嵌入，证明A^S上的模与A∘−上的代数之间存在奎伦等价，从而将理论扩展至谱范畴。

实验结果

研究问题

• RQ1 在何种条件下，强单子T-代数的同伦范畴与单色模型范畴中单子上的模范畴之间存在奎伦等价？
• RQ2 张量强度的概念如何与对称张量范畴中的丰富性相关联？这一关系能否在2-范畴框架下形式化？
• RQ3 斯维德关于Γ-环与连通谱的定理能否作为一般同伦莫里塔定理的特例推导而出？
• RQ4 在何种条件下，T-代数中的自由细胞附着对应于基范畴中的同伦细胞附着？
• RQ5 能否通过考虑Γ-空间范畴上具有紧支集的强单子，将同伦莫里塔定理扩展至完整描述谱？

主要发现

• 张量化的E-范畴上强函子与丰富函子的2-范畴之间存在2-同构，从而在强函子与丰富函子之间建立了自然等价关系。
• 自由T-代数在单位对象I上的端自单子自然通过T(I) ≅ Hom_T(T(I), T(I))在同伦范畴中获得单子结构。
• 在所述假设下，单子态射λ: −⊗T(I) → T诱导出T(I)-模范畴与T-代数范畴之间的奎伦等价。
• 在Γ-空间配备稳定模型结构的情形下，该定理恢复了斯维德的结果：Ho(Mod_{A^S}) ≃ Ho(Alg_{A∘})，其中A为良好指向的Γ-理论。
• 关于同伦细胞附着的假设(d)在基范畴为指向范畴且具有良好的单纯实现时，可重新表述为实现与切除性质。
• 通过Lydakis的嵌入，该框架可推广至FSP（带 smash 积的函子），从而允许在紧支集强单子上的代数与Bökstedt的FSP上的模之间构造奎伦等价。