mirror symmetry는 toric variety의 경우 Hori-Vafa construction을 통해 구체적인 superpotential을 얻을 수 있지만, Grassmannian과 같은 non-toric homogeneous space에서는 그 구성이 훨씬 덜 자명하다. (§Mirror Symmetry 개요, ⁋mirror symmetry의 기본 직관) Marsh와 Rietsch는 Grassmannian $Gr(k,n)$의 mirror dual로서 랑글랑즈 쌍대 Grassmannian $Gr_{n-k}((\mathbb{C}^n)^\ast)$ 위에 Landau-Ginzburg model을 제시하였고, 그 superpotential $W_q$는 Plücker coordinate의 비율로 표현된다. (§Marsh–Rietsch Superpotential, ⁋정의 5)
$W_q$는 단순한 유리함수처럼 보이지만, Grassmannian의 coordinate ring이 가지는 cluster algebra 구조를 이용하면 임의의 cluster chart에서 Laurent polynomial으로 재표현할 수 있다. 이는 cluster algebra의 기본 정리인 Laurent phenomenon의 직접적인 응용이며, mirror symmetry 관점에서는 $W_q$의 tropicalization을 통해 Newton-Okounkov body를 구성하는 데 필수적인 단계가 된다. 본 글에서는 cluster algebra의 기본 개념부터 시작하여, Grassmannian $Gr(k,n)$ 위의 cluster structure, Postnikov diagram과 plabic graph를 통한 combinatorial realization, 그리고 마지막으로 $W_q$가 각 cluster chart에서 어떻게 Laurent polynomial으로 전개되는지를 살펴 본다.
Cluster algebra의 기본 정의
Cluster algebra는 Fomin과 Zelevinsky에 의해 도입된 교환대수의 특수한 부류로서, 생성원들이 겹쳐지는 부분집합인 cluster로 묶이고, 이들 사이의 관계가 combinatorial rule인 mutation에 의해 지배된다. 우리는 먼저 이 구조의 정확한 정의를 제시한다.
정의 1 Field $\mathcal{F}$를 $\mathbb{Q}$ 위의 유리함수체로 두자. Seed $\Sigma = (\mathbf{x}, \mathbf{\tilde{x}}, B)$는 다음 세 가지 데이터로 이루어진다.
- Cluster $\mathbf{x} = (x_1, \ldots, x_n)$: $\mathcal{F}$의 원소 중 $\mathbb{Q}$ 위에서 대수적으로 독립인 $n$개의 tuple이다.
- Frozen variables를 포함한 extended cluster $\mathbf{\tilde{x}} = (x_1, \ldots, x_n, x_{n+1}, \ldots, x_{n+m})$: cluster에 추가적으로 $m$개의 원소를 더한 것이다. 여기서 $x_{n+1}, \ldots, x_{n+m}$은 frozen variables라 불리며, 모든 seed에서 공통으로 등장한다.
- Extended exchange matrix $\tilde{B}$: $(n+m) \times n$ 정수행렬로서, 위의 $n \times n$ 부분행렬 $B$를 exchange matrix라 부른다. $B$는 skew-symmetrizable이다. 즉, 어떤 대각행렬 $D = \operatorname{diag}(d_1, \ldots, d_n)$에 대해 $DB$가 skew-symmetric이다.
Seed의 핵심적인 연산은 mutation이다. Mutation은 주어진 seed에서 새로운 seed를 생성하는 절차이며, 이는 cluster algebra의 모든 생성원을 iterative하게 만들어 낸다.
정의 2 Seed $\Sigma = (\mathbf{x}, \mathbf{\tilde{x}}, \tilde{B})$와 방향 $k \in {1, \ldots, n}$이 주어졌을 때, mutation $\mu_k$에 의해 새로 얻어지는 seed $\mu_k(\Sigma) = (\mathbf{x}’, \mathbf{\tilde{x}}’, \tilde{B}’)$는 다음과 같이 정의된다.
Exchange matrix는
\[b'_{ij} = \begin{cases} -b_{ij} & \text{if } i=k \text{ or } j=k, \\ b_{ij} + \operatorname{sgn}(b_{ik})[b_{ik}b_{kj}]_+ & \text{otherwise} \end{cases}\]로 주어지며, 여기서 $[a]_+ = \max(a, 0)$이다. Cluster variables는 $x’_j = x_j$ ($j \neq k$)이고, 새로운 $x’_k$는 exchange relation
\[x_k x'_k = \prod_{i: b_{ik}>0} x_i^{b_{ik}} + \prod_{i: b_{ik}<0} x_i^{-b_{ik}}\]로 정의된다. Frozen variables는 변하지 않는다.
Mutation은 그 정의상 방향 $k$에 대해 involution이 된다. 즉 $\mu_k(\mu_k(\Sigma)) = \Sigma$이다. 이제 initial seed로부터 arbitrary sequence of mutations를 통해 얻어지는 모든 cluster variable들을 포함하는 대수를 정의할 수 있다.
정의 3 Initial seed $\Sigma_0$가 주어졌을 때, 이로부터 mutation을 통해 얻어지는 모든 seed들의 집합을 고려한다. Cluster algebra $\mathcal{A}(\Sigma_0)$는 $\mathcal{F}$의 $\mathbb{Z}[x_{n+1}^{\pm 1}, \ldots, x_{n+m}^{\pm 1}]$-subalgebra로서, 모든 cluster variable들로 생성되는 대수이다.
Cluster algebra 이론의 가장 기본적이고 놀라운 결과는 다음의 Laurent phenomenon이다.
정리 4 (Laurent phenomenon) Cluster algebra $\mathcal{A}(\Sigma_0)$의 임의의 cluster variable $u$와 임의의 seed $\Sigma = (\mathbf{x}, \mathbf{\tilde{x}}, \tilde{B})$에 대하여, $u$는 $\mathbf{x}$에 관한 Laurent polynomial으로 표현된다. 즉,
\[u \in \mathbb{Z}[x_{n+1}^{\pm 1}, \ldots, x_{n+m}^{\pm 1}][x_1^{\pm 1}, \ldots, x_n^{\pm 1}].\]증명
Laurent phenomenon의 증명은 Fomin-Zelevinsky의 원논문에서 주어지며, induction on the distance from the initial seed in the exchange graph를 통해 이루어진다. 핵심 아이디어는 mutation formula 자체가 Laurent monomials의 합으로 주어지며, 이를 iterative하게 적용할 때 매 단계에서 Laurent polynomial의 성질이 유지됨을 보이는 것이다. 구체적으로, seed $\Sigma$에서 $\mu_k$를 적용하여 $\Sigma’$를 얻었을 때, $\Sigma’$의 cluster variable들은 $\Sigma$의 cluster variable들에 대한 Laurent polynomial이 된다. 따라서 exchange graph상의 임의의 경로를 따라 inductive하게 이 성질을 전파시킬 수 있다. Positivity, 즉 계수가 음이 아닌 정수가 됨은 Gross-Hacking-Keel-Kontsevich에 의해 일반적인 skew-symmetrizable 경우에 증명되었다.
Laurent phenomenon은 cluster algebra가 가지는 가장 강력한 성질 중 하나이다. 이는 임의의 cluster variable이 임의의 다른 cluster 좌표계에서도 pole을 가지지 않는다는 사실을 보장하며, geometrically는 birational transformation인 mutation이 좌표환의 intersection에 해당함을 암시한다.
Grassmannian의 cluster structure
Grassmannian $Gr(k,n)$은 $\mathbb{C}^n$의 $k$-차원 부분공간들의 moduli space이다. 이들의 Plücker embedding을 통해 얻어지는 homogeneous coordinate ring $\mathbb{C}[Gr(k,n)]$은 자연스럽게 cluster algebra 구조를 가지며, 이는 Scott에 의해 체계적으로 확립되었다.
정리 5 (Scott) Grassmannian $Gr(k,n)$의 homogeneous coordinate ring $\mathbb{C}[Gr(k,n)]$은 geometric type의 cluster algebra 구조를 가진다. 즉, 적절한 initial seed를 선택하면 그로부터 생성되는 cluster algebra가 $\mathbb{C}[Gr(k,n)]$과 일치한다.
증명
Scott의 증명의 핵심은 Postnikov diagram을 이용한 explicit한 seed 구성이다. 먼저 $Gr(k,n)$의 dimension은 $k(n-k)$이므로, 이에 해당하는 개수의 mutable cluster variable을 갖는 seed를 구성해야 한다. Postnikov diagram의 alternating region들은 각각 $k$-subset $I \subseteq {1, \ldots, n}$에 대응하며, 이에 Plücker coordinate $\Delta^I$를 할당한다. Scott은 이러한 region들의 집합이 maximal weakly separated collection을 이룸을 보였고, 이들이 algebraically independent함을 확인하였다. Exchange matrix는 region들 사이의 adjacency와 cyclic order를 반영하여 구성된다. 마지막으로, 임의의 두 Postnikov diagram이 geometric exchange라 불리는 local move의 sequence를 통해 연결됨을 보이고, 이 move가 cluster mutation에 대응함을 확인함으로써 증명을 완성한다. 특히 geometric exchange는 short Plücker relation과 정확히 일치한다.
$Gr(k,n)$ 위의 cluster structure에서 중요한 특징은 모든 Plücker coordinates가 cluster variable이거나 frozen variable이 된다는 점이다. 다만 $2 < k < n-2$인 경우에는 Plücker coordinate 외에도 무수히 많은 cluster variable이 존재한다. 반면 $k=2$인 경우에는 모든 cluster variable이 Plücker coordinate에 해당하므로 상황이 훨씬 단순해진다.
$Gr(2,n)$의 경우를 좀 더 자세히 살펴 보자. $Gr(2,n)$의 Plücker coordinates는 $p_{ij}$ ($1 \le i < j \le n$)로 주어지며, 이들은 다음의 short Plücker relation을 만족한다.
\[p_{ac} p_{bd} = p_{ab} p_{cd} + p_{ad} p_{bc}\]여기서 $a,b,c,d$는 cyclically ordered되어 있고 $a < b < c < d$라 가정한다. 이 관계식은 고대부터 알려진 Ptolemy relation과 동형이다.
명제 6 $Gr(2,n)$의 cluster structure는 $A_{n-3}$ type의 cluster algebra와 동형이다. 각 seed는 정$n$-각형의 한 triangulation에 대응하며, mutable cluster variables는 triangulation을 이루는 diagonal들에 해당하는 Plücker coordinates $p_{ij}$이다. Frozen variables는 boundary edge $p_{i,i+1}$들이다. Mutation은 quadrilateral flip, 즉 한 diagonal을 교차하는 다른 diagonal로 교체하는 연산에 대응하며, 이 때의 exchange relation은 위의 short Plücker relation이 된다.
증명
정$n$-각형 $P_n$의 한 triangulation $T$를 고정하자. $T$는 정확히 $n-3$개의 diagonal을 포함하며, 이는 $A_{n-3}$ type cluster algebra의 rank와 일치한다. 각 diagonal $(i,j)$에 Plücker coordinate $p_{ij}$를 대응시키고, boundary edge $(i,i+1)$에 $p_{i,i+1}$를 대응시킨다. $T$에서 임의의 diagonal $(a,c)$를 포함하는 두 삼각형이 $(a,b,c)$와 $(a,c,d)$로 주어진다고 하자. 이들은 사각형 $(a,b,c,d)$를 이루며, 여기서 $a<b<c<d$이다. Diagonal flip은 $(a,c)$를 $(b,d)$로 교체하는 것이며, 이에 해당하는 exchange relation은
\[p_{ac} p_{bd} = p_{ab} p_{cd} + p_{ad} p_{bc}\]이다. 이는 $Gr(2,n)$의 coordinate ring에서 성립하는 Plücker relation이므로, 이 대응이 실제로 cluster algebra 구조를 주며, $A_{n-3}$ type의 Dynkin diagram에 의해 분류됨을 확인할 수 있다.
Postnikov diagram과 plabic graph
Grassmannian 위의 cluster structure를 explicit하게 구성하기 위한 핵심적인 combinatorial 도구가 바로 Postnikov diagram이다. Postnikov diagram은 원판 위에 그려진 strand들의 배열로서, totally positive Grassmannian의 stratification을 기술하는 데 사용된다.
정의 7 Postnikov diagram (또는 alternating strand diagram) of type $(k,n)$은 원판 $D$ 위에 그려진 $n$개의 directed curve, 즉 strand들의 배열 $\mathcal{D} = {c_i}_{i=1}^n$로서 다음 조건들을 만족한다.
- Strand $c_i$는 boundary vertex $i$에서 시작하여 boundary vertex $\pi(i)$에서 끝나며, $\pi$는 ${1, \ldots, n}$ 위의 permutation이고 $\pi(i) - i \equiv k \pmod{n}$을 만족한다.
- Strand들은 서로 transversal하게 교차하며, triple intersection은 없다.
- 각 교차점을 지날 때 strand들은 번갈아가며 위아래를 바꾼다(alternating property).
- Diagram의 각 connected component, 즉 region은 simply connected이고, boundary를 따라 나열된 strand들의 방향이 교대로 나타난다.
Postnikov diagram의 각 region은 자연스럽게 $k$-subset $I \subseteq {1, \ldots, n}$에 label될 수 있다. 구체적으로, 어떤 region이 boundary vertex $i$에 인접해 있고 strand $c_i$가 이 region을 왼쪽에서 지나간다면, 이 region의 label $I$는 $i$를 포함한다. Scott은 이러한 alternating region들의 label 집합이 maximal weakly separated collection을 이룸을 보였다.
Postnikov diagram에 대응하는 dual graph가 plabic graph이다.
정의 8 Plabic graph (planar bicolored graph) $\Gamma$는 원판 $D$ 위에 그려진 planar graph로서, internal vertex들이 모두 검정색(black) 또는 흰색(white)으로 색칠되어 있고, degree가 각각 $\ge 3$인 것이다. Boundary vertex $1, \ldots, n$은 원주 위에 cyclically 배열된다.
Plabic graph $\Gamma$에서 trip은 다음 규칙에 따라 진행되는 경로이다: 검정색 정점에서는 들어온 edge의 다음 edge를 오른쪽으로 선택하고, 흰색 정점에서는 왼쪽으로 선택한다. 각 trip은 boundary vertex $i$에서 시작하여 다른 boundary vertex $j$에서 끝난다. 이로부터 얻어지는 permutation을 trip permutation이라 한다.
Postnikov diagram $\mathcal{D}$로부터 plabic graph $\Gamma$를 얻는 방법은 다음과 같다. $\mathcal{D}$의 각 region에 vertex를 두고, 두 region이 공통 boundary를 공유하면 해당 vertex들을 edge로 연결한다. 이렇게 얻어진 graph의 vertex들은 $\mathcal{D}$의 교차점 주변에서 alternating 성질에 의해 자연스럽게 black/white coloring을 갖게 된다. 특히 $\mathcal{D}$의 strand들은 $\Gamma$의 face들 사이의 경계에 대응하며, 이 face들에 할당된 label이 바로 Scott이 사용한 $k$-subset이 된다.
Plabic graph의 face $f$에 할당된 label을 $I(f)$라 하자. Scott의 결과에 의하면, 이러한 face label $I(f)$에 대응하는 Plücker coordinate $\Delta^{I(f)}$들이 cluster variable을 이룬다.
Perfect matching과 face weight
Plabic graph는 Grassmannian의 coordinate chart를 주는 parametrization으로도 사용된다. 이를 위해서는 graph의 edge에 적절한 weight를 부여하고, 이를 통해 Plücker coordinate를 계산하는 방법이 필요하다.
정의 9 Plabic graph $\Gamma$의 perfect matching (더 정확히는 almost perfect matching) $M$은 edge들의 부분집합으로서, 모든 internal vertex를 정확히 한 번씩 덮고, boundary vertex는 덮지 않거나 한 번씩 덮는 것이다. 만약 $M$이 boundary vertex $i_1, \ldots, i_s$를 덮는다면, 이 matching의 boundary는 $\partial M = {i_1, \ldots, i_s}$이다.
Lam과 Postnikov-Speyer-Williams에 의해 발전된 이론에 따르면, plabic graph $\Gamma$의 각 edge $e$에 independent variable $x_e \in \mathbb{C}^\times$를 weight로 할당할 수 있다. Face $f$의 weight는 그 경계에 있는 edge weight들의 곱으로 정의된다. 좀 더 정확히, alternating product를 사용하여 face monomial을 정의한다.
주어진 plabic graph $\Gamma$와 edge weight $x_e$에 대하여, face $f$의 weight $w(f)$는 다음과 같이 정의된다. 우선 각 edge $e$의 양 끝에 있는 두 face를 $f_1, f_2$라 하자. 그러면 $w(f)$는 $e$가 $f$의 경계에 놓일 때 $x_e$ 또는 $x_e^{-1}$의 곱으로 주어지며, 구체적으로는 dual graph에서의 orientation을 고려하여 일관되게 부호를 배정한다. 대신 보다 표준적인 방법은 boundary measurement map을 사용하는 것이다.
Boundary measurement map $\Phi_\Gamma: (\mathbb{C}^\times)^{E} \to Gr(k,n)$은 다음과 같이 정의된다. 각 boundary subset $J$에 대하여, boundary가 $J$인 almost perfect matching들의 weight 합을 $P_J$로 두면, 이들이 Plücker coordinate를 이룬다. 즉,
\[\Delta^J = \sum_{\partial M = J} \prod_{e \in M} x_e\]로 주어진다. 여기서 $J$는 $k$-subset이며, 이로부터 얻어진 $(\Delta^J)$가 Grassmannian의 point를 결정한다.
이 construction의 핵심은 임의의 face $f$에 대해, 그 face에 인접한 edge weight들의 monomial $x^{\mathbf{a}}$를 적절히 정의하면, Plücker coordinate $\Delta^{I(f)}$가 face monomial들의 Laurent monomial로 표현된다는 사실이다. 구체적으로, 각 face $f$에 monomial $x^{\mathbf{a}(f)}$를 할당하고, 이들의 ratio를 취하면 cluster chart를 얻는다. 이는 plabic graph가 Grassmannian의 toric chart를 주는 구체적인 방법이며, 이 chart 위에서는 모든 Plücker coordinates가 Laurent polynomial이 된다.
Marsh-Rietsch superpotential $W_q$와 cluster expansion
Marsh와 Rietsch는 Grassmannian $X = Gr(k, \mathbb{C}^n)$의 mirror dual로서 랑글랑즈 쌍대 Grassmannian $\check{X} = Gr_{n-k}((\mathbb{C}^n)^\ast)$를 제시하였다. 이 mirror dual 위에서는 anti-canonical divisor $\hat{D}$의 보충집합
\[\check{X}^\circ = \check{X} \setminus \hat{D} = \{ x \in \check{X} \mid p_{J_i}(x) \neq 0 \; \forall i \in [n] \}\]위에 superpotential $W_q$가 정의된다. 여기서 $J_i = [i+1, i+k]$는 cyclic interval이며, $p_{J_i}$는 이에 대응하는 Plücker coordinate이다.
정의 10 Marsh-Rietsch superpotential $W_q: \check{X}^\circ \to \mathbb{C}$는 다음과 같이 정의된다. 먼저 $J_i^* = [i+1, i+k-1] \cup {i+k+1}$ (indices mod $n$)로 정의하자. 그러면
\[W_q = \sum_{m=1}^{n-k-1} \frac{p_{J_m^*}}{p_{J_m}} + q \frac{p_{J_{n-k}^*}}{p_{J_{n-k}}} + \sum_{m=n-k+1}^{n} \frac{p_{J_m^*}}{p_{J_m}}\]로 주어진다. 여기서 $q$는 quantum parameter이며, $p_{J_i}$는 frozen variables로 간주될 수 있다.
$W_q$의 정의에서 각 항은 Plücker coordinate의 비율이므로, $W_q$는 $\check{X}^\circ$ 위의 regular function이다. 그러나 이 표현 자체는 임의의 cluster chart에서 Laurent polynomial임을 직접적으로 보여주지 않는다. 왜냐하면 numerator에 있는 $p_{J_m^*}$들이 단일 cluster에 속하지 않을 수 있기 때문이다.
명제 11 Marsh-Rietsch superpotential $W_q$는 $\check{X}^\circ$의 coordinate ring이 가지는 cluster algebra $\mathcal{A}$에 속한다. 즉, $W_q$는 cluster algebra의 원소로서, 임의의 extended cluster $\mathbf{\tilde{x}}$에 대하여 $W_q$는 $\mathbf{\tilde{x}}$의 원소들에 대한 Laurent polynomial으로 표현된다.
증명
$W_q$의 각 항은 $p_{J_m^} / p_{J_m}$의 꼴이다. 분모에 있는 $p_{J_m}$은 frozen variable이므로, cluster algebra의 임의의 extended cluster에 항상 포함된다. 분자에 있는 $p_{J_m^}$는 Plücker coordinate이므로 Scott의 결과에 의해 cluster variable이다. 따라서 Laurent phenomenon (정리 4)에 의해, $p_{J_m^}$는 임의의 extended cluster $\mathbf{\tilde{x}}$에 대하여 Laurent polynomial $p_{J_m^} = L_m(\mathbf{\tilde{x}}) \in \mathbb{Z}[\mathbf{\tilde{x}}^{\pm 1}]$으로 표현된다. 이로부터
\[\frac{p_{J_m^*}}{p_{J_m}} = p_{J_m}^{-1} L_m(\mathbf{\tilde{x}})\]역시 Laurent polynomial이 된다. $W_q$는 이러한 항들의 합이므로, 각 cluster chart에서 Laurent polynomial이다.
더욱 구체적으로, Marsh와 Rietsch는 rectangles cluster라 불리는 특별한 seed를 도입하여, $W_q$를 명시적인 Laurent polynomial으로 전개하였다. Rectangles cluster에서는 cluster variables가 직사각형 모양의 Young diagram에 대응하는 Plücker coordinates로 주어진다. 이 cluster에서 $W_q$의 각 항은 단일 cluster monomial이 아닐 수 있지만, mutation을 통해 적절한 cluster로 변환하면 각 항이 단순한 monomial ratio가 되도록 할 수 있다.
명제 12 Rectangles cluster $G_{\text{rec}}$에서 Marsh-Rietsch superpotential $W_q$는 다음과 같이 명시적으로 Laurent polynomial으로 표현된다. $i \times j$가 $i$행 $j$열의 직사각형 Young diagram에 대응하는 Plücker coordinate $p_{i \times j}$를 나타낸다고 하자. 그러면
\[W_q = \frac{p_{1 \times 1}}{p_\emptyset} + \sum_{i=2}^{n-k} \sum_{j=1}^{k} \frac{p_{i \times j} p_{(i-2) \times (j-1)}}{p_{(i-1) \times (j-1)} p_{(i-1) \times j}} + q \frac{p_{(n-k-1) \times (k-1)}}{p_{(n-k) \times k}} + \sum_{i=1}^{n-k} \sum_{j=2}^{k} \frac{p_{i \times j} p_{(i-1) \times (j-2)}}{p_{(i-1) \times (j-1)} p_{i \times (j-1)}}\]로 주어진다. 여기서 $p_\emptyset = 1$이며, $i$나 $j$가 $0$인 경우 해당 Plücker coordinate는 $1$로 처리된다.
증명
증명은 Marsh-Rietsch의 원논문에 의존한다. Rectangles cluster에서 각 Plücker coordinate $p_{J_m}$과 $p_{J_m^}$를 rectangle cluster variables로 표현하면, Young diagram의 추가/제거 규칙에 의해 위의 ratio가 성립함을 확인할 수 있다. 구체적으로, $J_m$이 직사각형 diagram에 대응할 때 $J_m^$는 이 직사각형에 한 개의 box를 추가하거나 rim hook을 제거한 diagram에 대응한다. Plücker coordinate 사이의 관계는 determinantal identity를 통해 유도되며, 이 identity가 rectangles cluster 내에서 위와 같은 monomial ratio를 이룸을 보일 수 있다. 계수 $q$를 포함하는 항은 $m = n-k$인 경우로서, 이 때 $J_{n-k}$는 가장 큰 직사각형 $(n-k) \times k$에 대응하고, $J_{n-k}^*$는 이로부터 rim hook을 제거한 $(n-k-1) \times (k-1)$에 대응한다.
이러한 명시적인 Laurent expansion은 mirror symmetry에서 중요한 역할을 한다. 구체적으로, $W_q$를 임의의 cluster chart $\mathbf{x}_G$에 대해 전개한 후, 이에 valuation을 적용하여 tropicalization을 취하면, 그 결과로 얻어지는 superpotential polytope $\Gamma_G$가 Newton-Okounkov body $\Delta_G$와 일치함이 알려져 있다. 이는 cluster structure가 toric degeneration과 밀접하게 연결되어 있음을 보여주는 강력한 결과이다.
예시: $Gr(2,4)$와 $Gr(2,5)$
구체적인 이해를 위해 가장 단순한 두 예시를 살펴 보자.
예시 13 ($Gr(2,4)$) $Gr(2,4)$의 coordinate ring은 $A_1$ type cluster algebra이다. Plücker coordinates는 $\Delta^{12}, \Delta^{13}, \Delta^{14}, \Delta^{23}, \Delta^{24}, \Delta^{34}$이며, 이들 사이의 유일한 Plücker relation은
\[\Delta^{13} \Delta^{24} = \Delta^{12} \Delta^{34} + \Delta^{14} \Delta^{23}\]이다. 여기서 $\Delta^{12}, \Delta^{23}, \Delta^{34}, \Delta^{14}$는 frozen variables로 간주되고, $\Delta^{13}$가 유일한 mutable cluster variable이다. Mutation $\mu_1$를 적용하면
\[\Delta^{13} \cdot \Delta^{24} = \Delta^{12} \Delta^{34} + \Delta^{14} \Delta^{23}\]로부터 새로운 cluster variable $\Delta^{24}$가 얻어진다. 이는 $Gr(2,4)$의 cluster algebra가 finite type이며, 총 두 개의 cluster를 가짐을 의미한다.
$Gr(2,4)$의 경우 Marsh-Rietsch superpotential은 Langlands dual $Gr(2, (\mathbb{C}^4)^\ast) \cong Gr(2,4)$ 위에 정의된다. $k=2, n=4$이므로 $J_1 = {2,3}, J_2 = {3,4}, J_3 = {4,1}, J_4 = {1,2}$이고, $J_1^* = {2,4}, J_2^* = {3,1}, J_3^* = {4,2}, J_4^* = {1,3}$이다. 이를 정리하면
\[W_q = \frac{\Delta^{24}}{\Delta^{23}} + q \frac{\Delta^{13}}{\Delta^{34}} + \frac{\Delta^{24}}{\Delta^{14}} + \frac{\Delta^{13}}{\Delta^{12}}\]가 된다. 이 표현에서 각 항의 분모는 frozen variables이고 분자는 mutable cluster variable이므로, rectangles cluster에서는 이미 Laurent monomial들의 합으로 주어진다. 실제로 $Gr(2,4)$의 rectangles cluster는 ${\Delta^{13}, \Delta^{24}}$와 frozen variables로 구성되며, $W_q$는 이들의 Laurent polynomial으로 표현된다.
예시 14 ($Gr(2,5)$) $Gr(2,5)$의 coordinate ring은 $A_2$ type cluster algebra이다. Plücker coordinates는 $p_{ij}$ ($1 \le i < j \le 5$)이며, 정오각형 $P_5$의 triangulation과 seed가 일대일 대응한다. $P_5$의 triangulation은 두 개의 diagonal을 포함하므로, 각 seed는 두 개의 mutable cluster variable을 갖는다. 예를 들어 diagonal ${13, 14}$를 포함하는 triangulation에 대응하는 cluster는 ${p_{13}, p_{14}}$이며, frozen variables는 $p_{12}, p_{23}, p_{34}, p_{45}, p_{15}$이다.
$p_{13}$을 포함하는 사각형은 $(1,2,3,4)$이므로, $p_{13}$에 대한 mutation은 flip을 통해 $p_{24}$를 생성한다. 이 때의 exchange relation은
\[p_{13} p_{24} = p_{12} p_{34} + p_{14} p_{23}\]이다. 마찬가지로 $p_{14}$에 대한 mutation은 사각형 $(1,3,4,5)$를 통해 $p_{35}$를 생성한다. $A_2$ type cluster algebra는 총 10개의 cluster variable과 5개의 cluster를 가지며, 이는 정오각형의 triangulation 개수인 Catalan number $C_3 = 5$와 일치한다.
Marsh-Rietsch superpotential $W_q$는 $k=2, n=5$이므로 $J_i$와 $J_i^$를 계산하면 다음과 같다: $J_1 = {2,3}, J_2 = {3,4}, J_3 = {4,5}, J_4 = {5,1}, J_5 = {1,2}$이고, $J_1^ = {2,4}, J_2^* = {3,5}, J_3^* = {4,1}, J_4^* = {5,2}, J_5^* = {1,3}$이다. 따라서
\[W_q = \frac{p_{24}}{p_{23}} + \frac{p_{35}}{p_{34}} + q \frac{p_{14}}{p_{45}} + \frac{p_{25}}{p_{15}} + \frac{p_{13}}{p_{12}}\]로 주어진다. 이 표현에서 각 항의 분모는 frozen variable이므로, $W_q$는 임의의 extended cluster에서 자동적으로 Laurent polynomial이 된다. 다만 이는 Plücker coordinate 표현이지, 일반적인 cluster variable 표현은 아니다. 예를 들어 cluster ${p_{13}, p_{14}}$에서 $p_{24}$와 $p_{35}$는 Plücker relation을 통해
\[p_{24} = \frac{p_{12} p_{34} + p_{14} p_{23}}{p_{13}}, \qquad p_{35} = \frac{p_{13} p_{45} + p_{15} p_{34}}{p_{14}}\]로 표현되므로, $W_q$를 이 cluster의 좌표 $(p_{13}, p_{14})$와 frozen variables로 전개하면
\[W_q = \frac{p_{12} p_{34} + p_{14} p_{23}}{p_{13} p_{23}} + \frac{p_{13} p_{45} + p_{15} p_{34}}{p_{14} p_{34}} + q \frac{p_{14}}{p_{45}} + \frac{p_{13} p_{25} + p_{12} p_{35}}{p_{12} p_{15}} + \frac{p_{13}}{p_{12}}\]와 같이 명시적인 Laurent polynomial을 얻는다. 여기서 $p_{25}$ 역시 추가적인 Plücker relation을 통해 $p_{13}$과 $p_{14}$의 Laurent polynomial으로 표현될 수 있다.
$Gr(2,5)$의 예시는 cluster mutation이 단순한 combinatorial rule을 넘어서, Grassmannian의 coordinate ring에 내재된 대수적 구조를 어떻게 드러내는지를 잘 보여준다. 각 cluster chart는 torus $(\mathbb{C}^\ast)^2$로부터 $Gr(2,5)$의 Zariski open subset으로의 birational map을 주며, 이들 사이의 transition function은 cluster mutation에 의해 주어진다. $W_q$는 이 모든 chart에서 Laurent polynomial이 되므로, Grassmannian의 mirror dual에 걸쳐 well-defined한 함수로 작용한다.
결론
우리는 cluster algebra의 기본 정의와 Laurent phenomenon을 살펴 보고, 이를 Grassmannian $Gr(k,n)$의 coordinate ring에 구체적으로 적용하였다. Postnikov diagram과 plabic graph는 Grassmannian 위의 cluster structure를 완전히 combinatorial하게 기술하는 강력한 도구이며, perfect matching을 통한 face weight는 각 cluster chart에서 Plücker coordinates를 명시적으로 계산하는 방법을 제공한다. Marsh-Rietsch superpotential $W_q$는 이러한 cluster structure를 통해 임의의 cluster chart에서 Laurent polynomial으로 전개될 수 있으며, 이는 Grassmannian mirror symmetry의 핵심적인 단계이다.
특히 $W_q$의 cluster expansion은 그 tropicalization을 통해 Newton-Okounkov body를 구성하고, 이로부터 toric degeneration을 유도하는 데 사용된다. 이는 toric variety에서의 Hori-Vafa mirror construction이 Grassmannian으로 자연스럽게 확장되는 과정으로 이해할 수 있으며, cluster algebra의 언어가 이 확장의 핵심적인 매개체가 됨을 보여준다. 향후 글에서는 $W_q$의 tropicalization과 이로부터 얻어지는 superpotential polytope, 그리고 이것이 quantum cohomology ring과 어떻게 연결되는지를 더 자세히 다룰 것이다.
참고문헌
[FZ] S. Fomin, A. Zelevinsky, Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), 497–529.
[Sco] J. S. Scott, Grassmannians and cluster algebras, Proc. London Math. Soc. 92 (2006), 345–380.
[Pos] A. Postnikov, Total positivity, Grassmannians, and networks, arXiv:math/0609764.
[MR] R. J. Marsh, K. Rietsch, The B-model connection and mirror symmetry for Grassmannians, Adv. Math. 319 (2017), 352–416.
[RW] K. Rietsch, L. Williams, Cluster duality and mirror symmetry for Grassmannians, arXiv:1507.07817.
[Lam] T. Lam, Notes on the totally nonnegative Grassmannian and the amplituhedron, arXiv:2002.06164.
댓글남기기