Reconstruction of tensor categories of type $G_2$

Basic Information

• Paper ID: 2510.09922
• Title: Reconstruction of tensor categories of type $G_2$
• Authors: Lilit Martirosyan, Hans Wenzl
• Classification: math.QA (Quantum Algebra), math.CT (Category Theory), math.RT (Representation Theory)
• Submission Date: October 10, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2510.09922

Abstract

This paper proves that any non-symmetric ribbon tensor category $\mathcal{C}$ with fusion rules of the compact group $G_2$ must be equivalent to the representation category of the corresponding Drinfeld-Jimbo quantum group when $q$ is not a root of unity. An analogous result for the corresponding finite fusion tensor categories is also established.

Research Background and Motivation

Problem Context

This research addresses the classification problem of tensor categories, specifically targeting $G_2$-type tensor categories. Given an index set of equivalence classes of simple objects and a collection of possible tensor product rules, a natural question arises: how many tensor categories satisfy these fusion rules?

Research Significance

1. Completion of Classification Theory: Previous classification results existed for classical Lie group types such as $SU(N)$, $O(N)$, $Sp(N)$, and $SO(N)$. The classification of $G_2$ as an exceptional Lie group fills a theoretical gap.
2. Quantum Group Theory: Establishes a bridge between abstract tensor categories and concrete representation categories of quantum groups.
3. Mathematical Physics Applications: Has important applications in conformal field theory, topological quantum computation, and related fields.

Limitations of Existing Methods

• Classification methods for classical Lie types cannot be directly applied to exceptional Lie types.
• Requires handling more complex braid group representations and fusion rules.
• The special properties of $G_2$ necessitate specialized technical approaches.

Research Motivation

To classify $G_2$-type tensor categories through the rigidity properties of braid group representations, proving that these categories are completely determined by the quantum parameter $q$.

Core Contributions

1. Main Classification Theorem: Proves that any $G_2$-type non-symmetric tensor category is equivalent to $\text{Rep }U_q\mathfrak{g}(G_2)$ (where $q^2$ is not a root of unity).
2. Finite Case Classification: Proves that $G_{2,k}$-type tensor categories are equivalent to the quotient category $\bar{U}_q$ (where $q^2$ is a primitive $(k+12)$-th root of unity).
3. Surjectivity of Braid Group Representations: Proves that $\mathbb{C}B_n \to \text{End}(V^{\otimes n})$ is surjective for all $n \in \mathbb{N}$.
4. Uniqueness Result: Braid group representations are completely determined by the eigenvalues $q^2$ of the braiding morphism $c_{V,V}$.
5. Connection to Trivalent Categories: Establishes connections with the Kuperberg spider diagram method, providing a second, more conceptual proof.

Detailed Methodology

Problem Formulation

Given a semisimple rigid ribbon tensor category $\mathcal{C}$ whose fusion ring is isomorphic to the representation ring of the compact group $G_2$, determine all possible such categories and provide a complete classification.

Core Methodological Framework

1. Braid Group Representation Analysis

• Utilizes representations of the braid group $B_n$ on $\text{End}(V^{\otimes n})$.
• Determines the quantum parameter through eigenvalues of the braiding morphism $c_{V,V}: V \otimes V \to V \otimes V$.
• Employs path representations and quantum Jucys-Murphy elements.

2. Eigenvalue Determination

For the decomposition $V^{\otimes 2} = V_{2\Lambda_1} \oplus V_{\Lambda_2} \oplus V_{\Lambda_1} \oplus V_0$, the eigenvalues of the braiding morphism are:

• $\lambda_1 = q^2$ (corresponding to $V_{2\Lambda_1}$)
• $\lambda_2 = -1$ (corresponding to $V_{\Lambda_2}$)
• $\lambda_3 = -q^{-6}$ (corresponding to $V_{\Lambda_1}$)
• $\lambda_4 = q^{-12}$ (corresponding to $V_0$)

3. Dimension Formula Verification

Verifies category dimensions using the Weyl dimension formula: $d_\mu = \frac{[\mu_1-\mu_2+1][2\mu_1+\mu_2+5][\mu_1+2\mu_2+4][3\mu_1+6][3\mu_2+3][3(\mu_1+\mu_2)+9]}{[1][5][4][6][3][9]}$

Technical Innovations

1. Complete Classification of $B_4$ Representations

• Establishes complete classification of simple representations of the cubic Hecke algebra $K_4$.
• Proves that $\text{Hom}(V_{\Lambda_1+\Lambda_2}, V^{\otimes 4})$ must be an 8-dimensional typical indecomposable representation.

2. Affine Braid Group Techniques

Utilizes representation theory of the affine braid group $AB_2$, establishing connections through generators $\tau \mapsto \Delta_n^2$, $\sigma \mapsto \sigma_n$.

3. Temperley-Lieb Algebra Methods

Proves that when $q^2 = -\lambda_1/\lambda_2$ is not an $\ell$-th root of unity ($1 < \ell \leq n$), there exists a surjection $TL_n \to \text{End}(V^{\otimes n}_{\text{new}})$.

Experimental Setup

Theoretical Verification Framework

This is a pure mathematics theoretical work verified through rigorous mathematical proofs:

1. Eigenvalue Constraint Verification: Verifies that $q^2$ cannot be a primitive 3rd, 4th, 5th, 6th, 7th, 8th, 9th, or 12th root of unity.
2. Dimension Consistency Check: Verifies consistency between category dimensions and quantum group dimension formulas.
3. Fusion Rule Verification: Checks that tensor product decompositions conform to $G_2$ fusion rules.

Case Analysis

• $G_{2,3}$ case: Equivalent to the Fibonacci category.
• $G_{2,6}$ case: Equivalent to the $SO(3)_7$ category.
• $G_{2,-1}$ case: Equivalent to the $SO(3)_{11}$ category.
• $G_{2,-2}$ case: Equivalent to the Deligne product of two non-equivalent Fibonacci categories.

Experimental Results

Main Classification Results

Theorem 6.4 (Main Theorem):

• (a) If $\mathcal{C}$ is a $G_2$-type non-symmetric tensor category, then it is equivalent to $U_q = \text{Rep }U_q\mathfrak{g}(G_2)$, where $q^2$ is not a root of unity.
• (b) If $\mathcal{C}$ is a $G_{2,k}$-type tensor category ($k \geq -2$), then it is equivalent to the quotient category $\bar{U}_q$, where $q^2$ is a primitive $(k+12)$-th root of unity.

Key Technical Results

Theorem 5.10 (Surjectivity): For $G_2$ or $G_{2,k}$-type non-symmetric ribbon tensor categories, the map $\mathbb{C}B_n \to \text{End}(V^{\otimes n})$ is surjective for all $n \in \mathbb{N}$.

Theorem 6.1 (Uniqueness): The braid group representation $\mathbb{C}B_n \to \text{End}(V^{\otimes n})$ is completely determined by the eigenvalue $\lambda_1 = q^2$ of $c_{V,V}$.

Exclusion Results

Proves that the following cases cannot occur:

• When $q^2$ is a primitive 3rd, 5th, or 9th root of unity, no corresponding category exists.
• When $q^2$ is a primitive 4th, 6th, 7th, 8th, or 12th root of unity, the category must be symmetric.

Related Work

Classical Lie Type Classifications

• $SU(N)$ type: Kazhdan-Wenzl (1993) proved equivalence to $\text{Rep }U_q\text{sl}_N$.
• $O(N), Sp(N)$ types: Classification results by Tuba-Wenzl (2005).
• $SO(N)$ type: Classification by Copeland (2020) under ribbon tensor category assumptions.

Methodological Development

• Braid Group Methods: Based on previous work by Martirosyan-Wenzl on $G_2$.
• Spider Diagram Methods: Proposed by Kuperberg (1996), further developed by Morrison-Peters-Snyder.
• Trivalent Category Theory: Recent developments by Morrison-Snyder-Thurston.

Advantages of This Work

1. First complete classification of the exceptional Lie type $G_2$.
2. Establishes connections between two different methods (braid groups vs. spider diagrams).
3. Addresses technical difficulties in the root of unity case.

Conclusions and Discussion

Main Conclusions

1. Complete Classification: $G_2$-type tensor categories are completely determined by the quantum parameter $q$; no other "wild" categories exist.
2. Method Unification: Braid group methods and trivalent diagram methods yield consistent results.
3. Theoretical Completeness: Forms a complete classification theory system consistent with classical Lie type results.

Limitations

1. Symmetric Case: The method cannot directly handle symmetric tensor categories.
2. Computational Complexity: Some technical proofs are quite involved, particularly the $B_4$ representation classification section.
3. Generalization Constraints: Extension to other exceptional Lie types requires additional technical development.

Future Directions

1. Other Exceptional Lie Types: Classification of $E_6, E_7, E_8, F_4$.
2. Symmetric Case Treatment: Development of methods for handling symmetric tensor categories.
3. Quantum Exceptional Sequences: Integration with work by Morrison-Snyder-Thurston on quantum exceptional sequences.
4. Application Extension: Applications in topological quantum computation and related fields.

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete classification of $G_2$-type tensor categories, filling an important theoretical gap.
2. Methodological Innovation:
   • Develops $B_4$ representation theory for handling three eigenvalue cases.
   • Innovatively employs affine braid groups and quantum Jucys-Murphy techniques.
   • Establishes deep connections between two different methods.
3. Technical Rigor: Mathematical proofs are rigorous and complete, addressing all possible boundary cases.
4. Result Profundity: Not only provides classification but also reveals deeper structural laws of tensor categories.

Weaknesses

1. Computational Complexity: Some proofs (particularly Sections 2-3) are highly technical with room for improved readability.
2. Method Limitations: Treatment of symmetric cases remains an open problem.
3. Generalization Difficulties: Extension to higher-order exceptional Lie groups faces significant technical challenges.

Impact

1. Theoretical Contribution: Makes important contributions to tensor category classification theory, particularly for exceptional Lie types.
2. Method Value: Developed technical methods provide important reference value for research on other exceptional Lie types.
3. Application Prospects: Potential applications in quantum group theory, topological quantum computation, and related fields.
4. Reproducibility: As a theoretical mathematics work, results are completely verifiable and reproducible.

Applicable Scenarios

1. Pure Mathematics Research: Tensor category theory, quantum group theory, representation theory research.
2. Mathematical Physics: Applications in conformal field theory and topological quantum field theory.
3. Quantum Computing: Construction of anyonic models in topological quantum computation.
4. Algebraic Geometry: Connections with quantum cohomology, mirror symmetry, and related fields.

References

The paper includes 37 important references covering classical and recent work in tensor category theory, quantum groups, braid group representation theory, and related fields, providing a comprehensive literature foundation for research in this area.

Overall Assessment: This is a high-quality theoretical mathematics paper that completes the important theoretical problem of complete classification of $G_2$-type tensor categories. The methods are innovative, the results are profound, and it makes significant contributions to tensor category classification theory. Despite its technical nature, it provides a solid foundation for further development in this field.