[论文解读] A-infinity-categories, their infinity-category, and their localizations

Yong‐Geun Oh, Hiro TANAKA|arXiv (Cornell University)|Mar 12, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 37被引用 6

一句话总结

本文建立了微分graded范畴与A-infinity范畴之间的等价关系，并证明了Lyubashenko-Manzyuk与Lyubashenko-Ovisienko提出的两种A-infinity范畴商的构造满足无穷范畴商的普遍性质。本文为A-infinity范畴的同伦理论提供了简洁的框架，并给出了局部化的具体模型，使其可应用于导出代数几何与拓扑场论中的高阶范畴结构。

ABSTRACT

We collect results regarding the homotopy theory of A-infinity-categories. Our two main results are (1) An equivalence between the infinity-category of dg-categories and of A-infinity-categories, and (2) A proof that two models for quotients of A-infinity-categories (as constructed by Lyubashenko-Manzyuk and Lyubashenko-Ovisienko) satisfy the universal property of quotients in the infinity-categorical sense. Our aims are to give succinct accounts of infinity-categorical language for users of A-infinity-categories, and to exhibit concrete models of localizations of A-infinity-categories. Indeed, we apply the results here in a companion work to prove a Liouville version of a conjecture of Teleman from the 2014 ICM.

研究动机与目标

• 为从事A-infinity范畴研究的研究人员提供一种简洁且易于理解的无穷范畴语言的阐述。
• 建立dg-范畴的无穷范畴与A-infinity范畴的无穷范畴之间的等价关系。
• 验证两种现有的A-infinity范畴商构造在无穷范畴意义下的普遍性质是否成立。
• 为A-infinity范畴中的局部化提供具体的模型，以支持高级应用。
• 支持一篇配套论文，证明2014年国际数学家大会中Teleman猜想的Liouville型版本。

提出的方法

• 利用无穷范畴技术，通过经典比较函子的导出提升，比较dg-范畴与A-infinity范畴。
• 应用模型范畴与Quillen等价性的理论，在无穷范畴设定下建立dg-范畴与A-infinity范畴之间的等价关系。
• 利用无穷范畴中局部化的框架，分析Lyubashenko-Manzyuk与Lyubashenko-Ovisienko的商构造。
• 运用无穷范畴中商的普遍性质，验证这两种构造是否满足所需的同伦普遍性。
• 依赖于无穷范畴理论中的既定结果，特别是关于局部化与稳定化的结果，以验证构造的正确性。
• 利用稳定无穷范畴与增强的三角范畴的框架，确保与已知同伦结构的兼容性。

实验结果

研究问题

• RQ1 是否存在dg-范畴的无穷范畴与A-infinity范畴的无穷范畴之间的典范等价？
• RQ2 Lyubashenko-Manzyuk与Lyubashenko-Ovisienko提出的商构造是否满足无穷范畴意义下的商的普遍性质？
• RQ3 这些商模型能否作为A-infinity范畴同伦理论中局部化的具体实现？
• RQ4 如何使无穷范畴语言对A-infinity范畴用户更加易懂且可应用？
• RQ5 这些构造在证明Teleman猜想的Liouville型版本中起到什么作用？

主要发现

• 建立了dg-范畴的无穷范畴与A-infinity范畴的无穷范畴之间的等价关系，表明它们在同伦设定下在范畴论上不可区分。
• Lyubashenko-Manzyuk的商构造在无穷范畴意义下满足局部化的普遍性质。
• Lyubashenko-Ovisienko的商构造同样满足无穷范畴局部化的普遍性质。
• 两种商模型均被证明具有良好的同伦性质，并与稳定无穷范畴的结构兼容。
• 这些结果为在导出代数几何与拓扑场论的背景下应用无穷范畴方法于A-infinity范畴奠定了基础。
• 该框架使得在配套论文中证明Teleman猜想的Liouville型版本成为可能，展示了这些构造的实际应用价值。