[논문 리뷰] Categorical primitive forms and Gromov-Witten invariants of $A_n$ singularities

Andrei Căldăraru, Si Li외 1명|arXiv (Cornell University)|2018. 10. 11.

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

한 줄 요약

이 논문은 MF(1/(n+1)x^{n+1})의 행렬 인수분해 카테고리에 대해 Saito의 원시 형식의 범주론적 대응을 도입하며, 유일한(스칼라 곱을 제외한) 범주론적 원시 형식의 존재를 증명한다. 이로 인해 얻어진 종수 0의 범주론적 그로모프-위튼 불변량이 Saito의 특이점의 편평화 과정을 통해 얻어진 것과 정확히 일치하며, 네점 불변량 ⟨x,x,x^{n-1},x^{n-1}⟩는 1과 같다.

ABSTRACT

We introduce a categorical analogue of Saito's notion of primitive forms. Let $W$ denote the potential $\frac{1}{n+1} x^{n+1}$. For the category $MF(W)$ of matrix factorizations of $W$ we prove that there exists a unique, up to non-zero constant, categorical primitive form. The corresponding genus zero categorical Gromov-Witten invariants of $MF(W)$ are shown to match with the invariants defined through unfolding of singularities of $W$.

연구 동기 및 목표

• A_n 특이점에 대해 행렬 인수분해 카테고리 MF(1/(n+1)x^{n+1})의 맥락에서 Saito의 원시 형식의 범주론적 대응을 개발하기 위해.
• 이 범주론적 원시 형식을 사용하여 종수 0의 범주론적 그로모프-위튼 불변량을 정의하고 계산하기 위해.
• 이러한 불변량이 고전적 특이점 편평화 절차를 통해 유도된 불변량과 정확히 일치함을 확립하기 위해.
• 행렬 인수분해 카테고리의 맥락에서 범주론적 그로모프-위튼 이론의 기초 사례 연구를 제공하기 위해.
• 범주론적 프레임워크가 형식적 멱급수 설정에서 순서별로 체계적으로 계산함으로써 기존의 특이점 이론에서의 불변량을 회복함을 보여주기 위해.

제안 방법

• 카테고리 MF(1/(n+1)x^{n+1})의 호흐실트 코hom로지에서의 형식적 멱급수로 구성된 범주론적 원시 형식의 개념을 도입하며, 특정한 평탄성 조건을 만족시킴.
• 호흐실트 코호몰로지 위의 호지 필터링에 대한 좋은 분할을 정의하며, 이는 호지 구조와 호환되는 분할 선택을 의미함.
• Li-Li-Saito의 순환 알고리즘을 사용하여 형식적 변형 매개변수에 따라 순서별로 범주론적 원시 형식을 계산함.
• 생성 함수를 방정식 exp(−∑t_i b_i / u)ζ = ω + u^{-1}J_{-1} + u^{-2}J_{-2} + ⋯를 통해 구성함. 여기서 ζ는 원시 형식임.
• Mukai 쌍대성과 평탄한 좌표를 사용하여 계수 J_{-k}에서 종수 0의 포텐셜 함수 F를 추출함.
• m-adic 필터링에 따른 순서별 전개를 수행하여 네점 함수를 계산하고, Saito의 불변량과의 일치를 검증함.

실험 결과

연구 질문

• RQ1 카테고리 MF(1/(n+1)x^{n+1})에 대해 Saito의 원시 형식의 범주론적 대응이 존재하는가?
• RQ2 이 범주론적 원시 형식을 통해 정의된 종수 0의 범주론적 그로모프-위튼 불변량은 특이점의 편평화 과정을 통해 얻어진 것과 동치인가?
• RQ3 네점 불변량 ⟨x,x,x^{n-1},x^{n-1}⟩는 범주론적 프레임워크에서 정확히 고전적 값과 일치하는 방식으로 복원 가능한가?
• RQ4 형식적 멱급수 설정에서의 순서별 계산은 프로베누스 다양체의 구조와 평탄한 좌표와 어떻게 관련되는가?
• RQ5 호지 필터링 분할과 Mukai 쌍대성이 범주론적 자료로부터 포텐셜 함수를 재구성하는 데 어떤 역할을 하는가?

주요 결과

• 카테고리 MF(1/(n+1)x^{n+1})에 대해 비영 스칼라 곱을 제외한 유일한 범주론적 원시 형식이 존재한다.
• 범주론적 원시 형식을 통해 계산된 종수 0의 범주론적 그로모프-위튼 불변량은 Saito의 1/(n+1)x^{n+1} 특이점의 편평화 과정을 통해 유도된 불변량과 정확히 일치한다.
• 네점 함수 ⟨x,x,x^{n-1},x^{n-1}⟩는 1로 평가되며, 특이점 이론에서의 고전적 불변량과의 일치를 확인한다.
• 생성 함수의 순서별 전개를 통해 계산이 진행되며, J_{-2}^{(2)}와 J_{-2}^{(3)}은 순환 알고리즘을 사용하여 명시적으로 유도됨.
• 평탄한 좌표 τ_k는 변형 매개변수 t_i와 τ_k = −t_k + ∑(j−n/2)t_{n+1+k−j}t_j + O(t^3)의 관계를 가지며, 프로베누스 다양체의 구조와의 호환성을 보장함.
• 포텐셜 함수의 편미분은 J_{-2}^l(τ)로 주어지며, τ=0에서의 네 번째 편미분 ∂⁴F/∂τ₁²∂τ_{n−1}²는 1을 yielding 하여 핵심 불변량을 확인한다.