[논문 리뷰] T-Duality and Homological Mirror Symmetry of Toric Varieties

Bohan Fang, Chiu-Chu Melissa Liu외 2명|arXiv (Cornell University)|2008. 11. 09.

Algebraic structures and combinatorial models참고 문헌 34인용 수 21

한 줄 요약

이 논문은 일관된 구조-구성 가능 대응과 미세국소 기하학을 결합하여, 비특이 완전한 토릭 다양체에 대해 T-duality와 호모로지 미러 대칭 사이의 정확한 연결 고리를 설정한다. 이는 코 tangent bundle의 Fukaya 카테고리에서 등변 앰플 라인 번들의 T-dual 라그랑주 브레인과 그 반사 대칭 함수에 의한 이미지가 동형임을 증명함으로써, 등변 호모로지 미러 대칭이 T-duality에 의해 규정됨을 보여준다.

ABSTRACT

Let $X_Σ$ be a complete toric variety. The coherent-constructible correspondence $κ$ of \cite{FLTZ} equates $\Perf_T(X_Σ)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The microlocalization equivalence $μ$ of \cite{NZ,N} relates these sheaves to a subcategory $Fuk(T^*M_\bR;\LS)$ of the Fukaya category of the cotangent $T^*M_\bR$. When $X_\Si$ is nonsingular, taking the derived category yields an equivariant version of homological mirror symmetry, $DCoh_T(X_\Si)\cong DFuk(T^*M_\bR;\LS)$, which is an equivalence of triangulated tensor categories. The nonequivariant coherent-constructible correspondence $\barκ$ of \cite{T} embeds $\Perf(X_\Si)$ into a subcategory $Sh_c(T_\bR^\vee;\barΛ_\Si)$ of constructible sheaves on a compact torus $T_\bR^\vee$. When $X_\Si$ is nonsingular, the composition of $\barκ$ and microlocalization yields a version of homological mirror symmetry, $DCoh(X_Σ)\hookrightarrow DFuk(T^*T_\bR;\barΛ_\Si)$, which is a full embedding of triangulated tensor categories. When $X_\Si$ is nonsingular and projective, the composition $τ=μ\circ κ$ is compatible with T-duality, in the following sense. An equivariant ample line bundle $\cL$ has a hermitian metric invariant under the real torus, whose connection defines a family of flat line bundles over the real torus orbits. This data produces a T-dual Lagrangian brane $\mathbb L$ on the universal cover $T^*M_\bR$ of the dual real torus fibration. We prove $\mathbb L\cong τ(\cL)$ in $Fuk(T^*M_\bR;\LS).$ Thus, equivariant homological mirror symmetry is determined by T-duality.

연구 동기 및 목표

• 토릭 다양체의 맥락에서 T-duality와 호모로지 미러 대칭 사이의 엄밀한 연결 고리를 설정하기.
• 토릭 다양체 위의 등변 완전 복합체에 대한 미러 대칭 함수가 자연스럽게 T-duality로부터 유도됨을 보여주기.
• 등변 및 비등변 미러 대칭의 프레임워크 안에서 구조-구성 가능 대응과 미세국소화를 통합하기.
• 등변 앰플 라인 번들의 T-dual 라그랑주 브레인과 그 Fukaya 카테고리 내의 미러 대칭 함수에 의한 이미지 사이의 동형관계를 보여주기.

제안 방법

• 토릭 다양체 위의 등변 완전 복합체를 실벡터 공간 Mℝ 위의 구성 가능 층과 연결하기 위해 구조-구성 가능 대응(κ)을 활용한다.
• 이 층들을 T*Mℝ의 풀리지 않은 Fukaya 카테고리의 대상으로 매핑하기 위해 미세국소화(μ)를 적용한다.
• 등변 앰플 라인 번들의 헤르미트 계량과 평탄한 접속으로부터 T-dual 라그랑주 브레인을 T*Mℝ 내에 구성한다.
• Fukaya 카테고리 내에서 T-dual 라그랑주 브레인과 τ = μ∘κ의 복합 함수에 의한 선다이어그램의 이미지 사이의 동형관계를 수립한다.
• 모멘트 맵과 등변 콘 차원형을 사용하여 선다이어그램의 기하학적 성질을 라그랑주 다양체의 위치와 연결한다.
• [FLTZ], [NZ], [N1]의 결과를 활용하여 A∞ 카테고리 설정 내에서 단위 구조와 준동치를 정의한다.

실험 결과

연구 질문

• RQ1 T-duality는 토릭 다양체 위의 등변 선다이어그램에 대해 미러 대칭 대응을 정확히 실현하는가?
• RQ2 구조-구성 가능 대응은 미세국소 기하학과 어떻게 상호작용하여 완전한 호모로지 미러 대칭을 도출하는가?
• RQ3 등변 앰플 라인 번들의 T-dual 라그랑주 브레인은 그 미러 함수에 의한 이미지와 식별될 수 있는가?
• RQ4 토릭 다양체의 등변 호모로지 미러 대칭은 T-duality에 의해 완전히 결정되는가?

주요 결과

• τ = μ∘κ의 복합 함수는 비특이 완전한 토릭 다양체 위의 등변 완전 복합체와 T*Mℝ의 Fukaya 카테고리의 부분카테고리 사이의 준동치 A∞ 카테고리로 기능한다.
• 비특이 프로젝티브 토릭 다양체의 경우, 등변 앰플 라인 번들의 T-dual 라그랑주 브레인은 Fukaya 카테고리 내에서 τ(ℒ)과 동형이다.
• Fukaya 카테고리의 단위 구조는 ⋄의 곱으로 정의되며, τ에 의한 등변 벡터 번들의 텐서곱과 호환된다.
• T-dual 라그랑주 브레인의 구성은 선다이어그램의 헤르미트 계량과 평탄한 접속에서 유래되며, 미분기하학과 미러 대칭을 연결한다.
• 앰플 라인 번들의 모멘트 다면체는 토로피컬 기하학에서 아모바의 극한과 대응한다. 이는 대수기하학과 토로피컬 방법을 연결한다.
• 비등변 버전의 미러 대칭은 동일한 T-duality 메커니즘을 통해 T*Tℝ∨의 Fukaya 카테고리로의 전순함으로 실현된다.