Structure of Compact Quantum Groups Au(Q) and Bu(Q) and their …math.ecnu.edu.cn › RCFOA ›...

Structure of Compact Quantum GroupsAu(Q) and Bu(Q)

and their Isomorphism Classification

Shuzhou Wang

Department of MathematicsUniversity of Georgia

1. The Notion of Quantum Groups

I G = Simple compact Lie group, e.g.

G = SU(2) = {

α −γ

: αα + γγ = 1, α, γ ∈ C }.

A = C(G)

I Lie group G⇐⇒ Hopf algebra (A,∆, ε,S).

∆ : A→ A⊗ A, ∆(f )(s, t) = f (st).

ε : A→ C, ε(f ) = f (e).

S : A→ A, S(f )(t) = f (t−1).

G = SU(2) = {

α −γ

: αα + γγ = 1, α, γ ∈ C }.

A = C(G)

∆ : A→ A⊗ A, ∆(f )(s, t) = f (st).

ε : A→ C, ε(f ) = f (e).

S : A→ A, S(f )(t) = f (t−1).

G = SU(2) = {

α −γ

: αα + γγ = 1, α, γ ∈ C }.

A = C(G)

∆ : A→ A⊗ A, ∆(f )(s, t) = f (st).

ε : A→ C, ε(f ) = f (e).

S : A→ A, S(f )(t) = f (t−1).

1. The Notion of Quantum Groups (cont.)

Spectacular development in Mid-1980’s:

Drinfeld, Jimbo, Woronowicz,

Idea of Quantization:

Commuting functions on G, e.g. α, γ,

Non-commuting operators, e.g. α, γ,

Commutative C(G) =⇒ Noncommutative C(Gq).

Gq = quantum group

Spectacular development in Mid-1980’s:

Drinfeld, Jimbo, Woronowicz,

Idea of Quantization:

Commuting functions on G, e.g. α, γ,

Non-commuting operators, e.g. α, γ,

Commutative C(G) =⇒ Noncommutative C(Gq).

Gq = quantum group

I Recall Hilbert 5th Problem:

Characterization of Lie groups among topological groups.

I New Problem:

Characterization of quantum groups among Hopf algebras.

I Lesson:

Quantums groups = “nice Hopf algebras”

Restrict to such Hopf algebras to obtain nice and deep

theory.

I New Problem:

I Lesson:

theory.

I New Problem:

I Lesson:

theory.

I DEFINITION: A compact matrix quantum group (CMQG) is

a pair G = (A,u) of a unital C∗-algebra A and

u = (uij)ni,j=1 ∈ Mn(A) satisfying

(1) ∃ ∆ : A −→ A⊗ A with

∆(uij) =n∑

uik ⊗ ukj , i , j = 1, · · · ,n;

(2) ∃ u−1 in Mn(A) and anti-morphism S on

A = ∗ − alg(uij) with

S(S(a∗)∗) = a, a ∈ A; S(u) = u−1.

(1) ∃ ∆ : A −→ A⊗ A with

∆(uij) =n∑

uik ⊗ ukj , i , j = 1, · · · ,n;

S(S(a∗)∗) = a, a ∈ A; S(u) = u−1.

(1) ∃ ∆ : A −→ A⊗ A with

∆(uij) =n∑

uik ⊗ ukj , i , j = 1, · · · ,n;

S(S(a∗)∗) = a, a ∈ A; S(u) = u−1.

I Note: Equivalent definition of CMQG is obtained if

condition (2) is replaced with

(2′) ∃ u−1 and (ut )−1 in Mn(A)

I There are other equivalent definitions of CMQG

I Note: Equivalent definition of CMQG is obtained if

condition (2) is replaced with

(2′) ∃ u−1 and (ut )−1 in Mn(A)

I There are other equivalent definitions of CMQG

Famous Example: C(SUq(2)), q ∈ R, q 6= 0

Generators: α, γ.

Relations: the 2× 2 matrix u :=

[α −qγ∗

γ α∗

]is unitary,

α∗α + γ∗γ = 1, αα∗ + q2γγ∗ = 1,

γγ∗ = γ∗γ, αγ = qγα, αγ∗ = qγ∗α.

Generators: α, γ.

[α −qγ∗

γ α∗

]is unitary,

α∗α + γ∗γ = 1, αα∗ + q2γγ∗ = 1,

Generators: α, γ.

[α −qγ∗

γ α∗

]is unitary,

α∗α + γ∗γ = 1, αα∗ + q2γγ∗ = 1,

Generators: α, γ.

[α −qγ∗

γ α∗

]is unitary,

α∗α + γ∗γ = 1, αα∗ + q2γγ∗ = 1,

Facts:

I (ut )−1 =

α∗ −q−1γ

q2γ∗ α

I Hopf algebra structure same as C(SU(2)):

∆(uij) =2∑

uik ⊗ ukj , i , j = 1,2;

ε(uij) = δij , i , j = 1,2;

S(u) = u−1.

Facts:

I (ut )−1 =

α∗ −q−1γ

q2γ∗ α

∆(uij) =2∑

uik ⊗ ukj , i , j = 1,2;

ε(uij) = δij , i , j = 1,2;

S(u) = u−1.

Facts:

I (ut )−1 =

α∗ −q−1γ

q2γ∗ α

∆(uij) =2∑

uik ⊗ ukj , i , j = 1,2;

ε(uij) = δij , i , j = 1,2;

S(u) = u−1.

I Gq = Deformation of arbitrary simple compact Lie groups:

Soibelman et al. based on Drinfeld-Jimbo’s Uq(g)

Guq = Twisting of Gq

I Woronowicz’s theory: Haar measure, Peter-Weyl,

Tannka-Krein, etc.

I Any other classses of examples besides Gq, Guq?

I Yes: Universal quantum groups Au(Q) and Bu(Q),

quantum permutation groups Aaut (Xn), etc.

Tannka-Krein, etc.

2. Universal CMQGs Au(Q) and Bu(Q)

For u = (uij), u := (u∗ij ), u∗ := ut ; Q is an n × n non-singular

complex scalar matrix.

Au(Q) := C∗{uij : u∗ = u−1, (ut )−1 = QuQ−1}

Bu(Q) := C∗{uij : u∗ = u−1, (ut )−1 = QuQ−1}

Au(Q) := C∗{uij : u∗ = u−1, (ut )−1 = QuQ−1}

Bu(Q) := C∗{uij : u∗ = u−1, (ut )−1 = QuQ−1}

Au(Q) := C∗{uij : u∗ = u−1, (ut )−1 = QuQ−1}

Bu(Q) := C∗{uij : u∗ = u−1, (ut )−1 = QuQ−1}

2. Au(Q) and Bu(Q) (cont.)

THEOREM 1.

(1) Au(Q) and Bu(Q) are CMQGs (in fact quantum

automorphism groups).

(2) Every CMQG is a quantum subgroup of Au(Q) for some

Q > 0;

Every CMQG with self conjugate fundamental representation is

a quantum subgroup of Bu(Q) for some Q.

THEOREM 1.

Q > 0;

THEOREM 1.

Q > 0;

I The C∗-algebras Au(Q) and Bu(Q) are non-nuclear (even

non-exact) for generic Q’s.

e.g. C∗(Fn) is a quotient of Au(Q) for Q > 0.

I Bu(Q) = C(SUq(2)) for

0 −1

, q ∈ R, q 6= 0.

I Banica’s computed the fusion rings of Au(Q) (for Q > 0)

and Bu(Q) (for QQ) in his deep thesis.

0 −1

, q ∈ R, q 6= 0.

0 −1

, q ∈ R, q 6= 0.

3. Au(Q) for Positive Q

Q > 0 is called normalized if Tr(Q) = Tr(Q−1).

THEOREM 2. Let Q ∈ GL(n,C) and Q′ ∈ GL(n′,C) be positive,

normalized, with eigen values q1 ≥ q2 ≥ · · · ≥ qn and

q′1 ≥ q′2 ≥ · · · ≥ q′n′ respectively.

Then, Au(Q) is isomorphic to Au(Q′) iff,

(i) n = n′, and

(ii) (q1,q2, · · · ,qn) = (q′1,q′2, · · · ,q′n) or

(q−1n ,q−1

n−1, · · · ,q−11 ) = (q′1,q

′2, · · · ,q′n).

(i) n = n′, and

(ii) (q1,q2, · · · ,qn) = (q′1,q′2, · · · ,q′n) or

(q−1n ,q−1

n−1, · · · ,q−11 ) = (q′1,q

′2, · · · ,q′n).

(i) n = n′, and

(ii) (q1,q2, · · · ,qn) = (q′1,q′2, · · · ,q′n) or

(q−1n ,q−1

n−1, · · · ,q−11 ) = (q′1,q

′2, · · · ,q′n).

(i) n = n′, and

(ii) (q1,q2, · · · ,qn) = (q′1,q′2, · · · ,q′n) or

(q−1n ,q−1

n−1, · · · ,q−11 ) = (q′1,q

′2, · · · ,q′n).

4. Bu(Q) with QQ ∈ RIn

THEOREM 3. Let Q ∈ GL(n,C) and Q′ ∈ GL(n′,C) be such

that QQ ∈ RIn, Q′Q′ ∈ RIn′ , respectively.

Then, Bu(Q) is

isomorphic to Bu(Q′) iff,

(i) n = n′, and

(ii) there exist S ∈ U(n) and z ∈ C∗ such that

Q = zStQ′S.

Note: The quantum groups Bu(Q) are simple in an appropriate

sense: cf. S. Wang: “Simple compact quantum groups I”, JFA,

256 (2009), 3313-3341.

that QQ ∈ RIn, Q′Q′ ∈ RIn′ , respectively. Then, Bu(Q) is

(i) n = n′,

Q = zStQ′S.

256 (2009), 3313-3341.

(i) n = n′, and

Q = zStQ′S.

256 (2009), 3313-3341.

(i) n = n′, and

Q = zStQ′S.

256 (2009), 3313-3341.

5. Au(Q) and Bu(Q) for Arbitrary Q

Note: Au(Q) = C(T), Bu(Q) = C∗(Z/2Z) for Q ∈ GL(1,C).

THEOREM 4. Let Q ∈ GL(n,C). Then there exists positive

matrices Pj such that

Au(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk ).

THEOREM 5. Let Q ∈ GL(n,C). Then there exist positive

matrices Pi (i ≤ k ) and matrices Qj (j ≤ l) with QjQj ’s are

nonzero scalars

and that

Bu(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk )∗

∗Bu(Q1) ∗ Bu(Q2) ∗ · · · ∗ Bu(Ql).

Note: This is contrary to an earlier belief that Au(Pi)’s do not

appear in the decomp.!

nonzero scalars and that

Bu(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk )∗

∗Bu(Q1) ∗ Bu(Q2) ∗ · · · ∗ Bu(Ql).

nonzero scalars and that

Bu(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk )∗

∗Bu(Q1) ∗ Bu(Q2) ∗ · · · ∗ Bu(Ql).

COROLLARY of THEOREM 4.

(1). Let Q = diag(eiθ1P1,eiθ2P2, · · · ,eiθk Pk ), with positive

matrices Pj and distinct angles 0 ≤ θj < 2π, j = 1, · · · , k , k ≥ 1

Au(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk ).

(2). Let Q ∈ GL(2,C) be a non-normal matrix. Then

Au(Q) = C(T).

(3). For Q ∈ GL(2,C), Au(Q) is isomorphic to either C(T), or

C(T) ∗ C(T), or Au(diag(1,q)) with 0 < q ≤ 1.

Au(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk ).

Au(Q) = C(T).

Au(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk ).

Au(Q) = C(T).

Au(Q) ∼= Au(P1) ∗ Au(P2) ∗ · · · ∗ Au(Pk ).

Au(Q) = C(T).

(1). Let Q = diag(T1,T2, · · · ,Tk ) be such that Tj Tj = λj Inj ,

where the λj ’s are distinct non-zero real numbers (the nj ’s need

not be different), j = 1, · · · , k , k ≥ 1.

Bu(Q) ∼= Bu(T1) ∗ Bu(T2) ∗ · · · ∗ Bu(Tk ).

(2). Let Q =

qT−1 0

], where T ∈ GL(n,C) and q is a

complex but non-real number. Then Bu(Q) is isomorphic to

Au(|T |2).

not be different), j = 1, · · · , k , k ≥ 1. Then

Bu(Q) ∼= Bu(T1) ∗ Bu(T2) ∗ · · · ∗ Bu(Tk ).

(2). Let Q =

qT−1 0

Au(|T |2).

Bu(Q) ∼= Bu(T1) ∗ Bu(T2) ∗ · · · ∗ Bu(Tk ).

(2). Let Q =

qT−1 0

complex but non-real number.

Then Bu(Q) is isomorphic to

Au(|T |2).

Bu(Q) ∼= Bu(T1) ∗ Bu(T2) ∗ · · · ∗ Bu(Tk ).

(2). Let Q =

qT−1 0

Au(|T |2).

6. Important Related Work

A Conceptual Breakthrough:

Debashish Goswami used Au(Q) to prove the existence of

quantum isometry groups for very general classes of

noncommutative spaces in the sense of Connes.

6. Important Related Work

A Conceptual Breakthrough:

Debashish Goswami used Au(Q) to prove the existence of

quantum isometry groups for very general classes of

noncommutative spaces in the sense of Connes.

6. Important Related Work (cont.)

Banica’s Fusion Theorem 1:

The irreducible representations πx of the quantum group Au(Q)

are parameterized by x ∈ N ∗ N, where N ∗ N is the free monoid

with generators α and β and anti-multiplicative involution α = β,

and the classes of u, u are α, β respectively. With this

parametrization, one has the fusion rules

πx ⊗ πy =∑

x=ag,gb=y

are parameterized by x ∈ N ∗ N,

where N ∗ N is the free monoid

πx ⊗ πy =∑

x=ag,gb=y

and the classes of u, u are α, β respectively.

With this

πx ⊗ πy =∑

x=ag,gb=y

πx ⊗ πy =∑

x=ag,gb=y

The irreducible representations πk of the quantum group Bu(Q)

are parameterized by k ∈ Z+ = {0,1,2, · · · }, and one has the

fusion rules

πk ⊗ πl = π|k−l| ⊕ π|k−l|+2 ⊕ · · · ⊕ πk+l−2 ⊕ πk+l

are parameterized by k ∈ Z+ = {0,1,2, · · · },

and one has the

fusion rules

are parameterized by k ∈ Z+ = {0,1,2, · · · }, and one has the

fusion rules

7. Open Problems

I (1) Construct explicit models of irreducible representations

πx (x ∈ N ∗ N) of the quantum groups Au(Q) for positive

Q > 0.

πk (k ∈ Z+) of the quantum groups Bu(Q) for Q with

QQ = ±1.

7. Open Problems

πx (x ∈ N ∗ N) of the quantum groups Au(Q) for positive

Q > 0.

πk (k ∈ Z+) of the quantum groups Bu(Q) for Q with

QQ = ±1.

THANKS FOR YOUR ATTENTION!

Structure of Compact Quantum Groups Au(Q) and Bu(Q) and their …math.ecnu.edu.cn › RCFOA ›...

Documents

Transcript of Structure of Compact Quantum Groups Au(Q) and Bu(Q) and their …math.ecnu.edu.cn › RCFOA ›...

Quantum Weirdness - Carleton University · 2019. 10. 23. · Quantum Weirdness Part 6 Quantum Weirdness in Materials Quantum Cryptography Quantum Teleportation Quantum Snake Oil.

Structure of Compact Quantum Groups Au(Q) and Bu(Q) and their …math.ecnu.edu.cn/RCOA/visitors/Suzhou Wang/aubu-slides... · 2014. 1. 27. · 1. The Notion of Quantum Groups (cont.)

Does Quantum Electrodynamics Have an Arrow of Time?philsci-archive.pitt.edu/2571/1/radiation4.pdfin Fig. 1: p+q p,s q,λ p ,s q ,λ Figure 1 Compton scattering An electron of momentum

PHY 102: Quantum Physics Topic 4 Introduction to Quantum Theory

Intro to Analysis of Algorithms Computational Foundations ... · 1 0 0,1 0 0 1 q 2 1 Transition table 0 1 q 0 q 2 q 0 q 1 q 1 q 1 q 2 q 2 q 1 ... Theorem: A language is regular i

Contentscontoh.in/wp-content/uploads/downloads/2012/03/... · 3 δ(q 0,a) = q 1 Dibaca q 0 diberi masukan a state berpindah ke q 1 δ(q 1,b) = q 2 q 2 adalah state akhir 3. Bagaimana

Harmonic analysis on quantum tori - East China Normal ...math.ecnu.edu.cn/RCFOA/visitors/Quanhua Xu/qtorus.pdf · Harmonic analysis on quantum tori Quanhua Xu Wuhan University and

Dimerization and N eel order in di erent quantum spin ...duminil/publi/2020quantumspinchain.pdf · functional integral which is similar to the classical planar Q-state Potts model

Disordered Quantum Systems

QUANTUM COMPUTATION AND QUANTUM INFORMATION GROVER'S ALGORITHM Igor Ilijašević1 / 26.

Andris Ambainis University of Latviahome.lu.lv/~df/tdays/ambainis-slides.pdf · Quantum algorithms up to 2005. Shor’s algorithm Factoring: given N=pq, find p and q. Best algorithm

Chapter-3 Quantum Mechanics of Electronsqli/ECE685/LectureNotes/Chapter-3 Quantum...Chapter 3 Quantum Mechanics of ... Q.Li@Physics.WHU@2015.3 2 Atoms form a quantum corral to confine

Quantum Computation- Quantum Circuits- Universal quantum gates · Quantum Computation- Quantum Circuits-Universal quantum gates •where the matrices V i are two-level unitary matrices,

17.Quantum Gravity

Witnessing entanglement for quantum interferometry · Witnessing entanglement for quantum interferometry Marco Gabbrielli Firenze 16 ∙ 02 ∙ 2017. Quantum entanglement separable.

Quantifying the Quantum

Quantum statistical mechanics of Q-latticesmarcolli/Qlattices.pdfThe Bost{Connes system J.B. Bost, A. Connes, Hecke algebras, Type III fac-tors and phase transitions with spontaneous

Quantum Cryptography

External Quantum Efficiency

Q-Match: Iterative Shape Matching via Quantum Annealing