Abstract:We prove resurgence properties for the Borel transform of a formal power series associated to elements in the Habiro ring that come from radial limits of partial theta series via strange identities. As an application, we prove a conjecture in quantum topology due to Costin and Garoufalidis for two families of torus knots.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Proof of the resurgence property**: The authors strive to prove that the Borel transform of the formal power series related to certain elements in the Habiro ring has the resurgence property. Specifically, they study the Borel transform of these formal power series and their analytic continuation properties, and verify this property by calculating their left - and right - Borel resummations.
2. **Proof of Costin and Garoufalidis' conjecture**: An important application of this paper is to prove a conjecture by Costin and Garoufalidis in quantum topology, especially for two families of torus knots: \(T(2, 2u + 1)\) and \(T(3, 2k)\). This conjecture involves the relationship between the Kashaev invariants of these knots and their asymptotic behaviors.
To achieve these goals, the authors introduce and study "strange identities", which connect partial Theta series with elements in the Habiro ring. In addition, they also analyze in detail the periodic functions and asymptotic expansions of these identities to ensure that the formal power series involved do indeed satisfy the required conditions.
### Formula summary
- **Gevrey - 1 series**:
\[
F(x)=\sum_{n = 0}^{\infty}a_nx^{-n}
\]
satisfies
\[
|a_n|\leq AB^nn!
\]
- **Borel transform**:
\[
B[F](p)=a_0\delta+\sum_{n = 1}^{\infty}\frac{a_np^{n - 1}}{(n - 1)!}
\]
- **Left - and right - Borel resummations**:
\[
S^+[F](x)=\int_{\gamma_l}e^{-px}B[F](p)dp
\]
\[
S^-[F](x)=\int_{\gamma_r}e^{-px}B[F](p)dp
\]
- **Median resummation**:
\[
S_{\text{med}}[F](x)=\frac{1}{2}(S^+[F](x)+S^-[F](x))
\]
- **Strange identity**:
\[
\Phi_{31}(q)"="-\frac{1}{2}\sum_{n = 1}^{\infty}n\left(\frac{12}{n}\right)q^{n^2-\frac{1}{24}}
\]
- **Formula of the main result**:
\[
S_{\text{med}}^f\left(-\frac{1}{2\pi i\alpha}\right)=cbe^{\pi i/4}\frac{\theta^{(0)}_{0,4M^2,\tilde{f}}(bp)}{(i\alpha)^{3/2}(\alpha + p)^{3/2}}dp+\left(\frac{b}{i\alpha}\right)^{3/2}\sqrt{\frac{2c}{M^2}}\theta^{(1)}_{0,4M^2,\tilde{f}}\left(-\frac{b}{\alpha}\right)
\]
Through these formulas and theoretical tools, the authors successfully prove the above problems and provide new perspectives and methods for further research in related fields.