A-无穷-双模与 Serre A-无穷-函子
范畴论
2008-02-15 v2
摘要
我们类似 Tradler 定义 A-无穷-双模,并证明该概念等价于一个双变量的 A-无穷-函子,其取值于 k-模复形的微分分次范畴,其中 k 是基交换环。Serre A-无穷-函子通过 A-无穷-双模类似 Kontsevich 与 Soibelman 定义。我们证明:域 k 上的单位元且对移位封闭的 A-无穷-范畴 A 承认一个 Serre A-无穷-函子,当且仅当其同伦范畴 H^0(A) 承认一个 Serre k-线性函子。证明使用了在 K 中丰富的范畴(K 为 k-模复形的同伦范畴)以及 Serre K-函子。我们也使用了一个新的 A-无穷-版本的 Yoneda 引理,推广了先前所得结果。
引用
@article{arxiv.math/0701165,
title = {A-infinity-bimodules and Serre A-infinity-functors},
author = {Volodymyr Lyubashenko and Oleksandr Manzyuk},
journal= {arXiv preprint arXiv:math/0701165},
year = {2008}
}
备注
122 pages, Latex + Paul Taylor's diagrams.sty. This is the published version + complete proof of A-infinity Yoneda Lemma