§Mirror Symmetry 개요에서 우리는 A-model의 quantum cohomology ring $QH^\ast(X)$가 B-model의 Jacobi ring $\operatorname{Jac}(W)$와 동형임을 살펴 보았다. 그러나 mirror symmetry의 완전한 기술은 단순한 ring 동형에 머물지 않는다. A-model에는 quantum parameter $q$와 함께 변화하는 flat connection, 즉 Dubrovin connection이 존재하며, B-model에는 이에 대응하여 superpotential $W$의 family에 따른 Gauss-Manin connection이 존재한다. 본 글에서는 Grassmannian $X = \operatorname{Gr}(k, n)$에 대해, A-model의 small quantum cohomology 위에 정의된 Dubrovin connection $\nabla^D$를 소개한 뒤, B-model의 Gauss-Manin system과의 $D$-module 동형을 다룬다. 이 동형은 Marsh와 Rietsch의 Theorem 4.1으로, Grassmannian mirror symmetry의 핵심 결과 중 하나이다.
Frobenius manifold와 Dubrovin connection
Quantum cohomology $QH^\ast(X)$는 단순한 graded ring이 아니라 풍부한 geometric structure를 지닌다. Gromov-Witten potential $\bar{F}$의 세 번째 도함수로부터 정의되는 quantum product $\star$는 associative하며, 이 associativity가 WDVV equation을 만족함을 의미한다. 이러한 구조는 Dubrovin에 의해 Frobenius manifold로 체계화되었다.
Frobenius manifold는 manifold $M$ 위에 다음의 구조들이 주어지는 것이다. 접다발 $TM$ 위의 metric $g$ (즉, symmetric non-degenerate bilinear form), metric에 대해 flat한 torsion-free connection $\nabla$, 그리고 $TM$ 위의 commutative associative product $\circ$가 존재하여, 이들이 적절한 호환조건을 만족한다. Quantum cohomology의 경우 $M$은 $H^\ast(X, \mathbb{C})$의 affine space (또는 Novikov ring을 포함한 확장)이며, metric $g$는 Poincaré pairing에 해당한다.
정의 1 Grassmannian $X = \operatorname{Gr}(k, n)$의 small quantum cohomology $QH^\ast(X)$ 위에서, $z$를 복소매개변수로 하는 Dubrovin connection $\nabla^D$는 tangent bundle $TQH^\ast(X)$ 위의 connection으로, 다음과 같이 정의된다. $\sigma^\lambda \in H^\ast(X, \mathbb{C})$를 Schubert basis, $t_\lambda$를 그에 대응하는 $QH^\ast(X)$ 위의 flat coordinate라 하자. 이때 $\nabla^D$는
\[\nabla^D_{\partial_{t_\lambda}} (\sigma^\mu) = \frac{1}{z} (\sigma^\lambda \star_q \sigma^\mu)\]으로 주어지며, $z$ 방향으로는
\[\nabla^D_{z \partial_z} = z \partial_z - \frac{1}{z} E \star_q + \mu\]로 정의된다. 여기서 $E$는 Euler vector field이고 $\mu$는 $H^\ast(X)$ 위의 grading operator이다.
Dubrovin connection의 핵심적인 특징은 flatness이다. Associativity of quantum product (WDVV equation)로부터, $\nabla^D$의 curvature이 $q$와 $t$에 대해 vanish함을 보일 수 있다. 따라서 $\nabla^D s = 0$을 만족하는 flat section $s$들이 존재하며, 이들은 quantum cohomology의 정보를 담고 있는 differential equation system을 구성한다. 이 system은 Givental에 의해 도입된 quantum differential equation (QDE)으로 불리며, A-model의 $D$-module structure를 정의한다.
Quantum Monk’s rule과 vector field $X_\lambda$
Dubrovin connection의 명시적인 계산을 위해서는, Schubert basis에서 quantum product의 작용을 구체적으로 알아야 한다. Grassmannian의 경우 이를 가능하게 하는 가장 기본적인 공식이 Quantum Monk’s rule이다.
Classical Pieri formula는 Grassmannian의 cohomology에서 Schubert class와 special Schubert class의 곱을 기술한다. Special Schubert class란 partition이 한 행 또는 한 열로 이루어진 경우에 해당하는 Schubert class $\sigma^r$ 또는 $\sigma^{1^r}$을 의미한다. Monk는 이를 cohomology의 Pieri formula를 초월하여 quantum cohomology로 확장하였다.
정리 2 (Quantum Monk’s rule). $X = \operatorname{Gr}(k, n)$에 대해, hyperplane class $\sigma^{\square}$ (또는 $ abla$-symbol로 $\sigma^{(1)}$)와 임의의 Schubert class $\sigma^\lambda$의 quantum product는 다음과 같이 주어진다.
\[\sigma^{\square} \star_q \sigma^\lambda = \sum_{\mu} \sigma^\mu + q \sum_{\nu} \sigma^\nu\]여기서 첫 번째 합은 $\lambda$에 한 개의 box를 추가하여 $k \times (n-k)$ 직사각형 안에 들어가는 모든 partition $\mu$를 대상으로 하고, 두 번째 합은 $\lambda$에서 한 개의 box를 제거하여 얻어지는 모든 partition $\nu$를 대상으로 한다. 계수는 모두 $1$이다.
이 rule은 classical Monk’s rule에 quantum correction term인 $q \sum_\nu \sigma^\nu$가 추가된 형태이다. 이 quantum correction은 holomorphic curve의 기여를 반영하며, degree $1$ rational curve의 개수를 암호화한다. Quantum Monk’s rule은 Grassmannian의 small quantum cohomology를 완전히 결정하는 fundamental identity로, 더 일반적인 quantum Giambelli formula와 quantum Pieri formula로부터 유도될 수 있다.
이제 vector field $X_\lambda$를 정의한다. Dubrovin connection의 flatness를 검증하거나, B-model의 Gauss-Manin connection과의 대응을 명시하기 위해서는 $t_\lambda$ 방향의 공변미분을 Schubert basis에서 직접 계산할 필요가 있다. Vector field $X_\lambda$는 $QH^\ast(X)$ 위의 vector field로서, Schubert class $\sigma^\lambda$에 대응하는 방향의 translation을 생성한다.
구체적으로, $H_{A, 0} = H^\ast(X, \mathbb{C}[z, q])$를 A-model의 state space라 하자. 이 공간 위에서 Dubrovin connection은 differential operator로 작용하며, Quantum Monk’s rule에 의해
\[z \nabla^D_{q \partial_q} (\sigma^\lambda) = \sigma^{\square} \star_q \sigma^\lambda = \sum_\mu \sigma^\mu + q \sum_\nu \sigma^\nu\]이 성립한다. 여기서 $\mu$와 $\nu$는 정리 정리 2에서 기술한 바와 같이 $\lambda$에 box를 추가하거나 제거하여 얻어지는 partition들이다. 이 식은 Dubrovin connection이 Schubert basis에서 matrix coefficient들을 명시적으로 갖는다는 것을 보여주며, 이 matrix는 Quantum Monk’s rule에 의해 완전히 결정된다.
Gauss-Manin system과 $D$-module 동형
B-model에서는 superpotential $W_q$의 family에 대해 Gauss-Manin system을 정의한다. §Jacobi Ring에서 살펴 본 바와 같이, $W_q: \check{X}^\circ \times \mathbb{C}_q^\ast \to \mathbb{C}$의 임계점은 quantum cohomology의 정보를 담고 있다. 그러나 Jacobi ring은 단순히 “점”의 대수적 구조에 해당하고, $q$가 변할 때 이 구조가 어떻게 변화하는지를 기술하기 위해서는 connection이 필요하다.
B-model의 state space $H_B$는 $W_q$의 differential form들에 의해 생성되는 module로, Gauss-Manin connection $\nabla^{GM}$이 자연스럽게 정의된다. 구체적으로, $\check{X}^\circ$ 위의 holomorphic volume form $\omega$와 Plücker coordinate $p_\lambda$를 사용하여
\[H_B = \mathbb{C}[z^{\pm 1}, q^{\pm 1}] \text{-span} \{ [p_\lambda \omega] \}_{\lambda \in \mathcal{P}_{k,n}}\]으로 정의한다. 여기서 $[p_\lambda \omega]$는 relative de Rham cohomology 클래스를 의미한다. Gauss-Manin connection $\nabla^{GM}$은 $q$와 $z$ 방향으로 다음과 같이 작용한다.
\[\nabla^{GM}_{q \partial_q} [p_\lambda \omega] = [\partial_q (p_\lambda) \omega] + \frac{1}{z} [p_\lambda \partial_q W_q \cdot \omega]\]이 공식은 $W_q$의 임계점에서만 well-defined한 algebraic structure를, 전체 parameter space 위에서 connection으로 확장한 것이다. A-model의 Dubrovin connection $\nabla^D$와 B-model의 Gauss-Manin connection $\nabla^{GM}$ 사이의 관계를 밝히는 것이 mirror symmetry의 핵심 목표 중 하나이다.
정리 3 (Marsh-Rietsch, Theorem 4.1). A-model의 state space $H_A = H^\ast(X, \mathbb{C}[z^{\pm 1}, q^{\pm 1}])$와 B-model의 state space $H_B$ 사이에, 다음과 같이 정의되는 map $\Phi: H_A \to H_B$가 존재한다.
\[\Phi(\sigma^\lambda) = [p_\lambda \omega]\]이 map은 $D_P$-module의 isomorphism이다. 즉, $\Phi$는 $\mathbb{C}[z^{\pm 1}, q^{\pm 1}]$-module의 isomorphism이며, Dubrovin connection과 Gauss-Manin connection을 교환한다. 구체적으로,
\[\Phi(\nabla^D_v \sigma) = \nabla^{GM}_v \Phi(\sigma)\]이 모든 vector field $v$와 모든 $\sigma \in H_A$에 대해 성립한다. 여기서 $D_P$는 $P^1 \times \mathbb{C}_q^\ast$ 위의 differential operator sheaf를 의미한다.
정리 정리 3의 증명은 두 connection의 Schubert basis에서의 작용을 직접 비교하는 것으로 귀결된다. 특히 Quantum Monk’s rule이 A-model 측에서 $\sigma^{\square} \star_q \sigma^\lambda$의 전개를 제공한다면, B-model 측에서는 이에 대응하는 다음 공식들이 성립함을 보여야 한다.
\[\nabla^{GM}_{q \partial_q} [p_\lambda \omega] = \frac{1}{z} \left( \sum_\mu [p_\mu \omega] + q \sum_\nu [p_\nu \omega] \right)\] \[\nabla^{GM}_{z \partial_z} [p_\lambda \omega] = |\lambda| [p_\lambda \omega] - \frac{n}{z} \left( \sum_\mu [p_\mu \omega] + q \sum_\nu [p_\nu \omega] \right)\]여기서 $\mu$와 $\nu$는 Quantum Monk’s rule에서와 동일하게 $\lambda$에 box를 추가하거나 제거하여 얻어지는 partition들이다. 이 formulas는 B-model connection의 작용이 A-model의 quantum product와 완벽하게 일치함을 보여준다.
증명
증명의 핵심 아이디어는 두 connection이 모두 Quantum Monk’s rule에 의해 결정되는 동일한 matrix coefficient를 갖는다는 점이다.
Step 1: A-model 측의 계산. Dubrovin connection의 정의에 의해,
\[z \nabla^D_{q \partial_q} (\sigma^\lambda) = \sigma^{\square} \star_q \sigma^\lambda\]이고, Quantum Monk’s rule에 의해 우변은 $\sum_\mu \sigma^\mu + q \sum_\nu \sigma^\nu$로 전개된다. 한편 Euler vector field $E$의 작용은 grading을 반영하므로,
\[z \nabla^D_{z \partial_z} (\sigma^\lambda) = |\lambda| \sigma^\lambda - n \cdot (\sigma^{\square} \star_q \sigma^\lambda)\]| 으로 주어진다. 여기서 $ | \lambda | $는 partition $\lambda$의 크기(즉, Young diagram의 box 개수)이고, $n$은 $X = \operatorname{Gr}(k, n)$의 ambient dimension에 해당하는 상수이다. |
Step 2: B-model 측의 계산. Gauss-Manin connection은 superpotential $W_q$의 differential을 통해 정의된다. $W_q$의 explicit formula,
\[W_q = q \frac{p_{\widehat{J}_{n-k}}}{p_{J_{n-k}}} + \sum_{i \neq n-k} \frac{p_{\widehat{J}_i}}{p_{J_i}}\]에 대해 $\partial_q W_q$를 계산하면,
\[\partial_q W_q = \frac{p_{\widehat{J}_{n-k}}}{p_{J_{n-k}}}\]이 된다. 따라서 $\nabla^{GM}{q \partial_q}$의 matrix coefficient는 $W_q$의 각 항이 Schubert basis에 대응하는 $[p\lambda \omega]$들 사이에서 어떻게 전이하는지를 결정한다. Marsh와 Rietsch는 residue 계산을 통해, 이 matrix coefficient가 정확히 Quantum Monk’s rule의 coefficient와 일치함을 보였다. 즉, $q \partial_q$ 방향의 connection matrix는
\[\frac{1}{z} \begin{pmatrix} \ddots & & \\ & 0 & 1 \\ & q & 0 \\ & & \ddots \end{pmatrix}\]의 형태를 가지며, 여기서 nonzero entry들은 $\lambda$에서 $\mu$ 또는 $\nu$로의 전이에 해당한다.
| Step 3: $z \partial_z$ 방향의 호환성. $z \partial_z$ 방향의 connection은 grading structure와 관련된다. A-model에서 $\sigma^\lambda$의 degree는 $ | \lambda | $이고, quantum product는 degree $n$만큼 shifting한다. B-model에서 $[p_\lambda \omega]$의 degree 역시 $ | \lambda | $에 의해 결정되며, superpotential $W_q$의 homogeneity로부터 동일한 shifting이 발생한다. 따라서 두 connection의 $z \partial_z$ 성분도 일치한다. |
Step 4: $D$-module 동형. 위의 계산으로부터 $\Phi(\sigma^\lambda) = [p_\lambda \omega]$가 connection을 보존함을 확인하였다. $\Phi$가 $\mathbb{C}[z^{\pm 1}, q^{\pm 1}]$-linear isomorphism임은 Schubert basis ${ \sigma^\lambda }$와 ${ [p_\lambda \omega] }$가 각각 $H_A$와 $H_B$의 free basis를 이루기 때문에 자명하다. 따라서 $\Phi$는 $D_P$-module isomorphism이다.
$D$-module 동형의 의미
정리 정리 3이 단순한 vector space의 동형을 넘어 $D$-module 동형이라는 점은 mirror symmetry의 심층적인 의미를 반영한다. $D$-module은 algebraic variety 위에서 differential equation system을 기하학적으로 기술하는 도구이다. A-model의 $D$-module은 quantum differential equation, 즉 Dubrovin connection의 flat section equation으로 주어지며, 이는 Gromov-Witten invariant들의 생성함수가 만족하는 미분방정식이다. B-model의 $D$-module은 superpotential $W_q$의 Gauss-Manin system으로 주어지며, 이는 period integral이나 oscillating integral의 미분방정식이다.
$D$-module isomorphism은 이 두 세계가 동일한 미분방정식 system을 따른다는 강력한 주장이다. 구체적으로, A-model에서 flat section $s(q, z)$는
\[\nabla^D s = 0\]을 만족하며, 이는 $q$에 대한 미분방정식 system이다. B-model에서 대응하는 flat section $\tilde{s}(q, z)$는
\[\nabla^{GM} \tilde{s} = 0\]을 만족한다. $D$-module isomorphism $\Phi$에 의해 $s$와 $\tilde{s}$가 일대일대응하므로, A-model의 enumerative problem을 푸는 것과 B-model의 period integral을 계산하는 것이 동일한 mathematical problem임을 알 수 있다.
특히 §Oscillating Integral에서 다루는 oscillating integral
\[\mathcal{S}(q) = \int_\Gamma e^{\frac{1}{z} W_q} \omega\]의 asymptotic expansion은 Givental의 $J$-function과 직접 연결되며, 이를 통해 Gromov-Witten invariant를 B-model의 적분으로부터 복원할 수 있다. 정리 정리 3은 이러한 대응이 단순한 수준의 일치가 아니라, $D$-module structure 전체를 보존하는 체계적인 동형임을 보장한다.
또한 이 동형은 §Jacobi Ring에서 살펴 본 ring 동형 $\operatorname{Jac}(W_q) \cong QH^\ast(X)$를 확장한다. Jacobi ring은 $z \to 0$ limit에서 $D$-module의 “classical limit”에 해당하며, Dubrovin connection의 $z \to 0$ asymptotic behavior는 $W_q$의 critical point들의 local monodromy로부터 읽혀진다. 따라서 $D$-module 동형은 quantum cohomology ring의 associative product structure뿐 아니라, 그 connection의 flatness와 monodromy representation까지 포괄하는 더 풍부한 정보를 담고 있다.
참고문헌
[MR] R. J. Marsh, K. Rietsch, The B-model connection and mirror symmetry for Grassmannians, Adv. Math. 319 (2017), 352–416.
[Dub] B. Dubrovin, Geometry of $2$D topological field theories, Integrable systems and quantum groups (Montecatini Terme, 1993), Lecture Notes in Math. 1620, Springer, 1996, 120–348.
[Giv] A. Givental, Stationary phase integrals, quantum Toda lattices, flag manifolds and the mirror conjecture, Topics in singularity theory, Amer. Math. Soc. Transl. Ser. 2 180 (1997), 103–115.
댓글남기기