Misplaced Pages

Compact quantum group

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Abstract structure in mathematics
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Compact quantum group" – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message)

In mathematics, compact quantum groups are generalisations of compact groups, where the commutative C ∗ {\displaystyle \mathrm {C} ^{*}} -algebra of continuous complex-valued functions on a compact group is generalised to an abstract structure on a not-necessarily commutative unital C ∗ {\displaystyle \mathrm {C} ^{*}} -algebra, which plays the role of the "algebra of continuous complex-valued functions on the compact quantum group".

The basic motivation for this theory comes from the following analogy. The space of complex-valued functions on a compact Hausdorff topological space forms a commutative C*-algebra. On the other hand, by the Gelfand Theorem, a commutative C*-algebra is isomorphic to the C*-algebra of continuous complex-valued functions on a compact Hausdorff topological space, and the topological space is uniquely determined by the C*-algebra up to homeomorphism.

S. L. Woronowicz introduced the important concept of compact matrix quantum groups, which he initially called compact pseudogroups. Compact matrix quantum groups are abstract structures on which the "continuous functions" on the structure are given by elements of a C*-algebra. The geometry of a compact matrix quantum group is a special case of a noncommutative geometry.

Formulation

For a compact topological group, G, there exists a C*-algebra homomorphism

Δ : C ( G ) → C ( G ) ⊗ C ( G ) {\displaystyle \Delta :C(G)\to C(G)\otimes C(G)}

where C(G) ⊗ C(G) is the minimal C*-algebra tensor product — the completion of the algebraic tensor product of C(G) and C(G)) — such that

Δ ( f ) ( x , y ) = f ( x y ) {\displaystyle \Delta (f)(x,y)=f(xy)}

for all f ∈ C ( G ) {\displaystyle f\in C(G)} , and for all x , y ∈ G {\displaystyle x,y\in G} , where

( f ⊗ g ) ( x , y ) = f ( x ) g ( y ) {\displaystyle (f\otimes g)(x,y)=f(x)g(y)}

for all f , g ∈ C ( G ) {\displaystyle f,g\in C(G)} and all x , y ∈ G {\displaystyle x,y\in G} . There also exists a linear multiplicative mapping

κ : C ( G ) → C ( G ) {\displaystyle \kappa :C(G)\to C(G)} ,

such that

κ ( f ) ( x ) = f ( x − 1 ) {\displaystyle \kappa (f)(x)=f(x^{-1})}

for all f ∈ C ( G ) {\displaystyle f\in C(G)} and all x ∈ G {\displaystyle x\in G} . Strictly speaking, this does not make C(G) into a Hopf algebra, unless G is finite.

On the other hand, a finite-dimensional representation of G can be used to generate a *-subalgebra of C(G) which is also a Hopf *-algebra. Specifically, if

g ↦ ( u i j ( g ) ) i , j {\displaystyle g\mapsto (u_{ij}(g))_{i,j}}

is an n-dimensional representation of G, then

u i j ∈ C ( G ) {\displaystyle u_{ij}\in C(G)}

for all i, j, and

Δ ( u i j ) = ∑ k u i k ⊗ u k j {\displaystyle \Delta (u_{ij})=\sum _{k}u_{ik}\otimes u_{kj}}

for all i, j. It follows that the *-algebra generated by u i j {\displaystyle u_{ij}} for all i, j and κ ( u i j ) {\displaystyle \kappa (u_{ij})} for all i, j is a Hopf *-algebra: the counit is determined by

ϵ ( u i j ) = δ i j {\displaystyle \epsilon (u_{ij})=\delta _{ij}}

for all i , j {\displaystyle i,j} (where δ i j {\displaystyle \delta _{ij}} is the Kronecker delta), the antipode is κ, and the unit is given by

1 = ∑ k u 1 k κ ( u k 1 ) = ∑ k κ ( u 1 k ) u k 1 . {\displaystyle 1=\sum _{k}u_{1k}\kappa (u_{k1})=\sum _{k}\kappa (u_{1k})u_{k1}.}

Compact matrix quantum groups

As a generalization, a compact matrix quantum group is defined as a pair (C, u), where C is a C*-algebra and

u = ( u i j ) i , j = 1 , … , n {\displaystyle u=(u_{ij})_{i,j=1,\dots ,n}}

is a matrix with entries in C such that

  • The *-subalgebra, C0, of C, which is generated by the matrix elements of u, is dense in C;
  • There exists a C*-algebra homomorphism, called the comultiplication, Δ : C → C ⊗ C (here C ⊗ C is the C*-algebra tensor product - the completion of the algebraic tensor product of C and C) such that
∀ i , j : Δ ( u i j ) = ∑ k u i k ⊗ u k j ; {\displaystyle \forall i,j:\qquad \Delta (u_{ij})=\sum _{k}u_{ik}\otimes u_{kj};}
  • There exists a linear antimultiplicative map, called the coinverse, κ : C0 → C0 such that κ ( κ ( v ∗ ) ∗ ) = v {\displaystyle \kappa (\kappa (v*)*)=v} for all v ∈ C 0 {\displaystyle v\in C_{0}} and ∑ k κ ( u i k ) u k j = ∑ k u i k κ ( u k j ) = δ i j I , {\displaystyle \sum _{k}\kappa (u_{ik})u_{kj}=\sum _{k}u_{ik}\kappa (u_{kj})=\delta _{ij}I,} where I is the identity element of C. Since κ is antimultiplicative, κ(vw) = κ(w)κ(v) for all v , w ∈ C 0 {\displaystyle v,w\in C_{0}} .

As a consequence of continuity, the comultiplication on C is coassociative.

In general, C is a bialgebra, and C0 is a Hopf *-algebra.

Informally, C can be regarded as the *-algebra of continuous complex-valued functions over the compact matrix quantum group, and u can be regarded as a finite-dimensional representation of the compact matrix quantum group.

Compact quantum groups

For C*-algebras A and B acting on the Hilbert spaces H and K respectively, their minimal tensor product is defined to be the norm completion of the algebraic tensor product A ⊗ B in B(H ⊗ K); the norm completion is also denoted by A ⊗ B.

A compact quantum group is defined as a pair (C, Δ), where C is a unital C*-algebra and

  • Δ : C → C ⊗ C is a unital *-homomorphism satisfying (Δ ⊗ id) Δ = (id ⊗ Δ) Δ;
  • the sets {(C ⊗ 1) Δ(C)} and {(1 ⊗ C) Δ(C)} are dense in C ⊗ C.

Representations

A representation of the compact matrix quantum group is given by a corepresentation of the Hopf *-algebra Furthermore, a representation, v, is called unitary if the matrix for v is unitary, or equivalently, if

∀ i , j : κ ( v i j ) = v j i ∗ . {\displaystyle \forall i,j:\qquad \kappa (v_{ij})=v_{ji}^{*}.}

Example

An example of a compact matrix quantum group is SUμ(2), where the parameter μ is a positive real number.

First definition

SUμ(2) = (C(SUμ(2)), u), where C(SUμ(2)) is the C*-algebra generated by α and γ, subject to

γ γ ∗ = γ ∗ γ ,   α γ = μ γ α ,   α γ ∗ = μ γ ∗ α ,   α α ∗ + μ γ ∗ γ = α ∗ α + μ − 1 γ ∗ γ = I , {\displaystyle \gamma \gamma ^{*}=\gamma ^{*}\gamma ,\ \alpha \gamma =\mu \gamma \alpha ,\ \alpha \gamma ^{*}=\mu \gamma ^{*}\alpha ,\ \alpha \alpha ^{*}+\mu \gamma ^{*}\gamma =\alpha ^{*}\alpha +\mu ^{-1}\gamma ^{*}\gamma =I,}

and

u = ( α γ − γ ∗ α ∗ ) , {\displaystyle u=\left({\begin{matrix}\alpha &\gamma \\-\gamma ^{*}&\alpha ^{*}\end{matrix}}\right),}

so that the comultiplication is determined by Δ ( α ) = α ⊗ α − γ ⊗ γ ∗ , Δ ( γ ) = α ⊗ γ + γ ⊗ α ∗ {\displaystyle \Delta (\alpha )=\alpha \otimes \alpha -\gamma \otimes \gamma ^{*},\Delta (\gamma )=\alpha \otimes \gamma +\gamma \otimes \alpha ^{*}} , and the coinverse is determined by κ ( α ) = α ∗ , κ ( γ ) = − μ − 1 γ , κ ( γ ∗ ) = − μ γ ∗ , κ ( α ∗ ) = α {\displaystyle \kappa (\alpha )=\alpha ^{*},\kappa (\gamma )=-\mu ^{-1}\gamma ,\kappa (\gamma ^{*})=-\mu \gamma ^{*},\kappa (\alpha ^{*})=\alpha } . Note that u is a representation, but not a unitary representation. u is equivalent to the unitary representation

v = ( α μ γ − 1 μ γ ∗ α ∗ ) . {\displaystyle v=\left({\begin{matrix}\alpha &{\sqrt {\mu }}\gamma \\-{\frac {1}{\sqrt {\mu }}}\gamma ^{*}&\alpha ^{*}\end{matrix}}\right).}

Second definition

SUμ(2) = (C(SUμ(2)), w), where C(SUμ(2)) is the C*-algebra generated by α and β, subject to

β β ∗ = β ∗ β ,   α β = μ β α ,   α β ∗ = μ β ∗ α ,   α α ∗ + μ 2 β ∗ β = α ∗ α + β ∗ β = I , {\displaystyle \beta \beta ^{*}=\beta ^{*}\beta ,\ \alpha \beta =\mu \beta \alpha ,\ \alpha \beta ^{*}=\mu \beta ^{*}\alpha ,\ \alpha \alpha ^{*}+\mu ^{2}\beta ^{*}\beta =\alpha ^{*}\alpha +\beta ^{*}\beta =I,}

and

w = ( α μ β − β ∗ α ∗ ) , {\displaystyle w=\left({\begin{matrix}\alpha &\mu \beta \\-\beta ^{*}&\alpha ^{*}\end{matrix}}\right),}

so that the comultiplication is determined by Δ ( α ) = α ⊗ α − μ β ⊗ β ∗ , Δ ( β ) = α ⊗ β + β ⊗ α ∗ {\displaystyle \Delta (\alpha )=\alpha \otimes \alpha -\mu \beta \otimes \beta ^{*},\Delta (\beta )=\alpha \otimes \beta +\beta \otimes \alpha ^{*}} , and the coinverse is determined by κ ( α ) = α ∗ , κ ( β ) = − μ − 1 β , κ ( β ∗ ) = − μ β ∗ {\displaystyle \kappa (\alpha )=\alpha ^{*},\kappa (\beta )=-\mu ^{-1}\beta ,\kappa (\beta ^{*})=-\mu \beta ^{*}} , κ ( α ∗ ) = α {\displaystyle \kappa (\alpha ^{*})=\alpha } . Note that w is a unitary representation. The realizations can be identified by equating γ = μ β {\displaystyle \gamma ={\sqrt {\mu }}\beta } .

Limit case

If μ = 1, then SUμ(2) is equal to the concrete compact group SU(2).

References

  1. Banica, Teo (2023). Introduction to Quantum Groups. Springer. ISBN 978-3-031-23816-1.
  2. Woronowicz, S.L. "Compact Matrix Pseudogrooups", Commun. Math. Phys. 111 (1987), 613-665
  3. Woronowicz, S.L. "Compact Quantum Groups". Notes from http://www.fuw.edu.pl/~slworono/PDF-y/CQG3.pdf
  4. van Daele, A. and Maes, Ann. "Notes on compact quantum groups", arXiv:math/9803122
  5. a corepresentation of a counital coassiative coalgebra A is a square matrix
    v = ( v i j ) i , j = 1 , … , n {\displaystyle v=(v_{ij})_{i,j=1,\dots ,n}}
    with entries in A (so that v ∈ M(n, A)) such that
    ∀ i , j : Δ ( v i j ) = ∑ k = 1 n v i k ⊗ v k j {\displaystyle \forall i,j:\qquad \Delta (v_{ij})=\sum _{k=1}^{n}v_{ik}\otimes v_{kj}}
    ∀ i , j : ϵ ( v i j ) = δ i j . {\displaystyle \forall i,j:\qquad \epsilon (v_{ij})=\delta _{ij}.}
  6. van Daele, A. and Wang, S. "Universal quantum groups" Int. J. Math. (1996), 255-263.
Categories: