[논문 리뷰] The Geometry of integrable systems. Tau functions and homology of Spectral curves. Perturbative definition

Bertrand Eynard|arXiv (Cornell University)|2017. 06. 15.

Nonlinear Waves and Solitons참고 문헌 48인용 수 11

한 줄 요약

이 논문은 스펙트럴 곡선을 이용한 통합계의 기하적 구성법을 호의 호를 통해 제시하며, 편미분 방법을 통해 타우 함수와 베크-아키에제르 함수를 콫포르멀 블록으로 정의한다. 해밀토니안을 고리로, 시간을 주기로 식별하고, 제3종 고리를 제2종 고리로 융합함으로써 히로타 방정식이 유도됨을 보이며, 산란 매개수 $\epsilon$ 의 형식적 멱급수에서 통합계, 위상적 재귀, CFT의 구조를 통합한다. 주요 기여는 스펙트럴 곡선 기하학과 위상적 재귀에 기반한 통합계의 타우 함수와 진폭의 호 이론적 프레임워크이다.

ABSTRACT

In this series of lectures, we (re)view the "geometric method" that reconstructs, from a geometric object: the "spectral curve", an integrable system, and in particular its Tau function, Baker-Akhiezer functions and "current amplitudes", all having an interpretation as CFT conformal blocks. The construction identifies Hamiltonians with cycles on the curve, and times with periods (integrals of forms over cycles). All the integrable structure is formulated in terms of homology of contours, the phase space is a space of cycles where the symplectic form is the intersection, the Hirota operator is a degree 2 second-kind cycle, a Sato shift is an addition of a 3rd kind cycle, the Hirota equations amount to saying that merging 3rd kind cycles (monopoles) yields a 2nd kind cycle (dipole). The lecture is divided into 3 parts: 1) classical case, perturbative: the spectral curve is a ramified cover of a base Riemann surface -- with some additional structure -- and the integrable system is defined as a formal power series of a small "dispersion" parameter $ε$. 2) dispersive classical case, non perturbative: the spectral curve is defined not as a ramified cover (which would be a bundle with discrete fiber), but as a vector bundle -- whose dispersionless limit consists in chosing a finite set of vectors in each fiber. 3) non-commutative case, and perturbative. The spectral curve is here a "non-commutative" surface, whose geometry will be defined in lecture III. 4) the full non-commutative dispersionless theory is under development is not presented in these lectures.

연구 동기 및 목표

• 스펙트럴 곡선에서 통합계를 기하학적, 호 기반의 프레임워크로 구성함으로써, 그 구조를 conformal field theory (CFT)와 위상적 재귀와 통합하는 것.
• 작은 산란 매개수 $\epsilon$ 에 대한 형식적 멱급수로서 타우 함수와 n점 진폭을 정의함으로써 통합계의 편미분 분석을 가능하게 하는 것.
• 스펙트럴 곡선 상의 고리로 해밀토니안을 식별하고, 시간을 미르포르픽 1형식의 주기로 정의함으로써, 고리 상의 교차를 통한 심플렉틱 구조 수립.
• 히로타 방정식을 제3종 고리(단극자)가 제2종 고리(이배극자)로 융합되는 것으로 기하학적으로 해석함으로써, 이중선형 관계의 위상적 시각화 제공.
• 이 형식을 비편미분 및 비가환 설정으로 확장하는 일련의 연구를 위한 기초를 마련하는 것, 특히 산란 및 비가환 고전적 통합계를 포함한 것.

제안 방법

• 구성은 스펙트럴 곡선 $\mathcal{S}$ 를 기본 리만 곡면 위의 분지 커버로 간주하며, 추가적인 구조를 지닌다. 이는 통합계의 기하적 입력으로 기능한다.
• 해밀토니안은 스펙트럴 곡선 상의 호 이론적 고리로 식별되고, 시간은 이 고리 위에서 미르포르픽 1형식의 주기로 정의된다.
• 상태공간의 호 집합 위의 심플렉틱 구조는 교차 형식으로 주어지며, 라그랑주 부분다양체를 통한 다르부 좌표가 구성된다.
• 타우 함수는 $\epsilon$ 에 대한 형식적 멱급수로서 정의되며, 고리 공간의 라그랑주 분해와 적분 쌍대성의 정규화를 통해 수행된다.
• 히로타 방정식은 두 개의 제3종 고리를 하나의 제2종 고리로 융합하는 조건으로 기하학적으로 유도되며, 이는 이배극자 형성으로 해석된다.
• 베이커-아키에제르 함수와 전류 진폭은 스펙트럴 곡선에 관련된 일반화된 정점 연산자에 의해 콕포르멀 블록으로 구성되며, 루프 방정식은 그 역학을 기록한다.

실험 결과

연구 질문

• RQ1 호 이론과 위상적 재귀를 통해 스펙트럴 곡선의 기하학적 성질을 이용하여 통합계의 타우 함수를 체계적으로 구성할 수 있는가?
• RQ2 히로타 이중선형 방정식의 정확한 기하학적 해석은 스펙트럴 곡선 상의 고리 융합과 호 이론을 통해 어떻게 이루어지는가?
• RQ3 통합계의 시간과 해밀토니안은 스펙트럴 곡선 상의 미르포르픽 1형식의 주기와 고리로부터 어떻게 유도되는가?
• RQ4 $\epsilon$ 에 대한 편미분 전개가 어떻게 일관되게 정의되어야 하며, 루프 방정식과 모듈라 성질을 포함한 전체 통합계의 구조를 복원할 수 있는가?
• RQ5 이 호 이론적 프레임워크는 어떻게 통합계, CFT의 콕포르멀 블록, 위상적 재귀의 구조를 통합하는가?

주요 결과

• 타우 함수는 $\epsilon$ 에 대한 형식적 멱급수로서 정의되며, 고리 공간의 라그랑주 분해와 적분 쌍대성의 정규화에 기반한다.
• 상태공간의 고리 집합 위의 심플렉틱 구조는 교차 형식을 통해 실현되며, 상태공간은 교차 수를 심플렉틱 형식으로 갖는 고리의 공간으로 식별된다.
• 히로타 방정식은 두 개의 제3종 고리(단극자)가 하나의 제2종 고리(이배극자)로 융합되는 것으로 기하학적으로 해석되며, 이중선형 관계의 위상적 기원을 제공한다.
• 베이커-아키에제르 함수와 n점 진폭은 CFT의 콕포르멀 블록과 대응되며, 일반화된 정점 연산자 $\mathcal{V}(\mathcal{S})$ 가 스펙트럴 곡선의 자료를 코딩한다.
• 편미분 분할 함수의 루프 방정식을 유도하였으며, 이는 타우 함수의 정의 방정식과 동치임을 보였고, 이는 통합계 계층의 일관성을 확보한다.
• 모듈라 변환은 고리 분해 위에 자연스럽게 작용하며, 타우 함수와 진폭의 구조를 유지한다.