Cohomological approach to the graded Berezinian (Q2354791)

This paper starts with a general discussion of the notions of \(\Gamma\)-graded vector spaces, \(\Gamma\)-graded algebras, \(\Gamma\)-graded modules, \(\Gamma \)-colored Lie algebras, and \(\Gamma\)-graded tensor and symmetric algebras, which are natural generalizations of the well-known concepts of super or \(\mathbb{Z}_{2}\)-graded corresponding objects, where the grading group \(\Gamma\) is an abelian group equipped with a symmetric bi-additive map \(\left\langle ,\right\rangle :\Gamma\times\Gamma\rightarrow\mathbb{Z}_{2}\) so that the \(\Gamma\)-commutativity condition \(ab=\left( -1\right) ^{\left\langle \tilde{a},\tilde{b}\right\rangle }ba\) for homogeneous elements \(a,b\) of degrees \(\tilde{a},\tilde{b}\in\Gamma\) can be formulated for \(\Gamma \)-graded objects. In the case of \(\Gamma=\left( \mathbb{Z}_{2}\right) ^{n}\) equipped with the standard scalar product \(\left\langle x,y\right\rangle :=\sum_{i=1}^{n} x_{i}y_{i}\), the algebra of graded endomorphisms of a free module \(M\) of rank \(\rho\in\mathbb{N}^{2^{n}}\) over a \(\Gamma\)-commutative graded algebra \(A\) is identified as an algebra \(M\left( \rho;A\right) \) of matrices with entries in \(A\), and similarly the group of invertible degree-preserving automorphisms of \(M\) is identified as a matrix group \(\mathrm{GL}^{0}\left( \rho;A\right) \). The notions of graded trace \(\Gamma \operatorname{tr}:M\left( \rho;A\right) \rightarrow A\) and graded Berezinian \(\Gamma \operatorname{Ber}:\mathrm{GL}^{0}\left( \rho,A\right) \rightarrow\left( A^{0}\right) ^{\times}\) developed by the first author, Ovsienko and Poncin [\textit{T. Covolo} et al., J. Geom. Phys. 62, No. 11, 2294--2319 (2012; Zbl 1308.15023)] are recalled, where \(\left( A^{0}\right) ^{\times}\) stands for the set of invertible elements in the subalgebra \(A^{0}\) of degree-\(0\) elements of \(A\). The author proceeds to construct a cochain complex \(\mathcal{K}^{\bullet}\) built on the graded symmetric algebra \(S_{A}^{\bullet}\left( \Pi M\oplus M^{\ast}\right) \) with its cohomology group being a free rank-one \(A\)-module concentrated at the top dimension \(r\) which is the total rank of \(M\), where \(\Pi M\) is the module \(M\) with its grading shifted by an odd element \(\pi \in\left( \mathbb{Z}_{2}\right) ^{n}\). It is then shown that the canonical actions of \(S\in M^{0}\left( \rho;A\right) \) (or an even matrix for \(\pi=\left( 1,1,\ldots,1\right) \) with \(n\) odd) and \(T\in \mathrm{GL}^{0}\left( \mathbf{r},A\right) \) on the top cohomology group \(H^{r}\left( \mathcal{K}^{\bullet}\right) \) are respectively the left multiplication by \(\Gamma \operatorname{tr}\left( S\right) \) and the right multiplication by \(\Gamma \operatorname{Ber}\left( T\right) \).