Double complex
In mathematics, specifically Homological algebra, a double complex is a generalization of a chain complex where instead of having a [math]\displaystyle{ \mathbb{Z} }[/math]-grading, the objects in the bicomplex have a [math]\displaystyle{ \mathbb{Z}\times\mathbb{Z} }[/math]-grading. The most general definition of a double complex, or a bicomplex, is given with objects in an additive category [math]\displaystyle{ \mathcal{A} }[/math]. A bicomplex[1] is a sequence of objects [math]\displaystyle{ C_{p,q} \in \text{Ob}(\mathcal{A}) }[/math] with two differentials, the horizontal differential
[math]\displaystyle{ d^h: C_{p,q} \to C_{p+1,q} }[/math]
and the vertical differential
[math]\displaystyle{ d^v:C_{p,q} \to C_{p,q+1} }[/math]
which have the compatibility relation
[math]\displaystyle{ d_h\circ d_v = d_v\circ d_h }[/math]
Hence a double complex is a commutative diagram of the form
[math]\displaystyle{ \begin{matrix} & & \vdots & & \vdots & & \\ & & \uparrow & & \uparrow & & \\ \cdots & \to & C_{p,q+1} & \to & C_{p+1,q+1} & \to & \cdots \\ & & \uparrow & & \uparrow & & \\ \cdots & \to & C_{p,q} & \to & C_{p+1,q} & \to & \cdots \\ & & \uparrow & & \uparrow & & \\ & & \vdots & & \vdots & & \\ \end{matrix} }[/math]
where the rows and columns form chain complexes.
Some authors[2] instead require that the squares anticommute. That is
[math]\displaystyle{ d_h\circ d_v + d_v\circ d_h = 0. }[/math]
This eases the definition of Total Complexes. By setting [math]\displaystyle{ f_{p,q} = (-1)^p d^v_{p,q} \colon C_{p,q} \to C_{p,q-1} }[/math], we can switch between having commutativity and anticommutativity. If the commutative definition is used, this alternating sign will have to show up in the definition of Total Complexes.
Examples
There are many natural examples of bicomplexes that come up in nature. In particular, for a Lie groupoid, there is a bicomplex associated to it[3]pg 7-8 which can be used to construct its de-Rham complex.
Another common example of bicomplexes are in Hodge theory, where on an almost complex manifold [math]\displaystyle{ X }[/math] there's a bicomplex of differential forms [math]\displaystyle{ \Omega^{p,q}(X) }[/math] whose components are linear or anti-linear. For example, if [math]\displaystyle{ z_1,z_2 }[/math] are the complex coordinates of [math]\displaystyle{ \mathbb{C}^2 }[/math] and [math]\displaystyle{ \overline{z}_1,\overline{z}_2 }[/math] are the complex conjugate of these coordinates, a [math]\displaystyle{ (1,1) }[/math]-form is of the form
[math]\displaystyle{ f_{a,b}dz_a\wedge d\overline{z}_b }[/math]
See also
- ↑ "Section 12.18 (0FNB): Double complexes and associated total complexes—The Stacks project". https://stacks.math.columbia.edu/tag/0FNB.
- ↑ Weibel, Charles A. (1994). An introduction to homological algebra. Cambridge [England]: Cambridge University Press. ISBN 978-1-139-64863-9. OCLC 847527211. https://www.worldcat.org/oclc/847527211.
- ↑ Block, Jonathan; Daenzer, Calder (2009-01-09). "Mukai duality for gerbes with connection". arXiv:0803.1529 [math.QA].
Additional applications
 |  |
