[논문 리뷰] Torelli theorem via Fourier-Mukai transform

Alexander Beilinson, Alexander Polishchuk|ArXiv.org|1998. 11. 23.

Algebraic Geometry and Number Theory인용 수 16

한 줄 요약

이 논문은 커브의 Torelli 정리에 대한 새로운 증명을 제시한다. 이는 Jacobian 위에서의 Fourier-Mukai 변환을 사용한다. 변환은 커브 위의 delta 함수와 theta divisor 사이를 교환하며, smooth part의 theta divisor 위의 선다발의 변환이 커브 위의 선다발의 이동된 푸시포워드로 이어짐을 보여, 유도 범주 방법을 통해 Jacobian로부터 커브를 재구성함으로써 이를 증명한다.

ABSTRACT

We show that the Fourier transform on the Jacobian of a curve interchanges "$δ$ functions" at the curve and the theta divisor. The Torelli theorem is an immediate consequence.

연구 동기 및 목표

• 유도 범주 기반의 Torelli 정리 증명을 Fourier-Mukai 변환을 사용하여 제공하기.
• Fourier 변환을 통해 커브 위의 선다발과 theta divisor 사이의 쌍대성을 수립하기.
• 특정 쌍대성 및 생성 조건을 만족하는 theta divisor의 smooth part 위의 선다발 집합 𝒯를 특성화하기.
• 이러한 선다발의 Fourier 변환이 커브 위의 선다발의 이동된 푸시포워드로 이어져 Jacobian으로부터 커브를 재구성함을 보여주기.
• semi-direct product 군 𝔻J 가 𝒯 위에 작용할 때 그 작용이 추이적이며, 이는 정리를 단일 케이스로 축소시킴을 보여주기.

제안 방법

• Jacobian의 유도 범주 위에서 Fourier-Mukai 변환을 사용하여 커브와 theta divisor 위의 층 사이의 관계를 설정하기.
• L·Lν = ωΘns 를 만족하고 A(J)를 생성하는 Θns 위의 선다발 집합 𝒯 를 정의하기.
• 커브 위의 degree 1−g 선다발을 통해 표준 임bedding j:Θ→J 를 구성하기. 이때 Θns 는 Sym^{g−1}C 와 동형임을 이용하기.
• jν(x) = −j(xν) 를 만족하는 Θ 위의 치환 ν 를 정의하고, Θ 위의 선다발 L 에 대해 Lν = ν∗L 를 정의하기.
• 기저 변경과 코homological 계산을 적용하여 Fourier 변환의 유도 당김을 계산하고, 이가 C 위의 선다발의 이동된 푸시포워드와 동형임을 보여주기.
• Picard 군에 대한 Lefschetz 정리와 대칭 Kunneth 공식을 사용하여 코homology에서의 퇴화와 동형을 확립하고, Fourier 변환이 적절한 층에 떨어짐을 증명하기.

실험 결과

연구 질문

• RQ1 Jacobian 위의 Fourier-Mukai 변환은 커브 위의 delta 함수와 theta divisor 사이를 교환하는가?
• RQ2 Torelli 정리를 증명하기 위해, Θns 위의 선다발의 변환이 C 위의 선다발의 이동된 푸시포워드로 복원됨을 보여주면 충분한가?
• RQ3 Θns 위의 선다발 집합 𝒯 는 비어 있지 않은가? 그리고 semi-direct product 군 𝔻J 의 작용에 대해 불변인가?
• RQ4 𝔻J 가 𝒯 위에 작용할 때 그 작용이 추이적이라면, 이는 정리가 단일 대표 원소로 축소됨을 의미하는가?
• RQ5 Picard 군 Pic(J), Picard 군 Pic(Θns), 그리고 몫군 A(J) 사이의 관계는 무엇이며, 이는 Torelli 정리와 어떻게 관련되는가?

주요 결과

• genus g≥2 인 커브의 Jacobian 에서 집합 𝒯 는 비어 있지 않다.
• 모든 L∈𝒯 와 표준 임bedding j:Θ→J 에 대해, Fourier 변환 𝒩(j∗L)[1] 은 표준 임bedding i:C→J 와 C 위의 degree g−1 선다발 M 에 대해 (±i)∗(M)[1−g] 와 동형이다.
• Fourier-Mukai 변환은 커브와 theta divisor의 역할을 서로 교환한다: Θns 위의 선다발을 C 위의 선다발의 이동된 푸시포워드로 매핑한다.
• semi-direct product 군 𝔻J 가 𝒯 위에 작용할 때 그 작용은 추이적이며, 이는 증명을 단일 케이스로 축소시킴을 의미한다.
• Fourier 변환의 유도 당김은 코homology가 0과 −1 에만 놓여 있는 복합체를 생성하며, 조건 L·Lν = ωΘns 가 만족된다.
• Θns 위의 선다발 L 은 몫군 A(J) 를 생성하며, 이는 Pic(J) → Pic(Θns) 의 사상의 상대핵이므로, 쌍대성의 구조가 확인된다.