More Like this

1. Pursuing Quantum Difference Equations II: 3D mirror symmetry

   https://doi.org/10.1093/imrn/rnac196  

   Kononov, Yakov ; Smirnov, Andrey ( July 2022 , International Mathematics Research Notices)

   Let $\textsf {X}$ and $\textsf {X}^{!}$ be a pair of symplectic varieties dual with respect to 3D mirror symmetry. The $K$-theoretic limit of the elliptic duality interface is an equivariant $K$-theory class $\mathfrak {m} \in K(\textsf {X}\times \textsf {X}^{!})$. We show that this class provides correspondences $$ \begin{align*} & \Phi_{\mathfrak{m}}: K(\textsf{X}) \leftrightarrows K(\textsf{X}^{!}) \end{align*}$$mapping the $K$-theoretic stable envelopes to the $K$-theoretic stable envelopes. This construction allows us to relate various representation theoretic objects of $K(\textsf {X})$, such as action of quantum groups, quantum dynamical Weyl groups, $R$-matrices, etc., to those for $K(\textsf {X}^{!})$. In particular, we relate the wall $R$-matrices of $\textsf {X}$ to the $R$-matrices of the dual variety $\textsf {X}^{!}$. As an example, we apply our results to $\textsf {X}=\textrm {Hilb}^{n}({{\mathbb {C}}}^2)$—the Hilbert scheme of $n$ points in the complex plane. In this case, we arrive at the conjectures of Gorsky and Negut from [10].

    

   more » « less
2. 3D Mirror Symmetry for Instanton Moduli Spaces

   https://doi.org/10.1007/s00220-023-04831-5  

   Koroteev, Peter ; Zeitlin, Anton M. ( September 2023 , Communications in Mathematical Physics)

   We prove that the Hilbert scheme ofkpoints on$${\mathbb {C}}^2$$$C^2$($$\hbox {Hilb}^k[{\mathbb {C}}^2]$$${\text{Hilb}}^k\left[C^2\right]$) is self-dual under three-dimensional mirror symmetry using methods of geometry and integrability. Namely, we demonstrate that the corresponding quantum equivariant K-theory is invariant upon interchanging its Kähler and equivariant parameters as well as inverting the weight of the$${\mathbb {C}}^\times _\hbar $$$C_{ħ}^{\times }$-action. First, we find a two-parameter family$$X_{k,l}$$$X_{k,l}$of self-mirror quiver varieties of type A and study their quantum K-theory algebras. The desired quantum K-theory of$$\hbox {Hilb}^k[{\mathbb {C}}^2]$$${\text{Hilb}}^k\left[C^2\right]$is obtained via direct limit$$l\longrightarrow \infty $$$l⟶\infty$and by imposing certain periodic boundary conditions on the quiver data. Throughout the proof, we employ the quantum/classical (q-Langlands) correspondence between XXZ Bethe Ansatz equations and spaces of twisted$$\hbar $$$ħ$-opers. In the end, we propose the 3d mirror dual for the moduli spaces of torsion-free rank-Nsheaves on$${\mathbb {P}}^2$$$P^2$with the help of a different (three-parametric) family of type A quiver varieties with known mirror dual.

    

   more » « less
3. Energy Counterexamples in Two Weight Calderón–Zygmund Theory

   https://doi.org/10.1093/imrn/rnz269  

   Sawyer, Eric T. ; Shen, Chun-Yen ; Uriarte-Tuero, Ignacio ( November 2019 , International Mathematics Research Notices)

   We show that the energy conditions are not necessary for boundedness of Riesz transforms in dimension $n\geq 2$. In dimension $n=1$, we construct an elliptic singular integral operator $H_{\flat } $ for which the energy conditions are not necessary for boundedness of $H_{\flat }$. The convolution kernel $K_{\flat }\left ( x\right ) $ of the operator $H_{\flat }$ is a smooth flattened version of the Hilbert transform kernel $K\left ( x\right ) =\frac{1}{x}$ that satisfies ellipticity $ \vert K_{\flat }\left ( x\right ) \vert \gtrsim \frac{1}{\left \vert x\right \vert }$, but not gradient ellipticity $ \vert K_{\flat }^{\prime }\left ( x\right ) \vert \gtrsim \frac{1}{ \vert x \vert ^{2}}$. Indeed the kernel has flat spots where $K_{\flat }^{\prime }\left ( x\right ) =0$ on a family of intervals, but $K_{\flat }^{\prime }\left ( x\right ) $ is otherwise negative on $\mathbb{R}\setminus \left \{ 0\right \} $. On the other hand, if a one-dimensional kernel $K\left ( x,y\right ) $ is both elliptic and gradient elliptic, then the energy conditions are necessary, and so by our theorem in [30], the $T1$ theorem holds for such kernels on the line. This paper includes results from arXiv:16079.06071v3 and arXiv:1801.03706v2.

    

   more » « less
4. Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings

   https://doi.org/10.1017/fms.2020.60  

   Chirvasitu, Alex ; Kanda, Ryo ; Smith, S. Paul ( January 2021 , Forum of Mathematics, Sigma)

   null (Ed.)

   Abstract The elliptic algebras in the title are connected graded $\mathbb {C}$ -algebras, denoted $Q_{n,k}(E,\tau )$ , depending on a pair of relatively prime integers $n>k\ge 1$ , an elliptic curve E and a point $\tau \in E$ . This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$ . When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ , we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ are generated in degrees $\le 3$ and the noncommutative scheme $\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$ , respectively. When $X_{n/k}=E^g$ and $\tau =0$ , the results about $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ show that the morphism $\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces. 

   more » « less
5. Exceptional jumps of Picard ranks of reductions of K3 surfaces over number fields

   https://doi.org/10.1017/fmp.2022.14  

   Shankar, Ananth N. ; Shankar, Arul ; Tang, Yunqing ; Tayou, Salim ( January 2022 , Forum of Mathematics, Pi)

   Abstract Given a K3 surface X over a number field K with potentially good reduction everywhere, we prove that the set of primes of K where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $X_{\overline {K}}$ has infinitely many rational curves or X has infinitely many unirational specialisations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. These general results have several other applications. For instance, we prove that an abelian surface over a number field K with potentially good reduction everywhere is isogenous to a product of elliptic curves modulo infinitely many primes of K . 

   more » « less