[논문 리뷰] Polytopes and Skeleta

David Treumann, Eric Zaslow|arXiv (Cornell University)|2011. 09. 20.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 반사 다면체 쌍에서 레전드리안 공간 $\Lambda^\infty$를 구성하고, 카시와라-샤피라 이론을 통해 그 위에 dg 범주의 층을 부여한다. 저자들은 이 층이 큰 체적 극한 $Z^\vee_\infty$의 후카야 범주를 모델링할 것이라 추측하며, Danilov-Khovanskiïb2011에서 계산한 베텨 수와 일치하는 호모로지 계산을 통해 계산적 증거를 제시한다. 이 작업은 토릭 초곡면에 대해 큰 복소 구조 극한에서 호모로지 미러 대칭을 지지한다.

ABSTRACT

To each simplicial reflexive polytope in Z^(n+1), we attach an n-dimensional space, Lambda^\infty. It is the Legendrian boundary of a conic Lagrangian considered in work of the authors, Fang and Liu, and because of this it carries a sheaf of dg categories called the "Kashiwara-Schapira sheaf." We discuss some conjectures and results about the role that Lambda^\infty and the Kashiwara-Schapira sheaf should play in homological mirror symmetry.

연구 동기 및 목표

• 거의 모든 체적 극한 $Z^\vee_\infty$의 거대한 복소수 초곡면의 라그랑주 스켈레톤이 될 수 있는 위상공간 $\Lambda^\infty$를 정의하는 것.
• 카시와라-샤피라 이론을 사용하여 $\Lambda^\infty$에 dg 범주의 층을 부여하고, 이 층이 $Z^\vee_\infty$의 후카야 범주를 모델링할 것이라 추측하는 것.
• 다니요프와 코반스키이b2011에서 계산한 바와 같이, $\Lambda^\infty$의 호모로지가 $Z^\vee_\infty$의 베텨 수와 일치함을 보여주는 계산적 증거를 제공하는 것.
• 토릭 초곡면에 대해 큰 복소 구조 극한과 큰 체적 극한에서 콘체비치의 호모로지 미러 대칭 추측을 지지하는 것.
• 이 층의 전역 섹션들이 $\mathrm{Perf}(Z^\infty)$를 복원함으로써 기하학과 범주론을 연결하는 프레임워크를 수립하는 것.

제안 방법

• 쌍대 다면체 $\triangle^\vee$로부터 유도된, 컴acts 토리의 코타angent 번들의 접촉 경계 안의 레전드리안 부분다양체로 $\Lambda^\infty$를 구성하는 것.
• 그의 특이 라그랑주 구조를 활용하여, 카시와라-샤피라 층 기계를 사용해 $\Lambda^\infty$에 dg 범주의 층을 할당하는 것.
• $\Lambda^\infty$의 호모로지를 모델링하는 체인 복합체 $C_*$를 정의하며, $\triangle^\vee$의 꼭짓점과 변에서 유래한 생성자를 가지며, 면 포함 관계의 조합론에 의해 미분이 표현되는 것.
• 면에 관련된 $G_F$-군 간의 사상의 행렬 표현을 사용하여 $C_*$의 호모로지를 계산하고, Sage를 통해 스미스 정규형으로 환원하는 것.
• 194개의 면이 삼각형인 3차원 반사 다면체에 대해 Sage 워크시트를 사용해 자동화된 계산을 수행하며, 면 포함 사상의 행렬을 이용하는 것.
• 결과적으로 얻은 베텨 수를 Danilov-Khovanskiïb2011에서의 값과 비교하여 일치 여부를 확인하는 것.

실험 결과

연구 질문

• RQ1 $\Lambda^\infty$가 큰 체적 극한에서의 아핀 초곡면 $Z^\vee_\infty$와 호모토피 동치인가?
• RQ2 카시와라-샤피라 층이 $\Lambda^\infty$ 위에 정의된 것으로, $Z^\vee_\infty$의 컴acts 라그랑주 브레인의 후카야 범주를 모델링하는가?
• RQ3 $\Lambda^\infty \to \partial\triangle^\vee$에 대한 레일리 스펙트럴 시퀀스가 $\mathbb{Q}$ 위에서 $E^2$에서 분해되는가? (추측함)
• RQ4 $\Lambda^\infty$의 호모로지를 알고리즘적으로 계산하고, 이 결과가 $Z^\vee_\infty$의 베텨 수와 일치하는가?
• RQ5 층의 전역 섹션의 범주가 기대되는 바와 같이 $\mathrm{Perf}(Z^\infty)$와 동치인가?

주요 결과

• 체인 복합체 $C_*$를 통한 $\Lambda^\infty$의 호모로지 계산 결과, $H_0(\Lambda^\infty) \cong \mathbb{Q}$ 및 $H_1(\Lambda^\infty) \cong \mathbb{Q}^3 \oplus \mathbb{Q}^7$를 얻었으며, 이는 $Z^\vee_\infty$의 베텨 수와 일치한다.
• 표준 단체 $\triangle^\vee = \mathrm{conv}\{v_1,v_2,v_3\}$의 경우, 미분 행렬 $\partial: \mathbb{Q}^9 \to \mathbb{Q}^3$의 랭크는 2이며, 이에 따라 $\dim H_0 = 1$ 및 $\dim H_1 = 10$이 되어, $Z^\vee_\infty$가 아홉 점을 뺀 타원곡선임을 일관되게 반영한다.
• 194개의 면이 삼각형인 3차원 반사 다면체에 대해 계산된 베텬 수가 다니요프와 코반스키이b2011의 결과와 일치한다.
• $\Lambda^\infty \to \partial\triangle^\vee$에 대한 레일리 스펙트럴 시퀀스의 $E^2$ 페이지가 $\mathbb{Q}$ 위에서 분해된다고 추측되며, 이는 $\Lambda^\infty$와 $Z^\vee_\infty$ 사이의 호모토피 동치를 지지한다.
• Sage에서의 알고리즘 구현은 $G_F$-군 간 사상의 랭크와 핵을 정확히 계산하여 $\mathbb{Z}$ 위에서의 호모로지에 대한 자동 검증을 가능하게 한다.
• 층의 dg 범주가 $Z^\vee_\infty$의 후카야 범주와 동치일 것이라 추측되며, 그 전역 섹션은 기대되는 $\mathrm{Perf}(Z^\infty)$를 복원할 것으로 기대된다.