Automorphism supergroups of supermanifolds (Q2410909)

This paper introduces the notion of mixed super vector spaces and their corresponding mixed supermanifolds and mixed Lie supergroups. Subclasses of such mixed supermanifolds include real supermanifolds, complex supermanifolds and \textit{cs} manifolds. Various other structures, such as principal \(G\)-bundles, tangent bundle, frame bundles and their corresponding \(G\)-structures, for mixed supermanifolds are defined. The main object of study in the paper are automorphisms of \(G\)-structures. They are defined as functors and their representability is discussed. The author proves that they are representable if the \(G\)-structure is admissible and of finite type. These are both conditions on the tower of prolongations of a \(G\)-bundle, which are iterated reductions of a certain frame bundle \(L(P^{i})\) to a certain supergroup \(G^{i+1}\). Admissibility then means that the real part of the underlying group of \(G^{i+1}\) forms mixed structures on the full supergroups, and finite type means that the supergroups stabilise to the identity for high enough prolongations. The paper ends with a discussion of some examples of finite type \(G\)-structures, including Riemannian structures on supermanifolds and superization of Riemannian spin manifolds.