Infinite-dimensional supermanifolds over arbitrary base fields (Q2890544)

The authors investigate the equivalence of some definitions related to categories of infinite dimensional supermanifolds. First, they explain the functor of points approach of Molotkov and Sachse. Next, they define a functorial framework in order to consider the category SDom\(_{MS}\) of Molotkov-Sachse superdomains which serve as local models for a category SMan\(_{MS}\) of possibly infinite dimensional Molotkov-Sachse manifolds over any non-discrete Hausdorff topological field \(R\) of characteristic zero. They also define a category SMan\(_{BKL}\) of finite dimensional Berezin-Kostant-Leites and a category of possibly infinite dimensional DeWitt-Tuynman supermanifolds. They show that SMan\(_{BKL}\) is equivalent to the full subcategory of SMan\(_{MS}\) formed by finite dimensional Molotkov-Sachse supermanifolds. The main idea is to embed both categories of supermanifolds into appropriate categories of sheaves on superdomains and then use the duality. Furthermore, they simplify and extend the deWitt-Tuynman's definition to arbitrary base fields and infinite dimensions in order to obtain a category of manifolds which is isomorphic to the full subcategory of SMan\(_{MS}\) modelled on locally \(k_{\omega}\) spaces. An interesting result providing a criterion for sheaves on supermanifolds to be representable as supermanifolds is also presented.