Non-semisimple quantum invariants and abelian classical shadows

Renaud Detcherry
2023-11-07
Abstract:Using the $U_q^Hsl_2$ non-semisimple invariants of 3-manifolds at odd roots of unity, we construct maps on the Kauffman bracket skein module at roots of unity of order twice an odd number, having any possible abelian non central character as classical shadow.
Geometric Topology
What problem does this paper attempt to address?
This paper aims to solve the problem of how to use non - semisimple quantum invariants to construct classical shadow maps with arbitrary abelian non - central characters. Specifically, the paper focuses on constructing classical shadow maps with arbitrary possible abelian non - central characters on the Kauffman bracket skein module of 3 - manifolds by using the \(U_H qsl_2\) non - semisimple invariants at odd - order roots of unity. ### Core Problems of the Paper 1. **Constructing Classical Shadow Maps**: - The main goal of the paper is to prove that for any 3 - manifold \(M\) and any abelian non - central character \(\chi\in X(M)\), there exists a surjective map \(f: S_\zeta(M)\to\mathbb{C}\) such that \(f\) has the classical shadow \(\chi\). - Here, \(S_\zeta(M)\) is the Kauffman bracket skein module evaluated at \(\zeta\), where \(\zeta\) is a root of unity of order \(2N\) and \(N\) is an odd number. 2. **Application of Non - semisimple Quantum Invariants**: - The paper constructs these maps by using the non - semisimple quantum invariants of Costantino - Geer - Patureau - Mirand. These invariants are particularly useful when dealing with 3 - manifolds in non - semisimple cases. 3. **Relationship with Existing Work**: - The work of the paper can be regarded as a similar construction to the previous work on semisimple Reshetikhin - Turaev invariants, but applicable to non - semisimple cases. ### Main Results - **Theorem 1.2**: For any 3 - manifold \(M\) and any abelian non - central character \(\chi\in X(M)\), there exists a surjective map \(f: S_\zeta(M)\to\mathbb{C}\) such that \(f\) has the classical shadow \(\chi\). - **Proposition 5.3**: For any non - integral cohomology class \(\omega\), the map \(f_\omega: S_\zeta(M)\to\mathbb{C}\) is surjective. ### Technical Details - **Non - semisimple Quantum Group \(U_H qsl_2\)**: The paper discusses in detail the weight modules of the non - semisimple quantum group \(U_H qsl_2\) at odd - order roots of unity and their properties. - **Braids and Twists**: The paper defines the braids and twists between \(U_H qsl_2\) modules and gives specific formulas. - **Construction of Invariants**: The paper realizes the required invariants by constructing specific polynomials and links, thereby proving the main results. ### Conclusion The paper successfully constructs a method to use non - semisimple quantum invariants to construct classical shadow maps with arbitrary abelian non - central characters, thus providing new tools and understanding for the Kauffman bracket skein module of 3 - manifolds. This result not only extends the existing semisimple invariant theory but also provides a new perspective for research in non - semisimple cases.