[論文レビュー] Cluster duality and mirror symmetry for Grassmannians

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

Algebraic structures and combinatorial models参考文献 31被引用数 12

ひとこと要約

本稿は、Grassmannian $\mathrm{Gr}_{n-k}(\mathbb{C}^n)$ から得られるニュートン-オクヌーフォー多面体 $NO_G^r$ と、鏡像 Landau-Ginzburg モデルにおけるスーパーポテンシャルのトロピカル化から得られる多面体 $Q_G^r$ の間の直接的な対応関係を確立する。クラスター構造とプラビックグラフを用いて、$A$-モデルと $B$-モデルの鏡像対称性に由来するこれら二つの多面体が一致することを証明し、Grassmannianにおけるクラスター双対性と鏡像対称性の間の新たな双対性を明らかにする。

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における鏡像対称性を、クラスター構造とプラビックグラフの観点から探求すること。
• Grassmannian $\mathrm{Gr}_{n-k}(\mathbb{C}^n)$ の $A$-モデルにおける正のチャートから、ニュートン-オクヌーフォー多面体 $NO_G^r$ を構成すること。
• $B$-モデルの Landau-Ginzburg モデルにおけるスーパーポテンシャル $W_{t^r} \circ \Phi_G^\vee$ のトロピカル化により、鏡像多面体 $Q_G^r$ を定義すること。
• 同じプラビックグラフ $G$ と整数 $r$ から生じる $A$-モデルと $B$-モデルの多面体の間の正確な幾何的対応関係を確立すること。

提案手法

• Postnikov および Talaska の正のチャート $\Phi_G: (\mathbb{C}^*)^{k(n-k)} \to \mathbb{X}$ の構成を、Grassmannian $\mathbb{X} = \mathrm{Gr}_{n-k}(\mathbb{C}^n)$ に適用する。
• Scott のクラスター・チャート $\Phi_G^\vee: (\mathbb{C}^*)^{k(n-k)} \to \check{\mathbb{X}}$ を、Langlands 双対 Grassmannian $\check{\mathbb{X}} = \mathrm{Gr}_k((\mathbb{C}^n)^*)$ に適用する。
• 線分束 $\mathcal{O}(r)$ 上の整数格子点に付随する凸包として、ニュートン-オクヌーフォー多面体 $NO_G^r$ を構成する。
• スーパーポテンシャル $W_q$ を Plücker座標で表現した $W_{t^r} \circ \Phi_G^\vee$ のトロピカル化により、鏡像多面体 $Q_G^r$ を定義する。
• プラビックグラフの組合せ論を活用して、$\mathbb{X}$ 上のクラスター構造と $\check{\mathbb{X}}^\circ$ 上の鏡像幾何を関連付ける。
• プラビックグラフ $G$ とパrameter $r$ に符号化された共有の組合せ論的データを通じて、$NO_G^r = Q_G^r$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 クラスター構造とプラビックグラフを用いて、Grassmannianの鏡像対称多面体をどのように構成できるか。
• RQ2 $A$-モデルにおけるニュートン-オクヌーフォー多面体と $B$-モデルにおけるトロピカル化されたスーパーポテンシャル多面体との間の正確な関係は何か。
• RQ3 $(\mathbb{X}$ と $\check{\mathbb{X}}$ 上のクラスター・チャートの双対性が、多面体の一致を通じて鏡像対称性を実現できるか。
• RQ4 プラビックグラフの組合せ論が、この鏡像双対性における $A$-モデルと $B$-モデルの構成をどの程度統合できるか。
• RQ5 鏡像空間 $\check{\mathbb{X}}^\circ$ 上のスーパーポテンシャル $W_q$ は、$A$-モデルからのニュートン-オクヌーフォー多面体と一致する多面体を生成するか。

主な発見

• 正のチャート $\Phi_G$ を用いて Grassmannian $\mathrm{Gr}_{n-k}(\mathbb{C}^n)$ から構成したニュートン-オクヌーフォー多面体 $NO_G^r$ は、鏡像 Landau-Ginzburg モデルにおける $W_{t^r} \circ \Phi_G^\vee$ のトロピカル化によって得られる多面体 $Q_G^r$ と一致する。
• $NO_G^r$ と $Q_G^r$ の一致は、任意のプラビックグラフ $G$ および任意の正の整数 $r$ に対して成り立つため、クラスター幾何と鏡像幾何の間の普遍的な双対性を確立する。
• この構成により、$A$-モデル Grassmannian 上のクラスター構造と $B$-モデルの鏡像スーパーポテンシャルの間の深いつながりが、同じプラビックグラフからの組合せ論的データを通じて明らかになる。
• この結果により、多面体を通じてクラスター双対性と鏡像対称性を結びつける、Grassmannianにおける鏡像対称性の新たな実現が得られる。
• 鏡像空間 $\check{\mathbb{X}}^\circ$ 上のスーパーポテンシャル $W_q$ は Plücker座標で簡単な形で表現可能であり、これにより $Q_G^r$ のトロピカル化による明示的計算が可能になる。
• $NO_G^r$ と $Q_G^r$ はともに同じ $k(n-k)$ 次元空間上に定義されており、その等価性は、この文脈における $A$-モデルと $B$-モデルの間の強い双対性を確認する。