Weak Quantum Hypergroups in C*-Algebras

• Weak quantum hypergroups are C*-algebraic structures equipped with a completely positive coproduct, counit, and antilinear involution that generalize quantum groups.
• The construction utilizes finite index inclusions and tools like conditional expectations and Jones projections to establish a non-commutative convolution framework.
• This framework unifies classical quantum symmetries by interpolating between quantum hypergroups and weak Hopf algebras, extending Haar integration to non-commutative settings.

A weak quantum hypergroup is a generalization of quantum hypergroups that arises naturally from the study of finite index inclusions of simple unital C*-algebras. Formally, it consists of a unital C*-algebra $A$ equipped with a completely positive coproduct, a counit, and an antilinear involutive operation, all subject to axioms that generalize those of quantum groups and weak Hopf algebras. Unlike quantum groups and ordinary quantum hypergroups, the comultiplication in a weak quantum hypergroup need not be an algebra homomorphism, and its counit and unit possess weakened multiplicativity and comultiplicativity properties. These objects unify the frameworks of quantum hypergroups in the sense of Chapovsky–Vainerman and the weak Hopf C*-algebras of Nikshych–Vainerman, providing a canonical and C*-algebraic analytic geometry for generalized quantum symmetries (Bakshi et al., 18 Jan 2026, Delvaux et al., 2010).

1. Definition and Axioms

Given a unital C*-algebra $(A, \cdot, 1, *)$, a weak quantum hypergroup is specified by a quadruple $(A, \Delta, \varepsilon, \sharp)$, with:

• $\Delta: A \rightarrow A \otimes A$ a linear, coassociative, completely positive (CP) map,
• $\varepsilon: A \rightarrow \mathbb{C}$ a linear counit,
• $\sharp: A \rightarrow A$ an antilinear involution (i.e., $\sharp \circ \sharp = \mathrm{id}_A$).

These must satisfy the axioms:

1. Coassociativity: $$(\Delta \otimes \mathrm{id}) \circ \Delta = (\mathrm{id} \otimes \Delta) \circ \Delta$$.
2. Counitality: $$(\varepsilon \otimes \mathrm{id}) \circ \Delta = (\mathrm{id} \otimes \varepsilon) \circ \Delta = \mathrm{id}_A$$.
3. Anti-comultiplicativity: $$\Delta \circ \sharp = \Pi \circ (\sharp \otimes \sharp) \circ \Delta$$, with $(A, \cdot, 1, *)$0.
4. Involution: $(A, \cdot, 1, *)$1.
5. Compatibility:
   • $(A, \cdot, 1, *)$2,
   • $(A, \cdot, 1, *)$3,
   • $(A, \cdot, 1, *)$4.
6. Positivity: $(A, \cdot, 1, *)$5 is completely positive.
7. Weak Multiplicativity of the Counit:

$(A, \cdot, 1, *)$6

1. Weak Comultiplicativity of the Unit:

$(A, \cdot, 1, *)$7

If additionally $(A, \cdot, 1, *)$8 is multiplicative and $(A, \cdot, 1, *)$9, the structure reduces to a quantum hypergroup in the sense of Chapovsky–Vainerman (Bakshi et al., 18 Jan 2026).

2. Construction from Finite Index C*-Inclusions

Let $(A, \Delta, \varepsilon, \sharp)$0 be an inclusion of simple unital C*-algebras with unique minimal conditional expectation $(A, \Delta, \varepsilon, \sharp)$1 of finite Watatani index. The Jones tower $(A, \Delta, \varepsilon, \sharp)$2 yields the second relative commutant $(A, \Delta, \varepsilon, \sharp)$3. The construction on $(A, \Delta, \varepsilon, \sharp)$4 proceeds as follows:

• Fourier Transform: $(A, \Delta, \varepsilon, \sharp)$5 is defined by $(A, \Delta, \varepsilon, \sharp)$6, where $(A, \Delta, \varepsilon, \sharp)$7 and $(A, \Delta, \varepsilon, \sharp)$8 is the inverse of the minimal index.
• Convolution Product: $(A, \Delta, \varepsilon, \sharp)$9 gives a natural non-commutative convolution structure.
• Coproduct: For $\Delta: A \rightarrow A \otimes A$0 and $\Delta: A \rightarrow A \otimes A$1, $\Delta: A \rightarrow A \otimes A$2 using the Markov trace $\Delta: A \rightarrow A \otimes A$3.
• Counit: $\Delta: A \rightarrow A \otimes A$4.
• Reflection/Involution: $\Delta: A \rightarrow A \otimes A$5 with $\Delta: A \rightarrow A \otimes A$6 a trace-preserving involutive *-anti-homomorphism.

All axioms of a weak quantum hypergroup hold for the system $\Delta: A \rightarrow A \otimes A$7, with the completely positive coproduct and compatibility properties verified via properties of the conditional expectations, Jones projections, and convolution product (Bakshi et al., 18 Jan 2026).

3. Structural Properties and Axiomatic Verification

The construction ensures:

• Coassociativity: $\Delta: A \rightarrow A \otimes A$8 inherits coassociativity via associativity of convolution and trace properties.
• Counitality: Verified by explicit computation with the Markov trace.
• Anti-comultiplicativity: Utilizes that $\Delta: A \rightarrow A \otimes A$9 intertwines convolution with its opposite and is a *-anti-homomorphism.
• Normalization: $\varepsilon: A \rightarrow \mathbb{C}$0 is immediate from the involutive property.
• Compatibility: Multiplicativity, *-compatibility, and commutation with $\varepsilon: A \rightarrow \mathbb{C}$1 are direct.
• Weak Counit/Comultiplicativity: Proven using quasi-basis and Fourier-convolution computations.
• Positivity: Derived from the CP nature of the conditional expectations and *-isomorphisms linking coproduct structure to relative commutants (Bakshi et al., 18 Jan 2026).

4. Relation to Quantum Hypergroups and Weak Hopf Algebras

• Irreducible Case: If $\varepsilon: A \rightarrow \mathbb{C}$2 is irreducible ($\varepsilon: A \rightarrow \mathbb{C}$3), $\varepsilon: A \rightarrow \mathbb{C}$4 and $\varepsilon: A \rightarrow \mathbb{C}$5 is multiplicative, so $\varepsilon: A \rightarrow \mathbb{C}$6 reduces to the Chapovsky–Vainerman quantum hypergroup (Bakshi et al., 18 Jan 2026).
• Depth 2 Case: Inclusions $\varepsilon: A \rightarrow \mathbb{C}$7 of depth 2 yield $\varepsilon: A \rightarrow \mathbb{C}$8 as a Nikshych–Vainerman weak Hopf C*-algebra, with its structure maps recoverable from the weak quantum hypergroup construction, up to scalar multiples. Thus, all major forms of finite quantum symmetry, including Hopf algebra, weak Hopf algebra, and quantum hypergroup, fall within this analytic weak quantum hypergroup framework (Bakshi et al., 18 Jan 2026).

5. Algebraic Quantum Hypergroups and Group-Like Projections

The notion of algebraic quantum hypergroups, often called "weak quantum hypergroups," appears naturally in algebraic settings, for instance, as function algebras on groups constant on double cosets of a finite subgroup:

• For $\varepsilon: A \rightarrow \mathbb{C}$9 (finitely supported functions on a group $\sharp: A \rightarrow A$0) and $\sharp: A \rightarrow A$1 finite, the subalgebra $\sharp: A \rightarrow A$2 of functions constant on $\sharp: A \rightarrow A$3-double cosets admits a twisted coproduct:

$\sharp: A \rightarrow A$4

This is coassociative and counital but, in general, not an algebra map (Delvaux et al., 2010).

• Group-like projections in a multiplier Hopf algebra give rise to general algebraic quantum hypergroups via subalgebra constructions and conditional expectations, with dual compact-type and discrete-type forms generated accordingly (Delvaux et al., 2010).

6. Haar Integrals and Invariant Measures

Weak quantum hypergroups, whether analytic or algebraic, possess a unique normalized Haar integral and invariant measure structure:

• In the analytic case, the Jones projection $\sharp: A \rightarrow A$5 serves as a left and right Haar integral $\sharp: A \rightarrow A$6, fulfilling $\sharp: A \rightarrow A$7 and $\sharp: A \rightarrow A$8 for derived target and source counits. The Markov trace $\sharp: A \rightarrow A$9 is a left- and right-invariant measure, satisfying $\sharp \circ \sharp = \mathrm{id}_A$0. These properties extend the classical Haar integration theory to the non-commutative, weakly structured setting (Bakshi et al., 18 Jan 2026).
• In the algebraic setting, restrictions of faithful integrals and counits from ambient multiplier Hopf algebras descend to the hypergroup level, preserving invariance axioms (Delvaux et al., 2010).

7. Examples and Unifying Role

Weak quantum hypergroups encompass a broad array of quantum symmetry frameworks, including:

• Double-coset (hypergroup) algebras: E.g., $\sharp \circ \sharp = \mathrm{id}_A$1 for compact $\sharp \circ \sharp = \mathrm{id}_A$2 and closed $\sharp \circ \sharp = \mathrm{id}_A$3, yielding classical hypergroups in irreducible settings.
• Depth 2 subfactors: Nikshych–Vainerman weak Hopf algebras as C*-algebraic analogues.
• Arbitrary finite-index simple C*-inclusions: Providing genuinely new structures that interpolate between quantum hypergroups and weak Hopf algebras without assuming algebraic integrability or planar-algebra data.

The weak quantum hypergroup concept thus unifies and generalizes classical, Hopf-algebraic, and operator-algebraic approaches to quantum symmetry, grounded entirely in the analytic structure of C*-algebra inclusions and their associated commutants (Bakshi et al., 18 Jan 2026, Delvaux et al., 2010).