Geometry and Dynamics of Groups and Spaces pp 565-645 | Cite as
A∞-bimodules and Serre A∞-functors
Abstract
We define A ∞-bimodules similarly to Tradler and show that this notion is equivalent to an A ∞-functor with two arguments which takes values in the differential graded category of complexes of \( \Bbbk \)-modules, where \( \Bbbk \) is a ground commutative ring. Serre A ∞-functors are defined via A ∞-bimodules likewise Kontsevich and Soibelman. We prove that a unital closed under shifts A ∞-category \( \mathcal{A} \) over a field \( \mathcal{A} \) admits a Serre A ∞-functor if and only if its homotopy category H 0 \( \mathcal{A} \) admits a Serre \( \Bbbk \)-linear functor. The proof uses categories enriched in \( \mathcal{K} \), the homotopy category of complexes of \( \Bbbk \)-modules, and Serre \( \mathcal{K} \)-functors. Also we use a new A ∞-version of the Yoneda Lemma generalizing the previously obtained result.
Keywords
A∞-categories A∞-modules A∞-bimodules Serre A∞-functors Yoneda LemmaPreview
Unable to display preview. Download preview PDF.
References
- [BK89]A.I. Bondal and M.M. Kapranov, Representable functors, Serre functors, and reconstructions, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 6, 1183–1205, 1337.Google Scholar
- [BLM06]Yu. Bespalov, V.V. Lyubashenko, and O. Manzyuk, Closed multicategory of pretriangulated A ∞-categories, book in progress, 2006, http://www.math.ksu.edu/~lub/papers.html.Google Scholar
- [Cos04]K.J. Costello, Topological conformal field theories and Calabi-Yau categories, 2004, math.QA/0412149.Google Scholar
- [DM82]P. Deligne and J.S. Milne, Tannakian categories, Hodge cycles, motives, and Shimura varieties, Lecture Notes in Math., no. 900, Springer-Verlag, Berlin, Heidelberg, New York, 1982, pp. 101–228.CrossRefGoogle Scholar
- [Dri04]V.G. Drinfeld, DG quotients of DG categories, J. Algebra 272 (2004), no. 2, 643–691, math.KT/0210114.MATHCrossRefMathSciNetGoogle Scholar
- [Fuk02]K. Fukaya, Floer homology and mirror symmetry. II, Minimal surfaces, geometric analysis and symplectic geometry (Baltimore, MD, 1999), Adv. Stud. Pure Math., vol. 34, Math. Soc. Japan, Tokyo, 2002, pp. 31–127.Google Scholar
- [GM03]S.I. Gelfand and Y.I. Manin, Methods of homological algebra, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 1996, 2003.MATHGoogle Scholar
- [Kap90]M.M. Kapranov, Surgeries and Serre functors in constructive sheaves, Funktsional. Anal. i Prilozhen. 24 (1990), no. 2, 85–86.MathSciNetCrossRefGoogle Scholar
- [Kel01]B. Keller, Introduction to A-infinity algebras and modules, Homology, Homotopy and Applications 3 (2001), no. 1, 1–35, math.RA/9910179 http://intlpress.com/HHA/v3/n1/a1/.MATHMathSciNetGoogle Scholar
- [Kel06]B. Keller, A-infinity algebras, modules and functor categories, Trends in representation theory of algebras and related topics, Contemp. Math., vol. 406, Amer. Math. Soc., Providence, RI, 2006, math.RT/0510508, pp. 67–93.Google Scholar
- [Kel82]G.M. Kelly, Basic concepts of enriched category theory, London Mathematical Society Lecture Notes, vol. 64, Cambridge University Press, 1982, http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html.Google Scholar
- [KS06]M. Kontsevich and Y.S. Soibelman, Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I, 2006, math.RA/0606241.Google Scholar
- [LH03]K. Lefèvre-Hasegawa, Sur les A ∞-catégories, Ph.D. thesis, Université Paris 7, U.F.R. de Mathématiques, 2003, math.CT/0310337.Google Scholar
- [Lyu99]V.V. Lyubashenko, Squared Hopf algebras, Mem. Amer.Math. Soc. 142 (1999), no. 677, 184 pp.Google Scholar
- [Lyu03]V.V. Lyubashenko, Category of A∞-categories, Homology, Homotopy and Applications 5 (2003), no. 1, 1–48, math.CT/0210047 http://intlpress.com/HHA/v5/n1/a1/.MATHMathSciNetGoogle Scholar
- [LM04]V.V. Lyubashenko and O. Manzyuk, Quotients of unital A ∞-categories, Max-Planck-Institut fur Mathematik preprint, MPI 04-19, 2004, math.CT/0306018.Google Scholar
- [LM07]V.V. Lyubashenko and O. Manzyuk, A ∞-bimodules and Serre A ∞-functors, 2007, math.CT/0701165.Google Scholar
- [Mac88]S. Mac Lane, Categories for the working mathematician, GTM, vol. 5, Springer-Verlag, New York, 1971, 1988.Google Scholar
- [Man07]O. Manzyuk, A ∞-bimodules and Serre A ∞-functors, Ph.D. thesis, Technische Universität Kaiserslautern, Fachbereich Mathematik, 2007.Google Scholar
- [MS05]V. Mazorchuk and C. Stroppel, Projective-injective modules, Serre functors and symmetric algebras, 2005, math.RT/0508119.Google Scholar
- [RvdB02]I. Reiten and M. van den Bergh, Noetherian hereditary abelian categories satisfying Serre duality, J. Amer. Math. Soc. 15 (2002), no. 2, 295–366 (electronic), math.RT/9911242.MATHCrossRefMathSciNetGoogle Scholar
- [Sei06]P. Seidel, Fukaya categories and Picard-Lefschetz theory, http://www.math.uchicago.edu/~seidel book in progress, 2006.Google Scholar
- [Soi04]Y.S. Soibelman, Mirror symmetry and noncommutative geometry of A ∞-categories, J. Math. Phys. 45 (2004), no. 10, 3742–3757.MATHCrossRefMathSciNetGoogle Scholar
- [Tra01]T. Tradler, Infinity-inner-products on A-infinity-algebras, 2001, math.AT/0108027.Google Scholar
- [Tra02]T. Tradler, The BV algebra on Hochschild cohomology induced by infinity inner products, 2002, math.QA/0210150.Google Scholar
- [TT06]J. Terilla and T. Tradler, Deformations of associative algebras with inner products, Homology, Homotopy Appl. 8 (2006), no. 2, 115–131 (electronic), math.QA/0305052.MATHMathSciNetGoogle Scholar