[논문 리뷰] The noncommutative geometry of elliptic difference equations

Eric M. Rains|arXiv (Cornell University)|2016. 07. 29.

Algebraic Geometry and Number Theory참고 문헌 57인용 수 5

한 줄 요약

이 논문은 타원 차분 연산자를 이용해 비가환 기하학적 구조를 갖는 유리 표면을 새롭게 구성하며, 매개수 1개의 변형을 통해 매끄러운 반대칭곡선을 가진 사영 유리 표면를 변형시킬 수 있다. 이 방법은 이러한 비가환 표면 위의 층들과 타원 차분 방정식 사이의 대응관계를 수립하여, 층의 모듈리 공간이 파울리 공간이자 사영 공간임을 증명하고, 유도 자동동형과 일반화된 초함수 적분을 통해 타원 피카르 방정식의 라크 쌍을 구성한다.

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é 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.

연구 동기 및 목표

• 타원 차분 연산자를 사용하여 매끄러운 반대칭곡선을 가진 사영 유리 표면의 1-매개수 비가환 변형을 구성하기.
• 비가환 표면 위의 층과 타원 차분 방정식 사이의 대응관계를 수립하여, 방정식의 모듈리 공간에 대한 새로운 통찰을 가능하게 하기.
• 이 비가환 표면들이 찬과 니먼의 정의에 따라 매끄럽고 올바른 성질을 가지며, 사영 Quot 스킴과 파울리 모듈리 공간을 갖는다는 것을 증명하기.
• 유계 타원 표면의 유도 자동동형 작용 SL2(Z)을 K2 = 0인 표면로 확장하기.
• 차분 방정식의 이동과 타원 곡선의 노름 매개수를 바꾸는 방식으로, 리만-힐베르트 대응관계의 타원적 해석을 개발하기.

제안 방법

• 선다발 간의 사상들을 차분 연산자로 해석함으로써, 타원 차분 연산자를 이용해 비가환 유리 표면을 구성하기.
• 비가환 히르체브루흐 표면의 블로우업을 통해 변형을 실현하며, 반데르베르크의 암묵적 구성과 일관되게 유지하기.
• 이중도 다항식 공간과 기저점 조건을 이용해 토피컬 모듈러스와 층을 분석하여 복합 사상의 상사성 증명하기.
• 코homological 쌍대성과 유도 범주 기법을 적용하여 층의 모듈리 공간을 연구하며, 특히 계수 0 또는 1인 층에 중점을 두기.
• 2차원 모듈리 공간을 타원 차분 방정식의 매개수 공간으로 간주하여 타원 피카르 방정식의 라크 쌍을 구성하기.
• 비가환 표면 위의 층과 타원 차분 방정식의 해를 연결하는 타원 리만-힐베르트 대응관계를 개발하며, 이동 매개수와 노름 매개수 사이의 쌍대성 제공하기.

실험 결과

연구 질문

• RQ1 비가환 유리 표면는 어떻게 타원 차분 연산자를 통해 체계적으로 구성될 수 있는가?
• RQ2 이러한 비가환 표면의 기하학적 및 코homological 성질은 무엇인가? 특히 매끄러움, 올바름, 모듈리 공간에 관해.
• RQ3 유계 타원 표면의 유도 자동동형 작용 SL2(Z)은 K2 = 0인 비가환 표면으로 확장될 수 있는가?
• RQ4 이러한 표면 위의 층의 모듈리 공간은 통합계와 어떻게 관련이 있는가? 특히 타원 피카르 방정식과의 관계.
• RQ5 차분 방정식의 이동 매개수와 타원 곡선의 노름 매개수의 역할을 바꾸는 타원적 리만-힐베르트 대응관계가 존재하는가?

주요 결과

• 구성된 비가환 표면는 찬과 니먼의 정의에 따라 매끄럽고 올바르며, 사영 Quot 스킴을 갖는다.
• 이 표면 위의 단순 층의 모듈리 공간은 파울리 다양체이며, 계수 0 또는 1인 반단순 층을 분류하는 모듈리 공간은 사영이다.
• 모듈리 공간이 2차원일 경우, 이는 타원 피카르 방정식의 라크 쌍을 유도하며, 이는 유리 매개수의 분모의 두 배의 차수를 갖는다.
• 고정된 차분 방정식의 경우(모듈리 공간이 한 점), 해는 일반화된 초함수 적분으로 구성될 수 있다.
• 선다발에 의한 변형은 등형수렴 변형을 자연스럽게 유도하며, 이는 통합계의 라크 쌍을 제공한다.
• 타원 리만-힐베르트 대응관계가 확립되었으며, 층의 범주와 타원 차분 방정식의 해 사이에 해석적 동치를 제공하며, 이동 매개수와 타원 곡선의 노름 간의 쌍대성이 존재한다.