[논문 리뷰] Wall-crossing for zero-dimensional sheaves and Hilbert schemes of points on Calabi-Yau 4-folds

Arkadij Bojko|arXiv (Cornell University)|2021. 02. 01.

Algebraic Geometry and Number Theory참고 문헌 94인용 수 9

한 줄 요약

이 논문은 캘리브-요아이-타나카 벽교차 추측을 사용하여 프로젝티브 칼라비-유오 4차원의 0차원 DT4 불변량에 대한 조-쿨 추측을 증명하고, 점들의 힐베르트 스킴의 가상 기본류를 계산하며, 보편 생성함수를 통해 세그레-버린덴 대응을 수립한다. 이는 네크라소프의 공식을 컴act 칼라비-유오 4차원으로 확장하고, 벽교차 메커니즘을 통해 4차원의 불변량과 타원 표면 위의 쿼트 스킴 사이의 연결을 맺는다.

ABSTRACT

Gross-Joyce-Tanaka arXiv:2005.05637 proposed a wall-crossing conjecture for Calabi-Yau fourfolds. Assuming it, we prove the conjecture of Cao-Kool arXiv:1712.07347 for 0-dimensional sheaf-counting invariants on projective Calabi-Yau 4-folds. From it, we extract the full topological information contained in the virtual fundamental classes of Hilbert schemes of points which turns out to be equivalent to the data of all descendent integrals. As a consequence, we can express many generating series of invariants in terms of explicit universal power series. i) On $\mathbb{C}^4$, Nekrasov proposed invariants with a conjectured closed form arXiv:1712.08128. We show that an analog of his formula holds for compact Calabi-Yau 4-folds satisfying the wall-crossing conjecture. ii) We notice a relationship to corresponding generating series for Quot schemes on elliptic surfaces which are also governed by a wall-crossing formula. This leads to a Segre-Verlinde correspondence for Calabi-Yau fourfolds.

연구 동기 및 목표

• 캘리브-요아이-타나카의 벽교차 추측을 바탕으로 $$\mathbb{C}^{4}$$ 에서의 0차원 DT4 불변량에 대한 조-쿨 추측과 네크라소프의 공식을 줄이기.
• 벽교차를 사용하여 프로젝티브 칼라비-유오 4차원의 점들의 힐베르트 스킴의 가상 기본류를 계산하기.
• 칼라비-유오 4차원의 DT4 불변량과 타원 표면 위의 쿼트 스킴 사이의 세그레-버린덴 대응을 수립하기.
• 세그레 및 K-이론적 삽입을 포함한 새로운 불변량과 그 보편 생성함수를 연구하기.

제안 방법

• 칼라비-유오 4차원의 벽교차 추측을 기초 가정으로 삼아 가상 기본류를 유도하기.
• 호모로지와 위상수학적 쌍에 대한 버텍스 대수의 구조를 사용하여 층의 모듈리 공간을 모델링하기.
• $$c_n(L^{[n]})$$ 와 같은 타우토로지적 삽입 및 곱셈 성질을 사용하여 가상 수를 계산하기.
• 벽교차와 코homological 삽입을 통해 불변량의 생성함수에 대한 보편 멱급수 유도하기.
• 모듈리 공간의 옵티멀리티 데이터를 포함한 옷-토머스 및 보리소프-요아이 가상 기본류에 의존하기.
• 쿼트 스킴의 고장 이론과 위상수학적 버텍스 형식을 사용하여 4차원의 불변량과 타원 표면의 불변량을 연결하기.

실험 결과

연구 질문

• RQ1 0차원 DT4 불변량에 대한 조-쿨 추측은 칼라비-유오 4차원의 벽교차 추측으로 줄일 수 있는가?
• RQ2 벽교차를 사용하여 컴팩트한 칼라비-유오 4차원의 점들의 힐베르트 스킴의 가상 기본류를 어떻게 계산할 수 있는가?
• RQ3 칼라비-유오 4차원의 DT4 불변량 생성함수와 타원 표면 위의 쿼트 스킴의 생성함수 사이의 관계는 무엇인가?
• RQ4 벽교차 메커니즘을 통해 DT4 불변량에 대한 세그레-버린덴 대응이 성립하는가?
• RQ5 벽교차 조건 하에서 네크라소프의 $$\mathbb{C}^{4}$$ 에 대한 폐형 공식은 컴팩트한 칼라비-유오 4차원으로 확장 가능한가?

주요 결과

• 벽교차 추측을 전제로 하여, 프로젝티브 칼라비-유오 4차원에서의 0차원 DT4 불변량에 대한 조-쿨 추측이 증명되었다.
• 점들의 힐베르트 스킴의 가상 기본류는 $$\mathcal{C}_X = \text{Map}_{C^0}(X, BU \times \mathbb{Z})$$ 의 호모로지에서 명시적으로 기술되었다.
• DT4 불변량을 위한 보편 생성함수가 도출되었으며, 이는 코homology 계수를 가진 $$q$$ 의 멱급수로 표현되었다.
• 벽교차를 통해 칼라비-유오 4차원의 DT4 불변량과 타원 표면 위의 쿼트 스킴 사이의 세그레-버린덴 대응이 수립되었다.
• 타원 표면 $$S$$ 에 대해, 생성함수 $$\sum_{n>0} \frac{\mathscr{Q}_{N,n}}{e^{(np,1)}} q^n$$ 은 $$U_v(z)$$ 와 $$y_k$$-생성함수를 포함하는 지수 공식으로 주어진다.
• 타원 표면 위의 쿼트 스킴의 생성함수는 $$f_i(H_j(q))$$ 와 $$c_1(\alpha_j) \cdot c_1(S)$$ 를 포함하는 보편 공식을 만족함을 보였다. 이는 기존 결과를 일반화한다.