[논문 리뷰] Integrable systems and holomorphic curves

P. Rossi|arXiv (Cornell University)|2009. 12. 02.

Homotopy and Cohomology in Algebraic Topology인용 수 14

한 줄 요약

이 논문은 $S^1 \times M$ 위에서 유도된 무한차원 해밀턴 시스템과 그로모프-위튼 이론을 통해 도출된 프로비니우스 다양체로부터 유도된 시스템 사이의 정확한 대응을 확립한다. 이는 두 해밀턴 계층이 동일함을 보이며, 두드로빈의 형식론을 사용하고, 기본 클래스 및 나눔자 원리와 같은 공리들로부터 재귀적이고 평탄한 접속을 통해 해밀턴ian을 유도함으로써 이를 입증한다.

ABSTRACT

In this paper we attempt a self-contained approach to infinite dimensional Hamiltonian systems appearing from holomorphic curve counting in Gromov-Witten theory. It consists of two parts. The first one is basically a survey of Dubrovin's approach to bihamiltonian tau-symmetric systems and their relation with Frobenius manifolds. We will mainly focus on the dispersionless case, with just some hints on Dubrovin's reconstruction of the dispersive tail. The second part deals with the relation of such systems to rational Gromov-Witten and Symplectic Field Theory. We will use Symplectic Field theory of $S^1 imes M$ as a language for the Gromov-Witten theory of a closed symplectic manifold $M$. Such language is more natural from the integrable systems viewpoint. We will show how the integrable system arising from Symplectic Field Theory of $S^1 imes M$ coincides with the one associated to the Frobenius structure of the quantum cohomology of $M$.

연구 동기 및 목표

• 그로모프-위튼 이론에서 무한차원 해밀턴 시스템을 위한 자가 포함된 프레임워크를 수립하기 위해.
• SFT에서 유도된 통합계와 프로비니우스 다양체를 통해 유도된 통합계를 양자코homology를 통해 연결하기 위해.
• SFT에서 유도된 해밀턴 계층이 닫힌 심플렉틱 다양체 $M$의 양자코homology에서 유도된 계층과 일치함을 보여주기 위해.
• 기본 클래스 및 나눔자 원리와 같은 공리들로부터 재귀적으로 해밀턴ian $h_{\alpha,j}$를 유도하기 위해.
• 이 해밀턴ian들로부터 구성된 $J$-함수 $J_\alpha(t,\zeta)$가 평탄한 접속 조건을 만족함을 보여주어 통합성의 확인을 위해.

제안 방법

• 국소 함수형식으로서 $u$와 그 도함수들에 대한 미분다항식을 사용하여 정의된 함수들로 구성된 형식적 루프 공간 $\mathcal{L} = \{u: S^1 \to \mathbb{R}^n\}$ 을 위상공간으로 사용한다.
• 형식적 델타-분포 $\delta^{(s)}(x-y)$ 를 사용하여 해밀턴ian의 구조 상수 $a_s^{\alpha\beta}$ 가 자코비 항등식을 만족하도록 정의된 파울슨 브라켓을 정의한다.
• 산산분산한 극한에서 드브로빈의 이-해밀턴 타우대칭 시스템 이론을 적용하며, 산산분산 수정의 힌트를 포함한다.
• 기본 클래스 및 나눔자 원리로부터 그로모프-위튼 불변량을 사용하여 해밀턴ian $h_{\alpha,j}$ 를 도출하며, $h_{\alpha,-1} = \sum \eta_{\alpha\beta} t^\beta$ 로 시작한다.
• 등급과 고전적 컵乘의 데이터를 사용하여 $J$-함수 $J_\alpha(t,\zeta) = h_\alpha(t,\zeta) \zeta^\mathcal{V} \zeta^R$ 를 구성한다.
• 해당 $J$-함수는 $H^*(M) \times \mathbb{C}^*$ 위에서 변형된 평탄한 접속 $\tilde{\nabla}$ 를 만족함을 보이며, $\tilde{\nabla}_X Y = X^\alpha \partial_\alpha Y + \zeta X \star Y$ 와 $\tilde{\nabla}_{\partial_\zeta} Y = \partial_\zeta Y - \frac{1}{2} E \star Y - \frac{1}{\zeta} \mathcal{V} Y$ 를 만족한다.

실험 결과

연구 질문

• RQ1 SFT에서 유도된 통합계가 $M$의 양자코homology에서 유도된 통합계와 일치하는가?
• RQ2 $M$의 그로모프-위튼 불변량이 어떻게 통합 가능한 PDE를 만족하는 해밀턴ian을 생성하는가?
• RQ3 기본 클래스 및 나눔자 원리로부터 재귀적으로 해밀턴ian $h_{\alpha,j}$ 를 완전히 재구성할 수 있는가?
• RQ4 오일러 벡터장 $E$ 와 행렬 $R$ 이 $J$-함수의 동차성과 평탄성 확보에 어떤 역할을 하는가?
• RQ5 함수 $J$-함수는 $H^*(M) \times \mathbb{C}^*$ 위에서 변형된 평탄한 접속 $\tilde{\nabla}$ 의 평탄한 섹션인가?

주요 결과

• SFT에서 유도된 해밀턴 계층은 $M$의 양자코homology의 프로비니우스 다양체 구조에서 유도된 계층과 동형이다.
• 해밀턴ian $h_{\alpha,j}$ 는 기본 클래스 원리 $\partial_1 h_{\alpha,j} = h_{\alpha,j-1}$ 와 나눔자 원리로부터 재귀적으로 결정되며, $h_{\alpha,-1} = \sum \eta_{\alpha\beta} t^\beta$ 로 시작한다.
• 생성함수 $h_\alpha(t,\zeta) = \sum_{k=0}^\infty h_{\alpha,k-1}(t) \zeta^k$ 는 $\langle \frac{\Delta_\alpha}{1 - \zeta \psi}, t, \ldots, t \rangle_0^A z^A$ 와 같이 그로모프-위튼 불변량을 포함한다.
• $J$-함수 $J_\alpha(t,\zeta) = h_\alpha(t,\zeta) \zeta^\mathcal{V} \zeta^R$ 는 변형된 평탄한 접속 $\tilde{\nabla}$ 를 만족함을 보이며, 이는 통합성의 확인을 위한 것이다.
• 접속 $\tilde{\nabla}$ 의 평탄성은 공리로부터 유도된 동차성 및 재귀 조건과 동치이며, $\mathcal{V}$ 와 $R$ 은 등급 및 체른 클래스 데이터를 캡슐화한다.
• 이 시스템은 양자코homology 환과 그 프로비니우스 구조에 의해 완전히 결정되며, $J$-함수는 $\tilde{\nabla}$ 에서의 평탄한 섹션으로서 존재한다.