[논문 리뷰] The ABCD of topological recursion

Jørgen Ellegaard Andersen, Gaëtan Borot외 2명|arXiv (Cornell University)|2017. 03. 09.

Advanced Topics in Algebra인용 수 8

한 줄 요약

이 논문은 코호몰로지적 리 대수 프레임워크를 제시하여, 콘체비치-소이벨만 위상수학적 재귀의 핵심인 양자 에이리 구조를 분류한다. 이는 그들을 정의하는 네텐서 $(A,B,C,D)$ 를 분석함으로써 이루어지며, 분할 함수 계수 $F_{g,n}$ 의 차수에 대한 선형 경계를 수립하고, 특정 선형 제약 조건을 초월해 그 값이 0이 되는 것을 증명한다. 또한 이 구조들을 포함하는 네 가지 기하학적 유형을 규명한다. 이들 유형에는 프로베누스 대수와 $\mathbb{Z}_2$ 대칭을 가진 루프 공간이 포함된다.

ABSTRACT

Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of math-ph/0702045, seeing it as a quantization of certain quadratic Lagrangians in $T^*V$ for some vector space $V$. KS topological recursion is a procedure which takes as initial data a quantum Airy structure -- a family of at most quadratic differential operators on $V$ satisfying some axioms -- and gives as outcome a formal series of functions in $V$ (the partition function) simultaneously annihilated by these operators. Finding and classifying quantum Airy structures modulo gauge group action, is by itself an interesting problem which we study here. We provide some elementary, Lie-algebraic tools to address this problem, and give some elements of classification for ${ m dim}\,V = 2$. We also describe four more interesting classes of quantum Airy structures, coming from respectively Frobenius algebras (here we retrieve the 2d TQFT partition function as a special case), non-commutative Frobenius algebras, loop spaces of Frobenius algebras and a $\mathbb{Z}_{2}$-invariant version of the latter. This $\mathbb{Z}_{2}$-invariant version in the case of a semi-simple Frobenius algebra corresponds to the topological recursion of math-ph/0702045.

연구 동기 및 목표

• 게이지 동치에 대한 리 대수적 접근을 통해 양자 에이리 구조를 체계적으로 분류하는 것.
• 성별 $g$ 와 구멍 수 $n$ 에 대한 $F_{g,n}$ 계수의 총 차수에 대한 선형 경계를 수립하고, 이러한 경계를 초월해 값이 0이 되는 것을 증명하는 것.
• 프로베누스 대수, 비가환 프로베누스 대수, 루프 공간, $\mathbb{Z}_2$-불변 루프 공간에서 유도되는 양자 에이리 구조의 네 가지 새로운 유형을 규명하고 특성화하는 것.
• 위상수학적 재귀의 기하학적 및 대수적 기원을 명확히 하여, $T^*V$ 내의 라그랑주 피복의 양자화와 연결하는 것.
• 낮은 차원 및 단순 리 대수에 대해 양자 에이리 구조를 체계적으로 구성하고 분석할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 리 대수의 수반 표현을 활용해 양자 에이리 구조를 재구성함으로써, 분류 문제를 표현 이론적 자료로 환원하는 것.
• 네텐서 형식 $(A,B,C,D)$ 를 사용해 양자 에이리 구조의 정의 관계를 표현하며, 리 부분대수 조건에서 유도된 제약 조건을 적용하는 것.
• 변형 이론과 군 작용(예: 게이지 군)을 적용해 양자 에이리 구조의 모듈리 공간을 정의하는 것.
• 분할 함수의 재귀적 구조와 $B$, $C$ 텐서의 0이 되는 성질을 활용해, $2g-2+n$ 에 대한 수학적 귀납법을 통해 $F_{g,n}$ 의 차수 경계를 증명하는 것.
• 프로베누스 대수와 루프 공간에서 구체적인 예를 구성하여, $\mathbb{Z}_2$-불변 버전이 에이냐드-오란틴의 원래 위상수학적 재귀를 복원함을 보이는 것.
• 기발란탈 양자화와 심플렉틱 기하학을 활용해 형식을 라그랑주 피복과 양자 불변량과 연결하는 것.

실험 결과

연구 질문

• RQ1 어떻게 리 대수 도구를 활용해 양자 에이리 구조를 체계적으로 분류할 수 있는가?
• RQ2 성별 $g$ 와 구멍 수 $n$ 에 대한 $F_{g,n}$ 계수의 총 차수에 대한 정확한 선형 경계는 무엇이며, 이 경계는 텐서의 0이 되는 조건으로부터 어떻게 유도되는가?
• RQ3 프로베누스 대수나 루프 공간과 같은 기하학적 구성은 어떤 방식으로 양자 에이리 구조를 유도하며, 이들의 물리적 또는 기하학적 의미는 무엇인가?
• RQ4 $\mathbb{Z}_2$-불변 루프 공간 구성 방식이 원래 에이냐드-오란틴의 위상수학적 재귀를 어떻게 복원하는가?
• RQ5 게이지 군 작용은 양자 에이리 구조의 분류에 어떤 역할을 하는가? 이는 모듈리 공간의 구조에 어떻게 영향을 미치는가?

주요 결과

• 분할 함수 계수 $F_{g,n}$ 는 총 인덱스 합 $\sum_{m=1}^n i_m$ 이 선형 경계 $\sum i_m \leq \alpha n + \beta g + \gamma$ 를 만족할 경우에만 0이 아니며, 여기서 $\alpha, \beta, \gamma$ 는 구조에 따라 달라지며, $2g-2+n$ 에 대한 귀납법으로 증명된다.
• 경우 $s_0 = -1$ 에서는 경계가 $\sum i_m \leq n + 3g - 3$ 로 주어지며, 이는 $\mathbb{P}^1$ 스펙트럴 곡선에 대해 알려진 위상수학적 재귀의 차수 경계와 일치한다.
• 경우 $s_0 \geq 0$ 에서는 경계가 $\sum i_m \leq -s_0 n + g + (2s_0 - 1)$ 로 변하며, 이 경계는 $(g,n) = (1,1), (1,2), (2,1)$ 의 경우에 대해 정확하게 맞는다.
• $\mathbb{Z}_2$-불변 루프 공간 구성은 분할 함수가 에이냐드-오란틴의 위상수학적 재귀를 복원하는 양자 에이리 구조를 유도한다. 이는 준단순 프로베누스 대수에 대해 성립한다.
• 경우 $C=0$ 에서는 $F_{g,n}$ 가 $\sum i_m \leq -r_0 n + 2g + (2r_0 - 2)$ 를 만족할 경우에만 0이 아니며, 여기서 $r_0$ 는 $B$ 텐서의 구조와 관련된다.
• 차원 $\dim V = 2$ 인 경우 리 대수 도구를 활용해 분류를 시작하였으며, 비아벨리안 구조가 $\mathfrak{sl}_2(\mathbb{C})$ 표현과 관련된 변형에서 유도됨을 보였다.