[논문 리뷰] The equivariant Toda lattice, I

Ezra Getzler|ArXiv.org|2002. 07. 02.

Advanced Algebra and Geometry참고 문헌 7인용 수 8

한 줄 요약

이 논문은 형식적 매개변수 $\nu$ 를 포함한 제약 조건 $(\delta_1 - \bar{\delta}_1)L = \nu \partial L$ 로 정의되는 무한차원 Toda 격자의 축약으로서 등변 Toda 격자를 도입하고, 그 미분 아이디얼이 운동량 보존 상수에 대한 몫 대칭과 자유 대칭의 텐서곱과 동형임을 증명한다. 주요 결과로는 등변 Toda 격자의 분산 없는 극한이 $\mathbb{CP}^1$ 의 등변 Gromov-Witten 포텐셜과 정확히 대응됨을 보이며, Toda 방정식과 위상수학적 재귀 관계를 통해 그 추측을 확인한다.

ABSTRACT

We study a reduction of the Toda lattice in the limit of infintesimal lattice spacing. Using this reduction, we formulate a conjecture for the equivariant Gromov-Witten invariants of the sphere, which we prove in genus 0. This conjecture follows from recent work of Okounkov and Pandharipande (math.AG/0207233), combined with results from the sequel to this paper.

연구 동기 및 목표

• 형식적 매개변수 $\nu$ 를 포함한 제약 조건을 통해 Toda 격자의 새로운 축약인 등변 Toda 격자를 정의하고 연구한다.
• 등변 Toda 격자의 미분 아이디얼과 운동량 보존 상수에 대한 몫 대칭과 자유 대칭의 텐서곱 사이의 동형을 확립한다.
• 등변 Toda 격자의 분산 없는 극한이 $\mathbb{CP}^1$ 의 등변 종수 0 Gromov-Witten 포텐셜을 재현함을 보인다.
• 제약 조건 $\delta_1 - \bar{\delta}_1 = \nu\partial$ 를 통해 Toda 방정식에 연결된 추측 $\partial_0\bar{\partial}_0\mathcal{F} = \exp(\nabla^2\mathcal{F})$ 를 확인한다.

제안 방법

• Toda 격자를 $\mathbb{Q}_\varepsilon = \mathbb{Q}[[\varepsilon]]$ 위의 자유 미분 대수 $\mathcal{A} = \mathbb{Q}_\varepsilon\{q, a_k, \bar{a}_k \mid k > 0\}$ 상의 유도자로 실현한다.
• 제약 조건 $(\delta_1 - \bar{\delta}_1)L = \nu \partial L$ 을 통해 등변 Toda 격자를 정의하고, 이를 통해 미분 아이디얼 $\mathcal{I}_\nu \subset \mathcal{A}[\nu]$ 로 축약한다.
• 다음과 같은 동형을 구성한다: $\mathcal{A}[\nu]/\mathcal{I}_\nu \cong \mathbb{Q}_{\varepsilon,\nu}\{q,v,\bar{v}\}/(\nu\partial q - \nabla(v - \bar{v})) \otimes_{\mathbb{Q}_{\varepsilon,\nu}} \mathbb{Q}_{\varepsilon,\nu}[z_k, \bar{z}_k \mid k > 0]$, 여기서 $z_k, \bar{z}_k$ 는 Lax 연산자 방정식으로 정의된 운동량 보존 상수이다.
• 종수 0과 1의 위상수학적 재귀 관계를 사용하여 종수 0 포텐셜 $\mathcal{F}_0$ 를 유도하고, 분산 없는 극한에서 Toda 방정식 $\partial_0^2\mathcal{F}_0 = q + \nu v$ 가 성립함을 검증한다.
• 구멍 벡터장 $e = \partial - \sum (s_{n+1}\partial_{s_n} + t_{n+1}\partial_{t_n})$ 를 적용하여 $e(v) = 1$ 과 $e(u) = 0$ 이 됨을 보이고, 이를 통해 생성 함수 $x(z)$ 와 $y(z)$ 가 식별적으로 0이 됨을 증명한다.
• 도수 0 모듈리 공간 $\overline{\mathcal{M}}_{0,2}(\mathbb{CP}^1, 0)$ 이 비어 있음을 고려하여 $\lim_{q \to 0} x(z) = \lim_{q \to 0} y(z) = 0$ 이 되며, 이로 인해 $x(z) = y(z) = 0$ 이 됨을 결론 내린다. 이는 분산 없는 극한 공식을 증명한다.

실험 결과

연구 질문

• RQ1 형식적 매개변수 $\nu$ 를 통해 Toda 격자를 어떻게 등변화할 수 있는가?
• RQ2 등변 Toda 격자에 대응하는 미분 아이디얼 $\mathcal{I}_\nu$ 의 대수적 구조는 무엇인가?
• RQ3 등변 Toda 격자의 분산 없는 극한은 $\mathbb{CP}^1$ 의 등변 Gromov-Witten 포텐셜과 어떻게 관련이 있는가?
• RQ4 Toda 방정식과 제약 조건 $\delta_1 - \bar{\delta}_1 = \nu\partial$ 를 통해 추측 $\partial_0\bar{\partial}_0\mathcal{F} = \exp(\nabla^2\mathcal{F})$ 를 유도할 수 있는가?
• RQ5 운동량 보존 상수 $z_k, \bar{z}_k$ 는 등변 Toda 격자의 Lax 연산자 표현에서 어떤 역할을 하는가?

주요 결과

• 등변 Toda 격자는 제약 조건 $(\delta_1 - \bar{\delta}_1)L = \nu \partial L$ 으로 정의되며, 이는 매개변수 $\nu$ 를 통해 등변성을 도입한다.
• 미분 아이디얼 $\mathcal{I}_\nu$ 는 $\mathbb{Q}_{\varepsilon,\nu}\{q,v,\bar{v}\}/(\nu\partial q - \nabla(v - \bar{v})) \otimes \mathbb{Q}_{\varepsilon,\nu}[z_k, \bar{z}_k \mid k > 0]$ 와 동형이 되며, 이는 시스템이 몫 대칭과 운동량 보존 상수의 자유 대칭으로 분해됨을 보여준다.
• 등변 Toda 격자의 분산 없는 극한은 $\mathbb{CP}^1$ 의 종수 0 등변 Gromov-Witten 포텐셜을 재현하며, $q = \exp(\nabla^2\mathcal{F})$ 와 $v = \nabla \partial_0 \mathcal{F}$ 로 표현된다.
• 생성 함수 $x(z) = \sum z^k \partial_k \partial \mathcal{F}_0 - \sum \frac{z^{n-1} p_0(n)}{[n]!}$ 와 $y(z) = \sum z^k \partial_k \partial_0 \mathcal{F}_0 - \sum \frac{z^{n-1} p_{-1}(n)}{[n]!}$ 는 식별적으로 0이 되며, 이는 분산 없는 극한 공식을 증명한다.
• 구멍 벡터장 $e$ 는 큰 위상공간에서 $\partial_v$ 로 작용하며, $x(z)$ 와 $y(z)$ 의 영함은 스트링 방정식과 도수 0 모듈리 공간 $\overline{\mathcal{M}}_{0,2}(\mathbb{CP}^1, 0)$ 이 비어 있음을 통해 유도된다.
• Okounkov와 Pandharipande가 확립한 lin, 이 결과는 모든 종수에서 추측 $\partial_0\bar{\partial}_0\mathcal{F} = \exp(\nabla^2\mathcal{F})$ 가 확인됨을 보여준다.