[논문 리뷰] Mirror symmetry for abelian varieties

Vasily Golyshev, Valery A. Lunts외 1명|arXiv (Cornell University)|1998. 12. 01.

Advanced Algebra and Geometry참고 문헌 6인용 수 38

한 줄 요약

이 논문은 복소 아벨 다양체와 그 복소화된 앰플 콘에 속하는 클래스로 이루어진 대수적 쌍 (A, ω_A)에 대한 새로운 대수기하학적 거울 대칭 정의를 제안한다. 일관된 층의 유도 범주와 호지 및 수직 대수적 군 간의 상호작용을 이용하여, 수평 구조와 수직 구조를 교환하는 코homology 링 간의 표준적 동형사상을 수립함으로써, 거울 쌍이 이소지에 대해 유일하게 결정되며, 유도 동치가 거울 대칭 호환성을 함의한다는 것을 증명한다.

ABSTRACT

We work out the notion of mirror symmetry for abelian varieties and study its properties. Our construction are based on the correspondence between two $Q$--algebraic groups. One is the Hodge (or special Mumford--Tate) group. The second group $\bar{Spin(A)}$ is defined as follows: the group of autoequivalences of the bounded derived category of coherent sheaves acts on the total cohomology $H(A,Q)$ of an abelian variety $A$ via algebraic correspondences. The group $\bar{Spin(A)}$ is now the Zariski closure of its image in $GL(H(A,Q))$. Our constructions are compatible with the picture of mirror symmetry sketched by Kontsevich, Morrison, and others.

연구 동기 및 목표

• 복소 아벨 다양체 A와 그 복소화된 앰플 콘에 속하는 클래스 ω_A로 이루어진 대수적 쌍 (A, ω_A)에 대한 거울 대칭을 정의하기.
• 거울 쌍 (A, ω_A)와 (B, ω_B)의 코homology 링 간에 존재하는 표준적 동형사상 β를 통해 호즈 군과 수직 대수적 군 작용을 교환하기.
• 아벨 다양체의 유도 동치가 거울 대칭 호환성을 함의하며, 거울 쌍이 유한함을 보여주기.
• G-구성된 아벨 다양체의 경우, 실부토리에서의 선다발의 체르누 캐릭터를 통해 거울 동형사상 β를 명시적으로 구성하기.

제안 방법

• 복소화된 앰플 콘 $ C_A = C_A^+ \bigsqcup C_A^- \to NS_A(\mathbb{C}) $ 를 정의하며, 여기서 $ C_A^+ = NS_A(\mathbb{R}) + iC_A^a $ 이고, $ \omega_A \in C_A $ 이면 $ (A, \omega_A) $ 를 대수적 쌍이라 부른다.
• 호즈 분해를 보존하는 최소의 $ \mathbb{Q} $-대수적 부분군으로서 호즈 군(특수 무프만-테이트 군)을 정의한다.
• Auteq(D^b(A)) 가 $ H^*(A, \mathbb{Z}) $ 에 작용하는 이미지의 자리지 클로처를 수직 군으로 정의하며, 이를 $ \overline{Spin(A)} $ 로 표기한다. 이 군은 호즈 군과 교환된다.
• 거울 쌍 $ (A, \omega_A) $ 와 $ (B, \omega_B) $ 에 대해, 호즈 군과 수직 군 작용을 교환하는 표준적 동형사상 $ \beta: H^*(A, \mathbb{Z}) \xrightarrow{\sim} H^*(B, \mathbb{Z}) $ 를 구성한다.
• G-구성된 아벨 다양체의 경우, $ \beta $ 를 $ A \times B $ 의 실부토리에서의 선다발의 체르누 캐릭터로 표현하며, 그 차원은 $ 3n $ 이다. 여기서 $ n = \dim A $ 이다.
• 표현 이론과 $ \mathrm{End}(A) \otimes \mathbb{R} $ 상의 이차형식의 양성에 의해, $ \mathrm{U}_{A,\mathbb{Q}}(\mathbb{R}) $-오빗이 복소화된 앰플 콘에서 유한함을 증명한다.

실험 결과

연구 질문

• RQ1 대수적 쌍 $ (A, \omega_A) $ 가 거울 대칭 쌍 $ (B, \omega_B) $ 를 가질 조건은 무엇인가?
• RQ2 거울 대칭은 아벨 다양체의 유도 동치와 어떻게 관련되어 있는가?
• RQ3 거울 대칭 동형사상 $ \beta $ 는 코homology 링 $ H^*(A, \mathbb{Z}) $ 에 어떻게 작용하며, 호즈 구조와 수직 구조를 어떻게 교환하는가?
• RQ4 G-구성된 아벨 다양체와 같은 자연스러운 클래스의 아벨 다양체에 대해 거울 동형사상을 명시적으로 구성할 수 있는가?
• RQ5 $ \mathrm{U}_{A,\mathbb{Q}}(\mathbb{R}) $-오빗이 복소화된 앰플 콘에서 유한한가? 이는 거울 쌍의 존재성과 어떻게 관련되는가?

주요 결과

• 일반적인 아벨 다양체 $ A $ 와 임의의 $ \omega_A \in C_A $ 에 대해, 대수적 쌍 $ (A, \omega_A) $ 는 Theorem 9.6.3 에 의해 거울 대칭 쌍 $ (B, \omega_B) $ 를 가진다.
• 두 대수적 쌍 $ (B, \omega_B) $ 와 $ (C, \omega_C) $ 가 동일한 $ (A, \omega_A) $ 와 거울 대칭이면, $ D^b(B) \simeq D^b(C) $ 는 삼각 범주로서 동치이며, 이는 거울 파트너의 이소모피즘 클래스가 유한함을 의미한다 (Theorem 9.2.6).
• 거울 대칭 동형사상 $ \beta: H^*(A, \mathbb{Z}) \xrightarrow{\sim} H^*(B, \mathbb{Z}) $ 는 부호를 제외하고는 표준적으로 존재하며, 호즈 군과 수직 군 작용을 교환한다. $ \beta \otimes \mathbb{Q} $ 는 두 구조를 서로 바꾼다 (Theorem 9.3.3).
• 타원곡선의 경우, $ \beta $ 는 $ H^1(A, \mathbb{Z}) \xrightarrow{\sim} H^0(B, \mathbb{Z}) \oplus H^2(B, \mathbb{Z}) $ 와 그 반대를 유도하며, 이는 코homological 차수에서의 대칭성을 반영한다.
• G-구성된 아벨 다양체의 경우, 거울 동형사상 $ \beta $ 는 $ A \times B $ 의 실부토리에서의 선다발의 체르누 캐릭터로 명시적으로 실현되며, 그 차원은 $ 3n $ 이다. 여기서 $ n = \dim A $ 이다.
• $ \mathrm{U}_{A,\mathbb{Q}}(\mathbb{R}) $-오빗이 $ NS_A(\mathbb{R}) + iNS_A(\mathbb{R})^+ $ 에서 유한하며, 이 오빗들은 집합의 연결성과 일치한다 (Corollary A.9).