arX

iv:q

uant

-ph/

0206

005v

1 2

Jun

200

2

SU(N) Coherent States

Manu Mathur1 and H. S. Mani 2

S. N. Bose National Centre for Basic Sciences

JD Block, Sector III, Salt Lake City, Calcutta 700098, India

Abstract

We generalize Schwinger boson representation of SU(2) algebra to SU(N) and define coherent

states of SU(N) using 2(2N−1−1) bosonic harmonic oscillator creation and annihilation opera-

tors. We give an explicit construction of all (N-1) Casimirs of SU(N) in terms of these creation

and annihilation operators. The SU(N) coherent states belonging to any irreducible represen-

tations of SU(N) are labelled by the eigenvalues of the Casimir operators and are characterized

by (N-1) complex orthonormal vectors describing the SU(N) manifold. The coherent states

provide a resolution of identity, satisfy the continuity property, and possess a variety of group

theoretic properties.

PACS: 02.20.-a

1manu@bose.res.in2hsmani@bose.res.in

1

I Introduction

The idea of coherent state for a quantum system was realized by Schrodinger [1] way back

in 1926 in the context of quantum state of classical motion for a harmonic oscillators. This

simplest coherent state construction is associated with the Heisenberg-Weyl group whose Lie

algebra is given in terms of a harmonic oscillator creation and annihilation operators. These

states have been widely used in physics [2, 3, 4]. Later, coherent states associated with arbitrary

Lie group in a given representation were constructed [5] by applying group operators to a weight

vector in that particular representation. In the special case of SU(2) group, another equivalent

way of constructing the coherent states was by exploiting the Schwinger representation of

the SU(2) algebra [6]. This representation involves a doublet of harmonic oscillator creation

annihilation operators in terms of which one generalizes the simplest Heisenberg- Weyl coherent

state construction to the SU(2) group. In [7], using the Schwinger representation of SU(3)

algebra, we had constructed coherent states belonging to an arbitrary representation of SU(3).

The motivation of the present work is: a) to further generalise this Schwinger representation of

SU(3) to SU(N) Lie algebra for arbitrary N, b) exploit it to construct coherent states belonging

to arbitrary irreducible representations of SU(N). We also give an explicit characterization of

the SU(N) coherent states in terms of (N-1) complex N-plets describing the SU(N) manifold.

In the work [8], SU(N) coherent states were constructed by applying the standard procedure of

applying SU(N) group operator on the highest weight state of a SU(N) representation.

The organization of the paper is as follows. In section 2 we will briefly describe the Heisenberg-

2

Weyl and SU(2) coherent states in terms of harmonic oscillators. The section 2 is not only for

the sake of completeness but also for setting up notation and language in a simpler setting before

dealing with the larger SU(N) groups. This section also emphasize the common spirit between

them and our SU(N) coherent state formalism. However, these groups being too simple, many

features of larger SU(N) groups become redundant and hence this section fails to bring out a

technique which can be generalized to SU(N). Therefore, in section 3, we briefly mention the

SU(3) coherent state construction in a framework which is equivalent to the one in [7] but can

be easily generalized to SU(N). In section 4, we generalize this SU(3) procedure and explicitly

construct SU(N) coherent states for arbitrary N.

II Heisenberg-Weyl and SU(2) Coherent States

Given a group G and its manifold M, the coherent states in a given representation R are

functions of q parameters denoted by {z1, z2, ...zq} describing M, and are defined as

|~z >R ≡ TR(g(~z)) |0 >R . (1)

Here TR(g(~z)) is a group element in the representation R, and |0 >R is a fixed vector belonging

to R. In the simplest example of the Heisenberg-Weyl group, the Lie algebra contains three

generators. It is defined in terms of creation annihilation operators (a, a†) satisfying

[a, a†] = I, [a, I] = 0, [a†, I] = 0 . (2)

This algebra has only one infinite dimensional irreducible representation which can be char-

acterized by occupation number states |n >≡ (a†)n

√n!|0 > with n = 0, 1, 2.... A generic group

3

element in (1) can be characterized by T (g) = exp (iαI + za† − za) with an angle α and a

complex parameter z. Therefore,

|α, z >∞ = exp(iα) |z >∞,

|z >∞ = exp(za† − za) |0 >=∞∑

n=0

Fn(z) |n > , (3)

where the sum runs over all the basis vectors of the infinite dimensional representation, and

Fn(z) =zn

√n!

exp(−|z|2/2) (4)

are the coherent state expansion coefficients. This feature, i.e., an expansion of the coherent

states in terms of basis vectors of a given representation with analytic functions of complex

variables (Fn(z)) as coefficients, will also be present in the case of SU(N) groups. It is easy to

see that Eq. (3) provides a resolution of identity with the measure dµ(z) = dzdz.

We now briefly review the next simplest example, i.e., the Schwinger representation of SU(2)

Lie algebra and the associated coherent states. The Lie algebra is

[Ja, J b] = iǫabcJc (5)

The algebra (5) can be realized in terms of a doublet of harmonic oscillator creation and

annihilation operators a ≡ (a1, a2) and ~a† ≡ (a†1, a

†2) respectively [6]. They satisfy the simpler

bosonic commutation relation [ai, a†j ] = δi

j with i, j = 1, 2. The vacuum state is |0, 0 >. In

terms of these operators,

Qa ≡ 1

2a†

i (σa)ij aj , (6)

4

where σa denote the Pauli matrices. (We will generally use the convention that repeated indices

are summed over). It is easy to check that the operators in (6) satisfy the SU(2) Lie algebra

[Qa, Qb] = iǫabcQc (7)

We also note that

[Qa, a†i ] = a†

j

1

2(σa)j

i (8)

The equation (8) implies that (a†1, a

†2) transform like a SU(2) doublet. This fundamental repre-

sentation of SU(2) will be denoted by the Young diagram Σ[1], which is a single box. Therefore,

we can realize all SU(2) irreducible representation on the Hilbert space of harmonic oscillators

created by creation operators acting on the vacuum which is a direct product of the vacuum

states for a1 and a2. The SU(2) Casimir operator is given by:

C =3

∑

i=1

a†i · ai ≡ a† · a (9)

The eigenvalues of the Casimir C will be denoted by C. The various irreducible representations

of SU(2) are characterized by the eigenvalues of the Casimir (or occupation number operator)

in (9). We also know that any irreducible representation of SU(2) can also be defined by its

Young diagram which is obtained by arranging certain number of boxes in a row. It is easy to

see that C just counts this number. The basis vectors of the SU(2) irreducible representation

with C = C are given by:

‖i1i2....iC >≡ a†i1a†

i2.....a†

iC|0 > (10)

5

The dimension of the irreducible representation above is (C+1). With the harmonic oscil-

lator creation and annihilation operators, SU(2) coherent states can be obtained by directly

generalizing (3). We define a doublet of complex numbers (z1, z2) with the constraint:

|z|2 ≡ |z1|2 + |z2|2 = 1 (11)

The above constraint gives 3 independent real compact parameters which define the sphere

M = S3. The SU(2) coherent state in the representation C is now defined as

|z >C≡ |z1, z2 >C = exp(

~z · ~a†)

|0, 0 > |~a†·~a=C .

= F i1i2...iCa†i1a†

i2..a†

iC|0 >

= F i1i2...iC‖i1i2....iC > (12)

where,

F i1i2...iC =1

C!zi1zi2 ...ziC (13)

Note that F in (13) are analytic functions of z1 and z2. Under SU(2) transformations:

zi → z′i= expi(θa σa

2)i

jzj (14)

Thus the constraint (11) remains invariant under the SU(2) transformations (14). Therefore,

the coherent states |z >≡ |z1, z2 > transform amongst themselves on S3. It is easy to check

the resolution of identity:

∫

d2z1d2z2δ(|z1|2 + |z2|2 − 1)|z >C C < z| =1

1 + C

2∑

i1,..,iC=1

‖i1i2....iC >< i1i2....iC‖ (15)

6

III The Schwinger SU(3) Representation

The basic technique behind the construction of SU(N) coherent states is to generalize the

Schwinger representation of SU(3) Lie algebra [7] to SU(N) Lie algebra. We will, therefore,

briefly describe the construction of SU(3) Lie algebra in terms of harmonic oscillators here in

a new framework which is equivalent to that in [7] but is directly generalizable to SU(N).

The rank of the SU(3) group is 2 and therefore it has two fundamental representations: Any

SU(3) irreducible representation can be built up from the two fundamental representations, a

triplet 3 and an anti-triplet 3. The later is an antisymmetric combinations of the two triplets.

The two fundamental representations will be associated with the two (fundamental) Young

diagrams Σ[1,0], for the triplet representation and Σ[0,1], for its conjugate (anti-triplet) repre-

sentation. The Young diagram Σ[1,0] is one box and Σ[1,0] is two boxes arranged vertically. We

will also label the fundamental representations by the Greek indices [α], [β] taking values 1 and

2. The components of any irreducible tensor T transforming according to Σ[1,0](Σ[0,1]) will be

denoted by T [α = 1]i1(T [α = 2]i1i2 ≡ −Ti1i2 , (i1, i2 = 1, 2, 3)).3 Further, the 8 representation

matrices corresponding to these two fundamental representations will be denoted by λa[α] 4. If

Qa are the generators of SU(3) then under the SU(3) they transform as

[Qa, T [1]i1] = T [1]j1λa[1]j1i1

[Qa, T [2]i1i2 ] = T [2]j1j2λa[2]j1j2

i1i2(16)

The matrices on the right hand side of (16) are the matrices belonging to the fundamental3The components of the complex conjugate of these tensors will be denoted by T ∗[1]j1T ∗[2]j1j2 .4Note that λa[2]i1i2

j1j2≡ 1

2 ǫi1i2kǫj1j2l(−λ∗a[1]) lk .

7

representations of SU(3) and satisfy the SU(3) Lie algebra:

[λa[1], λb[1]] = ifabcλc[1]

[λa[2], λb[2]] = ifabcλc[2] (17)

The direct product of these two tensors (representations) span the whole SU(3) representation

space. Infact, any irreducible tensor can be obtained by taking direct products of C1 of T[1] and

C2 of T[2] tensors. The corresponding Young diagram is represented by arranging C2 of σ[2]

Young diagrams and C1 of σ[1] diagrams from left to right side by side. Following Schwinger

representation of of SU(2) Lie Algebra, we introduce two sets of creation-annihilation operators

a[α], a†[α], α = 1, 2. The set a[α = 1] represents three annihilation operators denoted by

ai1 [1] ≡ (a[1]1, a[1]2, a[1]3) and a[α = 2] represents another set of three annihilation operators,

a[2]i1i2 = −a[2]i2i1 having three independent components (a[2]12, a[2]23, a[2]31)5. We impose the

following commutation relations on them:

[a[1]i1 , a†[1]j1] = δi1j1

, [ai1 [1], ai2 [1]] = 0

[a[2]i1i2 , a†[2]j1j2] = δi1j1

δi2j2− δi1

j2δi2j1

, [a[2]i1i2 , a[2]j1j2] = 0

[a[1]i1 , a[2]i2i3 ] = 0 , [a†[1]i1 , a[2]i2i3 ] = 0; (18)

We now define the SU(3) generators in the Hilbert space of Harmonic oscillators as:

Qa = a†[1]i1λa[1]i1 i2

a[1]i2 +1

2!a†[2]i1i2λ

a[2]i1i2j1j2

a[2]j1j2 (19)

Using (18), it is easy to check that

[Qa, Qb] = ifabcQc (20)5In [4], we had chosen b1 = a[2]23, b2 = a[2]31, b3 = a[2]12

8

Further,

[Qa, a†[1]i1 ] = a†[1]j1λa[1]j1i1

[Qa, a†[2]i1i2 ] = a†[2]j1j2λa[2]j1j2

i1i2(21)

The equation (21) implies that a†[1] and a†[2] transform like Σ[1,0] and Σ[0,1] fundamental rep-

resentations respectively. Therefore, all the irreducible representations of (20) can be realized

on the Hilbert space created by creation operators a†[1]i1 and a†[2]i1i2 acting on the vacuum

state |0 > which is direct product of vacuum states associated with each of the six harmonic

oscillators. Further, the two Casimir operators of SU(3) in this generalization of Schwinger

representation are given by:

C[1] =3

∑

i1=1

a†i1[1]ai1 [1]

C[2] =3

∑

i1,i2=1

a†i1i2

[2]ai1i2 [2] (22)

The eigenvalues of the two Casimirs in (22) will be denoted by C1 and C2 respectively.

III.1 Irreducible Representations of SU(3)

The eigenvalues of Casimirs (C1, C2) characterize all the irreducible representations of SU(3).

On the other hand, we can also define irreducible representations by its Young diagram which

is built up by arranging certain numbers of Σ[1,0] followed by Σ[0,1] horizonally from right to

left. It is easy to see that C1 and C2 just count these numbers. Therefore, we will denote a

general SU(3) Young diagram by Σ[C1,C2] which contains C1 of Σ[1,0] and C2 of Σ[2] put together

9

from from right to left. Therefore, a general basis vector in Σ[C1,C2] can be written as:

‖i11i21....iC2+C11 ; i12i

22..i

C22 >Σ[C1,C2]

≡(

eΣ[C1,C2]

)

a†[2]i11i12a†[2]i21i22

.....a†[2]iC21 i

C22

[2]

a†[1]iC2+11

a[1]†iC2+21

....a†[1]iC2+C11

|0 > (23)

In (23), we have characterised the basis vectors of Σ[C1,C2] representation by the various box

indices appearing in the Young Tableau Σ[C1,C2]. More explicitly, the index icr represents the

index corresponding to the box appearing in the rth row and cth column. eΣ[C1,C2]is the idem-

potent associated with he Young tableau Σ[C1,C2]. In general, it is an element of group algebra

corresponding to the permutation group S(C1 + 2C2). It is defined as the product of the two

symmetrisers S1 (symmetrizing the indices in the first row (i11, i21, ..., i

C1+C21 ), S2 (symmetriz-

ing the indices in the second row (i12, i22, ..., i

C1+C22 ) and C2 antisymmetrisers (acting on the C2

columns indices ((i11, i12), (i

21, i

22), .., (i

C21 , iC2

2 )). In fact, the idempotent for a particular Young

tableau can be constructed in two different ways, first symmetrizing the indices in each row

and then antisymmetrizing the indices in each column or first antisymmetrizing the indices

in each column followed by symmetrizing the indices of each row. Both procedure lead to

equivalent results. Here, since the column indices are already anti-symmetric, we choose the

latter alternative and need to consider only the two symmetry operations along the two rows

of Σ[C1,C2] respectively6:

S[1] =∑

p∈SC2+C1

p (24)

6In (24) and (25), the p ∈ Sn is an element of the permutation group Sn and it denotes the permutation(

1 2 ....N

p1 p2 ....pN

)

element of the permutation group SN . Henceforth, we follow this notation throughout the

paper.

10

S[2] =∑

p∈SC2

p (25)

The idempotent is just the product of (24) and (25) and is given by:

eΣ[C1,C2]= S[1][i]S[2][j] (26)

One can easily see that:

C[1]|i11i21....iC2+C11 ; i12i

22..i

C22 > = C1|i11i21....iC2+C1

1 ; i12i22..i

C22 >

C[2]|i11i21....iC2+C11 ; i12i

22..i

C22 > = C2|i11i21....iC2+C1

1 ; i12i22..i

C22 > (27)

Thus all the irreducible representations are eigenvectors of the two casimirs C[1] and C[2]. As

an example we consider C1 = C2 = 1 corresponding to the octet representation of SU(3). For

this representation, S[1] = (e + (i11, i21)) and S[2] = e. Therefore, (1,1) representation is given

by: ‖i11, i21; i12 >Σ[1,1]= [a†[2]i11i12

a†[1]i21 + a†[2]i21i12a†[1]i11]|0 >.

In [9] similar results as in this section have been obtained by using Bargmann’s techniques for

SU(3). More recently, SU(3) multiplicity problem has been analysed by exploiting the above

Schwinger construction and a mutually commuting Sp(2,R) group [10].

III.2 The SU(3) Coherent States

We consider two triplets of complex numbers z[α](= z1[α], z2[α], z3[α]), α = 1, 2 describing the

Euclidean manifold R6 ⊗ R6. We impose the orthonormality conditions:

z[α].z[β] ≡3

∑

i=1

z∗i [α]zi[β] = δα,β (28)

We now define another vector z[1, 2] transforming as Σ[0,1] with components:

zi1i2 [12] ≡√

1

2

(

z[1]i1z[2]i2 − z[2]i1z[1]i1)

=

√

1

2ǫα1α2z[α1]

i1z[α2]i2 (29)

11

Using (28), we find:

z[1, 2].z[1, 2]∗ ≡ zi1i2 [[12]z∗i1i2 [12] = 1 (30)

z[12].z[1] ≡ ǫi1i2i3zi1i2 [12]zi3 [1] = 0 , z[12].z[2] ≡ ǫi1i2i3z

i1i2[12]zi3 [2] = 0

We can now construct any 3 × 3 SU(3) matrix U3 in terms of z[1] and z[2]:

U3 =

z[1]1 z[1]2 z[1]3z[2]1 z[2]2 z[2]3¯z[12]1 ¯z[12]2 ¯z[12]3

(31)

Thus we immediately see that z[1] and z[2] with (28) and (30) completely describe the SU(3)

manifold. At this stage we define the SU(3) coherent states generating function as:

|z[1], z[2] >C1,C2≡ exp(

z[1]i1a†[1]i1 + z[1, 2]i1i2a†[2]i1i2

)

|0 > |a†[1].a[1]=C1

a†[2].a[2]=C2

(32)

One can see that in the expansion of (32), due to the constraints (28) and (30), each irreducible

representation occurs once and only once. We will now show that (32) indeed generates all the

coherent states of SU(3). The constraints on the right hand side of (32), (a†[1].a[1] = C1 and

a†[2].a[2] = C2), select different possible irreducible representations of SU(3). Note that the

states in (32) are characterised by the continuous parameters (z[1], z[2]) on the SU(3) manifold.

It is easy to check the SU(3) transformation properties of z[1] and z[1,2],

z[1]i1 → z′[1]i1 = (expi θaλa[1])i1i2z[1]i2

z[1, 2]i1i2 → z′[12]i1i2 = (expi θaλa[12])i1i2j1j2

z[1, 2]j1j2 (33)

In (33) θa are the 8 transformation associated with the SU(3) group transformation. Therefore,

under SU(3) transformations both z[1] and z[2] transform like a triplet and the orthonormality

12

conditions (28) and (30) remain invariant under the SU(3) transformations and the state in

(32) defined at a point (z[1],z[2]) transform to the coherent state at (z′[1], z′[2]) on the SU(3)

manifold.

From the generating function (32) we find:

|z[1], z[2] >C1,C2= F i11..iC1+C21 ;i12...i

C22 a[2]†

i11i12..a†[2]

iC21 i

C22

a†[1]iC2+11

..a†[1]iC2+C11

|0 > (34)

where,

C1!C2!F (z[1], z[2])i11..iC1+C21 ;i12...i

C22 = z[1, 2]i

11i12z[1, 2]i

21i22 .......z[1, 2]i

C21 i

C22

z[1]iC2+11 z[1]i

C2+21 ..z[1]i

C2+C11

= P2 z[1]i11z[1]i

21 ...z[1]i

C21 z[1]i

C2+11 ..z[1]i

C2+C11

z[2]i12z[2]i

22 ...z[2]i

C22 (35)

In the second step in (35), we have used the anti-symmetry properties of a†[2]′s under the

interchange of its two indices leading to P2 = (2!)C22 . The equation (35) clearly illustrates the

following two important properties of the tensor F (z[1], z[2]):

1. It is analytic function of (z[1], z[2]) which describe the SU(3) manifold,

2. It has exactly the same symmetry as that of eΣ[C1,C2], i.e

F (z[1], z[2])i11..iC1+C21 ;i12...i

C22 = F (z[1], z[2])i11..i

C1+C21 ;i12...i

C22 eΣ[C1,C2]

(36)

Therefore, we can write (34) as:

|z[1], z[2] >C1,C2 = F i1..iC1+C2j1...jC2eΣ[C1,C2]

a[2]†i1j1..a†[2]iC2

jC2a[1]†iC2+1

..a[1]†iC2+C1|0 >

= F i1..iC1+C2j1..jC2‖i1j1, i2j2..iC2jC2iC2+1, iC2+2....iC2+C1 >[C1,C2] (37)

13

All these features are similar to Heisenberg-Weyl and SU(2) Schwinger coherent states of the

previous section and are discussed in detail in [7].

We now check the resolution of identity. The Haar measure on SU(3) manifold is given by:

∫

dµ(z) ≡(

∫ 2∏

α=1

dz[α])(

∏

α,β

δ(z[α].z∗[β] − δα,β) (38)

We construct an operator O[3]:

O3 ≡∫

dµ(z)|z[1], z[2] >C1,C2 C1,C2

< z[1], z[2]| (39)

Under SU(3) transformations (33), O[3] remains invariant. Therefore,

[Qa,O[3]] = 0, ∀a = 1, 2, ...., 8 (40)

The Schur’s Lemma implies:

O[3] = KI[C1,C2] (41)

In (41), K is a constant and I[C1,C2] is the identity operator in the Σ[C1,C2] irreducible represen-

tation subspace. Thus we finally get:

∫

dµ(z[1], z[2])|z[1], z[2] >C1,C2 C1,C2

< z[1], z[2]| =∫

d6z[1]d6z[2]2

∏

α,β=1

δ (z∗[α].z[β] − δα,β)

F i1..iC1+C2j1..jC2F ∗

k1..kC1+C2l1..lC2

|i1j1,..iC2jC2

;iC2+1,..iC2+C1>

[C1,C2] [C1,C2]< k1l1,..kC2

lC2;kC2+1,..kC2+C1 |

= K|i1j1,i2j2,..iC2jC2

;iC2+1,..iC2+C1>

[C1,C2] [C1,C2]< i1j1,i2j2,..iC2

jC2;iC2+1,..iC2+C1 | ≡ KI[C1,C2] (42)

IV The Schwinger SU(N) Representation

We now generalise the ideas developed in the previous section in the case of SU(3) to the

group SU(N) for arbitrary N. The rank of the SU(N) group is (N-1). Therefore, there are

14

(N-1) fundamental representations denoted by the Young diagrams with 1,2 .... (N-1) verti-

cal boxes respectively. Any irreducible representation of SU(N) can be built by taking direct

products of the above (N-1) fundamental representations. Following SU(2) and SU(3), we intro-

duce (N-1) sets of creation annihilations operators (a[1]i1 , a†[1]i1); (a[2]i1i2 , a†[2]i1i2); ....; (a[N −

1]i1i2.....iN−1, a†[N − 1]i1i2.....iN−1), which can be written in a compact form as (a[α]i1i2.....iα,

a†[α]i1i2.....iα), α = 1, 2....(N −1). The commutation relations are straightforward generalization

of (18) and are given by:

[a[α]i1i2......iα, a†[β]j1j2......jβ] = δα,β

∑

p∈Sα

(−)|p|δ i1jp1

δ i2jp2

....δ iαjpα

[a[α]i1i2......iα, a[β]j1j2......jβ ] = 0 , [a†[α]i1i2......iα, a†[β]j1j2......jβ] = 0. (43)

In (43), |p| = 0 if p is an even permutation and |p| = 1 if it is an odd permutation. We

denote the (N-1) generators belonging to (N-1) fundamental representation of SU(N) by λa[α],

a = 1, 2, .., (N2 − 1). They satisfy the SU(N) algebra:

[λa[α], λb[α]] = ifabcλc[α] ; α = 1, 2....(N − 1) (44)

In(44) fabc are the SU(N) structure constants. The SU(3) generators in terms of Harmonic

oscillators are given by:

Qa = a†[1]i1[1]λa[1]i1 i2a[1]i2 +

1

2!a†[2]i1i2λ

a[2]i1i2j1j2

a[2]j1j2 + .........

..... +1

(N − 1)!a†[N − 1]i1i2..iN−1

λa[N − 1]i1..iN−1

j1..jN−1a[N − 1]j1j2...jN−1

=N−1∑

α=1

1

α!a†[α]i1,i2...iαλa[α]i1i2...iα

j1j2...jαa[α]j1j2....jα (45)

15

The commutation relations (43) imply:

[Qa, Qb] = ifabcQc (46)

It is easy to verify that under SU(3) transformations the various creation operators belonging

to the αth representation transform amongst themselves as:

[

Qa, a†i1i2....iα

[α]]

= a†j1j2....jα

[α](λa)j1j2...jα

i1i2...iα[α] (47)

This implies that all the irreducible representations of SU(N) can be realised on the Hilbert

space created by the above creation operators acting on the vacuum. Further, the (N-1) Casimir

operators are just the (N-1) number operators corresponding to (N-1) types of creation anni-

hilation operators and are given by:

C[1] =N

∑

i1=1

a†[1]i1a[1]i1

C[2] =1

2!

N∑

i1,i2=1

a†[2]i1i2a[2]i1i2

.....

C[N − 1] =1

(N − 1)!

N∑

i1,i2,....,iN−1=1

a†[N − 1]i1i2....iN−1a[N − 1]i1i2....iN−1 (48)

It is easy to check that the (N-1) Casimir operators in (48) commute with all the (N2 − 1)

SU(N) generators in (45).

IV.1 The Irreducible Representations of SU(N)

All irreducible representations of SU(N) can be constructed by taking direct products of the

(N-1) fundamental representations and then applying appropriate projection operators. Like

16

the SU(3) case in the previous section, we now consider the most general SU(N) irreducible

representation Σ[C1,C2......CN−1] containing Cα copies of the αth fundamental representations. We

formally writei7:

|C1, C2, .., CN−1 >≡ eΣ[C1...CN−1](a†[1])C1(a†[2])C2(a†[3])C3 ....(a†[N − 1])CN−1 |0 > . (49)

Just as in the case of SU(3) in the previous sections, all the creation operators being completely

anti-symmetric in their indices, the idempotent eΣ[C1..CN−1] in (49) is constructed by multiplying

all (N-1) symmetrizers:

eΣ[C1...CN−1]= S1S2...SN−1 (50)

where S1,S2...SN−1 are the elements of permutation group algebras associated with the per-

mutation groups SC1+..+CN−1, SC2+..+CN−1

, ..., SCN−1respectively,

S1 ≡ 1

(C1 + ... + CN−1)!

∑

p∈SC1+..+CN−1

p

S2 ≡ 1

(C2 + ... + CN−1)!

∑

p∈SC2+..+CN−1

p

.....

SN−1 ≡ 1

(CN−1)!

∑

p∈SCN−1

p (51)

Again, as in the case of SU(3), it is easy to verify:

Cα|C1, C2, .., CN−1 >= Cα|C1, C2, .., CN−1 > (52)

Therefore, the Casimir operator Cα acting on an irreducible representation generated by

the basis vectors Cα|C1, C2, .., CN−1 > just counts the number of times the αth fundamental7The explicit form of these basis vectors are given at the end of the next section (64) and (65)

17

representation appears in it. This is again similar to the SU(3) case in the previous section.

We now exploit this feature to construct the SU(N) coherent states.

IV.2 The SU(N) Coherent States

We consider (N-1) N-plets of complex numbers z[α](= z1[α], z2[α], ...zN [α]), α = 1, 2, .., N − 1

describing the Eucledian manifold which is a direct product of (N-1) R2N We impose the

orthonormality conditions:

z∗[α].z[β] = δα,β (53)

We now define another vector z[1, N − 1] with components:

zi1i2..iN−1[1, N − 1] ≡√

1

(N − 1)!

∑

p∈SN−1

(−)|p|(

z[1]ip1 z[2]ip2 ....z[N − 1]ipN−1

)

=

√

1

(N − 1)!ǫα1α2....αN−1z[α1]

i1z[α2]i2 ....z[αN−1] (54)

Using (53), we find:

z[1, N − 1].z[1, N − 1]∗ ≡ zi1i2..iN−1[[1, N − 1]z∗i1i2..iN−1[1, N − 1] = 1

z[1, N − 1].z[α] ≡ ǫi1i2....iNzi1i2....iN−1[1, N − 1]ziN [α] = 0. (55)

We can now construct any N × N SU(N) matrix UN in terms of z[1], z[2],......,z[N-1]:

UN =

z[1]1 z[1]2 ....z[1]N

z[2]1 z[2]2 ....z[2]N

::

z[N − 1]1 z[N − 1]2 ....z[N − 1]N

¯z[1..N − 1]1 ¯z[1..N − 1]2 ¯z[1..N − 1]N

(56)

Thus we immediately see that z[1], z[2],....,z[N-1] with (55) describe SU(N) manifold. We

will now exploit this simple characterisation of SU(N) manifold to construct coherent states

18

belonging to all the irreducible representations of SU(N) group. For this purpose, we construct

a new set of (N-1) parameters:

z[1, 1]i1 ≡ z[1]i1

z[1, 2]i1i2 ≡√

1

2!

∑

p∈S2

(−)|p|z[1]ip1 z[2]ip2

z[1, 3]i1i2i3 ≡√

1

3!

∑

p∈S3

(−)|p|z[1]ip1 z[2]ip2 z[3]ip3

...

z[1, N − 1]i1i2..iN−1 ≡√

1

(N − 1)!

∑

p∈SN−1

(−)|p|z[1]ip1 z[2]ip2 ..z[N − 1]ipN−1 (57)

We now define the SU(N) coherent states generating function as:

|z[1], z[2], .., z[N − 1] >C1,C2..CN−1≡ exp(

N−1∑

β=1

z[1, β].a†[β])|0 > |a†[α].a[α]=Cα

≡ exp(

z[1]i11a†[1]i11 + z[1, 2]i

21i22a†[2]i21i22

+ ......

...... + z[1, N − 1]iN−11 iN−1

2 ...iN−1N−1a†[N − 1]iN−1

1 iN−12 ..iN−1

N−1

)

|0 > |a†[α].a[α]=Cα(58)

The constraints on the right hand side of the generating function (58) ensure that we only

generate the states which are eigenstates of all the (N-1) casimir operators and thus selecting

all possible irreducible representations of SU(N), i.e,

C[α]|z[1], z[2], .., z[N − 1] >C1,C2..CN−1= C[α]|z[1], z[2], .., z[N − 1] >C1,C2..CN−1

, (59)

for α = 1, 2..(N−1). We will now show that the states thus obtained are the coherent states. All

states in (58) are defined continuously over the SU(N) manifold parametrised by (z[1],z[2],...,z[N-

1]). It is easy to check the SU(N) transformation properties of z[1, α], α = 1, 2..(N − 1).

z[1, α]i1..iα → z′[1, α]i1..iα =(

expiN2−1∑

a=1

θaλa[α])i1..iα

j1..jα

z[1, α]j1..jα (60)

19

In (60) θa are (N2 − 1) parameters describing a point on the SU(N) manifold. The equation

(60) implies that all z[α] (α = 1, 2, .., N − 1) transform as N-plets of SU(N), i.e,:

z[α] → z′[α] =(

expiN2−1∑

a=1

θaλa[1])i1

j1z[α]j1 (61)

We see that the orthonormality conditions (53) remain invariant under the SU(N) transforma-

tions. The coherent states defined at a point (z[1],z[2].. ,z[1,N-1]) transform to the coherent

states at (z′[1], z′[2], .z′[1, N − 1]) of the SU(N) manifold.

Expanding the exponential we find:

|z[1], .., z[N − 1] >C1,..CN−1= P

[

hmax∏

h=1

(Ch+Ch+1..+CN−1)∏

v=1

zivh [h]

][

CN−1∏

v(1)=1

a†[N − 1]iv(1)1 i

v(1)2 ....i

v(1)N−1

]

[

CN−1+CN−2∏

v(2)=CN−1+1

a†[N − 2]iv(2)1 i

v(2)2 ....i

v(2)N−2

]

.....[

CN−1+...+C1∏

v(N−1)=CN−1+..+C2+1

a†[1]iv(N−1)1

]

|0 > (62)

In (62), we have chosen those terms in the expansion which are eigenvectors of the Casimir

operators Cβ with eigenvalues Cβ and hmax is the maximum value8 of β such that Cβ 6= 0.

P = [∏N−1

α=1 Pα] with Pα = (α!)Cα2 . We note the following important symmetry and anti-

symmetry properties of (62):

1. The (z[1],z[2],...z[N-1]) dependent part of (62) has inbuilt invariance under interchange of

any two indices along a row of the Young tableau Σ[C1,C2,....CN−1], i.e, it is invariant under

all the symmetry operations given in (51),

(

hmax∏

h=1

(Ch+Ch+1..+CN−1)∏

v=1

zivh [h]

)

Sα =(

hmax∏

h=1

(Ch+Ch+1..+CN−1)∏

v=1

zivh [h]

)

(63)

8 In (62) h = 1, 2..hmax counts the horizontal rows and v is used to count the vertical columns of Σ[C1,..,CN−1].

Note that it is the maximum number of horizontal rows in the Young diagram.

20

2. The harmonic oscillator dependent part of (62) has inbuilt anti-symmetric properties

along any column indices of the Young tableau Σ[C1,C2,....CN−1].

Therefore, we can write (62) as:

|z[1], .., z[N − 1] >C1,..CN−1=

hmax∏

h=1

(Ch+Ch+1..+CN−1)∏

v=1

zivh [h] eΣ[C1,C2,...,CN−1]

CN−1∏

v(1)=1

a†[N − 1]iv(1)1 i

v(1)2 ....i

v(1)N−1

CN−1+CN−2∏

v(2)=CN−1+1

a†[N − 2]iv(2)1 i

v(2)2 ....i

v(2)N−2

..

...CN−1+...+C1

∏

v(N−1)=CN−1+..C2+1

a†[1]iv(N−1)1

|0 > (64)

In (64), eΣ[C1,C2,...,CN−1]is defined by the equation (50). Infact, these are exactly basis vectors

of the irreducible representation Σ[C1,C2........,CN−1]. We denote them by:

‖(i11i21.......iC1+..+CN−1

1 ); (i12i22.......i

C2+..+CN−1

2 ); .......; (i1N−1i2N−1.......i

C2+..+CN−1

N−1 )〉Σ[C1,C2,...,CN−1]

≡ eΣ[C1,C2,...,CN−1]

CN−1∏

v(1)=1

a†[N − 1]iv(1)1 i

v(1)2 ....i

v(1)N−1

CN−1+CN−2∏

v(2)=CN−1+1

a†[N − 2]iv(2)1 i

v(2)2 ....i

v(2)N−2

.....................CN−1+...+C1

∏

v(N−1)=CN−1+..C2+1

a†[1]iv(N−1)1

|0 > (65)

Thus the states belonging to Σ[C1,..,CN−1] in (58) irreducible representations are given by:

|z[1], z[2], .., z[N − 1] >C1,C2..CN−1=

(

hmax∏

h=1

(Ch+Ch+1..+CN−1)∏

v=1

zivh [h]

)

(66)

‖(i11i21.......iC1+..+CN−1

1 ); (i12i22.......i

C2+..+CN−1

2 ); .......; (i1N−1i2N−1.......i

C2+..+CN−1

N−1 )〉Σ[C1,C2,...,CN−1]

We now check the resolution of identity. This is similar to the SU(3) case in the previous

sections. The SU(N) Haar measure is:

∫

dµ(z) ≡(

∫ N−1∏

α=1

dz[α])(

∏

α,β

δ(z[α].z∗[β] − δα,β))

(67)

21

We construct an operator O[N ]:

ON ≡(

∫

dµ(z)|z[1], z[2], .., z[N − 1] >C1,C2..CN−1 C1,C2..CN−1< z[1], z[2], .., z[N − 1]| (68)

Under SU(N) transformations (60), O[3] remains invariant. Therefore,

[Qa,O[N ]] = 0, ∀a = 1, 2, ...., N2 − 1 (69)

The Schur’s Lemma implies:

O[N ] = KI[C1,C2,...,CN−1] (70)

In (70), K is a constant and I[C1,..,CN−1] is the identity operator in the Σ[C1,..,CN−1] irreducible

representation subspace. Therefore, the states in (66) are indeed the coherent states. We have

thus constructed all the SU(N) coherent states belonging to different irreducible representations

of SU(N).

V Summary and Discussion

We have generalized Schwinger representation of SU(2) algebra in terms of harmonic oscillotrs

to the group SU(N). We have exploited this construction to construct SU(N) coherent states and

characterized SU(N) manifold in terms of complex vectors. In this sense our SU(N) coherent

states definition is analogous to that of Heisenberg-Weyl coherent states. This method is quite

general and can be generalized to other Lie groups and their manifolds. We feel our approach

is more useful for practical calculations compared to the standard group theoretical approach

and can be applied to various problems. In condensed matter physics, coherent states for the

22

Lie group SU(2) have been very useful for studying Heisenberg spin systems using the path

integral formalism [11, 12, 13, 14]. These studies have been generalized to systems with SU(N)

symmetry, although such studies have usually been restricted to the completely symmetric

representations [12, 16]. Therefore, our formulation can be used to write down the field theory

for the SU(N) Heisenberg model and study its spectrum and topological aspects as in the

SU(2) case [17]. Using the techniques discussed in the paper, one can also construct SU(N)

coherent states with fixed values of Cartan diagonal generators. The special cases of SU(2)

coherent states with fixed charge and SU(3) nonlinear coherent states with fixed charge and

hypercharge were constructed in [18] and [19] respectively.

Acknowledgments

We would like to thank Prof. Binayak Dutta Roy for useful discussions. One of the authors

(M.M) would also like to thank Prof. Diptiman Sen for his involvement and discussions at the

initial stages of this work.

References

[1] E. Schrodinger, Naturwissenshafter, 14, 644, (1926).

[2] R. J. Glauber, Phys. Rev. 130 (1963) 2529, Phys. Rev. 131 (1963) 2766

[3] J. R. Klauder, J. Math. Phys. 4 (1963) 1055,

J. R. Klauder and B.-S. Skagerstam, Coherent States, Applications in Physics

and Mathmatical Physics (World Scientific, Singapore, 1985).

23

[4] E. C. G. Sudarshan, Phys. Rev. Lett. 10 277.

[5] A. Perelomov, Generalized Coherent States and Their Applications (Springer-Verlag, New

York, 1986); A. Perelomov, Sov. Phys. Usp. 20 (1977) 703.

[6] J. Schwinger, Atomic Energy Commission Report No. NYO-3071 (1952) or D. Mattis, The

Theory of Magnetism (Harper and Row, 1982).

[7] Manu Mathur, Diptiman Sen, J. Math. Phys. 42 (2001) 4181.

[8] Kae Nemoto, J. Phys. A 33 (2000) 3493.

[9] J. S. Prakash and H. S. Sharatchandra, J. Math. Phys. 37 (1996) 6530, hep-th/9607101.

[10] S. Chaturvedi and N. Mukunda, quant-ph/0204119 and quant-ph/0204120.

[11] D. P. Arovas and A. Auerbach, Phys. Rev. B 38 (1988) 316.

[12] E. Manousakis, Rev. Mod. Phys. 63 (1991) 1; A. Auerbach, Interacting Electrons and

Quantum Magnetism (Springer-Verlag, New York, 1994).

[13] E. Fradkin, Field Theories of Condensed Matter Systems (Addison-Wesley, Reading, 1991).

[14] S. Sachdev, in Low Dimensional Quantum Field Theories for Condensed Matter Physicists,

edited by Y. Lu, S. Lundqvist and G. Morandi (World Scientific, Singapore, 1995), cond-

mat/9303014.

[15] C. Brif, A. Vourdas and A. Mann, J. Phys. A 29 (1996) 5873.

24

[16] D. M. Gitman and A. L. Shelepin, J. Phys. A 26 (1993) 313;

[17] F. D. M. Haldane, Phys. Rev. Lett. 61 (1988) 1029.

[18] Bhaumik D, Bhaumik K and Dutta Roy B1976, J. Phys. A 9 1507.

[19] Hongyi Fan, Guichuan Yu, J. Phys. A 34 (2001) 5995.

25