Bispinor space (Q2463805)

A bispinor space is the tensor product of an augmented spinor space \(S\) with itself. The author succeeds in introducing a Clifford multiplication in a bispinor space. An identification of the bispinor space with Grassmann algebra and with Clifford algebra is achieved. Then, the author defines natural Klein transformation actions of the groups \(\text{Spin}^{\mathbb C}(2n)\), \(U(n)\) and \(\text{SO}(2n)\) on the Grassmann algebra \(\Lambda_{\mathbb C}(\omega_{1}, \omega_{2},\dots,\omega_{2n})\). All these results open a way to study the geometry of a bispinor space in the frame of the so-called \(\text{Spin}^{\mathbb C}\) geometries. For a manifold \(M\) endowed with a \(\text{Spin}^{\mathbb C}\) structure having \(P_{\text{Spin}^{\mathbb C}}\) as its \(\text{Spin}^{\mathbb C}\)-principal bundle, one considers the vector bundle \(E=P_{\text{Spin}^{\mathbb C}}\times \Lambda^{\ast}_{\mathbb C}(2n)\). A Dirac operator \(\mathcal{D}\) is defined on \(\Gamma (E)\). If \(F=P_{\text{Spin}^{\mathbb C}}\times (\Lambda^{\ast}_{\mathbb C}(\Omega_{1},\dots,\Omega_{n})\otimes \Lambda^{\ast}_{\mathbb C}(\overline{\Omega}_{1},\dots,\overline{\Omega}_{n})\), then a natural covariant derivative \(\nabla\), three operators \(\partial\), \(\partial^{\sharp}\), \(\partial+\partial^{\sharp}\) and their conjugate operators \(\overline{\partial}\), \(\overline{\partial}^{\sharp}\), \(\overline{\partial}+\overline{\partial}^{\sharp}\) are defined. The operators \(D_{1}\) and \(D_{2}\) corresponding to the Dirac operators \(\partial+\partial^{\sharp}\) and \(\overline{\partial}+\overline{\partial}^{\sharp}\), respectively, are defined on the induced vector bundle \(H=P_{G}\times_{G}\Lambda^{\ast}_{\mathbb C}(\Omega_{1},\dots,\Omega_{n}, \overline{\Omega}_{1},\dots,\overline{\Omega}_{n})\). Then, it is proved that a Pythagoras equality holds.