[논문 리뷰] Homological mirror symmetry with higher products

Alexander Polishchuk|ArXiv.org|1999. 01. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 48

한 줄 요약

이 논문은 호모로지 미러 대칭을 확장하여 복소 기하 측의 $A_{\infty}$-분류를 구성함으로써, 헤르미트 계량을 가진 헬름홀트식 벡터 번들의 조화 형식을 사용하여 코herent sheaf의 도파인드 분류를 정밀화한다. 타원 곡선의 경우, 복소 기하 측과 심플렉틱 측의 삼중 곱이 자연스럽게 호모토피 동치임을 증명하여 일반화된 추측의 부분적 검증을 제공한다.

ABSTRACT

We construct an $A_{\infty}$-structure on the Ext-groups of hermitian holomorphic vector bundles on a compact complex manifold. We propose a generalization of the homological mirror conjecture due to Kontsevich. Namely, we conjecture that for mirror dual Calabi-Yau manifolds $M$ and $X$ there exists an $A_{\infty}$-functor from Fukaya's symplectic $A_{\infty}$-category of $M$ to the $A_{\infty}$-derived category of $X$ which is a homotopy equivalence on morphisms. We verify the part of this conjecture concering triple products for elliptic curves.

연구 동기 및 목표

• 컨트세비치의 원래 호모로지 미러 대칭 추측에서 발생하는 비대칭을 해결하기 위해, 심플렉틱 측에서는 $A_{\infty}$-분류를, 복소 기하 측에서는 표준 도파인드 분류를 비교하는 것.
• 헤르미트 계량을 사용한 $\operatorname{Ext}$-군의 조화 표현을 활용하여, 복소 기하 측에서 잘 정의된 $A_{\infty}$-분류 $\mathcal{D}^{b}_{\infty}(X)$를 구성하기.
• 양측에 $A_{\infty}$-분류 사이의 $A_{\infty}$-함수를 포함하는 대칭적인 호모로지 미러 대칭 추측을 제안하기.
• 타원 곡선이라는 비자명한 경우에서, 복소 기하와 심플렉틱 기하에서 유도된 삼중 곱을 비교함으로써 이 일반화된 추측을 검증하기.
• 복소 기하 측의 $A_{\infty}$-구조에서의 고차 곱이 조화 형식이 곱에 대해 닫혀 있지 않을 때의 실패를 측정하며, 이들이 순환 대칭성을 만족한다는 것을 확립하기.

제안 방법

• 헤르미트 계량을 가진 헬름홀트식 벡터 번들의 유한 복합체로 구성된 $A_{\infty}$-분류 $\mathcal{D}^{b}_{\infty}(X)$를 정의하며, 사상은 $(0,q)$-형식의 조화 표현으로 나타낸다.
• 호모로지 페트리션 이론을 사용하여 $\mathcal{D}^{b}_{\infty}(X)$에 $A_{\infty}$-구조를 구성하며, $m_1 = 0$, $m_2$는 합성으로, 고차 곱 $m_k$는 곱의 조화성에 대한 차단을 코딩한다.
• 메르쿨로프 및 다른 이들의 방법에 따라, $dg$-대수와 호모토피 동치인 부분복합체에 대한 $A_{\infty}$-구조를 적용하여, 표준 $dg$-버전의 도파인드 분류와의 $A_{\infty}$-동치를 보장한다.
• $A_{\infty}$-구조가 메트릭 선택에 대해 호모토피 동치에 대해 독립적임을 호모로지 페트리션 이론을 통해 증명한다.
• $A_{\infty}$-공식을 사용하여 횡단 삼중 곱을 기본 곱으로 재귀적으로 표현함으로써, 단일값 마세이 곱으로 감소시킨다.
• 타원 곡선에서 복소 기하 측과 심플렉틱 측의 삼중 곱 간의 명시적 호모토피를 $\overline{\partial}^{-1}$-항을 비교하고 순환 대칭을 활용하여 구성한다.

실험 결과

연구 질문

• RQ1 호모로지 미러 대칭 추측은 양측에 $A_{\infty}$-분류를 포함하도록 재구성될 수 있는가? 이는 $A_{\infty}$-분류와 표준 도파인드 분류 사이의 비대칭성을 제거한다.
• RQ2 헤르미트 계량과 조화 형식을 사용하여, 코herent sheaf의 도파인드 분류에 대해 $A_{\infty}$-구조를 자연스럽게 정의할 수 있는가?
• RQ3 복소 기하 측의 $A_{\infty}$-구조에서의 고차 곱이, 플로어 코hom올로지에 의해 유도된 심플렉틱 측의 곱과 호모토피 동치인가?
• RQ4 타원 곡선의 선다발에 대해, 복소 기하 측에서 조화 표현으로 정의된 삼중 곱과 심플렉틱 측에서 $\overline{\partial}$-닫힘 형식으로 정의된 삼중 곱이 일치하는가?
• RQ5 $\mathcal{D}^{b}_{\infty}(X)$에 정의된 $A_{\infty}$-구조는 순환 대칭성을 만족하는가? 그리고 이 대칭성은 심플렉틱 측의 구조와 일치하는가?

주요 결과

• $\mathcal{D}^{b}_{\infty}(X)$의 $A_{\infty}$-구조는 헤르미트 계량 선택에 대해 호모토피 동치에 대해 독립적이며, 이는 강건성을 보장한다.
• $\mathcal{D}^{b}_{\infty}(X)$의 고차 곱 $m_k$는 조화 표현이 곱에 대해 닫혀 있지 않을 때의 실패를 측정하며, $m_1 = 0$이고 $m_2$는 표준 합성이다.
• 타원 곡선의 경우, 복소 기하 측에서 정의된 삼중 곱 $m_3$과 심플렉틱 플로어 이론에서 정의된 삼중 곱이 명시적 호모토피 공식을 통해 자연스럽게 호모토피 동치임을 보였다. 이 공식은 $\overline{\partial}^{-1}$-항을 포함한다.
• 타원 곡선 위의 선다발에서 모든 횡단 삼중 곱은 $A_{\infty}$-공식을 통해 기본 마세이 곱으로 감소되며, 이는 단일값이고 잘 정의되어 있다.
• 복소 기하 측과 심플렉틱 측의 삼중 곱 간의 호모토피는 세르 대칭성과 순환 대칭성과의 호환성으로 인해 모든 횡단 구성에 확장된다.
• $\mathcal{D}^{b}_{\infty}(X)$의 $A_{\infty}$-구조는 명시적인 순환 대칭성을 만족하며, 이는 일반적으로 표준 도파인드 분류에 존재하지 않는 성질이다.