[논문 리뷰] Hilbert schemes, integrable hierarchies, and Gromov-Witten theory

Wei-Ping Li, Zhenbo Qin외 1명|ArXiv.org|2003. 02. 18.

Algebraic structures and combinatorial models참고 문헌 13인용 수 15

한 줄 요약

이 논문은 $\tau$-함수를 통해 아핀 평면의 점들에 대한 Hilbert 스킴 위에서의 등변 교차 수와 통합계층(2-Toda 계층) 사이의 직접적 대응을 수립한다. 또한 생성함수와 보존-페르미온 대응을 통해 $\mathbb{P}^1$과 타원곡선의 정적 Gromov-Witten 불변량과 연결하며, 대칭군의 동치류 대수와 Jucys-Murphy 원소에 뿌리를 두는 통합된 조합적 구조를 드러낸다.

ABSTRACT

Various equivariant intersection numbers on Hilbert schemes of points on the affine plane are computed, some of which are organized into tau-functions of 2-Toda hierarchies. A correspondence between the equivariant intersection on Hilbert schemes and stationary Gromov-Witten theory is established.

연구 동기 및 목표

• 등변 코homology가 $\mathbb{C}^2$ 위의 Hilbert 스킴에 대해 통합계층과 정확한 연결을 수립하기.
• Hilbert 스킴 위에서의 등변 교차 수를 $\mathbb{P}^1$과 타원곡선의 정적 Gromov-Witten 불변량과 연결하기.
• Jucys-Murphy 원소와 코이히오메트릭 연산자들이 등변 코homology 환을 생성하는 데서 수행하는 역할를 명확히 하기.
• 모듈리 공간 $\mathcal{M}(m,n)$으로부터 2-Toda 계층의 $\tau$-함수를 구성하고, 보존-페르미온 대응을 통해 페르미온 Fock 공간과 연결하기.

제안 방법

• 등변 코homology를 $\mathbb{H}_n^{(m)}$에 포함시키는 $T=\mathbb{C}^*$-작용이 있는 $\mathcal{M}(m,n) \cong X^{[n]}$인 모듈리 공간을 도입한다.
• 페르미온 Fock 공간과의 호환성을 확보하기 위해 수정된 등변 코이히오메트릭 연산자 $\widetilde{\text{ch}}_k(\mathcal{O}^{[n]}_m)$를 보정항 $c_k^{(m)}$을 사용하여 정의한다.
• 페르미온 Fock 공간 $\mathcal{F}^{(m)}$ 위에서 작용하는 주 연산자 $\mathfrak{H}(z)$를 구성하고, $\widetilde{\mathfrak{G}}_z^{(m)}$로 식별함으로써 2-Toda 계층과 연결한다.
• 생성함수 $\tau(x,t,s,m)$를 Fock 공간 내 기대값으로 구성하며, $\Gamma_+(t)$, $\Gamma_-(s)$, $\mathfrak{H}_k$ 연산자를 사용한다.
• $\tau(x,t,s,m)$가 2-Toda 계층 방정식을 만족함을 증명하며, 이중선형 항등식 $\partial^2_{t_1 s_1} \ln \tau = \tau(m+1)\tau(m-1)/\tau(m)^2$ 포함.
• 연산자 항등식 $\mathfrak{H}(z) = \frac{1}{e^{z/2}-e^{-z/2}}(\varepsilon_0(z) - \frac{1}{e^{z/2}-e^{-z/2}}\text{I})$를 통해 Gromov-Witten/Hilbert 대응을 수립함으로써 정적 불변량과 연결.

실험 결과

연구 질문

• RQ1 등변 교차 수를 $\mathbb{C}^2$ 위의 Hilbert 스킴에서 통합계층의 $\tau$-함수로 어떻게 정리할 수 있는가?
• RQ2 Hilbert 스킴의 등변 코homology와 $\mathbb{P}^1$의 정적 Gromov-Witten 불변량 사이의 정확한 대응은 무엇인가?
• RQ3 대칭군의 동치류 대수 내에서 Jucys-Murphy 원소와 코이히오메트릭 연산자가 Hilbert 스킴의 기하학과 어떻게 관련되는가?
• RQ4 모듈리 공간 $\mathcal{M}(m,n)$과 그 등변 코homology를 통해 2-Toda 계층을 기하학적으로 실현할 수 있는가?
• RQ5 연산자 $\mathfrak{H}(z)$는 Hilbert 스킴 교차 이론과 Gromov-Witten 이론을 통합하는 데서 어떤 역할를 하는가?

주요 결과

• 모듈리 공간 $\mathcal{M}(m,n)$ 위에서의 등변 교차 수에 대한 생성함수 $\tau(x,t,s,m)$는 2-Toda 계층의 $\tau$-함수로 식별된다.
• $\tau$-함수는 이중선형 Toda 방정식 $\partial^2_{t_1 s_1} \ln \tau = \tau(m+1)\tau(m-1)/\tau(m)^2$를 만족함으로써 통합계층의 구조를 확인한다.
• 페르미온 Fock 공간 위에서 작용하는 주 연산자 $\mathfrak{H}(z)$는 수정된 코이히오메트릭 연산자 $\widetilde{\mathfrak{G}}_z^{(m)}$로 식별되며, 이는 $\tau$-함수의 구성에 기여한다.
• Gromov-Witten/Hilbert 대응은 연산자 항등식 $\mathfrak{H}(z) = \frac{1}{e^{z/2}-e^{-z/2}}(\varepsilon_0(z) - \frac{1}{e^{z/2}-e^{-z/2}}\text{I})$를 통해 수립되며, Hilbert 스킴과 정적 Gromov-Witten 불변량을 연결한다.
• Fock 공간 $\mathcal{F}^{(m)}$ 위에서의 다중점 추적 함수는 Bloch-Okounkov와 Okounkov-Pandharipande의 결과에 따라 타원곡선의 정적 Gromov-Witten 불변량을 계산한다.
• $\tau$-함수는 특수화를 통해 $\tau(u,x_1)$로 줄어들며, 이 경우 $e^{-u}\partial^2_u \ln \tau = \tau(u+x_1,x_1)\tau(u-x_1,x_1)/\tau(u,x_1)^2$를 통해 히르츠 수의 생성함수로 연결되며, 히르츠 이론과 관련된다.