nLab chain complex in super vector spaces




Homological algebra

homological algebra

(also nonabelian homological algebra)



Basic definitions

Stable homotopy theory notions



diagram chasing

Schanuel's lemma

Homology theories




A chain complex V V_\bullet of super vector spaces is for each nn \in \mathbb{Z} a super vector space V n=(V n) even(V n) oddV_n = (V_n)_\even \oplus (V_n)_odd, equipped with a differential, hence for each nn \in \mathbb{Z} a morphism n:V n+1V n\partial_n \;\colon\; V_{n+1} \to V_n of super vector spaces such that =0\partial \circ \partial = 0.

The category Ch(SuperVect)Ch(SuperVect) of chain complexes of super vector space is much like the category of chain complexes Ch(Vect)Ch(Vect) of ordinary vector spaces, in particular in that it carries the tensor product of chain complexes that makes it a monoidal category. But there is a non-trivial symmetric braiding on Ch(SuperVect)Ch(SuperVect) which involves not just the signs used in the braiding in Ch(Vect)Ch(Vect), but also the signs involved in the defining nonp-trivial braiding on SuperVect. The commutative monoids with respect to this symmetric braiding on Ch(SuperVect)Ch(SuperVect) are the differential graded-commutative superalgebras.

In fact there are two such such non-trivial symmetric braidings on Ch(SuperVect)Ch(SuperVect) (Prop. below), but they are equivalent to each other (Prop. below).



(chain complexes of super vector spaces)

Write Ch(SuperVect)Ch(SuperVect) for the category of chain complexes inside the category of super vector spaces.

Hence for V Ch(SuperVect)V_\bullet \in Ch(SuperVect) an object, for each nn \in \mathbb{Z} there is a super vector space

V n=(V n) even(V n) oddSuperVect V_n = (V_n)_{even} \oplus (V_n)_{odd} \;\in SuperVect

where we write the elements of the group of order two as /2={even,odd}\mathbb{Z}/2 =\{even, odd\}, with eveneven being the neutral element.

Hence we may regard any V Ch(SuperVect)V_\bullet \in Ch(SuperVect) equivalently as a ×(/2)\mathbb{Z} \times (\mathbb{Z}/2)-graded vector space equipped with a differential of degree (1,even)(1,even). For vVv \in V an element in definite (“homogeneous”) bi-degree, we denote this degree by

(1)deg(v)(n v,σ v)×(/2). deg(v) \coloneqq (n_v, \sigma_v) \;\in\; \mathbb{Z} \times (\mathbb{Z}/2) \,.

The category Ch(SuperVect)Ch(SuperVect) becomes a monoidal category under the tensor product of chain complexes applied to the tensor product of super vector spaces. This means that for V,WCh(SuperVect)V, W \in Ch(SuperVect), the differential on a homogeneously graded element vwVWv \otimes w \in V \otimes W is

(vw)=(v)w+(1) n vvw. \partial(v \otimes w) \;=\; (\partial v) \otimes w + (-1)^{ n_v } v \otimes \partial w \,.


Symmetric monoidal structure


(symmetric monoidal structure on category of chain complexes of super vector spaces)

The monoidal category of chain complexes of super vector spaces (Ch(SuperVect),)(Ch(SuperVect), \otimes) from Def. becomes a symmetric monoidal with each of the following two braiding isomorphisms, defined on tensor products of elements in homogenous bi-degree (1) as follows:

  1. τ Deligne:vw(1) (n vn w+σ vσ w)wv\tau_{Deligne} \;\colon\; v \otimes w \mapsto (-1)^{ (n_v n_w + \sigma_v \sigma_w) } w \otimes v;

  2. τ Bernst:vw(1) (n v+σ v)(n w+σ w)wv\tau_{Bernst} \;\colon\; v \otimes w \mapsto (-1)^{ (n_v + \sigma_v) (n_w + \sigma_w) } w \otimes v.

Here in the exponents we are using the canonical ring-structure on the integers \mathbb{Z} and on the prime field /2=𝔽 2\mathbb{Z}/2 = \mathbb{F}_2, the implicit ring homomorphism /2\mathbb{Z} \to \mathbb{Z}/2 and we understand that (1) even=1(-1)^{even} = 1 and (1) odd=1(-1)^{odd} = -1.


Since the expressions for both sign factors are symmetric in vv and ww in both cases, it is clear that τ w,vτ v,w=id vw\tau_{w,v} \circ \tau_{v,w} = id_{v \otimes w} in both cases. Hence if τ\tau is indeed a braiding, then it is symmetric.

To see that τ\tau is indeed a braiding in each case, we need to check the hexagon identities

(V 1V 2)V 3 a V 1,V 2,V 3 V 1(V 2V 3) τ V 1,V 2V 3 (V 2V 3)V 1 τ V 1,V 2Id a V 2,V 3,V 1 (V 2V 1)V 3 a V 2,V 1,V 3 V 2(V 1V 3) Idτ V 1,V 3 V 2(V 3V 1) \array{ (V_1 \otimes V_2) \otimes V_3 &\overset{a_{V_1, V_2, V_3}}{\longrightarrow}& V_1 \otimes (V_2 \otimes V_3) &\overset{\tau_{V_1,V_2 \otimes V_3}}{\longrightarrow}& (V_2 \otimes V_3) \otimes V_1 \\ \Big\downarrow{}^{\tau_{V_1,V_2}\otimes Id} &&&& \Big\downarrow{}^{a_{V_2,V_3,V_1}} \\ (V_2 \otimes V_1) \otimes V_3 &\overset{a_{V_2,V_1,V_3}}{\longrightarrow}& V_2 \otimes (V_1 \otimes V_3) &\overset{Id \otimes \tau_{V_1,V_3}}{\longrightarrow}& V_2 \otimes (V_3 \otimes V_1) }


V 1(V 2V 3) a V 1,V 2,V 3 1 (V 1V 2)V 3 τ V 1V 2,V 3 V 3(V 1V 2) idτ V 2,V 3 a V 3,V 1,V 2 1 V 1(V 3V 2) a V 1,V 3,V 2 1 (V 1V 3)V 2 τ V 1,V 3id (V 3V 1)V 2. \array{ V_1 \otimes (V_2 \otimes V_3) &\overset{a^{-1}_{V_1,V_2,V_3}}{\longrightarrow}& (V_1 \otimes V_2) \otimes V_3 &\overset{\tau_{V_1 \otimes V_2, V_3}}{\longrightarrow}& V_3 \otimes (V_1 \otimes V_2) \\ \Big\downarrow{}^{id \otimes \tau_{V_2,V_3}} &&&& \Big\downarrow{}^{a^{-1}_{V_3,V_1,V_2}} \\ V_1 \otimes (V_3 \otimes V_2) &\overset{a^{-1}_{V_1,V_3,V_2}}{\longrightarrow}& (V_1 \otimes V_3) \otimes V_2 &\overset{\tau_{V_1,V_3} \otimes id}{\longrightarrow}& (V_3 \otimes V_1) \otimes V_2 } \,.

Since τ\tau differs only by multiplication by a sign from the standard symmetric braiding on the category of vector spaces, which does satisfy its hexagon identities, it just remains to check that these sign factors picked up in going both ways around these diagrams agree.

Hence for τ Deligne\tau_{Deligne} the two hexagon identities are equivalent to the conditions

(1) n 1(n 2+n 3)+σ 1(σ 2+σ 3)=(1) n 1n 2+σ 1σ 2+n 1n 3+σ 1σ 3 (-1)^{ n_1 (n_2 + n_3) + \sigma_1( \sigma_2 + \sigma_3 ) } \;=\; (-1)^{ n_1 n_2 + \sigma_1 \sigma_2 + n_1 n_3 + \sigma_1 \sigma_3 }


(1) (n 1+n 2)n 3+(σ 1+σ 2)σ 3=(1) n 1n 3+σ 1σ 3+n 2n 3+σ 2σ 3 (-1)^{ (n_1 + n_2) n_3 + (\sigma_1 + \sigma_2) \sigma_3 } \;=\; (-1)^{ n_1 n_3 + \sigma_1 \sigma_3 + n_2 n_3 + \sigma_2 \sigma_3 }

while for τ Bernst\tau_{Bernst} they are equivalent to the conditions

(1) (n 1+σ 1)(n 2+σ 2+n 3+σ 3)=(1) (n 1+σ 1)(n 2+σ 2)+(n 1+σ 1)(n 3+σ 3) (-1)^{ (n_1 + \sigma_1)( n_2 + \sigma_2 + n_3 + \sigma_3 ) } \;=\; (-1)^{ (n_1 + \sigma_1)(n_2 + \sigma_2) + (n_1 + \sigma_1)(n_3 + \sigma_3) }


(1) (n 1+σ 1+n 2+σ 2)(n 3+σ 3)=(1) (n 1+σ 1)(n 3+σ 3)+(n 2+σ 2)(n 3+σ 3) (-1)^{ (n_1 + \sigma_1 + n_2 + \sigma_2)(n_3 + \sigma_3) } \;=\; (-1)^{ (n_1 + \sigma_1)(n_3 + \sigma_3) + (n_2 + \sigma_2)(n_3 + \sigma_3) }

for all triples of bi-degrees (n i,σ i)×(/2)(n_i, \sigma_i) \in \mathbb{Z} \times (\mathbb{Z}/2).

In both cases this holds because already the relevant exponents are equal in each case, by the distributive law for multiplication and addition in /2=𝔽 2\mathbb{Z}/2 = \mathbb{F}_2.



For the symmetric braiding τ Bernst\tau_{Bernst} in Prop. it makes sense to name the additive group homomorphism

×(/2) parity /2 (n,σ) σ+nmod2 \array{ \mathbb{Z} \times (\mathbb{Z}/2) &\overset{ parity }{\longrightarrow}& \mathbb{Z}/2 \\ (n , \sigma) &\mapsto& \sigma + n \, mod \, 2 }

This is called parity in parts of the literature (following AKSZ 95). With this notation the Bernstein braiding in Prop. is simply

  • τ Bernst:vw(1) parity(v)parity(w)wv\tau_{Bernst} \;\colon\; v \otimes w \mapsto (-1)^{ parity(v) parity(w) } w \otimes v.

Notice that for the other symmetric braiding τ Deligne\tau_{Deligne}, the concept of parity does not play any intrinsic role.


(the two symmetric monoidal structures on the category of chain complexes of super vector spaces are equivalent)

The two symmetric monoidal category structures τ Deligne\tau_{Deligne} and τ Bernst\tau_{Bernst} on the monoidal category of chain complexes of super vector spaces (Ch(SuperVect),)(Ch(SuperVect), \otimes) from Prop. are equivalent

τ Deligneτ Bernst \tau_{Deligne} \;\simeq\; \tau_{Bernst}

in that the identity functor Ch(SuperVect)idCh(SuperVect)Ch(SuperVect) \overset{id}{\longrightarrow} Ch(SuperVect) equipped with the following monoidal natural isomorphism

id(V)id(W)μid(VW) vw(1) n vσ wvw \array{ id(V) \otimes id(W) \overset{\mu}{\longrightarrow} id(V \otimes W) \\ v \otimes w \;\mapsto\; (-1)^{ n_v \sigma_w } \, v \otimes w }

(the second line shows its action on elements of homogeneous bidegree (n,σ)×(/2)(n,\sigma) \in \mathbb{Z} \times (\mathbb{Z}/2))

becomes a strong symmetric monoidal functor

(Ch(SuperVect),,τ Deligne)(id,μ)(Ch(SuperVect),,τ Bernst). (Ch(SuperVect), \otimes, \tau_{Deligne}) \underoverset{\simeq}{(id,\mu)}{\longrightarrow} (Ch(SuperVect), \otimes, \tau_{Bernst}) \,.

(Deligne-Morgan 99, remark 1.2.8)


First to see that we have a strong monoidal functor, we need to check the associativity condition

(id(V 1)id(V 2))id(V 3) a id(V 1),id(V 2),id(V 3) id(V 1)(id(V 2)id(V 3)) μ V 1,V 2id idμ V 2,V 3 id(V 1V 2)id(V 3) id(V 1)id(V 2V 3) μ V 1V 2,V 3 μ V 1,V 2V 3 id((V 1V 2)V 3) id(a V 1,V 2,V 3) id(V 1(V 2V 3)), \array{ (id(V_1) \otimes id(V_2)) \otimes id(V_3) &\underoverset{\simeq}{a_{id(V_1),id(V_2),id(V_3)}}{\longrightarrow}& id(V_1) \otimes( id(V_2)\otimes id(V_3) ) \\ {}^{\mathllap{\mu_{V_1,V_2} \otimes id}}\downarrow && \Big\downarrow{}^{\mathrlap{id\otimes \mu_{V_2,V_3}}} \\ id(V_1 \otimes V_2) \otimes id(V_3) && id(V_1) \otimes id(V_2 \otimes V_3) \\ {}^{\mathllap{\mu_{V_1 \otimes V_2 , V_3} } }\Big\downarrow && \Big\downarrow^{\mathrlap{\mu_{ V_1, V_2 \otimes V_3 }}} \\ id( ( V_1 \otimes V_2 ) \otimes V_3 ) &\underset{id(a_{V_1,V_2,V_3})}{\longrightarrow}& id( V_1 \otimes ( V_2 \otimes V_3 ) ) } \,,

and the unitality conditions

1id(V) ϵid id(1)id(V) id(V) μ 1,V id(V) id( V) id(1V) \array{ 1 \otimes id(V) &\overset{\epsilon \otimes id}{\longrightarrow}& id(1) \otimes id(V) \\ {}^{\mathllap{\ell_{id(V)}}}\Big\downarrow && \Big\downarrow{}^{\mathrlap{\mu_{1, V }}} \\ id(V) &\overset{id(\ell_V )}{\longleftarrow}& id(1 \otimes V ) }


id(V)1 idϵ id(V)id(1) r id(V) μ V,1 id(V) F(r V) id(V1), \array{ id(V) \otimes 1 &\overset{id \otimes \epsilon }{\longrightarrow}& id(V) \otimes id(1) \\ {}^{\mathllap{r_{id(V)}}}\Big\downarrow && \Big\downarrow{}^{\mathrlap{\mu_{V, 1 }}} \\ id(V) &\overset{F(r_V )}{\longleftarrow}& id(V \otimes 1 ) } \,,

Since μ\mu differs from the trivial monoidal isomorphism only by the sign factor, this is equivalent to the condition that the sign factors picked up in going both ways around these diagrams agree.

For associativity this is the condition

(1) n 1σ 2+(n 1+n 2)σ 3=(1) n 2σ 3+n 1(σ 2+σ 3) (-1)^{ n_1 \sigma_2 + (n_1 + n_2)\sigma_3 } \;=\; (-1)^{ n_2 \sigma_3 + n_1 (\sigma_2 + \sigma_3) }

for all bi-degrees (n i,σ i)×(/2)(n_i, \sigma_i) \in \mathbb{Z} \times (\mathbb{Z}/2), which holds, because it already holds for the exponents themselves, as an identity in /2=𝔽 2\mathbb{Z}/2 =\mathbb{F}_2.

For the unitality condition this is the statement that the sign given by μ 1,x\mu_{1,x} and μ x,1\mu_{x,1} is the the trivial sign (1) 0=1(-1)^0 = 1. This is indeed the case because the tensor unit is in degree 0=(0,even)×(/2)0 = (0,even) \in \mathbb{Z} \times (\mathbb{Z}/2).

Now to see that we have a symmetric monoidal functor, we need to show that it intertwines the two symmetruc braiding isomorphisms

id(V 1)id(V 2) τ Bernst id(V 2)id(V 1) μ V 1,V 2 μ V 2,V 1 id(V 1V 2) id(τ Deligne) if(WV) \array{ id(V_1) \otimes id(V_2) &\stackrel{\tau_{Bernst}}{\longrightarrow}& id(V_2) \otimes id(V_1) \\ {}^{\mathllap{\mu_{V_1,V_2}}}\Big\downarrow && \Big\downarrow{}^{\mathrlap{\mu_{V_2,V_1}}} \\ id(V_1\otimes V_2) &\overset{id(\tau_{Deligne})}{\longrightarrow}& if(W \otimes V) }

As before, this is equivalent to a condition on the signs picked up both ways, which reads:

(1) (n 1+σ 1)(n 2+σ 2)+n 2σ 1=(1) n 1σ 2+n 1n 2+σ 1σ 2. (-1)^{ (n_1 + \sigma_1)(n_2 + \sigma_2) + n_2 \sigma_1} \;=\; (-1)^{ n_1 \sigma_2 + n_1 n_2 + \sigma_1 \sigma_2 } \,.

Inspection shows that this is indeed the case:

The two signs of τ Deligne\tau_{Deligne} and τ Bernst\tau_{Bernst} differ by the “mixed terms” that are produced in multiplying out (n v+σ v)(n w+σ w)(n_v + \sigma_v)(n_w + \sigma_w) and these two mixed terms is just what the two occurences μ\mu provides (using that +1=1𝔽 2+1 = -1 \in \mathbb{F}_2).

Differential graded-commutative superalgebras


A differential graded-commutative superalgebra is a commutative monoid in the symmetric monoidal category of chain complexes of super vector spaces, for either of the symmetric monoidal structures from Prop. .

sdgcAlg DeligneComMon(Ch(SuperVect),,τ Deligne) sdgcAlg_{Deligne} \;\coloneqq\; ComMon\left( Ch(SuperVect), \otimes, \tau_{Deligne} \right)
sdgcAlg BenrstComMon(Ch(SuperVect),,τ Bernst) sdgcAlg_{Benrst} \;\coloneqq\; ComMon\left( Ch(SuperVect), \otimes, \tau_{Bernst} \right)

The resulting sign rule is this:

sign rule for differential graded-commutative superalgebras
(different but equivalent)

A\phantom{A}Deligne’s conventionA\phantom{A}A\phantom{A}Bernstein’s conventionA\phantom{A}
A\phantom{A}α iα j= \alpha_i \cdot \alpha_j = A\phantom{A}A\phantom{A}(1) (n in j+σ iσ j)α jα i(-1)^{ (n_i \cdot n_j + \sigma_i \cdot \sigma_j) } \alpha_j \cdot \alpha_iA\phantom{A}A\phantom{A}(1) (n i+σ i)(n j+σ j)α jα i (-1)^{ (n_i + \sigma_i) \cdot (n_j + \sigma_j) } \alpha_j \cdot \alpha_iA\phantom{A}
A\phantom{A}common inA\phantom{A}
A\phantom{A}discussion ofA\phantom{A}
A\phantom{A}supergravityA\phantom{A}A\phantom{A}AKSZ sigma-modelsA\phantom{A}
A\phantom{A}Bonora et. al 87,A\phantom{A}
A\phantom{A}Castellani-D’Auria-Fré 91,A\phantom{A}
A\phantom{A}Deligne-Freed 99A\phantom{A}
A\phantom{A}AKSZ 95,A\phantom{A}
A\phantom{A}Carchedi-Roytenberg 12A\phantom{A}

Since the identity functor carries a strong symmetric monoidal equivalence of categories (Prop. )

(Ch(SuperVect),,τ Deligne)(Ch(SuperVect),,τ Bernst) \left( Ch(SuperVect), \otimes, \tau_{Deligne} \right) \;\simeq\; \left( Ch(SuperVect), \otimes, \tau_{Bernst} \right)

there is (via this Prop.) an induced equivalence of categories of the corresponding symmetric monoids

ComMon(Ch(SuperVect),,τ Deligne)ComMon(Ch(SuperVect),,τ Bernst) ComMon\left( Ch(SuperVect), \otimes, \tau_{Deligne} \right) \;\simeq\; ComMon\left( Ch(SuperVect), \otimes, \tau_{Bernst} \right)

hence of these two versions of differential graded-commutative superalgebras:

sdgcAlg DelignesdgcAlg Bernst sdgcAlg_{Deligne} \;\simeq\; sdgcAlg_{Bernst}

Model category structure

See at model structure on chain complexes of super vector spaces.


Last revised on July 31, 2018 at 10:36:25. See the history of this page for a list of all contributions to it.