The diffeomorphism supergroup of a finite-dimensional supermanifold (Q695664)

The authors focus on the definition and basic properties of the diffeomorphism supergroup of a supermanifold. The first part of the paper is devoted to a self-contained overview of super geometry in the categorical approach. Then they define and study the concept of morphisms of supermanifolds in this approach. The invertible morphisms can be seen to possess a supergroup structure. An essential result is a structure theorem providing a factorization of this supergroup. Using this, analytic difficulties can be reduced to the underlying manifold. The main result of the paper is a proof that the supergroup of diffeomorphisms is in fact a Fréchet Lie supergroup.