Professional Documents
Culture Documents
Manabendra Giri
SUq (2)
SUq (n + 1)
Compact Matrix Pseudogroups
Compact Quantum groups
Lie algebra
Universal enveloping algebra
q-deformation
Compact real form
Some Observations
Locally compact Hausdorff X =⇒ C0 (X ), || • ||∞ ,
(non-unital ) C* -algebra
Compact Hausdorff X =⇒ C (X ), || • ||∞ ,
unital C* -algebra, Here C0 (X ) = C (X ).
tentative definition
A is unital C* algebra.
∆ : A → A ⊗ A such that (id ⊗ ∆)∆ = (∆ ⊗ id)∆
: A → C such that ( ⊗ id)∆ = (id ⊗ )∆ = id
S : A → A such that
m(S ⊗ id)∆(a) = m(id ⊗ S)∆(a) = (a)1A
Cancellation property
Semigroup with both cancellation property is a group.
θ map
θL : G × G → G × G such that θL (w , x) = (w , wx)
θR : G × G → G × G such that θR (w , x) = (wx, x)
Density Condition
[ Left ] F ◦ θL is dense in C (G × G )
[ Right ] F ◦ θR is dense in C (G × G )
θL (w , x) = θL (y , z) =⇒ (w , wx) = (y , yz)
=⇒ w = y , wx = yz = wz
=⇒ w = y, x = z
=⇒ (w , x) = (y , z) ∀w , x, y , z
θL is injective
Conversely, for injective θL
wx = wz =⇒ (w , wx) = (w , wz)
=⇒ θL (w , x) = θL (w , z)
=⇒ (w , x) = (w , z), i.e. x = z ∀w , x, z
q-deformations of compact Lie groups as Compact Quantum
Cancellation property as a density condition
Density as Cancellation
Left cancellation law holds iff F ◦ θL is dense in C (G × G )
Similarly we can show that Right cancellation law holds iff
F ◦ θR is dense in C (G × G )
Corrolary
If F = C (G ) ⊗ C (G ) then
F ◦ θL = (C (G ) ⊗ 1)∆C (G ) and
F ◦ θR = (1 ⊗ C (G ))∆C (G )
.
[S] is closed linear span of S ( in some Banach space )
A ⊗ A is completion of A ⊗alg A with respect to maximal C ∗
-norm
Example (commutative)
Compact Hausdorff Group G =⇒ CQG (A = C (G ), ∆)
∆ : C (G ) → C (G ) ⊗ C (G ); f 7→ ∆(f ) : (g , g 0 ) = f (gg 0 )
Example (Cocommutative)
Let G be discrete group. HG = l 2 (G ). Tg on HG by eg 0 7→ egg 0
A = Cr∗ (G ) = closed linear span of{Tg : g ∈ G }
∆(Tg ) = Tg ⊗ Tg
Compact group
µ Haar measure / probability measure, G compact group
ν ∗ µ = µ ∗ ν = ν(G )µ ,any measure ν
χE (gg 0 )dµ(g )dν(g 0 )
RR
(µ ∗ ν)(E ) =
G ×G
R
Haar state h on C (G ) by h(f ) = g ∈G f (g )dµ. h is
unique as µ is.
Theorem
(A, ∆) Compact quantum group =⇒ ∃ unique Haar state h
on A such that f ∗ h = h ∗ f = f (1A )h. f ∗ h = (f ⊗ h)∆
Proof outline.
state f =⇒ ∃h state st. f ∗ h = h ∗ f = f (1A )h
0≤g ≤f,
f ∗ h = h ∗ f = f (1A )h =⇒ g ∗ h = h ∗ g = g (1A )h
F = {g1 , g2 , ..., gn } =⇒ hF ∗ gi = gi ∗ hF = hF
h is weak* limit of {hF } as F increasing.
f ∗ fn = fn ∗ f = n1 n+1 ∗k
= fn + n1 (f ∗(n+1) − f )
P
k=2 f
f ∗ h = h ∗ f = h by weak* limit
We know
For compact group G
Any finite dimensional representation is equivalent to some
unitary representation and direct sum of irreducible unitary
representations.
Matrix coefficients
for x, y ∈ HU ; (U)x,y = (Ex,y ⊗ id)U
(A, ∆) CQG
Matrix coefficients of representations
Γ : Set of equivalence classes of f.d. unitary
representations
For Uα ∈ Γ, {ei : 1 ≤ i ≤ dim(Uα )} O.N.B. for Hilbert
space Hα
A0 := Span{(Uα )i,j : Uα ∈ Γ, 1 ≤ i, j ≤ dim(Uα )}
We have A0 is unital dense *-subalgebra of A
Span{ πh (a0 )uh : a0 ∈ A0 } is dense in L2 (A, ∆)
∆(A0 ) ⊆ A0 ⊗alg A0
(A, ∆) CQG
Matrix coefficients of representations
A0 := Span{(Uα )i,j : Uα ∈ Γ, 1 ≤ i, j ≤ dim(Uα )}
We have A0 is unital dense *-subalgebra of A
Span{ πh (a)uh : a ∈ A } is dense in L2 (A, ∆)
∆(A0 ) ⊆ A0 ⊗alg A0
((Uα )i,j ) = δi,j
S((Uα )i,j ) = (Uα )∗j,i
(A0 , ∆|A0 , , S) forms Hopf-*-algebra
αi β j β ∗k 7−→ 0 for i ≥ 1
j ∗k
ββ 7−→ 0 for j 6= k
1 − q2
β k β ∗k 7−→ for k ≥ 0
1 − q 2k+2
α∗i β j β ∗k 7 →0
− for i ≥ 1
Haar state
H separable Hilbert space
{en,k : n, k ∈ Z; n ≥ 0} be O.N.B. of H
p
π(α)en,k = 1 − q 2n en−1,k
π(β)en,k = q n en,k+1
h(a) = ∞ 2n
P
n=0 q < en,0 , π(a)en,0 >
d
d
= ( dt π (e tQ )) ⊗ IV2 + IV1 ⊗ ( dt
t=0 1
π (e tQ ))
t=0 2
Representation
U (sl(2)),unital associative algebra, contains sl(2, C).
For Q1 , Q2 ∈ sl(2, C) implies [Q1 , Q2 ] = Q1 Q2 − Q2 Q1 in
U (sl(2))
sl(2, C) is C-Span of {H, X , Y }
[H, X ] = 2X ; [H, Y ] = −2Y ; [X , Y ] = H
U (sl(2)) is unital associative algebra generated by
{H, X , Y } such that
XY − YX = H; HX − XH = 2X ; HY − YH = −2Y
Representation of sl(2, C) has unique extension on
U (sl(2))
where ∆(Q) = Q ⊗ 1 + 1 ⊗ Q
1 ⊗ π2 to π̃1 T π̃2 on U (sl(2))
Extend π^
Hopf Structure
∆ : U (sl(2)) → U (sl(2)) ⊗ U (sl(2)) such that
∆(Q) = Q ⊗ 1 + 1 ⊗ Q ∀Q ∈ sl(2, C)
: U (sl(2)) → C such that (1) = 1 and
(Q) = 0 ∀Q ∈ sl(2, C)
S : U (sl(2)) → U (sl(2)) such that S(1) = 1 and
S(Q) = −Q ∀Q ∈ sl(2, C)
Representation
π̃1 T π̃2 = (π̃1 ⊗ π̃2 )∆
π̃ ∗ (Q) = π̃(S(Q))tr
su(2) = {R iH + R i X + Y + R X − Y }
sl(2, C) = complexification of su(2) via complexification
map ω.
Therefore ω(iH) = iH,
ω(i(X + Y )) = i(X + Y ) and ω(X − Y ) = X − Y
So ω(H) = −H,
−ω(X ) − ω(Y ) = X + Y and ω(X ) − ω(Y ) = X − Y
Then we get ω(H) = −H, ω(X ) = −Y , ω(Y ) = −X
∗ on U (sl(2)) such that H ∗ = −ω(H), X ∗ = −ω(X ),
Y ∗ = −ω(Y )
∗-structure on U (sl(2))
1∗ = 1
H ∗ = −[ω(H)] = S[ω(H)] = S[−H]
(−H)∗ = −[ω(−H)] = S[ω(−H)] = S[H]
X ∗ = −[ω(X )] = S[ω(X )] = S[−Y ]
Y ∗ = −[ω(Y )] = S[ω(Y )] = S[−X ]
Hopf Structure
∆(K ) = K ⊗ K ; ∆(X ) = X ⊗ K + 1 ⊗ X
∆(Y ) = Y ⊗ 1 + K −1 ⊗ Y
(1) = 1 = (K ) = (K −1 ) and (X ) = 0 = (Y )
S(K ) = K −1 ; S(X ) = −XK −1 ; S(Y ) = −KY
Now our intention was to give a ∗-structure.
∗-structure on Uq (sl(2))
∗ map on U (sl(2)) ∗ map on Uq (sl(2))
1∗ = 1 1∗ = 1
H ∗ = S[−H] K ∗ = S(K −1 ) = K
(−H)∗ = S[H] (K −1 )∗ = S(K ) = K −1
X ∗ = S[−Y ] X ∗ = S(−Y ) = KY
Y ∗ = S[−X ] Y ∗ = S(−X ) = XK −1
∗-structure on Uq (sl(2))
1∗ = 1; K ∗ = K ; (K −1 )∗ = K −1 ; X ∗ = KY ; Y ∗ = XK −1
This ∗ map (extending by antimultiplicative and
conjugate linearity) gives ∗-structure on Uq (sl(2))
So (Uq (sl(2)),*) becomes a Hopf *-algebra
πm (X )vi = πm (X )vi =
[i]q [m − i + 1]q vi−1 −[i]q [m − i + 1]q vi−1
q n −q −n
Here v−1 = vm+1 = 0 and [n]q = q−q −1
, for n ∈ Z
Matrix coeficients
π is irreducible representations on V = Ce0 + Ce1 . Then
1A K K −1 X Y
1
π00 1 q q
0 0
π01 0 0 0 1 0
π10 0 0 0 0 1
1
π11 1 q
q 0 0
Matrix coeficients
π is irreducible representations on V = Ce0 + Ce1 .
Let K ∗ = K ; X ∗ = KY , Y ∗ = YK −1
(π ∗ )fv ,fw = (πv ,w )∗ and S(πv ,w ) = (π ∗ )fw ,fv = (πw ,v )∗
Then we have
(π00 )∗ = (π ∗ )00 = π11
(π11 )∗ = (π ∗ )11 = π00
(π01 )∗ = (π ∗ )01 = −q −1 π10
(π10 )∗ = (π ∗ )10 = −qπ01
By above *-structure,
A00 with ∗-structure is ∗-algebra generated by π0,0 , π1,0
satisfying the previous relations
q-deformations of compact Lie groups as Compact Quantum
C (SUq −1 (2))
Matrix coeficients
π is irreducible representations on V = Ce0 + Ce1 .
Then A00 with ∗-structure satisfy following properties
∗ ∗
π10 π10 = π10 π10
∗ −2 ∗ ∗ ∗
π00 π00 + q π10 π10 = 1 = π00 π00 + π10 π10
−1 ∗ −1 ∗
π00 π10 − q π10 π00 = 0 = π00 π10 − q π10 π00
C (SUq−1 (2))
A00 with ∗-structure is Hopf-* algebra
Those previous relations are same as given in compact
quantum group example C (SUq−1 (2))
Cocommutative
Let G be discrete group. HG = l 2 (G ). Tg on HG by eg 0 7→ egg 0
A = Cr∗ (G ) = closed linear span of{Tg : g ∈ G }
∆(Tg ) = Tg ⊗ Tg
Example
G = S3
G =Z
G = S3 × Z
G = SL2 (Z) , acting on C2
Therefore g2 = g3
Theorem
Compact quantum group (A, ∆) Compact quantum group
=⇒ unique Haar state hon A such that
f ∗ h = h ∗ f = f (1A )h. f ∗ h = (f ⊗ h)∆
Proof outline.
state f =⇒ ∃h state st. f ∗ h = h ∗ f = f (1A )h
0≤g ≤f,
f ∗ h = h ∗ f = f (1A )h =⇒ g ∗ h = h ∗ g = g (1A )h
F = {g1 , g2 , ..., gn } =⇒ hF ∗ gi = gi ∗ hF = hF
h is weak* limit of {hF } as F increasing.
f ∗ fn = fn ∗ f = n1 n+1 ∗k
= fn + n1 (f ∗(n+1) − f )
P
k=2 f
0≤g ≤f,
f ∗ h = h ∗ f = f (1A )h =⇒ g ∗ h = h ∗ g = g (1A )h
Let a ∈ A, b = (i ⊗ h)∆(a), b ∗ = (i ⊗ h)∆(a∗ )
∆(b) = (i ⊗ i ⊗ h)(∆ ⊗ i)∆(a) = (i ⊗ i ⊗ h)(i ⊗ ∆)∆(a)
0≤g ≤f,
f ∗ h = h ∗ f = f (1A )h =⇒ g ∗ h = h ∗ g = g (1A )h
Let a ∈ A, b = (i ⊗ h)∆(a), b ∗ = (i ⊗ h)∆(a∗ )
(h ⊗ f )[(∆(b) − b ⊗ 1A )∗ (∆(b) − b ⊗ 1A )]
= (h ⊗ f )[∆(b ∗ b)] − (h ⊗ f )[∆(b ∗ )(b ⊗ 1A )]
−(h ⊗ f )[(b ∗ ⊗ 1A )∆(b)] + (h ⊗ f )[(b ∗ b ⊗ 1A )]
= (h ∗ f )(b ∗ b) − h[ (i ⊗ f )∆(b ∗ ) b ]
0≤g ≤f,
f ∗ h = h ∗ f = f (1A )h =⇒ g ∗ h = h ∗ g = g (1A )h
h a ∈ A, b = (i ⊗ h)∆(a)
Let i
f (h ⊗ i)[(∆(b) − b ⊗ 1A )∗ (∆(b) − b ⊗ 1A )]
= (h ⊗ f )[(∆(b) − b ⊗ 1A )∗ (∆(b) − b ⊗ 1A )] = 0
Therefore
h (h ⊗ g )[(∆(b) − b ⊗ 1A )∗ (∆(b) − b ⊗i 1A )]
= g (h ⊗ i)[(∆(b) − b ⊗ 1A )∗ (∆(b) − b ⊗ 1A )] = 0
By Cauchy Schwarz
(h ⊗ g )[(c ⊗ 1A )(∆(b) − b ⊗ 1A )] = 0 ∀c ∈ A
0≤g ≤f,
f ∗ h = h ∗ f = f (1A )h =⇒ g ∗ h = h ∗ g = g (1A )h
Let a, c ∈ A, b = (i ⊗ h)∆(a)
(h ⊗ g )[(c ⊗ 1A )(∆(b)] = (h ⊗ g )[cb ⊗ 1A ]
(h ⊗ (g ∗ h))[(c ⊗ 1A )(∆(a)]
= (h ⊗ g ⊗ h)(i ⊗ ∆)[(c ⊗ 1A )(∆(a)]
= (h ⊗ g )(i
h ⊗ i ⊗ h)(i ⊗ ∆)[(c ⊗ 1A )(∆(a)] i
= (h ⊗ g ) (c ⊗ 1A ) (i ⊗ i ⊗ h)(i ⊗ ∆)(∆(a)
h i
= (h ⊗ g ) (c ⊗ 1A )∆(b) = (h ⊗ g )[cb ⊗ 1A ] = g (1A )h(cb)
= (h ⊗ g (1A )h)[(c ⊗ 1A )∆(a)]
0≤g ≤f,
f ∗ h = h ∗ f = f (1A )h =⇒ g ∗ h = h ∗ g = g (1A )h
Let a, c ∈ A
(h ⊗ (g ∗ h))[(c ⊗ 1A )(∆(a)] = (h ⊗ g (1A )h)[(c ⊗ 1A )∆(a)]
By density of (A ⊗ 1A )∆(A),
(h ⊗ (g ∗ h))(x ⊗ y ) = (h ⊗ g (1A )h)(x ⊗ y )
Proof of Q ⊗ 1A = U ∗ (Q ⊗ 1A )U
Proof.
(i ⊗ h)(U ∗ U) = Q
Q ⊗ 1A = (i ⊗ h)[U ∗ U] ⊗ 1A
Q ⊗ 1A = (i ⊗ h ⊗ i)(i ⊗ ∆)[U ∗ U]
∗ ∗
Q ⊗ 1A = (i ⊗ h ⊗ i)[U13 U12 U12 U13 ]
∗ ∗
Q ⊗ 1A = U (i ⊗ h ⊗ i)[U12 U12 ] U
Q ⊗ 1A = U ∗ (i ⊗ h)[U ∗ U] U = U ∗ (Q ⊗ 1A )U
Cartan Involution
Let g is real finite dimensional Lie algebra.
Let Tx,y : g → g is such that Tx,y (z) := [x, [y , z]]
K (x, y ) = trace(Tx,y ) is symmetric bilinear form.
Suppose K (x, y ) is non-degenerate
ω : g → g is Cartan Involution if
∗ ω is Lie-algebra automorphism
∗ ω 2 = Id
∗ −K (x, ω(y )) is positive definite bilinear form.