[논문 리뷰] Tropical coamoeba and torus-equivariant homological mirror symmetry for the projective space

Masahiro Futaki, Kazushi Ueda|arXiv (Cornell University)|2010. 01. 27.

Algebraic structures and combinatorial models참고 문헌 11인용 수 6

한 줄 요약

이 논문은 프로젝티브 공간 Pⁿ의 미러의 푸카야 카테고리( Fukaya category )를 코어스팅하는 조합적 구조인 트로피컬 코아모바(tropical coamoeba)를 제안한다. 이는 실수 n차원 토러스를 n+1개의 페르뮤토헤드론으로 분해하여 이루어지며, Pⁿ에 대해 토러스-등변 호모로지 미러 대칭의 버전을 증명한다. 트로피컬 코아모바로부터 유도된 A∞-카테고리가 Pⁿ 상의 T-등변 코herent sheaf의 유도 카테고리와 준동치(quasi-equivalent)임을 보이며, 이는 전체 예외적 컬렉션을 통한 추측된 동치를 확립한다.

ABSTRACT

We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.

연구 동기 및 목표

• 토릭 팬오 스택, 특히 프로젝티브 공간 Pⁿ에 대해 토러스-등변 호모로지 미러 대칭의 버전을 확립하기 위해.
• Pⁿ의 미러의 푸카야 카테고리 기술을 위한 조합적 도구로 트로피컬 코아모바를 도입하기 위해.
• 트로피컬 코아모바와 관련된 A∞-카테고리의 유도 카테고리가 Pⁿ 상의 T-등변 코herent sheaf의 유도 카테고리와 동치임을 증명하기 위해.
• 동일한 프레임워크를 통해 Pⁿ의 토릭 오비폴드에 대해 호모로지 미러 대칭을 일반화하기 위해.

제안 방법

• 실수 n차원 토러스 Tⁿ을 순서 n+1의 n+1개의 페르뮤토헤드론으로 분해하여 트로피컬 코아모바를 정의하고, 면과 codimension-2 면에 대해 차수 함수와 부호 함수를 부여한다.
• 차수 및 부호 데이터를 사용하여 트로피컬 코아모바에서 A∞-카테고리 AG를 구성하며, 이 카테고리가 미러 Lefschetz 필라션의 기본 커버의 푸카야 카테고리와 준동치임을 보장한다.
• 대칭군 Sn+1의 페르뮤토헤드론에 대한 작용을 이용하여 {1,…,n+1}의 집합 분할을 통한 면 및 면의 인cidenc을 정의한다.
• 토러스 T의 특성과 함께 층의 텐서곱을 객체로 할당하여 A∞-카테고리를 등변 설정으로 올리기 위해.
• Pⁿ 상에서 (Ωⁿ(n)[n], …, O)의 컬렉션이 전체 예외적 컬렉션을 이룬다는 결과를 적용하여 유도 카테고리의 동치를 보인다.
• 결과적으로 얻어진 A∞-카테고리 AG가 Pⁿ 상의 T-등변 코herent sheaf의 유도 카테고리와 준동치임을 증명함으로써 주 정리를 확립한다.

실험 결과

연구 질문

• RQ1 Pⁿ의 미러의 푸카야 카테고리는 실수 n차원 토러스의 분해를 통해 조합적으로 기술될 수 있는가?
• RQ2 트로피컬 코아모바 구성은 A∞-카테고리와 미러 Lefschetz 필라션의 기본 커버의 푸카야 카테고리 사이의 준동치를 제공하는가?
• RQ3 트로피컬 코아모바로부터 유도된 A∞-카테고리의 유도 카테고리는 Pⁿ 상의 T-등변 코herent sheaf의 유도 카테고리와 동치인가?
• RQ4 이 프레임워크는 Pⁿ의 토릭 오비폴드에 대해 토러스-등변 호모로지 미러 대칭을 증명하기 위해 확장될 수 있는가?

주요 결과

• Pⁿ의 미러에 대한 트로피컬 코아모바는 실수 n차원 토러스를 순서 n+1의 n+1개의 페르뮤토헤드론으로 분해함으로써 유도된다.
• 트로피컬 코아모바와 관련된 A∞-카테고리는 Lefschetz 필라션의 복수 커버로의 끌어올림의 푸카야 카테고리와 준동치이다.
• A∞-카테고리의 유도 카테고리는 Pⁿ 상의 T-등변 코herent sheaf의 유도 카테고리와 동치이며, 이는 Pⁿ에 대해 추측 1.1을 증명한다.
• 동치는 등변 설정으로 올라가며, 이는 Pⁿ 및 그 토릭 오비폴드에 대해 일반적인 호모로지 미러 대칭을 암시한다.
• 면에 대한 차수 함수는 분할 B₁ ⊔ B₂ = {1,…,n+1}에서 부분집합 B₂의 크기로 주어지며, 부호 함수는 외부 대수의 외적 곱의 부호에 의해 결정된다.
• 정수 선형 변환을 통한 뉴턴 다면체의 변환을 통해 이 구성은 토릭 오비폴드로 일반화되며, 더 넓은 범위의 토릭 팬오 스택에 대해 결과를 확장한다.