[논문 리뷰] Relations on $\overline{\mathcal{M}}_{g,n}$ and the negative $r$-spin Witten conjecture

Nitin Kumar Chidambaram, Elba Garcia‐Failde외 1명|arXiv (Cornell University)|2022. 05. 31.

Algebraic Geometry and Number Theory인용 수 10

한 줄 요약

이 논문은 Twisted spin 곡선의 반칸토니크 라인의 $r$-제곱근에 대한 유도된 투영을 통해, Witten $r$-스핀 클래스의 음성 스피너 판별식으로서의 버전인 Θ 클래스 $\Theta^r$를 도입한다. 평탄한 단위가 없고 비준비합성적임에도 불구하고, 저자들은 Teleman 재구성 정리에 의해 준비합성적 변형을 구성하여, $\Theta^r$의 유도 잠재함수($\mathcal{W}$-대칭 대칭 제약 조건을 만족함)이 $r$-KdV 계기계의 $r$-BGW 타우 함수와 일치함을 증명한다. 이는 $r=2$와 $r=3$에 대해 검증되었으며, Norbury의 추측을 확인하고 Witten-Kontsevich 철학을 음성 스피너 구조로 확장한다.

ABSTRACT

We construct and study various properties of a negative spin version of the Witten $ r $-spin class. By taking the top Chern class of a certain vector bundle on the moduli space of twisted spin curves that parametrises $ r $-th roots of the anticanonical bundle, we construct a non-semisimple cohomological field theory (CohFT) that we call the Theta class $ Θ^r $. This CohFT does not have a flat unit and its associated Dubrovin--Frobenius manifold is nowhere semisimple. Despite this, we construct a semisimple deformation of the Theta class, and using the Teleman reconstruction theorem, we obtain tautological relations on $ \overline{\mathcal{M}}_{g,n} $. We further consider the descendant potential of the Theta class and prove that it is the unique solution to a set of $ \mathcal{W} $-algebra constraints, which implies a recursive formula for the descendant integrals. Using this result for $ r = 2 $, we prove Norbury's conjecture which states that the descendant potential of $ Θ^2 $ coincides with the Brézin--Gross--Witten tau function of the KdV hierarchy. Furthermore, we conjecture that the descendant potential of $ Θ^r $ is the $ r $-BGW tau function of the $ r $-KdV hierarchy and prove the conjecture for $ r = 3 $.

연구 동기 및 목표

• 모듈라이 공간 $\overline{\mathcal{M}}_{g,n}$ 상에서 음성 $r$-스핀 구조를 위한 코homological field theory (CohFT)를 구성함으로써, Witten $r$-스핀 클래스를 반칸토니크 라인의 $r$-제곱근으로 일반화한다.
• 결과적으로 얻어진 Θ 클래스 $\Theta^r$의 기하학적 및 코homological 성질을 분석하며, 특히 비준비합성적임과 평탄한 단위가 없음의 특성을 다룬다.
• Givental–Teleman 재구성에 의한 준비합성적 변형을 통해 $\Theta^r$의 변형을 수립함으로써, $\overline{\mathcal{M}}_{g,n}$ 상의 타우토로지적 관계 유도를 가능하게 한다.
• $\Theta^r$의 유도 잠재함수가 $\mathcal{W}$-대칭 대칭 제약 조건을 만족함을 증명함으로써, 모든 유도 적분에 대한 재귀 공식 유도를 가능하게 한다.
• $\Theta^r$의 유도 잠재함수가 $r$-KdV 계기계의 $r$-BGW 타우 함수와 일치함을 검증함으로써, $r=2$에 대해 추측을 확인하고 $r=3$에 대해 이를 증명한다.

제안 방법

• 모듈라이 공간 $\overline{\mathcal{M}}_{g;a}^{r,-1}$ 상의 일반적인 $r$-제곱근의 유도된 투영을 통해 유도된 벡터 번들의 최고 코homology 클래스로서 Θ 클래스 $\Theta^r$를 구성한다.
• CohFT 공리에 일치하기 위해, $v_0$를 제외한 벡터 공간 $V = \mathbb{Q}\langle v_1, \dots, v_{r-1}\rangle$ 상에 CohFT 구조를 정의한다.
• 이동과 $R$-행렬 작용을 통한 준비합성적 변형을 도입하여, Teleman 재구성 정리를 적용할 수 있도록 한다.
• Teleman 재구성 정리를 사용하여, 변형된 CohFT로부터 $\overline{\mathcal{M}}_{g,n}$ 상의 타우토로지적 관계를 유도한다.
• $\mathcal{W}^{-r+1}(\mathfrak{gl}_r)$-대칭 대칭 제약 조건을 만족함을 보여, $\Theta^r$의 유도 잠재함수를 $r$-BGW 타우 함수와 동일시한다.
• Kac–Schwarz 연산자와 $\mathfrak{W}_{1+\infty}$ 대칭성을 통해 $r$-BGW 타우 함수와 $Z^{\Theta^r}$ 간의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 음성 스피너에 해당하는 Witten $r$-스핀 클래스는 $\overline{\mathcal{M}}_{g,n}$ 상에서 잘 정의된 CohFT로 존재하는가? 그 코homological 성질은 무엇인가?
• RQ2 비준비합성적 Θ 클래스 $\Theta^r$에 대해 준비합성적 변형을 구성할 수 있으며, 이는 $\overline{\mathcal{M}}_{g,n}$ 상의 타우토로지적 관계를 유도하는가?
• RQ3 $\Theta^r$의 유도 잠재함수가 유일한 $\mathcal{W}$-대칭 대칭 제약 조건의 해인가? 이는 모든 유도 적분에 대한 재귀 공식을 암시하는가?
• RQ4 $\Theta^r$의 유도 잠재함수가 Norbury의 추측에 따라 $r=2$일 때 $r$-KdV 계기계의 $r$-BGW 타우 함수와 일치하는가?
• RQ5 $r=3$일 때, $r$-BGW 타우 함수는 $\Theta^3$의 유도 잠재함수 $Z^{\Theta^r}$와 동치인가? 이는 Witten-Kontsevich 이론의 적분 가능성 체계를 음성 스피너로 확장하는가?

주요 결과

• Θ 클래스 $\Theta^r$는 반칸토니크 라인의 $r$-제곱근에서 유도된 벡터 번들의 최고 코homology 클래스로서, $\overline{\mathcal{M}}_{g,n}$ 상의 비준비합성적 CohFT로 구성된다.
• 평탄한 단위가 없고 어디서나 비준비합성적임에도 불구하고, Θ 클래스는 준비합성적 변형을 갖추고 있어, Teleman 재구성 정리를 적용하여 타우토로지적 관계를 도출할 수 있다.
• $\Theta^r$의 유도 잠재함수는 $\mathcal{W}$-대칭 대칭 제약 조건을 만족하며, 이는 이를 유일하게 결정하고 모든 유도 적분에 대한 재귀 공식을 유도한다.
• $r=2$일 때, $\Theta^2$의 유도 잠재함수가 KdV 계기계의 Brézin–Gross–Witten 타우 함수와 일치함을 증명하여, Norbury의 추측을 확인한다.
• $r=3$일 때, 논문은 $\Theta^3$의 유도 잠재함수가 $r$-KdV 계기계의 $r$-BGW 타우 함수와 일치함을 증명하며, 음성 스피너 구조로의 적분 가능성 체계 확장을 이룬다.
• 공식 $P_m(r,-1)$과 $P_i(r,a)$ 사이의 일반적 관계를 수립하여, 기존의 에어리 함수 및 슈코어 함수의 渐近 전개를 고차원 $r$로 일반화한다.