24.06.2013 Views

For printing - MSP

For printing - MSP

For printing - MSP

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

114 P.E.T. JØRGENSEN, D.P. PROSKURIN, AND YU.S. SAMO ĬLENKO<br />

<strong>For</strong> Wick algebras with braided T , the largest homogeneous ideal of degree<br />

n is generated by ker Rn (see [6] and [9]), i.e., the condition ker Rn = {0}<br />

is necessary and sufficient for the existence of homogeneous Wick ideals. In<br />

the following proposition we show that the same is true for arbitrary Wick<br />

ideals.<br />

Theorem 1. If J ⊂ T(H) is a non-trivial Wick ideal, then there exists<br />

n ≥ 2 such that ker Rn = {0}.<br />

Proof. <strong>For</strong> any X ∈ T(H), by deg X we denote the highest degree of its<br />

homogeneous components. Let Y ∈ J be of minimal degree.<br />

Y = Y1 + Y2 + · · · + Yk, Yi ∈ H ⊗ ni , i = 1, . . . , k, ni ∈ N ∪ {0}.<br />

Suppose that deg Y ≥ 2: Then for any i = 1, . . . , d, we have<br />

e ∗ k<br />

k d<br />

i ⊗ Y =<br />

Tnj (Yj ⊗ el) ⊗ e ∗ l ,<br />

j=1<br />

µ(e ∗ i )Rnj Yj + µ(e ∗ i )<br />

where we put R0 = 1, R1 = 1, and<br />

j=1 l=1<br />

⎧<br />

⎪⎨ T1T2 · · · Tk, k ≥ 2,<br />

Tk = T, k = 1,<br />

⎪⎩<br />

1, k = 0.<br />

Then Condition (3) implies that for any i = 1, . . . , d,<br />

k<br />

µ(e ∗ i )RnjYj ∈ J.<br />

j=1<br />

Since the degrees of these elements are less than the degree of Y , we conclude<br />

that<br />

k<br />

j=1<br />

µ(e ∗ i )Rnj Yj = 0, i = 1, . . . , d,<br />

and the independence of the Wick ordered monomials then implies<br />

µ(e ∗ i )Rnj Yj = 0, i = 1, . . . , d.<br />

Let Yk be the highest homogeneous component of Y ; then, by our assumption,<br />

deg Yk ≥ 2, and d i=1 eiµ(e∗ i )RnkYk = RnkYk = 0, i.e., Yk ∈ ker Rnk .<br />

To complete the proof, note that if X = β + d i=1 αiei ∈ J, then for any<br />

j, we have<br />

e ∗ j ⊗ X = αj + βe ∗ j +<br />

d<br />

i=1<br />

αi<br />

d<br />

k,l=1<br />

T kl<br />

ji el ⊗ e ∗ k ,<br />

and (3) implies αj = 0, j = 1, . . . , d, β = 0.

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

Saved successfully!

Ooh no, something went wrong!