Representation Category of Free Wreath Product of Classical Groups

Representation Category of Free Wreath Product of Classical Groups

Introduction

This work provides a detailed construction and analysis of the representation category of the free wreath product $G = \widehat{\Gamma} \wr_{*,\beta} \Lambda$, where $\Gamma$ is a discrete group, $\Lambda$ a finite group, and $\beta$ is the canonical left translation action preserving the trace on $C^*(\Lambda)$. The underlying motivation is to give an explicit rigid $C^*$-tensor category $\mathcal{C}_{\Gamma,\Lambda}$ whose Woronowicz--Tannaka--Krein reconstruction yields $G$. This approach generalizes and sharpens previous combinatorial and operator-algebraic treatments of such quantum groups. The framework unifies key methods from the theory of compact quantum groups, partition categories, and combinatorial quantum algebra.

Algebraic and Combinatorial Framework

The starting point is the explicit presentation of $C(G)$ by generators and relations: the $\nu_\gamma(g)$, indexed by $\Gamma$0 and $\Gamma$1, together with $\Gamma$2. Commutation and compatibility relations, as well as the comultiplication structure, realize the free wreath product. The combinatorial backbone is the use of noncrossing partitions (NCP) with additional $\Gamma$3- and $\Gamma$4-colorings.

The morphism spaces in $\Gamma$5 are generated by operators associated to bi-coloured noncrossing partitions. For each tuple of indices and group elements, these partitions encode intertwining relations via colored partition diagrams and satisfy group-theoretical boundary and compatibility conditions. This combinatorial data ensures precise control of representation-theoretic operations, particularly under partition composition.

Fundamental Results and Category Construction

Rigid $\Gamma$6-Tensor Structure

Key technical steps include:

• Boundary Analysis of Partitions: The paper gives a precise description of boundary and nesting properties for blocks in bi-coloured NCPs. It defines global-outer and relative-outer blocks, total orders on boundaries, and the color product conditions (ensuring group-theoretical compatibility).
• Woronowicz--Tannaka--Krein Reconstruction: The category $\Gamma$7 is shown to be concrete, rigid, and closed under composition, tensor products, and $\Gamma$8-operations. It meets the hypotheses for the reconstruction theorem, so there is a quantum group $\Gamma$9 with $\Lambda$0 as rigid monoidal $\Lambda$1-categories.
• Equivalence to $\Lambda$2: It is shown that this reconstructed quantum group $\Lambda$3 is isomorphic to $\Lambda$4, meaning that every finite-dimensional unitary representation of $\Lambda$5 can be realized (up to equivalence) within $\Lambda$6.

Detailed Partition Intertwiner Calculations

The vertical and horizontal compositions of bi-coloured NCPs are decomposed via intricate combinatorial and algebraic arguments. Highlights include:

• Entrance and Connected Component Decompositions: The authors define entrances in connected components, analyze their geometry, and provide recursive methods (based on nested block structure) for composing morphism spaces. The colorings—and therefore the intertwiners—are shown to transform consistently under composition. This leads to a well-structured, fully associative composition law.
• Categorical Closure and Multiplicity Formulas: The category is proven closed under all categorical operations. A cycle-counting argument on associated gain graphs (with group-valued coloring functions) gives a precise formula for the multiplicity of morphisms under composition—generalizing classical partition algebra approaches to the quantum, non-commutative regime.
• Potential and Balancedness Arguments: The solution spaces for composition equations are parametrized by normalized potential functions on the partition gain graph, with solution multiplicity determined by the number of its connected components.

Numerical Results, Explicit Formulas, and Technical Claims

• The paper proves that the dimension of morphism spaces under composition is explicitly $\Lambda$7, where $\Lambda$8 is the number of connected components of the associated gain graph.
• The proof that $\Lambda$9 is rigid and tensorial relies on the recursive absorption of internal blocks within partitions and on the preservation of coloring conditions under block contraction, which needs involved combinatorial lemmas.
• It is shown that the partition operators generate all intertwiners, and that composition multiplicities depend only on the topology of the underlying contraction graph, not on specific coloring data.
• Additional strong claims:
  • The Haar state formula for $\beta$0 is reused to provide operator-algebraic uniqueness for certain traces and to deduce simplicity and factoriality results for the reduced group C*-algebra.
  • Unlike earlier frameworks, this construction works even when $\beta$1 is infinite and $\beta$2 is finite; previous results assumed otherwise.

Implications and Future Developments

The explicit construction of the representation category $\beta$3 as a partition category with group colorings provides a concrete, combinatorial model for the fusion and intertwiner structure of $\beta$4. This has several important consequences:

• The explicit, functorial description of intertwiners opens the way for algorithmic and categorical computation of the representation theory and fusion rules for such quantum groups.
• The partition-based approach enables the application of powerful combinatorial, category-theoretic, and probabilistic tools (e.g., free probability) to questions of spectral theory, quantum symmetries, and their classical limits.
• The approach suggests paths for generalization to more complicated or non-classical quantum group actions, for example, those where the group actions on $\beta$5 are twisted or non-faithful, or for the construction of higher representation categories (e.g., module categories or 2-categories).

Potential future directions include:

• Leveraging these combinatorial-categorical structures for classification results in the theory of easy quantum groups.
• Studying connections to "partition quantum spaces" and the recently active field of quantum invariant theory.
• Extensions to other classes of quantum automorphism or symmetry groups, possibly with continuous or infinite group parameters.

Conclusion

This paper provides a comprehensive, rigorous, and explicit categorification and combinatorial model for the representation theory of the free wreath product $\beta$6. Through careful construction of partition intertwiners and a detailed analysis of their algebraic properties, a concrete rigid $\beta$7-tensor category is established, yielding a precise realization of the Tannakian dual for $\beta$8. This advances both the abstract understanding and concrete calculational tools for representations of such quantum groups and paves the way for further structural and computational advances in the theory of quantum symmetries and noncommutative harmonic analysis.