[논문 리뷰] Cluster duality and mirror symmetry for Grassmannians

Konstanze Rietsch, Lauren Williams|arXiv (Cornell University)|2015. 07. 28.

Algebraic structures and combinatorial models참고 문헌 31인용 수 12

한 줄 요약

이 논문은 그라스만이안 $\mathrm{Gr}_{n-k}(\mathbb{C}^n)$ 에서 유도된 뉴턴-오쿠누요프 다면체 $NO_G^r$ 와 거울 리만-진스부르크 모델의 슈퍼포텐셜을 토벌라티징함으로써 유도된 다면체 $Q_G^r$ 사이의 직접적 대응을 확립한다. 클러스터 구조와 플라빅 그래프를 이용하여, 이 둘의 다면체—거울 대칭의 $A$-모델과 $B$-모델에서 유도된 것—이 일치함을 증명함으로써, 그라스만이안에서 클러스터 대칭성과 거울 대칭성 사이의 새로운 이중성 관계를 드러낸다.

ABSTRACT

In this article we use the cluster structure on the Grassmannian and the combinatorics of plabic graphs to exhibit a new aspect of mirror symmetry for Grassmannians in terms of polytopes. For our $A$-model, we consider the Grassmannian $\mathbb X=Gr_{n-k}(\mathbb{C}^n)$. The $B$-model is a Landau-Ginzburg model $(\check{\mathbb X}^\circ, W_q:\check{\mathbb X}^\circ o \mathbb{C})$, where $\check{\mathbb X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{\mathbb X} = Gr_k((\mathbb{C}^n)^*)$, and the superpotential $W_q$ has a simple expression in terms of Plücker coordinates, see [MarshRietsch]. From a given plabic graph $G$ we obtain two coordinate systems: using work of Postnikov and Talaska we have a positive chart $Φ_G:(\mathbb{C}^*)^{k(n-k)} o \mathbb X$ in our $A$-model, and using work of Scott we have a cluster chart $Φ_G^{\vee}:(\mathbb{C}^*)^{k(n-k)} o \check{\mathbb X}$ in our $B$-model. To each positive chart $Φ_G$ and choice of positive integer $r$, we associate a polytope $NO_G^r$, which we construct as the convex hull of a set of integer lattice points. This polytope is an example of a Newton-Okounkov polytope associated to the line bundle $\mathcal O(r)$ on $\mathbb X$. On the other hand, using the cluster chart $Φ_G^{\vee}$ and the same positive integer $r$, we obtain a polytope $Q_G^r$ -- described in terms of inequalities -- by "tropicalizing" the composition $W_{t^r}\circ Φ_G^{\vee}$. Our main result is that the polytopes $NO_G^r$ and $Q_G^r$ coincide.

연구 동기 및 목표

• 그라스만이안에 대한 클러스터 구조와 플라빅 그래프의 관점에서 거울 대칭을 탐구하기.
• Grassmannian $\mathrm{Gr}_{n-k}(\mathbb{C}^n)$ 의 $A$-모델에서 양의 차트를 통해 뉴턴-오쿠누요프 다면체 $NO_G^r$ 를 구성하기.
• 거울 리만-진스부르크 모델의 $B$-모델에서 슈퍼포텐셜 $W_{t^r} \circ \Phi_G^\vee$ 의 토벌라티징을 통해 거울 다면체 $Q_G^r$ 를 정의하기.
• 동일한 플라빅 그래프 $G$ 와 정수 $r$ 에서 유도된 $A$-모델과 $B$-모델 다면체 사이의 정확한 기하적 대응을 확립하기.

제안 방법

• 그라스만이안 $\mathbb{X} = \mathrm{Gr}_{n-k}(\mathbb{C}^n)$ 에서의 양의 차트 $\Phi_G: (\mathbb{C}^*)^{k(n-k)} \to \mathbb{X}$ 의 포스트니코프와 탈라스카의 구성 사용.
• $\check{\mathbb{X}} = \mathrm{Gr}_k((\mathbb{C}^n)^*)$ 인 랭글랜즈 쌍대 그라스만이안에서 스코트의 클러스터 차트 $\Phi_G^\vee: (\mathbb{C}^*)^{k(n-k)} \to \check{\mathbb{X}}$ 적용.
• $\mathbb{X}$ 에서의 선다발 $\mathcal{O}(r)$ 와 관련된 정수 격자점들의 볼록 hull 로서 뉴턴-오쿠누요프 다면체 $NO_G^r$ 를 구성하기.
• 슈퍼포텐셜 $W_q$ 가 플루커 좌표에서 표현된 $W_{t^r} \circ \Phi_G^\vee$ 의 토벌라티징을 통해 거울 다면체 $Q_G^r$ 를 정의하기.
• 플라빅 그래프의 조합론을 활용하여 $\mathbb{X}$ 의 클러스터 구조와 $\check{\mathbb{X}}^\circ$ 의 거울 기하학 사이의 관계를 연결하기.
• 플라빅 그래프 $G$ 와 매개변수 $r$ 에 의해 인코딩된 동일한 조합론적 자료를 통해 $NO_G^r = Q_G^r$ 를 확립하기.

실험 결과

연구 질문

• RQ1 클러스터 구조와 플라빅 그래프를 어떻게 활용하여 그라스만이안에 대한 거울 대칭 다면체를 구성할 수 있는가?
• RQ2 A-모델에서 유도된 뉴턴-오쿠누요프 다면체와 B-모델에서 토벌라티징된 슈퍼포텐셜 다면체 사이의 정확한 관계는 무엇인가?
• RQ3 클러스터 차트 $\mathbb{X}$ 와 $\check{\mathbb{X}}$ 사이의 대칭성이 다면체 일치를 통해 거울 대칭을 실현하는 데 사용될 수 있는가?
• RQ4 플라빅 그래프의 조합론은 이 거울 대칭에서 $A$-모델과 $B$-모델의 구성 방식을 어느 정도 통합하는가?
• RQ5 거울 공간 $\check{\mathbb{X}}^\circ$ 에서의 슈퍼포텐셜 $W_q$ 는 $A$-모델에서 유도된 뉴턴-오쿠누요프 다면체와 일치하는 다면체를 생성하는가?

주요 결과

• 그라스만이안 $\mathrm{Gr}_{n-k}(\mathbb{C}^n)$ 의 양의 차트 $\Phi_G$ 에서 유도된 뉴턴-오쿠누요프 다면체 $NO_G^r$ 는 거울 리만-진스부르크 모델에서 $W_{t^r} \circ \Phi_G^\vee$ 의 토벌라티징을 통해 유도된 다면체 $Q_G^r$ 와 정확히 일치한다.
• $NO_G^r$ 와 $Q_G^r$ 의 일치는 임의의 플라빅 그래프 $G$ 와 임의의 양의 정수 $r$ 에 대해 성립하며, 이는 클러스터 기하학과 거울 기하학 사이의 보편적인 이중성 관계를 확립한다.
• 이 구성은 $A$-모델 그라스만이안의 클러스터 구조와 $B$-모델의 거울 슈퍼포텐셜 사이에 깊은 연결 고리가 플라빅 그래프에서 유도된 동일한 조합론적 자료를 통해 존재함을 보여준다.
• 이 결과는 다면체를 통한 거울 대칭의 새로운 실현 방식을 제공하며, 공통 기하 객체를 통해 클러스터 대칭성과 거울 대칭성을 연결한다.
• 거울 공간 $\check{\mathbb{X}}^\circ$ 에서의 슈퍼포텐셜 $W_q$ 는 플루커 좌표에서 간단한 표현을 가지며, 이는 $Q_G^r$ 의 토벌라티징을 통한 명시적 계산을 가능하게 한다.
• $NO_G^r$ 와 $Q_G^r$ 는 모두 동일한 $k(n-k)$ 차원 공간에 정의되며, 그들의 일치는 이 설정에서 $A$-모델과 $B$-모델 사이의 강력한 이중성 관계를 확인한다.