**************************************** BANACH CENTER PUBLICATIONS, VOLUME ** INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 201* THE GELFAND–NAIMARK–SEGAL CONSTRUCTION FOR n UNITARY REPRESENTATIONS OF Z2 -GRADED LIE SUPERGROUPS MOHAMMAD MOHAMMADI Department of Mathematics, Institute for Advanced Studies in Basic Sciences (IASBS), No. 444, Prof. Yousef Sobouti Blvd. P. O. Box 45195-1159, Zanjan, Iran Email: [email protected] HADI SALMASIAN Department of Mathematics and Statistics, University of Ottawa, 585 King Edward Ave, Ottawa, ON, Canada K1N 6N5. Email: [email protected] Abstract. We establish a Gelfand–Naimark–Segal construction which yields a correspondence between cyclic unitary representations and positive definite superfunctions of a general class of n Z2 -graded Lie supergroups. arXiv:1709.06546v1 [math-ph] 19 Sep 2017 1. Introduction. It is by now well known that unitary representations of Lie super- groups appear in various areas of mathematical physics related to supersymmetry (see [8], [10], [9], [17] as some important examples among numerous references). A mathemat- ical approach to analysis on unitary representations of Lie supergroups was pioneered in [3], where unitary representations are defined based on the notion of the Harish-Chandra pair associated to a Lie supergroup. More recently, there is growing interest in studying generalized supergeometry, that is, Z Zn Z Z geometry of graded manifolds where the grading group is not 2, but 2 := 2 2. Zn ×···× The foundational aspects of the theory of 2 -supermanifolds were recently established in the works of Covolo–Grabowski–Poncin (see [5], [6]) and Covolo–Kwok–Poncin (see [7]). 2010 Mathematics Subject Classification: 17B75; 22E45. Key words and phrases: Supermanifolds, Lie supergroups, Γ-supermanifolds, Γ-Lie supergroups, unitary representations, GNS construction. The paper is in final form and no version of it will be published elsewhere. [1] 2 M. MOHAMMADI AND H. SALMASIAN In this short note, we make a first attempt to extend the theory of unitary repre- Zn Zn sentations to the 2 -graded setting. To this end, we use the concept of a 2 -graded Harish-Chandra pair, which consists of a pair (G0, g) where G0 is a Lie group and g is a Zn 2 -graded generalization of a Lie superalgebra, sometimes known as a Lie color algebra. Extending one of the main results of [15], in Theorem 5.4 we prove that under a “perfect- ness” condition on g, there exists a Gelfand–Naimark–Segal (GNS) construction which yields a correspondence between positive definite smooth super-functions and cyclic uni- tary representations of (G0, g). Theorem 5.4 is applicable to interesting examples, such Zn as 2 -Lie supergroups of classical type, e.g., the Harish-Chandra pair corresponding to Zn gl(V ) defined in Example 2.5, where V is a 2 -graded vector space. The key technical tool in the proof of Theorem 5.4 is a Stability Theorem (see Theo- rem 4.3) which guarantees the existence of a unique unitary representation associated to a weaker structure, called a pre-representation. Such a Stability Theorem holds uncon- ditionally when n = 1. But for n > 1, it is not true in general. We are able to retrieve a variation of the Stability Theorem under the aforementioned extra condition on g. However, this still leaves the question of a general GNS construction open for further investigation. We defer the latter question, presentation of explicit examples, as well as some proof details, to a future work. Acknowledgements. We thank Professor Karl-Hermann Neeb for illuminating con- versations related to Theorem 4.3 and Remark 2.2, and for many useful comments on a preliminary draft of this article, which improved our presentation substantially. This work was completed while the first author was visiting the University of Ottawa using a grant from the Iranian Ministry of Science, Research, and Technology. During this project, the second author was supported by an NSERC Discovery Grant. Zn Zn 2. 2 -supergeometry. We begin by reviewing the basic concepts of 2 -graded super- geometry, in the sense of [6]. Let Γ := Zn := Z Z where Z := 0, 1 , and let 2 2 ×···× 2 2 { } b : Γ Γ Z be a non-degenerate symmetric Z -bilinear map. By a result of Albert × → 2 2 (see [1, Thm 6] or [11, Sec. 1–10]), if b( , ) is of alternate type (i.e., b(a,a)= 0 for every · · a Γ), then b( , ) is equivalent to the standard “symplectic” form ∈ · · n b (a,b) := a j b j + a j b j for every a = (a ,...,an) and b = (b ,...,bn) Γ, − 2 −1 2 2 2 −1 1 1 ∈ j=1 X whereas if b(a,a) = 0 for some a Γ, then b( , ) is equivalent to the standard symmetric 6 ∈ · · form m b (a,b) := aj bj for every a = (a ,...,an) and b = (b ,...,bn) Γ. + 1 1 ∈ j=1 X Henceforth we assume that b( , ) is not of alternate type. Since an equivalence of · · b( , ) and b ( , ) is indeed an automorphism of the finite abelian group Γ, without loss · · + · · of generality from now on we can assume that b = b+. In particular, from now on we n n represent an element a Γ by a := ajej , where ej is an orthonormal basis of ∈ j=1 { }j=1 P n THE GNS CONSTRUCTION FOR Z2 -GRADED LIE SUPERGROUPS 3 Γ with respect to b( , ). · · We now define β : Γ Γ 1 by β(a,b) := ( 1)b(a,b) for a,b Γ. We equip the × → {± } − ∈ category VecΓ of Γ-graded complex vector spaces with the symmetry operator SV,W : V W W V, SV,W (v w) := β( v , w )w v, (1) ⊗ → ⊗ ⊗ | | | | ⊗ where v Γ denotes the degree of a homogeneous vector v V . | | ∈ ∈ Remark 2.1. As it is customary in supergeometry, equality (1) should be construed as a relation for homogeneous vectors that is subsequently extended by linearity to non- homogeneous vectors. In the rest of the manuscript we will stick to this convention. Equipped with S and the usual Γ-graded tensor product of vector spaces, VecΓ is a symmetric monoidal category. This fact was also observed in [2, Prop. 1.5]. Remark 2.2. Note that β : Γ Γ 1 is a 2-cocycle. In fact it represents the n × → {± } P ai obstruction to the lifting of the map Γ 1 , (a ,...,an) ( 1) i=1 , with respect → {± } 1 7→ − to the exact sequence 2 1 / 1 / 1, i t7→t / 1 / 1 , {± } {± ± } {± } where i := √ 1. More precisely, the lifting obstruction cocycle is naturally represented − by P1 aibj δ :Γ Γ 1 , (a ,...,an) ( 1) ≤i,j≤n , × → {± } 1 7→ − P1 = aiaj but β δ = dη where η(a ,...,an) := ( 1) ≤i6 j≤n . We thank Professor Karl- − 1 − Hermann Neeb for letting us know about this property of β. n Let denote the lexicographic order on elements of Γ. That is, for a := j=1 aj ej and n≺ b := bj ej , we set a b if and only if there exists some 1 j n such that aj = 0, j=1 ≺ ≤ ≤ P bj = 1, and ak = bk for all k < j, . Thuswe canexpressΓasΓ = γ γ γ n , P { 0 ≺ 1 ≺···≺ 2 −1} where γ0 = 0. n Let p N 0 and let q := (q1,...,q2n−1)bea(2 1)-tuple such that qj N 0 ∈ ∪{ } 2n−1 − ∈ ∪{ } for all j. We set q := j=1 qj .ByaΓ-superdomain of dimension p q we mean a locally | | p | ringed space (U, U ) such that U R is an open set, and the structure sheaf U is O P ⊂ O given by ′ ∞ ′ ′ U (U ) := C (U ; C)[[ξ , , ξ ]] for every open set U U, O 1 ··· |q| ⊆ where the right hand side denotes the Γ-graded algebra of formal power series in variables ∞ ′ k−1 k ξ ,...,ξ with coefficients in C (U ; C), such that ξr = γk for qj < r qj , 1 |q| | | j=1 ≤ j=1 subject to relations P P ξrξs = β( ξr , ξs )ξsξr for every 1 r, s q . | | | | ≤ ≤ | | By a smooth Γ-supermanifold M of dimension p q we mean a locally ringed space | (M, M ) that is locally isomorphic to a p q-dimensional Γ-superdomain. From this view- O | point, a Γ-Lie supergroup is a group object in the category of smooth Γ-supermanifolds. As one expects, to a Γ-Lie supergroup one can canonically associateaΓ-Lie superalge- bra, which is an object of VecΓ of the form g = a∈Γ ga, equipped with a Γ-superbracket [ , ]: g g g that satisfies the following properties: · · × → L 4 M. MOHAMMADI AND H. SALMASIAN (i) [ , ] is bilinear, and [ga, gb] gab for a,b Γ. · · ⊂ ∈ (ii) [x, y]= β(a,b)[y, x] for x ga,y gb, where a,b Γ. − ∈ ∈ ∈ (iii) [x, [y,z]] = [[x, y],z]+β(a,b)β(a,c)[y, [z, x]] for x ga,y gb,z gc, where a,b,c ∈ ∈ ∈ ∈ Γ. Remark 2.3. We remark that a Γ-Lie superalgebra is more commonly known as a Lie color algebra. Nevertheless, in order to keep our nomenclature compatible with [6], we use the term Γ-Lie superalgebra instead. From classical supergeometry (that is, when n = 1) one knows that the category of Lie supergroups can be replaced by another category with a more concrete structure, known as the category of Harish-Chandra pairs (see [12], [13]). A similar statement holds in the case of Γ-Lie supergroups. Definition 2.4. AΓ-Harish-Chandra pair is a pair (G0, g) where G0 is a Lie group, and g = ga is a Γ-Lie superalgebra equipped with an action Ad : G g g of G by a∈Γ 0 × → 0 linear operators that preserve the Γ-grading, which extends the adjoint action of G on L 0 g0 ∼= Lie(G0).