[논문 리뷰] Models of discretized moduli spaces, cohomological field theories, and Gaussian means

Jørgen Ellegaard Andersen, Leonid Chekhov외 2명|arXiv (Cornell University)|2015. 01. 23.

Topological and Geometric Data Analysis참고 문헌 54인용 수 14

한 줄 요약

이 논문은 고리수 필터링된 가우시안 행렬 모형의 모멘트와 콘체비치–페너 행렬 모형(KPMM) 사이의 조합론적 연결을 확립한다. KPMM는 이산 모듈리 공간 $\mathcal{M}_{g,s}^{\mathrm{disc}}$ 의 체적을 생성하며, 기하학적 구조를 통해 위상수학적 재귀와 기브탈 유형 분해를 이용해 이종체적 체적의 준다항식성을 증명하고, $\mathcal{M}_{g,1}$ 의 고리수 $g$ 포텐셜에 대한 첫 번째 보조 보정항을 두 가지 독립된 방법으로 계산하여 정밀한 헤라어–자지어 재귀와 기브탈 변환 간의 일致성을 확인한다.

ABSTRACT

We prove combinatorially the explicit relation between genus filtrated $s$-loop means of the Gaussian matrix model and terms of the genus expansion of the Kontsevich--Penner matrix model (KPMM). The latter is the generating function for volumes of discretized (open) moduli spaces $M_{g,s}^{\\mathrm{disc}}$ given by $N_{g,s}(P_1,\\dots,P_s)$ for $(P_1,\\dots,P_s)\\in{\\mathbb Z}_+^s$. This generating function therefore enjoys the topological recursion, and we prove that it is simultaneously the generating function for ancestor invariants of a cohomological field theory thus enjoying the Givental decomposition. We use another Givental-type decomposition obtained for this model by the second authors in 1995 in terms of special times related to the discretisation of moduli spaces thus representing its asymptotic expansion terms (and therefore those of the Gaussian means) as finite sums over graphs weighted by lower-order monomials in times thus giving another proof of (quasi)polynomiality of the discrete volumes. As an application, we find the coefficients in the first subleading order for ${\\mathcal M}_{g,1}$ in two ways: using the refined Harer--Zagier recursion and by exploiting the above Givental-type transformation. We put forward the conjecture that the above graph expansions can be used for probing the reduction structure of the Delgne--Mumford compactification $\\overline{\\mathcal M}_{g,s}$ of moduli spaces of punctured Riemann surfaces.

연구 동기 및 목표

• 고리수 필터링된 가우시안 행렬 모형의 모멘트와 콘체비치–페너 행렬 모형(KPMM) 사이의 직접적인 조합론적 관계를 확립하기 위해.
• KPMM의 자유 에너지가 위상수학적 재귀를 통해 모듈리 공간 $\mathcal{M}_{g,s}^{\mathrm{disc}}$ 의 이산 체적 $N_{g,s}(P_1,\dots,P_s)$ 를 생성함을 보여주기 위해.
• 기브탈 유형 분해에서 유도된 그래프 전개를 이용해 $N_{g,s}(P_1,\dots,P_s)$ 의 준다항식성을 증명하기 위해.
• 정밀한 헤라어–자지어 재귀와 기브탈 변환을 모두 사용하여 $\mathcal{M}_{g,1}$ 의 고리수 $g$ 포텐셜에 대한 첫 번째 보조 보정항을 계산하고 일致성을 확인하기 위해.

제안 방법

• KPMM를 이산 체적 $N_{g,s}(P_1,\dots,P_s)$ 의 생성함수로 사용하여, 이들이 $P_i$ 에 대해 준다항식임을 보임.
• KPMM의 스펙트럴 곡선에 위상수학적 재귀를 적용하여, 주요 상관함수 $\chi(\mathcal{M}_{g,s})$ 를 가진 코homological 필드 이론의 조상 불변량을 도출함.
• 기브탈 유형 분해를 통해 KPMM를 두 개의 콘체비치 모형으로 분해하고, 보골리우보프 캐논ical 변환으로 연결된 형태로 표현하여 자유 에너지 항을 그래프의 유한 합으로 표현함.
• 고리수 전개의 항들을 정점(콘체비치 모형 항), 내부 간선(캐논ical 변환의 이차항), 외부 반간선/일반 간선($T^{\pm}_{2n}$ 에 해당)을 가진 그래프의 가중합으로 표현함.
• 바이아스로르 제약과 스트링/디라톤 방정식을 이용해 첫 번째 보정항에 필요한 교차수 $\langle\tau_{3g-3}\tau_2\rangle_g$ 와 $\langle\tau_{3g-5}\rangle_{g-1}$ 을 계산함.
• 정밀한 헤라어–자지어 재귀를 적용하고 결과를 기브탈 변환과 비교하여 $T^{+}_{6g-6}$ 의 계수를 확인함.

실험 결과

연구 질문

• RQ1 고리수 필터링된 가우시안 행렬 모형의 모멘트는 콘체비치–페너 행렬 모형의 고리수 전개와 어떻게 관련되어 있는가?
• RQ2 기브탈 유형 분해에서 유도된 그래프 전개를 통해 $N_{g,s}(P_1,\dots,P_s)$ 가 준다항식임을 증명할 수 있는가?
• RQ3 $\mathcal{M}_{g,1}$ 의 고리수 $g$ 포텐셜에 대한 첫 번째 보조 보정항은 무엇이며, 두 가지 독립된 방법이 동일한 결과를 도출하는가?
• RQ4 KPMM 자유 에너지의 그래프 기반 전개는 델리뉴–무드포트 컴팩티피케이션 $\overline{\mathcal{M}}_{g,s}$ 의 축소 구조를 반영하는가?
• RQ5 KPMM의 위상수학적 재귀는 코homological 필드 이론과 양자 곡선의 구조와 어떻게 관련되어 있는가?

주요 결과

• KPMM의 자유 에너지는 가우시안 행렬 모형의 리졸베이트의 원시 함수이며, 이는 스펙트럴 곡선과 양자 곡선과 연결됨.
• KPMM는 위상수학적 재귀를 통해 $P_i$ 에 대해 준다항식인 이산 체적 $N_{g,s}(P_1,\dots,P_s)$ 를 생성하며, 이는 $P_i$ 의 짝수 거듭제곱에만 의존함.
• $\mathcal{M}_{g,1}$ 의 고리수 $g$ 포텐셜에 대한 첫 번째 보조 보정항은 $\frac{1}{5}[12g^2 - 7g + 5]$ 배의 $T^{+}_{6g-6}$ 이며, 두 가지 다른 방법으로 유도됨.
• $T^{+}_{6g-6}$ 의 계수는 정밀한 헤라어–자지어 재귀와 기브탈 유형 변환을 모두 통해 확인되어 일치함.
• KPMM 자유 에너지 항의 그래프 전개를 통해 정점과 간선에 레이블이 부여된 그래프의 유한 합으로 $N_{g,s}(P_1,\dots,P_s)$ 의 준다항식성을 새롭게 증명함.
• 교차수 $\langle\tau_{3g-3}\tau_2\rangle_g$ 는 $\frac{1}{5}[12g(g-1)+5]\langle\tau_{3g-2}\rangle_g$ 로 계산되며, 보정항에 필수적임.