[논문 리뷰] Tautological relations via r-spin structures

Rahul Pandharipande, Aaron Pixton외 1명|arXiv (Cornell University)|2016. 07. 04.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 13

한 줄 요약

이 논문은 r ≥ 3에 대해 r-spin 이론을 사용하여 안정 곡선의 모듈리 공간 위에서 타우토로지적 관계를 수립한다. sl₂(ℂ) 표현 이론을 통해 성질 0 r-spin 상관함수에 대한 명시적 공식을 유도하고, 두 개의 준단순 점에서 Givental-Teleman 분류를 적용함으로써 위튼의 r-spin 계급에 대한 닫힌 형태 표현식을 얻으며, r에 대한 새로운 다항성 성질을 증명한다. r=4 관계는 R*(M_g)의 베티 수에 대한 새로운 경계를 제공하며, r=0 극한에서 r-spin 계급과 제약된 영점의 다항형 미분형식의 모듈리 공간 사이의 추측적 연결이 제기된다.

ABSTRACT

Relations among tautological classes on the moduli space of stable curves are obtained via the study of Witten's r-spin theory for higher r. In order to calculate the quantum product, a new formula relating the r-spin correlators in genus 0 to the representation theory of sl2 is proven. The Givental-Teleman classification of CohFTs is used at two special semisimple points of the associated Frobenius manifold. At the first semisimple point, the R-matrix is exactly solved in terms of hypergeometric series. As a result, an explicit formula for Witten's r-spin class is obtained (along with tautological relations in higher degrees). As an application, the r=4 relations are used to bound the Betti numbers of the tautological ring of the moduli of nonsingular curves. At the second semisimple point, the form of the R-matrix implies a polynomiality property in r of Witten's r-spin class. In the Appendix (with F. Janda), a conjecture relating the r=0 limit of Witten's r-spin class to the class of the moduli space of holomorphic differentials is presented.

연구 동기 및 목표

• M̄_{g,n} 위에서 r=3를 초월하여 높은 r-spin 이론을 사용해 타우토로지적 관계를 체계적으로 연구하는 것.
• sl₂(ℂ) 표현 이론을 활용해 성질 0 r-spin 상관함수에 대한 명시적 공식을 도출하는 것.
• 두 개의 준단순 점에서 Givental-Teleman 분류를 적용하여 R-행렬과 위튼의 r-spin 계급을 결정하는 것.
• 위튼의 r-spin 계급에 대한 r에 대한 새로운 다항성 성질을 증명하는 것.
• r=0 극한에서 r-spin 계급과 제약된 영점의 다중성을 가진 해석적 미분형식의 모듈리 공간 사이의 연결을 추측하는 것.

제안 방법

• 성질 0 r-spin 상관함수와 sl₂(ℂ) 표현 이론 간의 새로운 공식을 유도하여 양자 곱의 명시적 계산을 가능하게 한다.
• 준단순 점 τ = (0,…,0,rϕ)에서 Givental-Teleman 분류를 적용하여 초함수 급수를 이용해 R-행렬을 정확히 해석한다.
• 두 번째 준단순 점 τ̃ = (0,rϕ,0,…,0)에서 R-행렬의 형태를 분석하여 위튼의 r-spin 계급이 r에 대해 다항적임을 유추한다.
• 성질 0 공식과 CohFT 구조를 적용하여 고차수에서의 타우토로지적 관계를 도출한다.
• r=4 관계를 활용해 R*(M_g)의 베티 수를 경계짓는다. 특히 차수 g−2에서의 경계를 강조한다.
• 부록에서 r=0 극한에서 r-spin 계급과 제약된 영점 다중성을 가진 해석적 미분형식의 모듈리 공간의 계급 간의 연결을 추측하며, M_g,n에서의 톰-포르티우스와 그로텐디크-리만-로흐 공식을 통해 검증한다.

실험 결과

연구 질문

• RQ1 r ≥ 3에 대해 r-spin 이론을 사용해 M̄_{g,n} 위에서 타우토로지적 관계를 체계적으로 도출할 수 있는가? (이미 알려진 3-spin 경우를 초월하여)
• RQ2 성질 0 r-spin 상관함수의 명시적 구조는 무엇이며, sl₂(ℂ) 표현 이론으로 어떻게 표현할 수 있는가?
• RQ3 위튼의 r-spin 계급이 r에 대해 다항적 의존성을 보이며, 그 다항식 형태는 어떠한가?
• RQ4 r=4 관계는 3-spin 관계보다 더 단순하고 효과적인 방식으로 R*(M_g)의 베티 수를 경계짓는 데 기여할 수 있는가?
• RQ5 r=0 극한에서 r-spin 계급이 제약된 영점 다중성을 가진 해석적 미분형식의 모듈리 공간의 계급과 자연스럽게 대응하는가?

주요 결과

• sl₂(ℂ) 표현 이론으로 표현된 성질 0 r-spin 상관함수를 통해 위튼의 r-spin 계급에 대한 정확한 공식을 도출하였다.
• 준단순 점 τ = (0,…,0,rϕ)에서 R-행렬이 초함수 급수를 이용해 명시적으로 해석되었으며, 이는 양자 곱의 완전한 기술을 제공한다.
• 두 번째 준단순 점 τ̃ = (0,rϕ,0,…,0)에서 R-행렬의 형태는 위튼의 r-spin 계급이 r에 대해 다항적임을 시사한다.
• r=4 관계는 R*(M_g)의 베티 수에 대한 새로운 경계를 이끌어내며, 루이지아냐의 결과 dim_Q R^{g−2}(M_g) ≤ 1 및 R^{>g−2}(M_g) = 0를 복원하고 개선한다.
• 부록의 추측은 r=0 극한에서 r-spin 계급이 제약된 영점 다중성을 가진 해석적 미분형식의 모듈리 공간의 계급과 일치한다. 이는 M_g,n에서의 톰-포르티우스와 그로텐디크-리만-로흐 공식을 통해 확인되었다.
• 결과적으로 루이지아냐의 g−2 차수에서의 소멸성 및 랭크-일의 결과는 파버-자지에 관계로부터 유도되며, 이러한 관계는 R^{g−2}(M_g)에서 κ-모노폴로지의 알려진 비례성도 유도한다.