[논문 리뷰] Higher Airy structures, W algebras and topological recursion

Gaëtan Borot, Vincent Bouchard외 3명|arXiv (Cornell University)|2018. 12. 20.

Algebraic structures and combinatorial models참고 문헌 54인용 수 20

한 줄 요약

이 논문은 콘체비치–소이블만의 양자 에어리 구조를 일반화한 고차수 양자 에어리 구조를 도입하며, 임의의 차수의 미분 연산자를 允許한다. 이 구조들은 $χ$-대수를 자기 dual 수준에서 $χ = τ_{N+1}, σ_{2N}, ε_N$ 에 대해 구성되며, $χ$-대수 제약 조건을 통해 위상수학적 재귀와의 등가성을 확립하고, Givental 유사 분해를 제공하며, 잘 정의된 재귀를 위한 적합한 스펙트럼 곡선의 새로운 특성화를 이룩한다.

ABSTRACT

We define higher quantum Airy structures as generalizations of the Kontsevich-Soibelman quantum Airy structures by allowing differential operators of arbitrary order (instead of only quadratic). We construct many classes of examples of higher quantum Airy structures as modules of $\mathcal{W}(\mathfrak{g})$ algebras at self-dual level, with $\mathfrak{g}= \mathfrak{gl}_{N+1}$, $\mathfrak{so}_{2 N }$ or $\mathfrak{e}_N$. We discuss their enumerative geometric meaning in the context of (open and closed) intersection theory of the moduli space of curves and its variants. Some of these $\mathcal{W}$ constraints have already appeared in the literature, but we find many new ones. For $\mathfrak{gl}_{N+1}$ our result hinges on the description of previously unnoticed Lie subalgebras of the algebra of modes. As a consequence, we obtain a simple characterization of the spectral curves (with arbitrary ramification) for which the Bouchard-Eynard topological recursion gives symmetric $ω_{g,n}$s and is thus well defined. For all such cases, we show that the topological recursion is equivalent to $\mathcal{W}(\mathfrak{gl})$ constraints realized as higher quantum Airy structures, and obtain a Givental-like decomposition for the corresponding partition functions.

연구 동기 및 목표

• 이차 경우를 초월해 임의의 차수의 미분 연산자를 允許함으로써 양자 에어리 구조를 일반화하는 것.
• $χ(τ_{N+1})$, $χ(σ_{2N})$, 그리고 예외적 $χ(ε_N)$ 대수를 자기 dual 수준에서 모듈로로 사용해 고차수 양자 에어리 구조를 구성하는 것.
• 대칭 $ω_{g,n}$ 형식에 대해 부차드–에이나르의 위상수학적 재귀와 이러한 고차수 양자 에어리 구조 사이의 대응 관계를 확립하는 것.
• 위상수학적 재귀가 잘 정의되는 스펙트럼 곡선의 새로운 특성화를 제공함으로써 임의의 분기 구조를 포함하는 것.
• 이 구조들과 관련된 분할 함수에 대해 Givental 유사 분해를 도출하는 것.

제안 방법

• 고차수 양자 에어리 구조를 $H_k = θ\partial_{x_k} - P_k$ 형태의 미분 연산자 집합으로 정의하며, $P_k$ 는 $θ$-중량 대수에서 2차 동차다.
• 이전에 간과되었던 모드 대수의 리 부분대수를 이용해 자기 dual 수준에서 $χ(τ_{N+1})$, $χ(σ_{2N})$, $χ(ε_N)$ 대수로부터 예시를 구성한다.
• 유도된 연산자들이 그룹화된 리 부분대수를 생성함을 증명하여 제약 조건의 해가 존재하고 유일함을 보장한다.
• 잔여 공식과 대칭 형식을 통해 고차수 추상 루프 방정식과 부차드–에이나르의 위상수학적 재귀 간의 등가성을 확립한다.
• 스펙트럼 곡선 조건 $r \equiv \pm1 \mod s$ 를 사용해 위상수학적 재귀가 대칭 $ω_{g,n}$ 를 생성하는 적합한 곡선을 특성화한다.
• 고차수 양자 에어리 구조로부터 분할 함수 $Z = \exp(\sum \hbar^{g-1} F_{g,n} x_{\alpha_1} \cdots x_{\alpha_n} / n!)$ 의 Givental 유사 분해를 유도한다.

실험 결과

연구 질문

• RQ1 이차 경우를 초월해 어떤 고차수 미분 연산자가 일관된 양자 에어리 구조를 형성할 수 있는가?
• RQ2 자기 dual 수준에서 $χ$-대수를 어떻게 사용해 $τ_{N+1}$, $σ_{2N}$, 그리고 예외적 유형의 고차수 양자 에어리 구조를 구성할 수 있는가?
• RQ3 스펙트럼 곡선에 어떤 조건이 성립할 경우 부차드–에이나르의 위상수학적 재귀가 대칭 $ω_{g,n}$ 형식을 생성하는가?
• RQ4 고차수 추상 루프 방정식을 사용해 대칭성과 잘 정의됨을 보장하는 방식으로 위상수학적 재귀를 유도할 수 있는가?
• RQ5 고차수 양자 에어리 구조에서 유도된 분할 함수의 Givental 유사 분해는 어떤 형태인가?

주요 결과

• 논문은 자기 dual 수준에서 $χ(τ_{N+1})$, $χ(σ_{2N})$, $χ(ε_N)$ 대수로부터 새로운 고차수 양자 에어리 구조의 계열을 구성하며, 기존의 바이라소로 타입 제약 조건을 확장한다.
• 모드 대수의 $χ(τ_{N+1})$ 내에서 새로운 리 부분대수의 계열을 식별하여 고차수 에어리 구조의 구성이 가능해진다.
• 분기 수준 $r \equiv \pm1 \mod s$ 를 갖는 스펙트럼 곡선에 대해 부차드–에이나르의 위상수학적 재귀는 대칭 $ω_{g,n}$ 형식을 생성하며, 이는 고차수 양자 에어리 구조로 표현된 $χ(τ_{N+1})$-대수 제약 조건과 등가하다.
• 적합한 스펙트럼 곡선에 대해 고차수 추상 루프 방정식의 해는 존재하고 유일하며, 이는 위상수학적 재귀가 이 클래스에서 잘 정의됨을 직접적으로 증명한다.
• 이 구조들과 관련된 분할 함수는 Givental 유사 분해를 가지며, 계수 $F_{g,n}$ 는 생성 함수 $Z = \exp(\sum \hbar^{g-1} F_{g,n} / n! \cdot \prod x_{\alpha_i})$ 에 의해 암시된다.
• 이 작업은 이전의 간접적 추론([17])을 피하고, 고차수 에어리 구조를 통한 새로운 독립적 증명을 제공하여, 위상수학적 재귀가 적합한 곡선에 대해 대칭 형식을 생성함을 보여준다.