Infinite-dimensional supermanifolds over arbitrary base fields

Abstract: In his recent investigation of a super Teichm"uller space, Sachse (2007), based on work of Molotkov (1984), has proposed a theory of Banach supermanifolds using the `functor of points' approach of Bernstein and Schwarz. We prove that the the category of Berezin-Kostant-Leites supermanifolds is equivalent to the category of finite-dimensional Molotkov-Sachse supermanifolds. Simultaneously, using the differential calculus of Bertram-Gl"ockner-Neeb (2004), we extend Molotkov-Sachse's approach to supermanifolds modeled on Hausdorff topological super-vector spaces over an arbitrary non-discrete Hausdorff topological base field of characteristic zero. We also extend to locally k-omega base fields the `DeWitt' supermanifolds considered by Tuynman in his monograph (2004), and prove that this leads to a category which is isomorphic to the full subcategory of Molokov-Sachse supermanifolds modeled on locally k-omega spaces.

Review text

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.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Infinite-dimensional supermanifolds over arbitrary base fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2890544)