In mathematics and theoretical physics, a locally compact quantum group is a C*-algebraic approach toward quantum groups that generalizes the Kac algebra, compact-quantum-group and Hopf-algebra approaches. Earlier attempts at a unifying definition of quantum groups using, for example, multiplicative unitaries have enjoyed some success but have also encountered several technical problems. One of the main features distinguishing this new approach from its predecessors is the axiomatic existence of left and right invariant weights. This gives a noncommutative analogue of left and right Haar measures on a locally compact Hausdorff group.
Definitions Before we can even begin to properly define a locally compact quantum group, we first need to define a number of preliminary concepts and also state a few theorems. Definition (weight). Let A {\displaystyle A} be a C*-algebra, and let A ≥ 0 {\displaystyle A_{\geq 0}} denote the set of positive elements of A {\displaystyle A} . A weight on A {\displaystyle A} is a function ϕ : A ≥ 0 → [ 0 , ∞ ] {\displaystyle \phi :A_{\geq 0}\to [0,\infty ]} such that
ϕ ( a 1 + a 2 ) = ϕ ( a 1 ) + ϕ ( a 2 ) {\displaystyle \phi (a_{1}+a_{2})=\phi (a_{1})+\phi (a_{2})} for all a 1 , a 2 ∈ A ≥ 0 {\displaystyle a_{1},a_{2}\in A_{\geq 0}} , and
ϕ ( r ⋅ a ) = r ⋅ ϕ ( a ) {\displaystyle \phi (r\cdot a)=r\cdot \phi (a)} for all r ∈ [ 0 , ∞ ) {\displaystyle r\in [0,\infty )} and a ∈ A ≥ 0 {\displaystyle a\in A_{\geq 0}} . Some notation for weights. Let ϕ {\displaystyle \phi } be a weight on a C*-algebra A {\displaystyle A} . We use the following notation:
M ϕ + := { a ∈ A ≥ 0 ∣ ϕ ( a ) < ∞ } {\displaystyle {\mathcal {M}}_{\phi }^{+}:=\{a\in A_{\geq 0}\mid \phi (a)<\infty \}} , which is called the set of all positive ϕ {\displaystyle \phi } -integrable elements of A {\displaystyle A} .
N ϕ := { a ∈ A ∣ ϕ ( a ∗ a ) < ∞ } {\displaystyle {\mathcal {N}}_{\phi }:=\{a\in A\mid \phi (a^{*}a)<\infty \}} , which is called the set of all ϕ {\displaystyle \phi } -square-integrable elements of A {\displaystyle A} .
M ϕ := Span M ϕ + = Span N ϕ ∗ N ϕ {\displaystyle {\mathcal {M}}_{\phi }:={\text{Span}}~{\mathcal {M}}_{\phi }^{+}={\text{Span}}~{\mathcal {N}}_{\phi }^{*}{\mathcal {N}}_{\phi }} , which is called the set of all ϕ {\displaystyle \phi } -integrable elements of A {\displaystyle A} . Types of weights. Let ϕ {\displaystyle \phi } be a weight on a C*-algebra A {\displaystyle A} .
… excerpt ends here. Continue reading the full article.
