On the Quantum K-theory of Quiver Varieties at Roots of Unity
Peter Koroteev, Andrey Smirnov
TL;DR
This work studies the quantum K-theory of Nakajima quiver varieties at roots of unity through the quantum difference equation (QDE) and its fundamental solution $\Psi$. It constructs a pole-cancellation intertwiner at primitive $p$-th roots of unity and proves an isospectrality between the $p$-th iterated quantum multiplication and its Frobenius-twisted counterpart, via a reduction to $p$-curvature in finite characteristic. Eigenvalues and eigenvectors of quantum multiplication are tied to Bethe Ansatz equations through Yang–Yang functions, with explicit asymptotics of vertex functions at roots of unity. The results yield a concrete description of the spectrum of the $p$-curvature of the quantum connection for Nakajima varieties and connect the $q$-difference framework to Grothendieck–Katz $p$-curvature, including an illustrative example $X=T^{*}\mathbb{P}^1$ and parallel developments in $p$-adic and modular settings.
Abstract
Let $Ψ(\textbf{z},\textbf{a},q)$ a the fundamental solution matrix of the quantum difference equation of a Nakajima variety $X$. In this work, we prove that the operator $$ Ψ(\textbf{z},\textbf{a},q) Ψ\left(\textbf{z}^p,\textbf{a}^p,q^{p^2}\right)^{-1} $$ has no poles at the primitive complex $p$-th roots of unity $q=ζ_p$. As a byproduct, we show that the iterated product of the operators ${\bf M}_{\mathcal{L}}(\textbf{z},\textbf{a},q )$ from the $q$-difference equation on $X$: $$ {\bf M}_{\mathcal{L}} (\textbf{z} q^{(p-1)\mathcal{L}},\textbf{a},q) \cdots {\bf M}_{\mathcal{L}} (\textbf{z} q^{\mathcal{L}},\textbf{a},q) {\bf M}_{\mathcal{L}} (\textbf{z} ,\textbf{a},q) $$ evaluated at $q=ζ_p$ has the same eigenvalues as ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$. Upon a reduction of the quantum difference equation of $X$ to the quantum differential equation over the field of finite characteristic, the above iterated product transforms into a Grothendiek-Katz $p$-curvature of the corresponding quantum connection whreas ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$ becomes a certain Frobenius twist of that connection. In this way, we give an explicit description of the spectrum of the $p$-curvature of quantum connection for Nakajima varieties.
