[논문 리뷰] Intersection numbers on $\overline {\mathcal M}_{g,n}$ and BKP hierarchy

A. Alexandrov|arXiv (Cornell University)|2020. 12. 14.

Polynomial and algebraic computation참고 문헌 34인용 수 11

한 줄 요약

이 논문은 안정 곡선의 모듈리 공간 $\bar{\frak M}_{g,n}$ 상의 교차 수와 BKP 적분 가능 계열 사이의 새로운 연결을 제안한다. 컨테시비치–위튼 및 브레지에–그로스–위튼 타우함수—위상 중력 이론과 수세기 기하학에서 핵심적인 대상—이 스슈어 Q함수 전개를 통해 BKP 계열의 초기함수로 표현될 수 있으며, 시간 변수의 단순한 재스케일링을 통해 KdV와 BKP 적분 가능 계열 간의 놀라운 연결 고리가 드러난다.

ABSTRACT

In their recent inspiring paper Mironov and Morozov claim a surprisingly simple expansion formula for the Kontsevich-Witten tau-function in terms of the Schur Q-functions. Here we provide a similar conjecture for the Brézin-Gross-Witten tau-function. Moreover, we identify both tau-functions of the KdV hierarchy, which describe intersection numbers on the moduli spaces of punctured Riemann surfaces, with the hypergeometric solutions of the BKP hierarchy.

연구 동기 및 목표

• 모듈리 공간 $\bar{\frak M}_{g,n}$ 상의 교차 수와 BKP 적분 가능 계열 사이의 새로운 연결을 수립하기 위해.
• 컨테시비치–위튼 및 브레지에–그로스–위튼 타우함수—KdV 계열의 해이지만—시간 변수를 재스케일링한 후 BKP 계열을 만족시을 가설을 제기하기 위해.
• 두 타우함수에 대해 간단하고 조합론적으로 구조화된 계수를 가진 명시적 스슈어 Q함수 전개를 제공하기 위해.
• 이 타우함수들이 BKP 계열의 초기함수로 식별되어 스피너 히르츠 수와 2성분 BKP 구조와 연결됨을 밝혀내기 위해.
• 이 식별의 기하학적 및 대수적 의미—특히 사토 그라스만니안과 모듈리 공간 교차 이론 측면에서—를 탐색하기 위해.

제안 방법

• 브레지에–그로스–위튼(BGW) 타우함수에 대한 추측적 스슈어 Q함수 전개를 제안한다: $\tau_{BGW} = \textstyle\bigsum_{\text{DP}} \big(\frac{\bar\tau}{16}\big)^{\vert\nu\vert} \frac{Q_\nu({\bf t}) Q_\nu(\boldsymbol{\nu}_{k,1})^3}{Q_{2\nu}(\boldsymbol{\nu}_{k,1})^2}$, 여기서 DP는 엄밀한 분할을 의미한다.
• 컨테시비치–위튼(KW) 타우함수에 대해 유사한 전개를 제안한다: $\tau_{KW} = \textstyle\bigsum_{\text{DP}} \big(\frac{\bar\tau}{16}\big)^{\vert\nu\vert/3} \frac{Q_\nu({\bf t}) Q_\nu(\boldsymbol{\nu}_{k,1}) Q_{2\nu}(\boldsymbol{\nu}_{k,3}/3)}{Q_{2\nu}(\boldsymbol{\nu}_{k,1})}$.
• 시간 변수를 재스케일링한 결과인 $\tau_{KW}({\bf t}/2)$ 및 $\tau_{BGW}({\bf t}/2, N)$이 BKP 계열의 초기함수임을 확인하며, 일반형 $r_\nu = \text{exp}\big(\textstyle\bigsum_{j=1}^{\text{len}(\nu)} \tilde{\rho}(\nu_j)\big)$를 사용한다.
• BKP 계열의 생성함수 $r(z)$에 대한 명시적 표현을 유도한다: BGW의 경우 $r(z) = \bar\tau \frac{(2z-1)^2 - 4N^2}{16}$이며, KW의 경우 $\bar\tau$, $\beta$, $A_k$를 포함한 더 복잡한 표현이 존재한다.
• BKP 계열의 시간 이동에 대한 대칭성을 활용하여, 밀러–모리타–무마드 클래스 $\boldsymbol{\nu}_k$를 삽입하는 것은 BKP 시간에 대한 이동을 유도하며, 타우함수의 구조를 유지함을 보였다.
• John Stembridge의 SF 및 QF Maple 패키지를 사용하여 $|\nu| \to 39$까지의 순서에서 추측을 수치적으로 검증하였다.

실험 결과

연구 질문

• RQ1 컨테시비치–위튼 및 브레지에–그로스–위튼 타우함수—KdV 계열의 해이지만—적절한 시간 변수 재스케일링 후 BKP 계열의 해가 될 수 있는가?
• RQ2 BGW 타우함수에 대한 정확한 스슈어 Q함수 전개는 무엇이며, 최근에 제안된 미로노프–모로조프 공식과 비교해보면 어떠한가?
• RQ3 KW 및 BGW 타우함수에 대해 BKP 계열 프레임워크 내에서 통일된 초기함수 기술이 존재하는가? 그리고 이에 대응하는 $r$-함수와 $t^*$-시간은 무엇인가?
• RQ4 밀러–모리타–무마드 클래스 $\boldsymbol{\nu}_k$의 삽입이 생성함수의 BKP 구조에 어떤 영향을 미치는가?
• RQ5 모듈리 공간 $\bar{\frak M}_{g,n}$ 상의 교차 이론은 스피너 히르츠 수와 2성분 BKP 계열 측면에서 어떻게 기하학적으로 해석될 수 있는가?

주요 결과

• BGW 타우함수는 $Q_\nu(\boldsymbol{\nu}_{k,1})^3 / Q_{2\nu}(\boldsymbol{\nu}_{k,1})^2$를 계수로 포함하는 스슈어 Q함수 전개를 갖으며, 깊이 있는 조합론적 구조를 시사한다.
• KW 타우함수 역시 $ \big(\frac{\bar\tau}{16}\big)^{\vert\nu\vert/3} \frac{Q_\nu(\boldsymbol{\nu}_{k,1}) Q_{2\nu}(\boldsymbol{\nu}_{k,3}/3)}{Q_{2\nu}(\boldsymbol{\nu}_{k,1})} $를 계수로 포함하는 Q함수 전개를 갖으며, 이 형태는 초기함수 BKP 해와 동치일 것이라 추측된다.
• 시간 변수를 $1/2$로 재스케일링한 후, $\tau_{KW}({\bf t}/2)$ 및 $\tau_{BGW}({\bf t}/2, N)$은 특정 $r$-함수를 가진 BKP 계열의 초기함수로 추측된다: BGW의 경우 $r(z) = \bar\tau \frac{(2z-1)^2 - 4N^2}{16}$.
• KW의 경우, $k \bmod 3$에 따라 의존하는 조각별 지수 함수 $\tilde{\rho}_{KW}(k)$를 통해 $r$-함수가 정의되며, $e^{\tilde{\rho}_{KW}(3k)} = \bar\tau^k A_k$, $e^{\tilde{\rho}_{KW}(3k-1)} = -\bar\tau^{k-1/3} \frac{2}{(6k-1)\beta} A_k$, $e^{\tilde{\rho}_{KW}(3k-2)} = \bar\tau^{k-2/3} \frac{8\beta}{6k-1} A_k$이다.
• SF 및 QF Maple 패키지를 사용하여 $|\nu| = 39$까지의 순서에서 추측을 수치적으로 검증하였으며, 이는 저차수 영역에서의 타당성을 지지한다.
• 생성함수 $\tau_{GWP}^\theta$에 $\boldsymbol{\nu}_k$ 클래스를 삽입하면 BKP 타우함수가 되며, 동일한 현상이 표준적인 그로모프–위튼–피터슨 생성함수 $\tau_{GWP}$에도 적용되므로, 모듈리 공간 교차 이론 내에서 더 넓은 BKP 구조가 존재할 가능성이 제기된다.