Remark 91.12.2. In the situation of Lemma 91.12.1 one can show that $H_ k(\mathcal{C}, \text{Sym}^ k(\mathcal{F})) = \wedge ^ k_ B(H_1(\mathcal{C}, \mathcal{F}))$. Namely, it can be deduced from the proof that $H_ k(\mathcal{C}, \text{Sym}^ k(\mathcal{F}))$ is the $S_ k$-coinvariants of

Thus our claim is that this action is given by the usual action of $S_ k$ on the tensor product multiplied by the sign character. To prove this one has to work through the sign conventions in the definition of the total complex associated to a multi-complex. We omit the verification.

## Comments (0)