Cohomological approach to the graded Berezinian

Clifford algebras, spinors (15A66) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Graded rings and modules (associative rings and algebras) (16W50) ``Super (or ``skew) structure (16W55) Superalgebras (17A70)

Abstract: We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in particular the quaternion algebra H. Following a cohomological approach, we introduce analogues of the notions of trace and determinant. Our construction reduces in the classical commutative case to the coordinate-free description of the determinant by means of the action of invertible matrices on the top exterior power, and in the supercommutative case it coincides with the well-known cohomological interpretation of the Berezinian.

Review text

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) \).

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Cohomological approach to the graded Berezinian

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2354791)