scientific article; zbMATH DE number 1143038
This paper is a continuation of [ibid. 54, 1-30 (1997; Zbl 0906.53017)] by the same author, and it deals with the study of a suitable notion of curvature for a connection on a principal sheaf. Let \((X, {\mathcal A})\) be a \(\mathbb{K}\)-algebraized space, \(\mathbb{K}= \mathbb{R}\), \(\mathbb{C}\), where \({\mathcal A}\) is a sheaf of \(\mathbb{K}\)-algebras on the topological space \(X\), and consider on \((X, {\mathcal A})\) a differential triad \(({\mathcal A}, d,\Omega^1)\) where \(d\) is a derivation of \({\mathcal A}\) with values in the \({\mathcal A}\)-module \(\Omega^1\). Moreover, let \({\mathcal G}= ({\mathcal G}, {\mathcal L},\rho, \partial)\) be a Lie sheaf of groups over \(X\), where \(\rho\) is a representation of \({\mathcal G}\) in the \({\mathcal A}\)-module \({\mathcal L}\) of Lie algebras over \(X\) and \(\partial: {\mathcal G}\to \Omega^1 \otimes_{\mathcal A} {\mathcal L}\) is a suitable morphism of sheaves of sets, called the Maurer-Cartan differential. Kähler's theory of differential (see \textit{A. Mallios} [J. Mat. Anal. Appl. 175, 143-168 (1993; Zbl 0805.46046)]) allows to construct the differential triad and to extend it to a so-called curvature datum \(({\mathcal A}, d,\Omega^1, d^1, \Omega^2)\) where \(\Omega^2 =\Omega^1 \wedge\Omega^1\) and \(d^1: \Omega^1 \to \Omega^2\) is a \(\mathbb{K}\)-linear morphism satisfying \(d^1\circ d=0\) and \(d^1(a \omega)=a\) \(d^1 \omega- \omega \wedge d\omega\), where \(d^1\) denotes \(d^1 \otimes 1_{\mathcal A}\). The author considers the \(\mathbb{K}\)-linear morphism \({\mathcal D}: \Omega^1 \otimes_{\mathcal A} {\mathcal L}\to \Omega^2 \otimes_{\mathcal A} {\mathcal L}\) determined by \({\mathcal D} (\omega)= d^1\omega +\omega \wedge \omega\). Then, supposing that \({\mathcal D} \circ\partial =0\) and \({\mathcal D} (\rho(g) \cdot \omega) =\rho(g) \cdot {\mathcal D} (\omega)\), \(g\in {\mathcal G}\), \(\omega\in \Omega^1 \otimes_{\mathcal A} {\mathcal L}\), he defines the curvature of a connection \(D\) on a \({\mathcal G}\)-principal sheaf \({\mathcal P}\), putting \(R= {\mathcal D} \circ D\). He studies local and global properties of \(R\) and, with a further extension of the curvature datum, he states the second Bianchi identity. Then he considers flat connections, i.e., with \(R=0\), and some related notion as complete parallelism induced by \(D\), integrability of \(D\) and \(\partial\)-flatness of \({\mathcal P}\). He proves that the existence of a connection inducing complete parallelism, the existence of an integrable connection, and the \(\partial\)-flatness of \({\mathcal P}\) are mutually equivalent and each of them implies the existence of a flat connection. Finally, the author shows that the converse holds if a suitable abstract Frobenius condition is satisfied, and in this context he also gives an example.
- Flat principal bundles over an abelian variety
- The flat model structure on complexes of sheaves
- Geometry of Principal Sheaves
- Flat quasi-coherent sheaves of finite cotorsion dimension
- Cohomology of flat principal bundles
- On flattening of coherent sheaves and of projective morphisms
- Flat covers and cotorsion envelopes of sheaves
- Hodge sheaves underlying flat projective families
- Simplicity of stable principal sheaves
- Vector sheaves associated with principal sheaves
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385669)
