REPRESENTATIONS OF DERIVED A-INFINITY ALGEBRAS 3 2. Review of derived A∞-algebras In this section we establish our notation and conventions. We review Sagave’s definition of derived A∞-algebras from [Sag10] and we explain the operadic ap- proach of [LRW13]. 2.1. Derived A∞-algebras. Let k denote a commutative ring unless other- wise stated. We start by considering (Z, Z)-bigraded k-modules A = i∈Z,j∈Z Aj. i We will use the following grading conventions. An element in Aj i is said to be of bidegree (i, j). We call i the horizontal degree and j the vertical degree. We have two suspensions: (sA)j i = Aj+1 i and (SA)j i = Aj i+1 . A morphism of bidegree (u, v) maps Aj i to Aj+v, i+u hence is a map of bidegree (0, 0) s−vS−uA → A. We remark that this is a different convention to that adopted in [LRW13]. The difference is a matter of changing the first grading from homological to coho- mological conventions. Note also that our objects are graded over (Z, Z). The reason for the change will be explained below. The following definition of (non-unital) derived A∞-algebra is that of [Sag10], except that we generalize to allow a (Z, Z)-bigrading, rather than an (N,Z)-bigrading. (Sagave avoids (Z, Z)-bigrading because of potential problems taking total com- plexes, but this is not an issue for the purposes of the present paper.) Definition 2.1. A derived A∞-algebra is a (Z,Z)-bigraded k-module A equipped with k-linear maps mij : A⊗j −→ A of bidegree (−i, 2 − i − j) for each i ≥ 0, j ≥ 1, satisfying the equations (2.1) u=i+p,v=j+q−1 j=1+r+t (−1)rq+t+pjmij(1⊗r ⊗ mpq ⊗ 1⊗t) = 0 for all u ≥ 0 and v ≥ 1. Note that the map mij maps from (A⊗j)α β to (A⊗j)β+2−i−j, α−i just as in [LRW13]. Thus the different convention for bidegrees has no effect on signs. Examples of derived A∞-algebras include classical A∞-algebras, which are de- rived A∞-algebras concentrated in horizontal degree 0. Other examples are bicom- plexes, bidgas and twisted chain complexes (see below). We remark that we follow the sign conventions of Sagave [Sag10]. For a derived A∞-algebra concentrated in horizontal degree 0, one obtains one of the standard sign conventions for A∞-algebras. The appendix contains a discussion of alternative sign conventions, with a precise description of the relationship between them.
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2015 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.