The first Bianchi identity in synthetic differential geometry (Q5939908)

The development of synthetic differential geometry is based on a rigorous interpretation of the notion of infinitesimals as nilpotent elements of a ring. The book [Models for smooth infinitesimal analysis, (Springer-Verlag, New York) (1991; Zbl 0715.18001)] by \textit{I.~Moerdijk} and \textit{G.~E.~Reyes} was the first text to concentrate on the models of synthetic differential geometry and the connections with the classical theory, while emphasizing the role of both nilpotent and invertible infinitesimals. Recently, the author [Int. J.~Theor.~Phys. 36, No. 5, 1099-1131 (1997; Zbl 0884.18014)] has proved a generalized Jacobi identity, which involves the three strong differences on microcubes and the strong difference on microsquares. The usual Jacobi identity for Lie brackets is an easy consequence of the above result. In this paper, the author presents the first Bianchi identity in the synthetic differential geometry without assuming symmetry of the connection. The identity has two approaches. One of them is to express the exterior covariant derivative of the torsion form in terms of curvature forms and the other is to relate curvature tensor fields to torsion tensor fields.