24.04.2014 Views

Generalized permutative representation of Cuntz algebra. II ...

Generalized permutative representation of Cuntz algebra. II ...

Generalized permutative representation of Cuntz algebra. II ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

{(V i , π i , Ω i )} q i=1 <strong>of</strong> GP <strong>representation</strong>s with respect to a family {ξ iv} q i=1 <strong>of</strong><br />

parameters. Put<br />

H ≡ V 1 ⊕ · · · ⊕ V q , Ω ≡ √ 1 q∑<br />

Ω i ∈ H, π ≡ π 1 ⊕ · · · ⊕ π q .<br />

q<br />

i=1<br />

Then π(s(v ⊗p ))Ω = π(s(v)) p Ω = Ω and dim W = q for W ≡ Lin <<br />

{π(s(v)) l Ω} p−1<br />

l=0 >. Note that vectors ((ξ i) k ) q k=1 and ((ξ j) k ) q k=1 in Cq are<br />

linearly independent when i ≠ j. Hence Ω, π(s(v))Ω, . . ., π(s(v)) q−1 Ω ∈<br />

Lin < {Ω i : i = 1, . . . , q} > are linearly independent in H. From this,<br />

Ω 1 , . . . , Ω q ∈ Lin < {π(s(v)) i−1 Ω : i = 1, . . . , q} >. Therefore Ω i ∈ π(O N )Ω<br />

for each i = 1, . . . , q. Hence<br />

V i = π i (O N )Ω i ⊂ π(O N )Ω<br />

for each i = 1, . . . , q. Therefore π(O N )Ω = H and (H, π, Ω) is cyclic. Since<br />

(H, π, Ω) satisfies condition (2.1) with respect to v ⊗p and the proper period<br />

<strong>of</strong> (H, π, Ω) is q, we obtain (H, π, Ω) in the statement.<br />

By Lemma 4.4, GP (v ⊗p ) is not unique when p ≥ 2. Hence we classify<br />

<strong>representation</strong>s which satisfy the condition <strong>of</strong> GP (v ⊗p ) in the next section.<br />

5 Irreducible decomposition <strong>of</strong> GP <strong>representation</strong><br />

For p ≥ 2 and v ∈ T S NP (C N ), we classify GP (v ⊗p ) and show decomposition<br />

formulae. In order to classify periodic case, we introduce new symbols.<br />

Definition 5.1 A <strong>representation</strong> (H, π, Ω) <strong>of</strong> O N is GP (v ⊗p ; q) if (H, π, Ω)<br />

is GP (v ⊗p ) which has the proper period q.<br />

Lemma 5.2 For each 1 ≤ q ≤ p, there exists GP (v ⊗p ; q).<br />

Pro<strong>of</strong>. By Lemma 4.4, it holds.<br />

Theorem 5.3 Let p ≥ 2 and 1 ≤ q ≤ p. If (H, π, Ω) is GP (v ⊗p ; q) for<br />

v ∈ T S NP (C N ), then there is a subset {ξ i } q i=1 ⊂ {e2π√ −1l/p : l = 0, . . . , p−1}<br />

such that ξ i ≠ ξ j when i ≠ j and the following equivalence holds:<br />

q⊕<br />

(H, π) ∼ GP (ξ i v).<br />

i=1<br />

8

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!