[논문 리뷰] Mirror symmetry and deformation quantization

Paul Bressler, Yan Soibelman|ArXiv.org|2002. 02. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 23

한 줄 요약

이 논문은 푸카야 카테고리와 미분 양자화된 매끄러운 함수 대수 위의 헬로노믹 모듈의 카테고리 사이의 추측적 동치를 제안한다. 이는 플로어 이론적 인스턴턴 수를 대체하기 위해 적분 커널을 사용하며, 미러 대칭과 미분 양자화를 카테고리적 대칭을 통해 연결하는 프레임워크를 제공한다. 주요 기여는 타원형 설정에서 de Rham 복합체와 평탄한 접속을 사용하여 검증된, 카테고리적 대칭을 통한 접근이다.

ABSTRACT

The paper is devoted to the comparison of the Fukaya category (it is responcible for the A-side of mirror symmetry) with the category of holonomic modules over the quantized algebra of functions on the same symplectic manifold. We conjecture that these categories become $A_{\infty}$-equivalent after a twist by a kind of integral transformation.

연구 동기 및 목표

• 매끄러운 함수의 양자화 대수 위의 헬로노믹 모듈의 카테고리와 푸카야 카테고리 사이의 카테고리적 동치를 수립하는 것.
• 비교적 교차하지 않는 경우와 항등 사상이 존재하지 않는 등의 푸카야 카테고리의 기본적 문제를 대수적 재구성으로 해결하는 것.
• 적분 변환을 기반으로 한 공통의 카테고리적 프레임워크를 통해 미러 대칭과 미분 양자화를 통합하는 것.
• 라그랑주 부분다양체를 초월해 코이소트로픽 부분다양체와 비매끄러운 다양체로의 대응을 확장하는 것.
• 특히 칼라비-야우 설정에서 헬로노믹 모듈의 모듈리 공간에 복소 구조가 어떻게 나타나는지 탐색하는 것.

제안 방법

• 라그랑주 부분다양체 $ L_1 $ 및 $ L_2 $ 위의 국소 시스템 간의 푸리에-무카이 변환으로 작용하는 커널 $ K(L_1, L_2) $ 를 도입한다.
• 플랫 접속의 텐서곱을 값으로 가지는 de Rham 복합체를 사용하여 푸카야 카테고리의 사상들을 모델링한다.
• $ \exp(\frac{1}{t}f_2) $ 에 의한 트위스트를 적용하여 이 복합체가 표준 de Rham 복합체와 quasi-isomorphic하게 연결되도록 한다.
• 유도된 Hom 공간을 통해 헬로노믹 모듈의 변형을 정의하며, 탄성 공간이 $ H^\bullet_{DR}(L) $ 를 포함하는 정확한 수열에 놓인다.
• 곡률이 $ \omega_X $ 인 단위 벡터 번들의 텐서곱을 통해 $ \text{Lagr}_X $ 에서 $ \text{hol}(L) $ 로의 경로 올림을 구축한다.
• 전-양자 선다발을 사용하여 변형된 라그랑주 다양체 위에 평탄한 접속을 정의하고, $ M(t) = M \otimes \rho(t) $ 의 구성에 이를 활용한다.

실험 결과

연구 질문

• RQ1 푸카야 카테고리는 매끄러운 함수의 양자화 대수 위의 헬로노믹 모듈을 통해 대수적으로 모델링될 수 있는가?
• RQ2 헬로노믹 모듈이 $ L_1 $ 과 $ L_2 $ 에서 동치를 유도하는 정규화된 적분 커널 $ K(L_1, L_2) $ 가 존재하는가?
• RQ3 헬로노믹 모듈의 변형은 라그랑주 그라스만니안에서 그 지지의 변형과 어떻게 관련되는가?
• RQ4 헬로노믹 모듈의 모듈리 공간은 칼라비-야우 다양체에서 미러 대칭과 호환되는 복소 구조를 지닐 수 있는가?
• RQ5 이 구성은 라그랑주 주변의 국소 이웃을 초월해 비교적 교차하지 않거나 먼 라그랑주를 포함하도록 전역화될 수 있는가?

주요 결과

• 국소 설정에서, 사상 복합체 $ \text{Hom}_{D^b_\infty(\text{hol}(X))}(\rho_1, K(L_1,L_2) \circ \rho_2) $ 는 $ \rho_1^* \otimes \rho_2 $ 를 값으로 가지는 de Rham 복합체와 quasi-isomorphic하다.
• $ \exp(\frac{1}{t}f_2) $ 에 의한 트위스트는 $ df_2 $ 항을 제거하여 복합체를 표준 de Rham 복합체로의 quasi-isomorphism 으로 복귀시킨다.
• 헬로노믹 모듈 $ M $ 의 변형 모듈리 공간의 탄성 공간은 정확한 수열 $ H^1_{DR}(L) \to \text{Ext}^1_{\text{hol}(X)}(M,M) \to H^1_{DR}(L) $ 에 놓여 있으며, 이는 고전적 변형 공간의 두 배가 된다는 것을 시사한다.
• 간단한 헬로노믹 모듈 $ M $ 에 대해, 유도된 Hom $ R\text{Hom}_{\text{hol}(L)}(M,M) $ 는 $ \Omega^\bullet(L) $, 즉 $ L $ 의 de Rham 복합체와 quasi-isomorphic하다.
• 경로 올림 구성 $ M(t) = M \otimes \rho(t) $ 는 전-양자 선다발의 제한 $ \rho(t) $ 를 사용하여 라그랑주 변형을 모듈의 변형으로 올리는 방법을 제공한다.
• 제안된 프레임워크는 단순한 헬로노믹 모듈의 형식적 변형 모듈리 공간이 이중 칼라비-야우 다양체의 부분다양체와 동형인 복소 구조를 지닐 수 있음을 시사한다.