Abstract:We study the local structure of the representation variety of a knot group into SL(n,C) at certain diagonal representations. In particular we determine the tangent cone of the representation variety at these diagonal representations, and show that the latter can be deformed into irreducible representations. Furthermore, we use Luna's slice theorem to analyze the local structure of the character variety.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to analyze the local structures of the representation variety and the character variety of the knot group into the special linear group \(SL(n, \mathbb{C})\) near certain diagonal representations. Specifically, the author studied the tangent cones of these representation varieties near specific diagonal representations and showed that these diagonal representations can be deformed into irreducible representations. In addition, the author used Luna's slice theorem to analyze the local structure of the character variety.
### Specific description of the problem
1. **Research object**: The representation variety and the character variety of the knot group into \(SL(n, \mathbb{C})\).
2. **Research methods**:
- Analyze the local structure of the representation variety near certain diagonal representations.
- Determine the tangent cones of these diagonal representations.
- Show that these diagonal representations can be deformed into irreducible representations.
- Use Luna's slice theorem to analyze the local structure of the character variety.
3. **Objective**: To understand the geometric properties of the representation variety and the character variety of the knot group into \(SL(n, \mathbb{C})\) near specific diagonal representations, especially their local structures and deformation behaviors.
### Main results
- **Theorem 1.1**: If all quotients \(\alpha_i=\lambda_i / \lambda_{i + 1}\) are simple roots of the Alexander polynomial \(\Delta_K(t)\), and \(\Delta_K(\lambda_i / \lambda_j)\neq0\) for all \(|i - j|\geq2\), then there exists a unique algebraic component \(R_D^{(n)}\) passing through the representation \(\rho_D\) and containing irreducible representations. Moreover, \(\dim R_D^{(n)}=n^2 + n- 2\), and \(\rho_D\in R_D^{(n)}\) is a smooth point. The components \(R_n(Z)\) and \(R_D^{(n)}\) intersect transversely at the orbit of \(\rho_D\).
- **Theorem 1.2**: Under the assumptions of Theorem 1.1, a tangent vector \(U\in Z^1(\Gamma; \text{Ad}\rho_D)\) is integrable if and only if its cup product \([U\smile U]\) represents the trivial cohomology class \(H^2(\Gamma; \text{Ad}\rho_D)\).
- **Theorem 1.3**: Under the assumptions of Theorem 1.1:
1. The character \(\chi_D = t(\rho_D)\) is a smooth point of \(X_{\text{irr}}^{(n)}(\Gamma)\).
2. The character \(\chi_D\) is a smooth point of each of the two \((n - 1)\)-dimensional components \(X_n(Z)\) and \(X_D^{(n)}\).
3. The intersection of these two components at \(\chi_D\) is trivial: \(T_{\text{Zar}}^{\chi_D}X_n(Z)\cap T_{\text{Zar}}^{\chi_D}X_D^{(n)}=\{0\}\).
4. There exists the following exact sequence:
\[
0\to\mathfrak{sl}(n, \mathbb{C})\xrightarrow{\text{ad}}T_{\text{Zar}}^{\rho_D^{(n)}}R_n(\Gamma)\xrightarrow{dt}T_{\text{Zar}}^{\chi_D}X_{\text{irr}}^{(n)}(\Gamma)\to0,
\]
and \(H^1(\Gamma, \text{Ad}\rho_D^{(n)})\cong T_{\text{Zar}}^{