Abstract:Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove that, in the framework of Synthetic Differential Geometry (SDG), the tangent space at the identity element of the bisection group of a groupoid naturally forms a Lie algebra. Specifically, the author proves that this tangent space satisfies the Jacobi identity of Lie algebras through two different methods, thereby establishing its Lie algebra structure.
### Background and Motivation
- **Groupoids and Principal Bundles**: The paper points out that groupoids provide a more suitable differential - geometric framework than principal bundles. A groupoid can be regarded as a generalized category in which all morphisms are invertible, which makes it more natural and general when dealing with certain geometric problems.
- **Synthetic Differential Geometry**: Synthetic differential geometry is a cutting - edge branch of differential geometry that allows the use of rich nilpotent infinitesimals, which were widely used in the era of Newton and Leibniz but were replaced by strict ε - δ arguments in the 19th century. Through topos theory, synthetic differential geometry provides a new framework that enables differential geometers to conduct research in the rich nilpotent infinitesimals.
### Main Results
- **Tangent Space of the Bisection Group**: Given a micro - linear groupoid \(G\) and its base space \(M\), the tangent space \(\Gamma(A_G)\) at the identity element of the bisection group \(B(G)\) naturally forms a Lie algebra. Here, \(A_G\) is the Lie algebroid of the groupoid \(G\).
- **Definition of the Lie Bracket**: The author defines the Lie bracket on \(\Gamma(A_G)\) and proves that this Lie bracket satisfies the Jacobi identity through two different methods:
- **First Method**: By using the concept of Lie derivative, the Jacobi identity is transformed into a form similar to the Leibniz rule in elementary calculus.
- **Second Method**: By defining micro - cube and strong difference, starting directly from the general Jacobi identity, it is proved that \(\Gamma(A_G)\) satisfies the Jacobi identity.
### Key Concepts
- **Bisection**: A bisection of a groupoid \(G\) is a mapping \(\sigma: M\rightarrow G\) such that \(\beta\circ\sigma\) is a bijection on \(M\).
- **Lie Algebroid**: Given a groupoid \(G\), its Lie algebroid \(A_G\) is a vector bundle, and the set of its sections \(\Gamma(A_G)\) forms a Lie algebra.
- **Nilpotent Infinitesimals**: In synthetic differential geometry, nilpotent infinitesimals \(D\) are defined as \(\{d\in\mathbb{R}\mid d^{2} = 0\}\).
### Conclusion
Through the above two methods, the paper successfully proves that in the framework of synthetic differential geometry, the tangent space at the identity element of the bisection group of a groupoid naturally forms a Lie algebra. This result not only enriches the theoretical system of synthetic differential geometry but also provides new tools and perspectives for further research on groupoids and Lie algebras.