[논문 리뷰] Symplectic invariants, Virasoro constraints and Givental decomposition

Nicolas Orantin|ArXiv.org|2008. 08. 05.

Algebraic structures and combinatorial models참고 문헌 16인용 수 62

한 줄 요약

이 논문은 스펙트럴 곡선에서 유도된 심플렉틱 불변량이 $ydx$의 두 극점과 $dx$의 영점에서 바이라소로 제약 조건을 만족함을 보이며, [14]의 재귀 루프 방정식과 [3]의 바이라소로 제약 조건을 통합하는 바, 매트릭스 M-이론의 두 접근법을 통합한다. 핵심 결과는 분할 함수가 Givental 공식에 의해 1-헤르미트 행렬 적분과 콘체비치 적분의 곱으로 분해되며, 이는 심플렉틱 불변량을 통한 매트릭스 모델 간의 이중성 구조를 드러낸다.

ABSTRACT

Following the works of Alexandrov, Mironov and Morozov, we show that the symplectic invariants of \cite{EOinvariants} built from a given spectral curve satisfy a set of Virasoro constraints associated to each pole of the differential form $ydx$ and each zero of $dx$ . We then show that they satisfy the same constraints as the partition function of the Matrix M-theory defined by Alexandrov, Mironov and Morozov. The duality between the different matrix models of this theory is made clear as a special case of dualities between symplectic invariants. Indeed, a symplectic invariant admits two decomposition: as a product of Kontsevich integrals on the one hand, and as a product of 1 hermitian matrix integral on the other hand. These two decompositions can be though of as Givental formulae for the KP tau functions.

연구 동기 및 목표

• 매트릭스 M-이론의 맥락에서 서로 다른 매트릭스 모델 간의 이중성을 명확히 하기 위해.
• 재귀적 심플렉틱 불변량이 [14]에서 정의된 바, [3]의 분할 함수와 동일한 바이라소로 제약 조건을 만족함을 보여주기 위해.
• 분할 함수의 Givental 유형 분해를 1-헤르미트 및 콘체비치 행렬 적분으로 수행하기 위해.
• 매트릭스 모델의 루프 방정식이 $ydx$의 극점에 국한된 바이라소로 제약 조건과 대응됨을 보여주기 위해.
• 초타원 곡선을 넘어서 일반 스펙트럴 곡선으로 바이라소로 제약 조건 형식을 확장하기 위해.

제안 방법

• 스펙트럴 곡선 ${ mf E}(x,y)=0$ 에서 심플렉틱 불변량 $F^{(g)}({ mf E})$ 를 정의하고, 분할 함수 ${ mf Z} = \exp\left(-\sum_g N^{2-2g} F^{(g)}\right)$ 를 구성한다.
• 미분형식과 루프 삽입 연산자를 조합한 현재 연산자 ${\cal J}(p) = N ydx(p) + \frac{1}{N} \partial_{B(\cdot,p)}$ 를 도입한다.
• 현재 연산자와 경로 적분을 이용해 $ydx$의 극점과 $dx$의 영점에서 전역 바이라소로 제약 조건 $\widehat{\cal L}(p) {\rmf Z} = 0$ 를 유도한다.
• 좌표 전개를 통해 $z_i(p)$ 근처의 극점과 분지점에서 전역 바이라소로 연산자를 국소 이산 바이라소로 생성자 $L_j^{(i)}$ 로 투영한다.
• 수득한 국소 바이라소로 대수를 이용해 분할 함수를 1-헤르미트 행렬 적분과 콘체비치 유형 적분의 곱으로 분해한다.
• 이 분해를 Givental의 다중 성분 KP 타우함수 공식과 연결하여, 심플렉틱 불변량과 적분 가능 체계 간의 연관성을 규명한다.

실험 결과

연구 질문

• RQ1 재귀 관계로 정의된 심플렉틱 불변량이 [14]에서 유도된 바, [3]의 매트릭스 M-이론 분할 함수와 동일한 바이라소로 제약 조건을 만족하는가?
• RQ2 매트릭스 모델의 루프 방정식은 $ydx$의 극점에 국한된 바이라소로 제약 조건으로 해석될 수 있는가?
• RQ3 심플렉틱 불변량은 Givental의 체계에 따라 어떻게 분해되며, 이는 매트릭스 모델 간의 이중성에 어떤 함의를 갖는가?
• RQ4 전역 바이라소로 제약 조건은 스펙트럴 곡선의 특이점에서 국소 이산 바이라소로 대수로 투영될 수 있는가?
• RQ5 Krichever-Novikov 대수의 구조는 $\cal J(p)$ 로 정의된 현재 대수에서 어떤 역할을 하는가?

주요 결과

• 심플렉틱 불변량에서 유도된 분할 함수 ${\rmf Z}$ 는 $ydx$의 각 극점과 $dx$의 각 영점에서 전역 바이라소로 제약 조건 $\widehat{\cal L}(p){\rmf Z} = 0$ 을 만족한다.
• 재귀적 상관 함수 정의가 [14]에서 유도된 바, 분지점에서 바이라소로 연산자의 작용과 동치임을 확인하여 두 접근법의 일관성을 입증한다.
• 전역 바이라소로 연산자는 극점 $\alpha_i$ 근처에서 국소 이산 바이라소로 생성자 $L_j^{(i)}$ 로 분해되며, 이는 $t_{k,i}$-미분과 구조 상수를 포함한 명시적 표현을 갖는다.
• 분할 함수는 1-헤르미트 행렬 적분과 콘체비치 적분의 곱으로 Givental 유형 분해를 갖는다. 각각 극점과 분지점에 대응한다.
• 1-헤르미트 매트릭스 모델과 콘체비치 모델 간의 이중성은 동일한 스펙트럴 곡선에서 서로 다른 바이라소로 제약 조건을 통해 자연스럽게 유도된다.
• 이 형식은 초타원 곡선을 넘어서 고유도 및 혼합 상관 함수로 일반화될 수 있는 프레임워크를 제공한다.