[논문 리뷰] Arithmetic mirror symmetry for the 2-torus

Yankı Lekili, Timothy Perutz|arXiv (Cornell University)|2012. 11. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 55인용 수 25

한 줄 요약

이 논문은 2차 토러스에 대해 호모로지 미러 대칭의 산술적 세련함을 확립하며, 구멍이 난 토러스의 상대 푸카비 카테고리와 $\mathbb{Z}[[q]]$ 위의 테이트 곡선 상의 완전 복합체 카테고리 사이의 유도 동치를 구축함으로써 이를 달성한다. 이는 구멍이 난 토러스의 랩드 푸카비 카테고리가 $\mathbb{Z}$ 위에서 테이트 곡선의 중심 섹션 위의 코herent sheaf 카테고리와 유도 동치임을 증명하며, 이 분야에서 처음으로 상세한 산술기하적 실현을 제공한다.

ABSTRACT

This paper explores a refinement of homological mirror symmetry which relates exact symplectic topology to arithmetic algebraic geometry. We establish a derived equivalence of the Fukaya category of the 2-torus, relative to a basepoint, with the category of perfect complexes of coherent sheaves on the Tate curve over the "formal disc" Spec Z[[q]]. It specializes to a derived equivalence, over Z, of the Fukaya category of the punctured torus with perfect complexes on the curve y^2+xy=x^3 over Spec Z, the central fibre of the Tate curve; and, over the "punctured disc" Spec Z((q)), to an integral refinement of the known statement of homological mirror symmetry for the 2-torus. We also prove that the wrapped Fukaya category of the punctured torus is derived-equivalent over Z to bounded complexes of coherent sheaves on the central fiber of the Tate curve.

연구 동기 및 목표

• 구멍이 난 2차 토러스의 상대 푸카비 카테고리와 $\mathbb{Z}[[q]]$ 위의 테이트 곡선 상의 완전 복합체 카테고리 사이의 유도 동치를 확립하기 위해.
• 특히 $\mathbb{Z}$ 위에서 복소수 $\mathbb{C}$ 대신 산술대수기하학을 통합함으로써 호모로지 미러 대칭을 세련하기 위해.
• 구멍이 난 토러스의 랩드 푸카비 카테고리가 $\mathbb{Z}$ 위에서 테이트 곡선의 중심 섹션 위의 코herent sheaf 카테고리와 유도 동치임을 보여주기 위해.
• 생성 부분대수 위의 $A_\infty$-구조 분류를 통해 2차 토러스의 미러를 $\mathbb{Z}[[q]]$ 위의 위어스트라스 세바 곡선으로 식별하기 위해.
• 삼각형 내의 격자점 수와 관련된 시타 함수를 통해 구멍이 난 토러스의 심플렉틱 위상수학을 산술기하학과 연결하기 위해.

제안 방법

• 저자들은 상대 푸카비 카테고리 $\EuF(T,z)$에서 테이트 곡선 상의 난류 복합체 카테고리 $\EuT$로의 $\mathbb{Z}[[q]]$-선형 $A_\infty$-함수 $\psi$를 정의한다.
• 두 개의 정확한 라그랑주 부분다발 $L_0^\#$ 및 $L_\infty^\#$ 가 생성하는 $\EuF(T,z)$의 전부이자 분할 생성 부분카테고리 $\EuA$를 식별하며, 이는 푸카비 카테고리가 유도 동치를 제외하고는 이들로 생성됨을 보여준다.
• 생성 부분대수 $\EuA$ 위의 $A_\infty$-구조를 분류함으로써 미러를 구성하며, 위어스트라스 세바 곡선이 정확히 이러한 구조를 매개함을 보여준다.
• Floer 코hom로지 그룹 $HF^0(L_0^\#, L_{(1,-3n)}^\#)$의 표준 기저를 테이트 곡선 상의 선다발 $\EuO(3n\sigma)$의 절단과 매칭함으로써, 링 동형사를 확립한다.
• 미러의 동차좌표환과 테이트 곡선 상의 시타 함수의 링 간의 표준적 일치를 사용하며, 이는 삼각형 내의 격자점 수와 연결된다.
• 증명은 생성 부분대수 위의 $A_\infty$-구조의 유일성에 기반하며, 미러 함수 $\psi$가 유도 동치와 미러 곡선의 자기동형사상에 대해 유일하게 결정됨을 보여준다.

실험 결과

연구 질문

• RQ1 호모로지 미러 대칭는 어떻게 $\mathbb{C}$ 대신 $\mathbb{Z}$ 위에서 산술대수기하학을 통합함으로써 세련될 수 있는가?
• RQ2 구멍이 난 2차 토러스의 정확한 정수 미러는 $\mathbb{Z}[[q]]$ 위의 코herent sheaf 카테고리로서 어떻게 기술될 수 있는가?
• RQ3 구멍이 난 토러스의 랩드 푸카비 카테고리가 $\mathbb{Z}$ 위의 스킴 위의 코herent sheaf 카테고리와 유도 동치가 될 수 있는가?
• RQ4 테이트 곡선 상의 시타 함수는 Floer 코hom로지와 격자점 수와 같은 심플렉틱 불변량과 어떻게 관련이 있는가?
• RQ5 푸카비 카테고리의 생성 부분카테고리 위의 $A_\infty$-구조에 의해 2차 토러스의 미러는 유일하게 결정되는가?

주요 결과

• 상대 푸카비 카테고리 $\EuF(T,z)$는 $\mathbb{Z}[[q]]$ 위에서 테이트 곡선 $\EuT$ 상의 완전 복합체 카테고리와 유도 동치이다.
• $\mathbb{Z}$ 위에서, 구멍이 난 토러스의 푸카비 카테고리는 $\spec\mathbb{Z}$ 위의 위어스트라스 세바 곡선 $y^2 + xy = x^3$ 상의 완전 복합체 카테고리와 유도 동치이다. 이는 테이트 곡선의 중심 섹션이다.
• 구멍이 난 토러스의 랩드 푸카비 카테고리는 $\mathbb{Z}$ 위에서 테이트 곡선의 중심 섹션 위의 코herent sheaf 카테고리와 유도 동치이다.
• 미러는 푸카비 카테고리의 생성 부분대수 위의 $A_\infty$-구조에 의해 유일하게 결정되며, 위어스트라스 세바 곡선은 이러한 구조를 실현하는 유일한 곡선이다.
• Floer 코hom로지와 미러 위의 선다발 절단 간의 표준 링 동형사는 $HF^0$와 $H^0(\EuO(3n\sigma))$의 표준 기저를 매칭함으로써 유도되며, 이 매칭은 곱셈에 대해 유지된다.
• 미러 함수 $\psi$는 유도 동치와 미러 곡선의 자기동형사상에 대해 유일하게 결정되며, 특히 위어스트라스 데이터 $(\sigma, \omega)$를 유지할 경우 자동형사상은 자명함을 보였다.