On the Quantum K-theory of Quiver Varieties at Roots of Unity

Let $\Psi(\mathbb{z},\mathbb{a},q)$ be the fundamental solution matrix of the quantum difference equation in the equivariant quantum K-theory for Nakajima variety $X$. In this work, we prove that the operator $$ \Psi(\mathbb{z},\mathbb{a},q) \Psi\left(\mathbb{z}^p,\mathbb{a}^p,q^{p^2}\right)^{-1} $$ has no poles at the primitive complex $p$-th roots of unity $\zeta_p$ in the curve counting parameter $q$. As a byproduct, we show that the eigenvalues of the iterated product of the operators ${\bf M}_{\mathcal{L}}$ from the quantum difference equation on $X$ $$ {\bf M}_{\mathcal{L}} (\mathbb{z},\mathbb{a},q) {\bf M}_{\mathcal{L}} (\mathbb{z} q^{\mathcal{L}},\mathbb{a},q) \cdots {\bf M}_{\mathcal{L}} (\mathbb{z} q^{(p-1)\mathcal{L}},\mathbb{a},q) $$ evaluated at $\zeta_p$ are described by the Bethe equations for $X$ in which all variables are substituted by their $p$-th powers. Finally, upon a reduction of the quantum difference equation on $X$ to the quantum differential equation over the field with finite characteristic, the above iterated product transforms into a Grothendiek-Katz $p$-curvature of the corresponding differential connection whereas ${\bf M}_{\mathcal{L}} (\mathbb{z}^p,\mathbb{a}^p,q^p)$ becomes a certain Frobenius twist of that connection. In this way, we are reproducing, in part, the statement of a theorem by Etingof and Varchenko.