Abstract:We determine the adjoint Reidemeister torsion of a $3$-manifold obtained by some Dehn surgery along $K$, where $K$ is either the figure-eight knot or the $5_2$-knot. As in a vanishing conjecture, we consider a similar conjecture and show that the conjecture holds for the 3-manifold.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper attempts to solve the problem regarding the properties of the adjoint Reidemeister torsion of 3 - manifolds obtained through certain Dehn surgeries. Specifically, the author studies whether the adjoint Reidemeister torsion of these manifolds satisfies a certain conjecture when the 3 - manifold \(M\) is constructed by certain specific Dehn surgeries along the 4_1 - knot (figure - eight knot) or the 5_2 - knot (5_2 - knot).
### Main problems and conjectures
1. **Main problems**:
- Determine the adjoint Reidemeister torsion of the 3 - manifold \(M\) constructed by Dehn surgeries along the 4_1 - knot or the 5_2 - knot.
- Verify whether these torsions satisfy a certain conjecture, especially when \(n=- 1\), whether the sum of certain powers of these torsions is zero.
2. **Related conjectures**:
- **Conjecture 1.1**: Suppose \(M\) is a closed 3 - manifold and \(R_{\text{irr}}^G(M)\) is finite. For \(n\geq - 1\), the following sum belongs to the ring of integers \(\mathbb{Z}\):
\[
\sum_{\varphi\in R_{\text{irr}}^G(M)}(2\tau_\varphi(M))^n\in\mathbb{Z}
\]
- Further, if \(G = \text{SL}_2(\mathbb{C})\), \(M\) is a hyperbolic 3 - manifold, and \(n = - 1\), then the above sum is zero.
### Specific results
- **Theorem 1.2**: Suppose \(G=\text{SL}_2(\mathbb{C})\), \(K = 4_1\) is the 4_1 - knot, \(n=-1\). Then, for any integers \(p\) and \(q\neq0\), when \(M = S^3_{p/1}(4_1)\) or \(M = S^3_{1/q}(4_1)\), Conjecture 1.1 holds.
- **Further discussion**: The paper also discusses whether Conjecture 1.1 holds when \(K\) is the 5_2 - knot. Specifically, for \(M = S^3_{1/q}(5_2)\) and \(\vert q\vert\geq3\), Conjecture 1.1 also holds.
### Paper structure
1. **Introduction**: Introduce the background and motivation, and outline the main problems and conjectures.
2. **Preliminaries**: Review the definitions of algebraic torsion and adjoint Reidemeister torsion.
3. **Proof of main results**:
- **Preliminary results**: Determine the torsion under each irreducible representation.
- **Key lemmas**: Prepare two key lemmas for proving the main theorem.
- **Proof of Theorem 1.2**: Prove Theorem 1.2 in detail and verify the correctness of Conjecture 1.1 in specific cases.
4. **Dehn surgeries of the 5_2 - knot**: Discuss the case of the 5_2 - knot and verify Conjecture 1.1.
5. **The case of \(n>0\)**: Discuss the conjecture when \(n > 0\) and propose some future research directions.
### Conclusion
Through detailed calculations and theoretical analysis, the paper verifies that in specific cases, the adjoint Reidemeister torsion of 3 - manifolds constructed by Dehn surgeries along the 4_1 - knot or the 5_2 - knot indeed satisfies Conjecture 1.1. This provides important mathematical tools and theoretical support for understanding the topological properties of 3 - manifolds.