No label defined (Q4386366)

Satisfactory analogues of Lie's third fundamental theorem (aka Lie-Cartan theorem) in supergeometry, that is, results on possibility to associate a (Lie) supergroup to a Lie superalgebra, have been established in finite dimensions within the Berezin--Leĭtes--Kostant scheme of things [\textit{F. A. Berezin} and \textit{D. A. Leĭtes}, Sov. Math., Dokl. 16, 1218-1222 (1975; Zbl 0331.58005); \textit{B. Kostant}, Graded manifolds, graded Lie theory and prequantization, in: Differential Geom. Meth. Math. Phys., Proc. Symp. Bonn 1975, Lect. Notes Math. 570, 177-306 (1977; Zbl 0358.53024)], and then extended to an (at least, formally) more general, the so-called DeWitt--Rogers, approach to supergeometry [ see e.g. \textit{V. Pestov}, Lett. Math. Phys. 18, No. 1, 27-33 (1989; Zbl 0692.22010); A correspondence between finite-dimensional Lie superalgebras and supergroups, Extr. Math. 7, No. 2-3, 119-125 (1992)]. Notice that the exact relationship between the graded manifolds (that is, Berezin--Leĭtes--Kostant supermanifolds) and DeWitt--Rogers supermanifolds has not been established yet, though there is some evidence (and a general consensus among the, often fragmented, community of supergeometers) that the latter can be eventually merged into the framework of the former [ cf. e.g. \textit{C. Bartocci, U. Bruzzo, D. Hernandez Ruiperez} and \textit{V. Pestov}, Supermanifold theory: towards a unifying approach, in: WOGDA '95. Proceedings of the 4th fall workshop on differential geometry and its applications, Santiago de Compostela, Spain, September 18-20, 1995. Madrid: CIEMAT. An. Fis., Monogr. 3, 1-16 (1996; Zbl 0915.58009)]. While in finite dimensions the results obtained within the two approaches are totally similar, the difference shows up in infinite dimensions: as observed by the present reviewer [\textit{V. G. Pestov}, J. Geom. Phys. 10, No. 4, 295-314 (1993; Zbl 0771.17024)], there exists a Fréchet--Lie superalgebra over a non-trivial Grassmannian algebra of coefficients that comes from a Lie supergroup in the sense of Rogers but not in the sense of DeWitt. This is why pursuing research within the DeWitt--Rogers approach to infinite dimensional objects of Lie theory is of great interest because it is apparently not subsumed by similar research done in the context of infinite-dimensional graded manifolds in the spirit of [\textit{T. Schmitt}, Rev. Math. Phys. 9, No. 8, 993-1052 (1997; Zbl 0897.58003)]. Such are the setting and the rationale of the most interesting paper under review. In the paper, the author is `superising' his well-known approach to the (`purely even'!) infinite-dimensional Lie theory [see e.g. \textit{J. Leslie}, Trans. Am. Math. Soc. 333, No. 1, 423-443 (1992; Zbl 0781.22015); Differential geometry, calculus of variations, and their applications, Dedic. Mem. L. Euler 200th Anniv. Death, Lect. Notes Pure Appl. Math. 100, 359-372 (1985; Zbl 0579.58007)]. Manifolds within Leslie's approach are modelled on sequentially complete bornological topological vector spaces, and a basic role is played by the path functor and the concept of a Lie scheme associated to `sufficiently good' (the so-called pre-integrable) infinite-dimensional Lie algebras; under some additional conditions, a Lie scheme (which is, roughly speaking, a group object in a suitable category of foliations) turns out to be an infinite-dimensional Lie group. A large part of the article (in excess of 90\% total length, in fact) is devoted to elaborating in great detail this approach to infinite-dimensional Lie theory. In the remaining 10\% an analogue of the procedure of extension of scalars is given; more precisely, the number field is being replaced with a topological graded-commutative algebra of `superconstants' of the theory. The main Theorem 4.1 lists some condition under which a topological Lie superalgebra over a topological graded-commutative algebra admits an associated Lie scheme. It is really a pity that this result is not elaborated further and no corollaries, enabling to link it to the previously known results and to see where it really stands, are extracted.