An integral form of the quantized enveloping algebra of sl_2 and its completions

Kazuo Habiro
DOI: https://doi.org/10.48550/arXiv.math/0605313
2006-05-12
Abstract:We introduce an integral form U of the quantized enveloping algebra of sl_2. The algebra U is just large enough so that the quasi-R-matrix is contained in a completion of U\otimes U. We study several completions of the algebra U, and determine their centers. This study is motivated by a study of integrality properties of the quantum sl_2 invariants of links and integral homology spheres.
Quantum Algebra
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the integral form of quantum groups and their completions. Specifically: 1. **Introducing the integral form of the quantum enveloping algebra \( \text{sl}_2 \)**: The author Kazuo Habiro introduced an integral form \( U \) of the quantum enveloping algebra \( U_v(\text{sl}_2) \). This form is large enough to contain the terms of the quasi - \( R \)-matrix in a certain completion. This is helpful for studying the integrality properties of quantum \( \text{sl}_2 \) invariants. 2. **Studying the completions of \( U \)**: The author studied several completions of \( U \) and determined the centers of these completions. These completions are of great significance for understanding certain invariants in quantum topology, such as the colored Jones polynomial and the Witten - Reshetikhin - Turaev invariants. 3. **Motivation and applications**: The motivation of this work comes from the study of the integrality properties of quantum \( \text{sl}_2 \) invariants of links and integral homology spheres. By introducing new integral forms and completions, the author hopes to better understand and describe the properties of these invariants. ### Specific problems - **Integrality of the quasi - \( R \)-matrix**: The quasi - \( R \)-matrix is an important object used to define the braid category structure and further define the colored Jones polynomial. The author needs to ensure that each term of the quasi - \( R \)-matrix is in a certain completion, so as to ensure that these polynomials take values in a Laurent polynomial ring. - **Complexity of the completion structure**: The author considered several different completions, some of which have rather complex structures. For example, the structure of \( \check{U} \) is quite complex, so the author also considered some other more controllable completions, such as \( \hat{U} \) and \( \dot{U} \). - **Determination of the center**: The author determined the centers of \( U \) and its various completions \( \tilde{U} \), \( \hat{U} \) and \( \dot{U} \). The determination of these centers is crucial for understanding the structures and properties of these algebras. ### Main results - **Theorem 1.1**: Determined the centers of \( U \) and its completions \( \tilde{U} \), \( \hat{U} \) and \( \dot{U} \). These centers can be identified as polynomial rings of certain completions. - **Theorem 1.2**: Proved that for a string knot \( L \) with framing 0, its universal \( \text{sl}_2 \) invariant \( J_L \) can be uniquely represented as an infinite sum of certain polynomials. These results not only provide profound insights into the algebraic structure, but also have important application values in quantum topology.