[论文解读] A-infinity-bimodules and Serre A-infinity-functors

Lyubashenko, Volodymyr, Manzyuk, Oleksandr|ArXiv.org|Jan 5, 2007

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

一句话总结

本文建立了在域上具有单位元的A∞-范畴上的Serre A∞-函子与它们的同伦范畴上的Serre k-线性函子之间的精确对应关系。通过将A∞-双模定义为取值于复形的dg-范畴的A∞-函子，并在复形的同伦范畴中使用丰富范畴论，作者证明：一个具有单位元的A∞-范畴 admits Serre A∞-函子当且仅当其同伦范畴 admits Serre k-线性函子——从而提供了经典Serre对偶的同伦提升。

ABSTRACT

We define A-infinity-bimodules similarly to Tradler and show that this notion is equivalent to an A-infinity-functor with two arguments which takes values in the differential graded category of complexes of k-modules, where k is a ground commutative ring. Serre A-infinity-functors are defined via A-infinity-bimodules likewise Kontsevich and Soibelman. We prove that a unital closed under shifts A-infinity-category A over a field k admits a Serre A-infinity-functor if and only if its homotopy category H^0(A) admits a Serre k-linear functor. The proof uses categories enriched in K, the homotopy category of complexes of k-modules, and Serre K-functors. Also we use a new A-infinity-version of the Yoneda Lemma generalizing the previously obtained result.

研究动机与目标

• 通过A∞-双模定义并刻画Serre A∞-函子，推广Kontsevich与Soibelman的方法。
• 在三角范畴到A∞-范畴的范畴间建立Serre对偶的同伦提升。
• 阐明同伦范畴中的Serre函子与其A∞-增强之间的关系。
• 为理论提供一个新版本的A∞-Yoneda引理作为基础工具。
• 证明在域上具有单位元的A∞-范畴，当且仅当其同伦范畴具有Serre k-线性函子时，才 admits Serre A∞-函子。

提出的方法

• 将A∞-双模定义为取值于k-模复形的dg-范畴Ck的两个变量的A∞-函子。
• 在A∞-双模与取值于Ck的A∞-函子之间建立等价关系，推广先前关于A∞-模的结果。
• 使用K-丰富范畴，其中K是复形的同伦范畴，将Serre A∞-函子与Serre K-函子联系起来。
• 证明一个新版本的A∞-Yoneda引理，表明Yoneda A∞-函子是同伦全忠实的。
• 通过K-丰富结构和K-函子理论，将Serre函子从同伦范畴H⁰A提升到A∞-范畴A。
• 在对称单幕范畴中应用相干性原理和典范同构，以管理证明中的张量积与置换。

实验结果

研究问题

• RQ1 在域上具有单位元的A∞-范畴何时 admits Serre A∞-函子？
• RQ2 Serre A∞-函子与同伦范畴H⁰A中的Serre函子之间有何关系？
• RQ3 A∞-双模在刻画Serre A∞-函子中起着怎样的精确作用？
• RQ4 在此一般设定下，能否证明Yoneda A∞-函子是同伦全忠实的？
• RQ5 能否通过丰富范畴论，将Serre对偶从三角范畴提升到A∞-范畴？

主要发现

• 在域k上具有单位元的A∞-范畴A admits Serre A∞-函子当且仅当其同伦范畴H⁰A admits Serre k-线性函子。
• 在K-范畴kA上存在Serre K-函子，等价于在A上存在Serre A∞-函子。
• Yoneda A∞-函子Y: Aᵒᵖ → Aᵤ∞(A; Ck)是同伦全忠实的，推广了Fukaya以及Lyubashenko–Manzyuk的早期结果。
• 限制的Yoneda函子Y: Aᵒᵖ → Rep(A, Ck)是A∞-等价，表明每个具有单位元的A∞-范畴都与一个dg-范畴A∞-等价。
• 表示A∞-函子的范畴Rep(A, Ck)是Aᵤ∞(A; Ck)的一个U-小dg-子范畴，确保了Yoneda构造的良好行为。
• 该证明依赖于一个新版本的A∞-Yoneda引理，该引理推广了Seidel的结果，并将经典Yoneda引理扩展到了A∞-范畴。