Combinatorial differential forms. (Q5957472)
From MaRDI portal
scientific article; zbMATH DE number 1717472
Language | Label | Description | Also known as |
---|---|---|---|
English | Combinatorial differential forms. |
scientific article; zbMATH DE number 1717472 |
Statements
Combinatorial differential forms. (English)
0 references
2001
0 references
In contrast to the case of line bundles, which can be described in terms of the cohomology with values in the usual de Rham complex, connections on a principal bundle with non-abelian structure group lead to the theory of differential forms with values in a Lie algebra or its adjoint group. These objects possess a considerably richer structure; for instance, they are endowed with a non-trivial Lie algebra structure, and the differentials form no longer a complex but fulfil certain relations which reflect in low degrees both the Maurer-Cartan equation and the Bianchi identity. In the paper under review, the authors adapt the approach of \textit{A. Kock} [Synthetic differential geometry (London Mathematical Lecture Note Series, 51, Cambridge University Press, Cambridge etc.) (1981; Zbl 0466.51008); Bull. Aust. Math. Soc. 25, 357--386 (1982; Zbl 0484.58005)] to these objects by using the following combinatorial definition. Let \(X/S\) be an \(S\)-scheme and let \(\Delta^n_{X/S}\subset X^{n+1}\) be the subscheme of pairwise infinitesimally close \((n+1)\)-tuples of points. Then a \(\text{Lie}(G)\) valued \(n\)-form, for an \(S\)-group scheme \(G\), is an \(S\)-morphism \(\Delta^n_{X/S}\rightarrow G\). The authors give a substantial survey of these objects and related results, taking into account several technical subtleties in the general scheme-theoretic context.
0 references