[논문 리뷰] From matrix models' topological expansion to topological string theories: counting surfaces with algebraic geometry

Nicolas Orantin|ArXiv.org|2007. 09. 19.

Topological and Geometric Data Analysis인용 수 9

한 줄 요약

이 학위논문은 대수기하학을 활용하여 스펙트럴 곡선 위의 미분형식으로 관측량의 위상수학적 전개를 계산함으로써, 행렬 모델과 위상수학적 끈 이론 사이의 엄밀한 연결 고리를 설정한다. 이들 불변량을 임의의 대수적 곡선으로 일반화하여, 곡선이 스펙트럴일 경우 행렬 모델의 진폭을 복원함을 보이며, 모듈러 불변성과 코다이라-스펜서 이론의 해석적 이상 방정정식을 만족함을 입증함으로써, 디크라프-바파 추측에 대한 강력한 증거를 제시한다.

ABSTRACT

The 2-matrix model has been introduced to study Ising model on random surfaces. Since then, the link between matrix models and combinatorics of discrete surfaces has strongly tightened. This manuscript aims to investigate these deep links and extend them beyond the matrix models, following my work's evolution. First, I take care to define properly the hermitian 2 matrix model which gives rise to generating functions of discrete surfaces equipped with a spin structure. Then, I show how to compute all the terms in the topological expansion of any observable by using algebraic geometry tools. They are obtained as differential forms on an algebraic curve associated to the model: the spectral curve. In a second part, I show how to define such differentials on any algebraic curve even if it does not come from a matrix model. I then study their numerous symmetry properties under deformations of the algebraic curve. In particular, I show that these objects coincide with the topological expansion of the observable of a matrix model if the algebraic curve is the spectral curve of this model. Finally, I show that fine tuning the parameters ensure that these objects can be promoted to modular invariants and satisfy the holomorphic anomaly equation of the Kodaira-Spencer theory. This gives a new hint that the Dijkgraaf-Vafa conjecture is correct.

연구 동기 및 목표

• 유니터리 두 행렬 모델을 엄밀히 정의하고, 스핀 구조를 가진 이산 표면을 생성하는 생성함수를 유도한다.
• 관련된 스펙트럴 곡선 위에서 대수기하학 도구를 사용하여 관측량의 위상수학적 전개의 모든 항을 계산한다.
• 행렬 모델을 초월하여 임의의 대수적 곡선으로 미분형식의 구성 방식을 일반화하고, 변형에 대해 불변성을 확보한다.
• 곡선이 스펙트럴 곡선일 경우, 이 일반화된 불변량이 행렬 모델의 위상수학적 진폭을 정확히 재현함을 보인다.
• 이 불변량이 모듈러 불변성이 되고 코다이라-스펜서 이론의 해석적 이상 방정식을 만족하도록 매개변수를 조정하며, 이를 검증한다.
• 통합 가능성, 모듈리 공간, 위상수학적 끈 이론의 기존 결과를 활용하여 구성의 일관성을 검증한다.

제안 방법

• 형식적인 유니터리 두 행렬 모델을 정의하여, 생성함수를 통해 스핀 구조를 가진 이산 표면을 생성한다.
• 대수기하학을 사용하여 모델의 스펙트럴 곡선 위에 있는 미분형식을 구성함으로써, 위상수학적 전개의 모든 항을 코딩한다.
• 곡선의 변형에 대해 불변인 불변량을 정의하여, 이 구성 방식을 임의의 대수적 곡선으로 확장한다.
• 곡선이 행렬 모델의 스펙트럴 곡선일 경우, 일반화된 불변량이 모델의 위상수학적 진폭과 정확히 일치함을 보여준다.
• 매개변수를 조정하여 불변량을 모듈러 불변량으로 승격시키고, 코다이라-스펜서 이론의 해석적 이상 방정식을 만족함을 검증한다.
• 통합 가능성, 모듈리 공간, 위상수학적 끈 이론의 기존 결과를 활용하여 구성의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 유니터리 두 행렬 모델에서 관측량의 위상수학적 전개는 어떻게 대수기하학을 통해 체계적으로 계산할 수 있는가?
• RQ2 스펙트럴 곡선 위의 미분형식은 어떤 조건에서 임의의 대수적 곡선으로 일반화될 수 있으며, 핵심 불변성 성질을 유지할 수 있는가?
• RQ3 이 일반화된 불변량이 행렬 모델의 위상수학적 진폭을 언제 복원하는가?
• RQ4 이 불변량을 어떻게 모듈러 불변량으로 만들 수 있으며, 코다이라-스펜서 이론의 해석적 이상 방정식을 만족하는가?
• RQ5 이 구성은 위상수학적 끈 이론에서 디크라프-바파 추측에 대한 증거를 제공하는가?

주요 결과

• 유니터리 두 행렬 모델에서 관측량의 위상수학적 전개는 그 스펙트럴 곡선 위의 미분형식을 통해 대수기하학적으로 완전히 기록된다.
• 이 구성은 임의의 대수적 곡선으로 일반화되며, 곡선의 변형에 대해 불변인 불변량을 생성한다.
• 대수적 곡선이 행렬 모델의 스펙트럴 곡선일 경우, 일반화된 불변량은 모델의 위상수학적 진폭을 정확히 재현한다.
• 매개변수를 조정함으로써 불변량을 모듈러 불변량으로 승격시킬 수 있으며, 코다이라-스펜서 이론의 해석적 이상 방정식을 만족한다.
• 결과는 위상수학적 끈 이론의 맥락에서 디크라프-바파 추측을 지지하는 새로운 강력한 근거를 제공한다.
• 이 틀은 이산 표면의 조합적 수세기와 끈 이론 및 통합계의 깊은 기하학적·물리적 구조를 통합한다.