2.2. Chain and cochain DGAs
Recall from the introduction that a DGA is called a chain DGA if for all ; similarly, a DGA is called a cochain DGA if for all . A cochain DGA is called simply connected if, in addition, is a division ring and .
0MU8
Example 2.1.
Let be a chain DGA. Let be the derived category of DG -modules, see [6], and define a pair of subcategories of as follows:
|
|
|
|
|
|
|
|
|
|
It is easy to show that the pair forms a -structure on . Again, this -structure is non-degenerate and its heart consists of DG -modules whose cohomology is concentrated in degree zero.
0MU9
Example 2.2.
Let be a simply connected cochain DGA. Let be the derived category of DG -modules and define a pair of subcategories of as follows:
|
|
|
|
|
|
|
|
|
|
It is easy to show that the pair forms a co--structure on . As in Example 2.1, this co--structure is non-degenerate and its coheart consists of DG -modules whose cohomology sits in degree zero.
Simply connected cochain DGAs arise naturally in algebraic topology as the cochain algebras of simply connected CW-complexes, see [9] and [17], for example.