The noncommutative geometry of elliptic difference equations

TL;DR

This paper introduces a new approach to constructing noncommutative surfaces using elliptic difference operators, linking algebraic geometry with integrable systems and special functions, and extends known symmetries and correspondences in this context.

Contribution

The paper develops a novel construction of noncommutative surfaces that aligns with previous work but enables new proofs and insights into their geometric and categorical properties.

Findings

Noncommutative surfaces are shown to be smooth proper in the sense of Chan and Nyman.

Moduli spaces of simple sheaves are Poisson, and those of semistable sheaves are projective.

The action of SL_2(Z) extends to derived autoequivalences of the constructed surfaces.

Abstract

We give a new construction of noncommutative surfaces via elliptic difference operators, attaching a 1-parameter noncommutative deformation to any projective rational surface with smooth anticanonical curve. The construction agrees with one implicit in work of Van den Bergh (iterated blowups of noncommutative Hirzebruch surfaces), but the construction enables one to prove a number of new facts about these surfaces. We show that they are noncommutative smooth proper surfaces in the sense of Chan and Nyman, with projective Quot schemes, that moduli spaces of simple sheaves are Poisson and that moduli spaces classifying semistable sheaves of rank 0 or 1 are projective. We further show that the action of SL_2(Z) as derived autoequivalences of rational elliptic surfaces extends to an action as derived equivalences of surfaces in our family with K^2=0. We also discuss applications to the theory of special functions arising by interpreting moduli spaces of 1-dimensional sheaves as moduli spaces of difference equations. When the moduli space is a single point, the equation is rigid, and we give an integral representation for the solutions. More generally, twisting by line bundles corresponds to isomonodromy deformations, so this gives rise to Lax pairs. When the moduli space is 2-dimensional, one obtains Lax pairs for the elliptic Painlev\'e equation; this associates a Lax pair to any rational number, of order twice the denominator. There is also an elliptic analogue of the Riemann-Hilbert correspondence: an analytic equivalence between categories of elliptic difference equations, swapping the role of the shift of the equation and the nome of the curve.