Reach Us +44-1522-440391
A class of unitary irreducible representations of the Lie superalgebra osp(1|2n) 1 | OMICS International
ISSN: 1736-4337
Journal of Generalized Lie Theory and Applications
Make the best use of Scientific Research and information from our 700+ peer reviewed, Open Access Journals that operates with the help of 50,000+ Editorial Board Members and esteemed reviewers and 1000+ Scientific associations in Medical, Clinical, Pharmaceutical, Engineering, Technology and Management Fields.
Meet Inspiring Speakers and Experts at our 3000+ Global Conferenceseries Events with over 600+ Conferences, 1200+ Symposiums and 1200+ Workshops on Medical, Pharma, Engineering, Science, Technology and Business
All submissions of the EM system will be redirected to Online Manuscript Submission System. Authors are requested to submit articles directly to Online Manuscript Submission System of respective journal.

A class of unitary irreducible representations of the Lie superalgebra osp(1|2n) 1

Stijn LIEVENS*, Nedialka I. STOILOVA and Joris Van der JEUGT

Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281-S9, B-9000 Gent, Belgium

*Corresponding Author:
[email protected], [email protected], [email protected]

Received date: December 14, 2007; Revised date: March 08, 2008

Visit for more related articles at Journal of Generalized Lie Theory and Applications


Using the equivalence of the defining relations of the orthosymplectic Lie superalgebra osp(1|2n) to the defining triple relations of n pairs of parabose operators b± i we construct a class of unitary irreducible (infinite-dimensional) lowest weight representations V (p) of osp(1|2n). We introduce an orthogonal basis of V (p) in terms of Gelfand-Zetlin patterns, where the subalgebra u(n) of osp(1|2n) plays a crucial role and we present explicit actions of the osp(1|2n) generators.

Following some physical ideas we construct a class of infinite dimensional unitary irreducible representations of the Lie superalgebra equation [1] in an explicit form. In 1953 Green [2] introduced the so called parabose operators

equation satisfying

equation (1)

equation (to be interpreted as +1 and −1 in the algebraic expressionsequation as a generalization of the ordinary Bose operators. The Fock space V (p) of n pairs of PBOs is a Hilbert space with a vacuum |0>, defined by means of (j, k = 1, 2, . . . , n)

equation (2)

and by irreducibility under the action of the algebra spanned by the elements equation 1, . . . , n), subject to (1). The parameter p is referred to as the order of the paraboson system. However the structure of the parabose Fock space is not known, also a proper basis has not been introduced. We solve these problems using the relation between n pairs of PBOs and the defining relations of the LS osp(1|2n), discovered by Ganchev and Palev [3]. The orthosymplectic superalgebra osp(1|2n) [1] consists of matrices of the form

equation (3)

where a and a1 are (1 × n)-matrices, b is any (n × n)-matrix, and c and d are symmetric (n × n)-matrices. The even elements have a = a1 = 0 and the odd elements are those with b = c = d = 0. Denote the row and column indices running from 0 to 2n and by eij the matrix with zeros everywhere except a 1 on position (i, j). Then as a basis in the Cartan subalgebra h of osp(1|2n) consider

equation (4)

In terms of the dual basis ±j of h*, the root vectors and corresponding roots of osp(1|2n) are given by:


Introduce the following multiples of the odd root vectors

equation (5)

Then the following holds [3]:

Theorem 1 (Ganchev and Palev). As a Lie superalgebra defined by generators and relations, osp(1|2n) is generated by 2n odd elementsequation subject to the parabose relations (1).

From (4) and (5) it follows that equation and using (2) we have:

Corollary 2. The parabose Fock space V (p) is the unitary irreducible representation of osp(1|2n) with lowest weight equation

We can construct the representation V (p) [4] using an induced module construction with an appropriate chain of subalgebras.

Proposition 3. A basis for the even subalgebra sp(2n) of osp(1|2n) is given by the equation elementsequation The n2 elements equation 1, . . . , n are a basis for the sp(2n) subalgebra u(n).

The subalgebra u(n) can be extended to a parabolic subalgebra equation j, k = 1, . . . , n} [4] of osp(1|2n). Recall thatequation withequation Then the space spanned by |0i is a trivial one-dimensional u(n) module equation of weight equation Sinceequation the module equation can be extended to a one-dimensionalequation module. Now we define the induced osp(1|2n) module equation with lowest weightequation By the Poincar´e-Birkhoff-Witt theorem [1,4], it is easy to give a basis for equation.


where equation However in general equation is not a simple module and let M(p) be the maximal nontrivial submodule of equation. Then the simple module (irreducible module), corresponding to the paraboson Fock space, is equation The purpose is now to determine the vectors belonging to M(p) and also to find explicit matrix elements of the osp(1|2n) generators equation in an appropriate basis of V (p).

From the basis in equation it is easy to write down the character of equation :

equation (6) .

Such expressions have an interesting expansion in terms of Schur functions.

Proposition 4 (Cauchy, Littlewood). Let x1, . . . , xn be a set of n variables. Then [5]

equation (7)

Herein the sum is over all partitions ¸ and sλ(x) is the Schur symmetric function [6].

The characters of finite dimensional u(n) representations are given by such Schur functions s¸(x). For such finite dimensional u(n) representations labelled by a partition ¸, there is a known basis: the Gelfand-Zetlin basis (GZ) [7]. We shall use the u(n) GZ basis vectors as our new basis for equation. Thus the new basis of equation consists of vectors of the form

equation (8)

where the top line of the pattern, also denoted by the n-tuple [m]n , is any partition ¸ (consisting of non increasing nonnegative numbers) with equation The label p itself is dropped in the notation of |m). The remaining n−1 lines of the pattern will sometimes be denoted by |m)n−1. So all mij in the above GZ-pattern are nonnegative integers, satisfying the betweenness conditions equation Note that, since the weight of |0> is equation , the weight of the above vector is determined by

equation (9)

The triple relations (1), imply that equation is a standard u(n) tensor of rank (1, 0, . . . , 0). Therefore we can attach a unique GZ-pattern with top line 10 · · · 0 to every equation corresponding to the weight equation . Explicitly:

equation (10)

where the pattern consists of j − 1 zero rows at the bottom, and the first n − j + 1 rows are of the form 10 · · · 0. The tensor product rule in u(n) reads equationequation whereequation and a subscript ±k indicates an increment of the kth label by ±1: equation A general matrix element of equation can now be written as follows:


The first factor in the right hand side is a u(n) Clebsch-Gordan coefficient [8], the second factor is a reduced matrix element. By the tensor product rule, the first line of equation has to be equation for some k-value.

The special u(n) CGCs appearing here are well known, and have fairly simple expressions. They can be found, e.g. in [8,9]. The actual problem is now converted into finding expressions for the reduced matrix elements, i.e. for the functions equation for arbitrary n-tuples of non increasing nonnegative integers equation

equation (11)

So one can write:

equation (12)

equation (13)

For j = n, the CGCs in (12)-(13) take a simple form [8], and one has

equation (14)

equation (15)

In order to determine the n unknown functions Fk, one can start from the following action:

equation (16)

Expressing the left hand side by means of (14)–(15), one finds a system of coupled recurrence relations for the functions Fk. Taking the appropriate boundary conditions into account, we have been able to solve this system of relations [9].

Proposition 5. The reduced matrix elements Fk appearing in the actions of equation on vectors |m) of V (p) are given by:

equation (17)

where ε and O are the even and odd functions defined by εj = 1 if j is even and 0 otherwise, Oj = 1 if j is odd and 0 otherwise.

The proof consists of verifying that all triple relations (1) hold when acting on any vector |m). Each such verification leads to an algebraic identity in n variables m1n, . . . ,mnn. In these computations, there are some intermediate verifications: e.g the action equation should leave the top row of the GZ-pattern |m) invariant (sinceequation belongs to u(n)). Furthermore, it must yield (up to a factor 2) the known action of the standard u(n) matrix elements Ejk in the classical GZ-basis. Consider now the factor equation in the expression of equation This is the only factor in the right hand side of (17) that may become zero. If this factor is zero or negative, the assigned vector equation belongs to M(p). Recall that the integers mjn satisfy equation (its smallest possible value), then this factor in Fk takes the value (p−k+1). So the p-values 1, 2, . . . , n−1 play a special role leading to the following result [9]:

Theorem 6. The osp(1|2n) representation V (p) with lowest weight equation is a unirrep if and only if equation


equation The structure of V (p) is determined by


where `(¸) is the length of the partition λ.

The explicit action of the osp(1|2n) generators in V (p) is given by (12)-(13), and the basis is orthogonal and normalized. For p 2 {1, 2, . . . , n − 1} this action remains valid, provided one keeps in mind that all vectors with equation must vanish.

Note that the first line of Theorem 6 can also be deduced from [10,11], where all unirreps of osp(1|2n) are classified.


N. I. Stoilova was supported by a project from the Fund for Scientific Research – Flanders (Belgium) and by project P6/02 of the Interuniversity Attraction Poles Programme (Belgian State – Belgian Science Policy). S. Lievens was also supported by project P6/02.


Select your language of interest to view the total content in your interested language
Post your comment

Share This Article

Relevant Topics

Article Usage

  • Total views: 11703
  • [From(publication date):
    September-2008 - Aug 19, 2019]
  • Breakdown by view type
  • HTML page views : 7926
  • PDF downloads : 3777