§Jacobi Ring, ⁋명제 5에서 우리는 Marsh-Rietsch의 superpotential $W_q$의 Jacobi ring이 Grassmannian $X = Gr(k,n)$의 quantum cohomology ring과 동형임을 보았다. 이 동형은 ring의 구조를 넘어서, 각 side에서 자연스럽게 정의되는 additive basis 사이의 대응까지도 암시한다. A-model의 quantum cohomology에는 Schubert class $\sigma^\lambda$들로 이루어진 classical basis가 존재하며, B-model의 Jacobi ring에는 cluster monomial들로 구성된 새로운 basis가 존재한다. 본 글에서는 이 두 basis가 어떻게 일치하는지, 그리고 그 과정에서 rectangular partition과 cohook diagram이 어떤 역할을 하는지를 직관적으로 이해하는 것을 목표로 한다.
Rectangular partition과 quantum Pieri rule
Grassmannian $Gr(k,n)$의 cohomology는 Schubert variety $X^\lambda$의 Poincaré dual class $\sigma^\lambda$로 색인화된 additive basis를 가지며, 여기서 $\lambda$는 $k \times (n-k)$ 직사각형에 들어가는 partition이다. 이들 가환대수의 곱셈구조를 결정하는 가장 기본적인 규칙이 Pieri rule이며, 그 quantum deformation이 quantum Pieri rule이다.
Quantum Pieri rule은 특수한 모양의 partition, 즉 한 행으로 이루어진 $\lambda = (r)$이나 한 열로 이루어진 $\lambda = (1^r)$에 의해 생성되는 special Schubert class $\sigma^{(r)}$나 $\sigma^{(1^r)}$를 임의의 Schubert class $\sigma^\mu$에 곱하는 방법을 기술한다. Bertram의 결과에 따른다면, 이 규칙은 classical Pieri rule에 rim hook correction이 추가된 형태를 취한다. 구체적으로 $\sigma^{(r)} \star \sigma^\mu$를 계산할 때, $k \times (n-k)$ 직사각형 밖으로 나가는 box들을 $n$-rim hook으로 제거한 뒤 남은 diagram에 대응하는 class를 더하되, 그 기여도에 quantum parameter $q$의 거듭제곱이 붙는다.
정의 1 Partition $\lambda$의 cohook은 $\lambda$의 Young diagram에서 어떤 box $(i,j)$를 선택했을 때, 그 행의 오른쪽과 열의 아래쪽에 있는 모든 box들의 집합을 의미한다. 특히 $k \times (n-k)$ 직사각형 모양의 partition $\lambda = (n-k)^a$에 대해, 이 cohook은 quantum Pieri rule에서 rim hook의 역할을 명확히 드러내는 combinatorial data를 제공한다.
Rectangular partition $\lambda = (n-k)^a$는 quantum Pieri rule에서 특별한 지위를 차지한다. 이들은 maximally wide partition으로서, quantum product $\sigma^{\square} \star \sigma^\lambda$를 취할 때 rim hook의 제거가 필수적으로 발생하는 임계점에 해당한다. Marsh와 Rietsch는 이러한 rectangular partition들이 cluster algebra의 특별한 seed, 즉 rectangles cluster의 cluster variables와 정확히 대응함을 보였다. (§Cluster Algebra, ⁋명제 12)
Cluster monomial의 정의
Cluster algebra $\mathcal{A}$가 주어졌을 때, 임의의 single seed $\Sigma = (\mathbf{x}, \tilde{\mathbf{x}}, \tilde{B})$를 고정하자. 이 seed의 extended cluster $\tilde{\mathbf{x}} = (x_1, \ldots, x_{n+m})$를 이루는 변수들 위에서 monomial을 구성할 수 있다.
정의 2 주어진 seed $\Sigma$의 extended cluster $\tilde{\mathbf{x}}$에 대하여, cluster monomial은 $\prod_{i=1}^{n+m} x_i^{a_i}$의 꼴로 주어지는 monomial이다. 여기서 $a_i \ge 0$이며, 적어도 하나의 $i$에 대해 $a_i > 0$이라고 가정한다. 만약 모든 $a_i$가 mutable cluster variable에 대응하는 지표에만 집중되어 있다면, 이를 proper cluster monomial이라 부른다.
Cluster monomial은 seed에 의존한다. 서로 다른 seed $\Sigma$와 $\Sigma’$가 mutation으로 연결되어 있을 때, $\Sigma$에서의 cluster monomial $x^{\mathbf{a}}$는 $\Sigma’$의 좌표에서 일반적으로 Laurent polynomial이 되며, 단순한 monomial 꼴을 유지하지 않는다. 그럼에도 불구하고, 각 seed 내에서의 monomial들은 coordinate ring의 중요한 부분집합을 이루며, 특히 Grassmannian의 mirror symmetry에서는 Jacobi ring의 basis를 구성하는 강력한 후보가 된다.
정리 3 (Marsh-Rietsch) Marsh-Rietsch superpotential $W_q$의 Jacobi ring $\operatorname{Jac}(W_q)$는 $\mathbb{C}[q^{\pm 1}]$-module로서 finite rank를 가지며, 그 $\mathbb{C}$-basis를 rectangles cluster $G_{\text{rec}}$에서의 cluster monomials로 이루어진 집합이 구성한다. 즉, rectangles cluster의 proper cluster monomial들이 $\operatorname{Jac}(W_q)$의 $\mathbb{C}$-linear basis를 이룬다.
증명
증명의 핵심은 rectangles cluster $G_{\text{rec}}$에서 각 cluster variable이 직사각형 모양의 Young diagram에 대응하는 Plücker coordinate $p_{i \times j}$임을 이용하는 것이다. (§Cluster Algebra, ⁋명제 12) 이 cluster에서 $W_q$의 각 항은 명시적인 monomial ratio로 표현되며, 이를 통해 partial derivative ideal $(\partial W_q)$의 생성원을 구체적으로 계산할 수 있다.
먼저 rectangles cluster의 좌표 ${p_{i \times j}}$에서 $W_q$를 전개하면, 각 항은 인접한 직사각형 Plücker coordinate들의 ratio로 주어진다. Partial derivative $\partial W_q / \partial p_{i \times j}$를 계산하면, 이는 인접한 변수들 사이의 관계식을 생성하며, 이러한 관계식들이 quantum cohomology의 defining relation과 정확히 일치함을 확인할 수 있다.
Marsh와 Rietsch는 이 ideal의 quotient $\mathbb{C}[\tilde{\mathbf{x}}^{\pm 1}] / (\partial W_q)$가 $\mathbb{C}$-vector space로서 cluster monomial들의 class로 생성됨을 보였다. Linear independence는 $W_q$의 critical locus가 $\dim_{\mathbb{C}} QH^*(Gr(k,n))$개의 점으로 구성되며 (generic $q$에 대해), 이 점들에서 cluster monomial들의 값이 Vandermonde-type matrix를 이루어 full rank를 가짐으로써 얻어진다. 이는 cluster monomial들이 Jacobi ring의 $\mathbb{C}$-basis를 이루는 충분조건을 제공한다.
마지막으로, quantum cohomology ring의 차원 $\binom{n}{k}$와 rectangles cluster에서의 cluster monomial 개수가 일치함을 확인하면, 이 집합이 basis임을 결론짓는다.
정리 정리 3의 중요성은 단순히 basis의 존재성을 넘어선다. Cluster monomial basis는 Jacobi ring의 multiplication structure를 명시적으로 계산할 수 있게 하며, 이는 quantum cohomology의 Gromov-Witten invariant를 대수적인 elimination theory를 통해 접근할 수 있는 구체적인 방법을 제공한다.
Schubert class와 cluster monomial의 대응
§Jacobi Ring, ⁋명제 5에서 우리는 isomorphism $\operatorname{Jac}(W_q) \cong QH^*(Gr(k,n))$ 아래에서 Plücker coordinate의 class $[p_\lambda]$가 quantum Schubert class $\sigma^\lambda$로 대응됨을 보았다. 그러나 $[p_\lambda]$는 일반적으로 cluster monomial이 아니며, 이 대응을 cluster monomial basis로 번역하는 것이 자연스러운 다음 단계이다.
정리 4 Rectangles cluster $G_{\text{rec}}$의 cluster monomial $\prod_{i,j} p_{i \times j}^{a_{ij}}$가 $\operatorname{Jac}(W_q)$의 basis element를 이룰 때, 이에 대응하는 quantum cohomology class는 rectangular partition $\lambda = (n-k)^a$들의 quantum product로 표현된다. 구체적으로, 각 $p_{i \times j}$는 cohomology class $\sigma^{j \times i}$에 대응하며, monomial의 거듭제곱은 quantum product $\star$의 반복 적용에 해당한다. 단, 이 대응은 classical cohomology에서는 ordinary cup product를, quantum cohomology에서는 quantum product $\star$를 사용한다.
증명
증명은 quantum Pieri rule의 반복 적용을 통해 이루어진다. Rectangles cluster에서 각 cluster variable $p_{i \times j}$는 $j$행 $i$열의 직사각형 partition에 대응하는 Plücker coordinate이다. (§Cluster Algebra, ⁋명제 12) Jacobi ring에서 $[p_{i \times j}]$의 곱셈은 ordinary multiplication이지만, quantum cohomology로의 isomorphism은 이를 quantum product $\star$로 변환한다.
Quantum Pieri rule에 따른다면, special Schubert class $\sigma^{(r)}$를 임의의 $\sigma^\mu$에 곱하는 것은 $r$개의 box를 horizontal strip으로 추가하되, $k \times (n-k)$ 직사각형을 벗어나는 경우 rim hook을 제거하는 규칙을 따른다. Rectangular partition $\lambda = (n-k)^a$는 이러한 과정에서 안정적인 intermediate state를 제공하며, $p_{i \times j}$들의 monomial이 이들 rectangular partition의 iterated quantum product에 대응함을 보일 수 있다.
구체적으로, $\operatorname{Jac}(W_q)$에서 두 cluster monomial $p_{i_1 \times j_1}$과 $p_{i_2 \times j_2}$의 product를 취하면, partial derivative ideal mod에서 이는 single monomial이 되거나 reduction을 통해 더 낮은 차수의 monomial로 분해된다. 이 reduction rule이 quantum cohomology에서 $\sigma^{j_1 \times i_1} \star \sigma^{j_2 \times i_2}$를 전개하는 quantum Pieri rule과 정확히 일치함을 확인함으로써, 대응관계를 유도할 수 있다.
이 대응관계에서 cohook diagram의 역할을 명확히 이해할 수 있다. Rectangular partition $\lambda = (n-k)^a$의 cohook은 quantum Pieri rule에서 rim hook 제거가 발생하는 위치를 정확히 가리킨다. 즉, $\sigma^{\square} \star \sigma^{(n-k)^a}$를 계산할 때, $k \times (n-k)$ 직사각형의 경계에서 cohook이 끝나는 지점이 바로 quantum correction이 $q$를 포함하는 항을 생성하는 임계점이 된다. 이러한 combinatorial structure는 rectangles cluster에서 $W_q$의 explicit Laurent expansion과 정확히 부합하며, 이것이 바로 cluster monomial basis가 Schubert basis와 일치하는 깊은 이유이다.
$Gr(2,4)$에서의 구체적 예시
이제 가장 간단한 non-trivial 예시인 $Gr(2,4)$를 살펴 보자. 이 Grassmannian의 complex dimension은 $2 \cdot (4-2) = 4$이며, quantum cohomology ring은 §Jacobi Ring, ⁋예시 6에서 다음과 같이 주어진다.
\[QH^*(Gr(2,4)) \cong \mathbb{C}[\sigma^1, \sigma^{1,1}, q] \big/ \big( (\sigma^1)^2 = \sigma^{1,1} + \sigma^2, \; \sigma^1 \star \sigma^{1,1} = q \big).\]$Gr(2,4)$의 rectangles cluster는 $k=2$, $n=4$이므로 $1 \times 1$, $1 \times 2$, $2 \times 1$, $2 \times 2$ 직사각형들에 대응하는 Plücker coordinate들로 구성된다. 그러나 $Gr(2,4)$는 $A_1$ type cluster algebra이므로 mutable cluster variable은 단 하나뿐이며, rectangles cluster는 frozen variables와 함께 ${p_{1 \times 1}, p_{1 \times 2}, p_{2 \times 1}, p_{2 \times 2}}$로 주어진다. (§Cluster Algebra, ⁋예시 13)
예시 5 ($Gr(2,4)$의 cluster monomial basis) $Gr(2,4)$의 rectangles cluster에서 cluster monomials는 다음과 같이 주어진다. $p_\emptyset = 1$을 포함하여, basis element들은
\[1, \quad p_{1 \times 1}, \quad p_{1 \times 2}, \quad p_{2 \times 1}, \quad p_{1 \times 1}^2, \quad p_{2 \times 2}\]이다. 이들은 $\operatorname{Jac}(W_q)$에서 $\mathbb{C}$-linearly independent하며, $\dim_{\mathbb{C}} QH^*(Gr(2,4)) = 6$개의 원소를 가진다.
Jacobi ring에서의 관계식은 $W_q$의 partial derivative가 zero가 되는 조건으로부터 얻어진다. $Gr(2,4)$에서 $W_q$는 (§Cluster Algebra, ⁋예시 13)
\[W_q = \frac{\Delta^{24}}{\Delta^{23}} + \frac{\Delta^{13}}{\Delta^{34}} + q \frac{\Delta^{24}}{\Delta^{14}} + \frac{\Delta^{13}}{\Delta^{12}}\]로 주어지며, rectangles cluster 좌표에서 각 Plücker coordinate를 직사각형 partition에 대응시키면 $\Delta^{12} = p_\emptyset = 1$, $\Delta^{23} = p_{1 \times 1}$, $\Delta^{34} = p_{2 \times 1}$, $\Delta^{14} = p_{2 \times 2}$, $\Delta^{13} = p_{1 \times 2}$로 표현된다. 여기서 $\Delta^{24}$는 rectangles cluster의 변수가 아니라 mutation을 통해 얻어지는 인접 cluster의 mutable variable이며, Plücker relation에 의해 $\Delta^{24} = (\Delta^{12}\Delta^{34} + \Delta^{14}\Delta^{23}) / \Delta^{13}$로 주어진다.
Quantum cohomology로의 isomorphism 아래에서 cluster monomial들의 대응은 다음과 같다. $1$은 $\sigma^\emptyset = 1$에 대응하며, $p_{1 \times 1}$는 special Schubert class $\sigma^1$에 대응한다. $p_{2 \times 1}$는 $\sigma^2$에, $p_{1 \times 2}$는 $\sigma^{1,1}$에 각각 대응한다. $p_{1 \times 1}^2$는 Jacobi ring에서 reduction을 거쳐 $\sigma^1 \star \sigma^1 = \sigma^{1,1} + \sigma^2$에 대응하며, 가장 큰 직사각형에 해당하는 $p_{2 \times 2}$는 point class $\sigma^{2,2} = \text{pt}$에 대응한다. 마지막으로 $p_{1 \times 1} \cdot p_{1 \times 2}$는 Jacobi ring에서 $q$에 비례하는 항으로 reduction되며, 이는 quantum cohomology에서 $\sigma^1 \star \sigma^{1,1} = q$에 정확히 대응한다.
이 예시는 cluster monomial basis가 단순한 combinatorial 객체인 직사각형들의 monomial에서 출발하여, quantum cohomology의 복잡한 곱셈구조를 완전히 복원하는 강력한 도구임을 보여준다. 특히 $p_{1 \times 1}^2$이 두 개의 Schubert class의 합으로 대응되는 점은, classical limit $q \to 0$에서 $\sigma^2$와 $\sigma^{1,1}$가 서로 다른 classical cohomology class임에도 불구하고, quantum product에서는 둘 다 $\sigma^1 \star \sigma^1$의 전개에 기여함을 의미한다.
결론
우리는 rectangular partition $\lambda = (n-k)^a$가 quantum Pieri rule에서 차지하는 특별한 위치를 살펴 보고, 이들이 rectangles cluster의 cluster variables와 대응함을 확인하였다. Marsh-Rietsch의 정리에 따르면 이러한 cluster monomial들은 Jacobi ring $\operatorname{Jac}(W_q)$의 $\mathbb{C}$-basis를 이루며, 이 basis는 quantum cohomology의 Schubert basis와 자연스럽게 일치한다. 이 대응의 핵심에는 cohook diagram이 있으며, 이는 quantum correction이 발생하는 combinatorial threshold를 명확히 드러낸다.
$Gr(2,4)$의 예시는 이러한 추상적인 대응이 구체적인 계산에서 어떻게 실현되는지를 보여준다. Cluster monomial $p_{1 \times 1}^2$이 $\sigma^{1,1} + \sigma^2$에 대응하고, $p_{1 \times 1} \cdot p_{1 \times 2}$가 $q$에 비례하는 항으로 reduction되는 과정은, B-model의 algebraic torus 위의 monomial multiplication이 A-model의 enumerative geometry인 quantum product와 동일한 정보를 담고 있음을 증명한다. 이는 Grassmannian mirror symmetry가 단순한 ring 동형을 넘어, basis 수준에서의 정교한 대응관계를 성립시킴을 보여주는 결정적인 증거이다.
참고문헌
[MR] R. J. Marsh, K. Rietsch, The B-model connection and mirror symmetry for Grassmannians, Adv. Math. 366 (2020), 107027, 131 pp.
[Ber] A. Bertram, Quantum Schubert calculus, Adv. Math. 128 (1997), 289–305.
[BCFF] A. Bertram, I. Ciocan-Fontanine, W. Fulton, Quantum multiplication of Schur polynomials, J. Algebra 219 (1999), 728–746.
[RW] K. Rietsch, L. Williams, Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians, Duke Math. J. 168 (2019), 3437–3527.
댓글남기기