[논문 리뷰] Doubly periodic monopoles and $q$-difference modules

Takuro Mochizuki|arXiv (Cornell University)|2019. 02. 10.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 8

한 줄 요약

이 논문은 이중 주기성 기하 구조를 가진 3차원 다양체 위의 유리형 이중 주기적 몰리포일과 타원곡선 위의 포물선 $q$-차이 모듈러의 사이에 Kobayashi-Hitchin 대응을 twistor 매개변수를 이용해 매개화함으로써 수립한다. 주요 결과는 국소 좌표 선택에 관계없이 관련된 $q$-차이 모듈러의 구조가 독립적임을 증명함으로써, 비아벨리안 호지 이론과 유사한 $q$-차이 설정에서의 정규 대응을 확립하는 것이다.

ABSTRACT

An interesting theme in complex differential geometry is to find a correspondence between algebraic objects and differential geometric objects. One of the most attractive is the non-abelian Hodge theory of Simpson. In this paper, pursuing an analogue of the non-abelian Hodge theory in the context of $q$-difference modules, we study Kobayashi-Hitchin correspondences between doubly periodic monopoles and parabolic $q$-difference modules, depending on twistor parameters.

연구 동기 및 목표

• 비아벨리안 호지 이론을 $q$-차이 설정으로 확장하기 위해 기하적 대상(이중 주기적 몰리포일)과 대수적 대상($q$-차이 모듈러) 사이의 대응을 구축하는 것.
• 타원곡선 위에서 양호한 필터링과 Dirac 유형 특이점을 갖는 포물선 $q$-차이 모듈러를 정의하고 연구하는 것.
• 국소 좌표 선택에 영향을 받지 않는, 유리형 이중 주기적 몰리포일과 포물선 $q$-차이 모듈러 사이의 정규 대응을 수립하는 것.
• 이전의 차이 모듈러 및 몰리포일 결과를 이중 주기성과 $q$-차이 구조의 경우로 일반화하는 것.
• 복소 미분기하학에서 Kobayashi-Hitchin 대응의 $q$-차이 해석을 제공하는 것.

제안 방법

• 3차원 다양체 $\mathcal{M} = \mathbb{R} \times T^0$를 $\mathbb{R} \times \mathbb{C}$의 격자 $\Gamma$ 에 의한 몫으로 구성하며, $T^0$ 는 타원곡선이다.
• 유리형 이중 주기적 몰리포일을 $\mathcal{M} \setminus Z$ 에서 보고모니 방정식을 만족하는 튜플 $(E,h,\nabla,\phi)$ 로 정의하며, Dirac 유형 특이점과 무한대에서의 유계 곡률을 갖는다.
• $\Phi^*(f) = f(\mathfrak{q} y)$ 를 만족하는 자동형사상 $\Phi^*$ 를 통해 ${\mathbb{C}}[y,y^{-1}]$-모듈러를 정의하고, 유한 및 무한 위치에서의 포물선 구조를 도입한다.
• Dirac 유형 특이점을 갖는 필터링된 범주를 사용하여, twistor 매개변수 $\lambda$ 를 통해 $\partial_t$-평탄한 섹션의 성장에 의해 결정되는 필터링이 있는 $\mathfrak{q}^\lambda$-차이 모듈러를 몰리포일에 연결한다.
• 국소 좌표 $({\tt e}_1, {\tt s}_1)$ 의 선택에 관계없이 필터링과 포물선 자료가 스케일링에 대해 불변임을 보여, 결과적으로 얻어진 포물선 $q$-차이 모듈러가 선택에 독립적임을 증명한다.
• $\mathfrak{t}^\lambda({\tt e}_1,{\tt s}_1)$ 를 통한 포물선 구조의 스케일링을 적용하여 $T^\lambda$ 위에 정규 모듈러 구조를 얻는다.

실험 결과

연구 질문

• RQ1 포물선 구조와 twistor 매개변수를 고려할 때, 이중 주기적 몰리포일과 $q$-차이 모듈러 사이에 Kobayashi-Hitchin 대응을 수립할 수 있는가?
• RQ2 twistor 공간에서의 국소 좌표 선택에 따라 몰리포일에 관련된 $q$-차이 모듈러의 구조가 어떻게 달라지는가?
• RQ3 어떤 조건이 몰리포일로부터 유도된 필터링된 $q$-차이 모듈러가 자명화 또는 기저의 선택에 관계없이 독립적임을 보장하는가?
• RQ4 차이 모듈러의 필터링은 접속에 따른 평탄한 섹션의 점근적 행동과 어떻게 관련되는가?
• RQ5 국소 데이터에 관계없이 유리형 이중 주기적 몰리포일에 대해 포물선 $q$-차이 모듈러를 정규적으로 연결할 수 있는 방법이 있는가?

주요 결과

• 몰리포일에 관련된 포물선 $q$-차이 모듈러 $\tt H^{(\mathfrak{t}^\lambda)}(\widetilde{\tt E}_{({\tt e}_1,{\tt s}_1)\ast})$ 는 국소 좌표 $({\tt e}_1, {\tt s}_1)$ 의 선택에 관계없이 독립적이며, 정규 대응을 수립한다.
• 필터링된 구조 $\widetilde{\tt E}_{({\tt e}_1,{\tt s}_1)\ast}$ 는 메트릭이나 접속에 관계없이 기저가 되는 허수 범주 $(E, \overline{\partial}_E)$ 에만 의존한다.
• 필터링 $\mathfrak{F}_\pm({\tt e}_1,{\tt s}_1)$ 와 $\mathcal{F}_\pm({\tt e}_1,{\tt s}_1)$ 는 $\partial_t$-평탄한 섹션의 성장 순서에 의해 특징지어지며, 기하학적 불변성을 보장한다.
• $\tt t({\tt e}_1,{\tt s}_1) - \mathfrak{t}^\lambda({\tt e}_1,{\tt s}_1) \cdot \frac{\log|{\tt U}|}{\log|\mathfrak{q}^\lambda|}$ 의 차이는 $({\tt e}_1,{\tt s}_1)$ 에 관계없이 일정하며, 이는 재스케일된 포물선 구조의 불변성을 암시한다.
• $f_{({\tt e}_1,{\tt s}_1)}: \mathcal{M}^\lambda \to \mathcal{M}_{\mathfrak{q}^\lambda}$ 의 동형사상은 필터링된 모듈러 구조를 유지하므로, 다양한 자명화 간의 일관성을 확인한다.
• 최종적으로 $q$-차이 모듈러의 구조는 $T^\lambda = \mathbb{C}^* / (\mathfrak{q}^\lambda)^\mathbb{Z}$ 에 잘 정의되어 있으며, 전역적인 대응을 제공한다.