Abstract:We associate to an algebraic quantum group a C^*-algebraic quantum group and prove that this C^*-algebraic quantum group satisfies an upcoming definition of Masuda, Nakagami & Woronowicz.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a C*-algebraic quantum group, especially to construct a C*-algebraic quantum group that conforms to the upcoming definition proposed by Masuda, Nakagami & Woronowicz starting from an algebraic quantum group. Specifically, the paper focuses on how to construct a C*-algebraic quantum group from a Multiplier Hopf *-algebra with a positive left - invariant functional.
### Background and Motivation
In 1979, Woronowicz proposed the use of the C*-algebra language in the study of quantum groups. Since then, although a great deal of progress has been made in this field, there is still no satisfactory definition of quantum groups in the C*-algebra framework. One of the current research difficulties is to prove the existence and uniqueness of the left Haar weight from the proposed definitions.
### Main Contributions of the Paper
1. **Constructing C*-algebraic quantum groups**: The main purpose of the paper is to construct a C*-algebraic quantum group starting from a Multiplier Hopf *-algebra with a positive left - invariant functional. This step involves a series of technical details, including introducing C*-algebras and their comultiplication, and gradually proving that this C*-algebra almost conforms to the definition of Masuda, Nakagami & Woronowicz.
2. **Technical details**:
- **Multiplier Hopf *-algebra**: First, the concept and properties of the Multiplier Hopf *-algebra are introduced, especially the case where there exists a non - zero positive left - invariant functional.
- **GNS representation**: Represent the algebraic quantum group as an operator on a C*-algebra through the GNS - pair.
- **Multiplicative unitary operator**: Introduce the multiplicative unitary operator \( W \), and prove its properties, such as \( W(Λ(a) \otimes Λ(b))=(Λ \otimes Λ)((S^{-1} \otimes \iota)(\Delta(b))(a \otimes 1)) \).
- **Extension of comultiplication**: Define the comultiplication \( \Delta \) at the C*-algebra level, and prove its non - degeneracy and co - associativity.
- **Modular group**: Introduce a norm - continuous one - parameter group \( \sigma \), as the modular group of the left Haar weight, and prove its properties.
3. **Results and Significance**:
- Through these steps, the paper successfully constructs a C*-algebraic quantum group and shows its basic properties, such as co - associativity, density conditions, etc.
- This result provides a new perspective for understanding the C*-algebra structure of quantum groups, especially in dealing with the existence and uniqueness of Haar weights.
### Conclusion
The paper successfully constructs a C*-algebraic quantum group that conforms to the definition of Masuda, Nakagami & Woronowicz starting from an algebraic quantum group. This work not only promotes the development of quantum group theory but also provides an important technical basis for subsequent research.