[논문 리뷰] Invariants of algebraic curves and topological expansion

Benoît Eynard, Nicolas Orantin|HAL (Le Centre pour la Communication Scientifique Directe)|2007. 02. 14.

Algebraic structures and combinatorial models참고 문헌 25인용 수 33

한 줄 요약

이 논문은 메로모르픽 미분과 리만 이중선형 항등식을 통해 어떤 대수적 곡선에 대해서도 유일한 불변량인 자유 에너지 $F^{(g)}$를 도입한다. 이러한 불변량들은 위상적 전개를 통해 형식적 타우 함수를 생성하며, 이는 행렬 모델의 $1/N^2$ 전개를 보편적으로 묘사한다. 이는 콘체비치 적분을 포함하며, 심플렉틱 불변성과 히로타 방정식의 구조를 통해 KdV $\tau$-함수임을 증명한다.

ABSTRACT

For any arbitrary algebraic curve, we define an infinite sequence of invariants. We study their properties, in particular their variation under a variation of the curve, and their modular properties. We also study their limits when the curve becomes singular. In addition we find that they can be used to define a formal series, which satisfies formally an Hirota equation, and we thus obtain a new way of constructing a tau function attached to an algebraic curve. These invariants are constructed in order to coincide with the topological expansion of a matrix formal integral, when the algebraic curve is chosen as the large N limit of the matrix model's spectral curve. Surprisingly, we find that the same invariants also give the topological expansion of other models, in particular the matrix model with an external field, and the so-called double scaling limit of matrix models, i.e. the (p,q) minimal models of conformal field theory. As an example to illustrate the efficiency of our method, we apply it to the Kontsevitch integral, and we give a new and extremely easy proof that Kontsevitch integral depends only on odd times, and that it is a KdV tau-function.

연구 동기 및 목표

• 어떤 행렬 모델에 의해 생성되었는지에 관계없이, 어떤 대수적 곡선에 대해서도 무한한 수의 불변량 $F^{(g)}$를 정의하는 것.
• 이러한 불변량들이 외부 필드가 있는 행렬 모델과 이중 스케일링 모델을 포함한 다양한 행렬 모델의 위상적 전개를 재현하는지 보여주는 것.
• 곡선의 기하학적 성질로부터 형식적 타우 함수를 수립하고, 히로타 방정식을 만족하며, 적분 가능 구조를 갖는다는 것을 보장하는 것.
• 콘체비치 적분이 오직 홀수 시간에만 의존하고, 심플렉틱 불변성에 의해 KdV $\tau$-함수임을 증명하는 것.

제안 방법

• 메로모르픽 미분의 잔여소를 이용하여 자유 에너지 $F^{(g)}$를 정의하며, 베르그만 커널과 프라임 형식을 사용한다.
• 곡선 위의 루프 삽입 연산자와 경로 적분을 통해 순환 함수 $W_{g,n}$를 재귀적으로 구성한다.
• 리만 이중선형 항등식과 라우흐 변분 공식을 사용하여 모듈리 공간 및 타우 함수의 변화에 따른 변환 법칙을 유도한다.
• 위상적 재귀 공식을 적용하여 행렬 모델의 고전적 스펙트럼 곡선에서 $F^{(g)}$와 $W_{g,n}$를 계산한다.
• 자유 에너지 $F^{(0)}$와 $F^{(1)}$의 심플렉틱 불변성을 증명하여 곡선의 변형에 대해 보편성을 확보한다.
• 유도된 급수의 히로타 이중선형 방정식을 만족함을 증명하여 적분 가능성과 타우 함수의 구조를 확인한다.

실험 결과

연구 질문

• RQ1 어떤 대수적 곡선에 대해서나 기원이 행렬 모델에 의존하지 않는 보편적인 불변량 집합을 정의할 수 있는가?
• RQ2 이러한 불변량들이 콘체비치 적분과 다른 행렬 모델의 위상적 전개를 재현하는가?
• RQ3 유도된 생성 급수는 히로타 방정식을 만족하는 $\tau$-함수인가?
• RQ4 불변량들이 모듈라 및 곡선 모듈라의 변화에 어떻게 변환되는가?
• RQ5 자유 에너지 $F^{(0)}$와 $F^{(1)}$에 대해 심플렉틱 불변성을 증명할 수 있는가? 이는 보편성을 보장한다.

주요 결과

• 불변량 $F^{(g)}$는 메로모르픽 미분의 잔여소를 통해 어떤 대수적 곡선에 대해서도 정의되며, 보편적인 변환 법칙을 만족한다.
• 외부 필드가 있는 행렬 모델의 위상적 전개는 스펙트럼 곡선에서 유도된 불변량과 일치함을 확인하여 보편성을 입증한다.
• 콘체비치 적분은 오직 홀수 시간에만 의존하며, $F^{(0)}$와 $F^{(1)}$의 심플렉틱 불변성에 의해 KdV $\tau$-함수임을 증명한다.
• 자유 에너지 $F^{(0)}$는 호모로지 사이클의 심플렉틱 변환에 대해 불변이며, 이는 보편성에 핵심적인 성질이다.
• 전체 급수 $F = ∑_g N^{-2g} F^{(g)}$는 히로타 이중선형 방정식을 만족하며, 적분 가능성을 확인한다.
• 순환 함수 $W_{g,n}$는 루프 삽입을 통해 재귀적으로 계산되며, 2행렬 모델과 외부 필드 모델을 포함한 기존 결과와 일치한다.