Abstract:We study completely positive maps and injectivity for Yetter-Drinfeld algebras over compact quantum groups, and module categories over rigid C*-tensor categories. This gives a generalization of Hamana's theory of injective envelopes to the framework of dynamical systems over quantum groups. As a byproduct we also establish a duality between the Yetter-Drinfeld algebras and certain bimodule categories with central generators.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the study of completely positive maps and injectivity under the action of quantum groups. Specifically, the authors explore Yetter - Drinfeld algebras over compact quantum groups and the injectivity and completely positive maps of module categories over rigid C* - tensor categories. The main objectives of the paper can be summarized as follows:
1. **Study of injectivity**: The authors study the injectivity of Yetter - Drinfeld algebras over compact quantum groups and module categories over rigid C* - tensor categories. This includes proving the existence and uniqueness of injective envelopes of these algebras and categories.
2. **Existence of injective envelopes**: The authors prove that every simple Yetter - Drinfeld G - C* - algebra has an injective envelope. This result improves Hamana's work, especially that the injective envelope of a continuous D(G) - action is still continuous.
3. **Categorical duality**: The paper also establishes a duality between Yetter - Drinfeld algebras and certain bimodule categories with central generators. This duality is very useful when dealing with module categories and comodule algebras.
4. **Boundary theory**: The authors further explore the injectivity and boundary theory of central point bimodule categories. They prove that every central point module category has an injective envelope, and every boundary category is a subcategory of some central point module category.
### Solutions to specific problems
1. **Definition and properties of injectivity**:
- **Injective algebra**: A simple Yetter - Drinfeld G - C* - algebra \( A \) is called injective if for any simple Yetter - Drinfeld G - C* - algebra \( B \) and \( C \), and any isometric completely positive map \( \phi: B \to C \) and any completely positive map \( \psi: B \to A \), there exists a completely positive map \( \tilde{\psi}: C \to A \) such that \( \tilde{\psi} \circ \phi=\psi \).
- **Injective envelope**: An injective envelope of a simple Yetter - Drinfeld G - C* - algebra \( A \) is an injective Yetter - Drinfeld G - C* - algebra \( I \) and an isometric completely positive map \( \phi: A \to I \), and \( \phi \) is essential, that is, for any completely positive map \( \psi: I \to B \), \( \psi \) is isometric if and only if \( \psi \circ \phi \) is isometric.
2. **Existence of injective envelopes**:
- The authors prove by construction that every simple Yetter - Drinfeld G - C* - algebra has an injective envelope. This result not only improves Hamana's work but also provides a basis for subsequent research.
3. **Categorical duality**:
- The authors establish a duality between Yetter - Drinfeld algebras and certain bimodule categories with central generators. This duality is achieved through Tannaka - Krein - type duality, providing a new perspective to understand the relationships between these algebras and categories.
4. **Boundary theory**:
- The authors further explore the injectivity and boundary theory of central point bimodule categories. They prove that every central point module category has an injective envelope, and every boundary category is a subcategory of some central point module category. This result provides new insights into the boundary theory of quantum groups.
In conclusion, through in - depth study of injectivity and completely positive maps, this paper makes important contributions to the structural theory of Yetter - Drinfeld algebras and module categories over compact quantum groups.