[논문 리뷰] Tautological Hilbert scheme invariants of Calabi-Yau 4-folds via virtual pullback

Yalong Cao, F. Qu|arXiv (Cornell University)|2020. 12. 08.

Algebraic Geometry and Number Theory참고 문헌 37인용 수 4

한 줄 요약

이 논문은 가상 끌림 기법을 사용하여 Cao-Kool이 제기한 Calabi-Yau 4-fold의 Hilbert 스킴에 대한 타우토로지적 불변량에 대한 추측을 증명한다. 이는 4-fold의 불변량과 그의 매끄러운 부분다양체의 불변량 사이에 정확한 대응 관계를 수립하며, 이러한 불변량의 생성함수가 첫 번째 체른 클래스와 세 번째 체른 클래스에 가중된 MacMahon 함수와 일치함을 확인한다.

ABSTRACT

Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth connected divisor on it. We consider tautological bundles of $L=\mathcal{O}_X(D)$ on Hilbert schemes of points on $X$ and their counting invariants defined by integrating the Euler classes against the virtual classes. We relate these invariants to Maulik-Nekrasov-Okounkov-Pandharipande's invariants of Hilbert schemes of points on $D$ by virtual pullback technique and confirm a conjecture of Cao-Kool. The same strategy is also applied to obtain a virtual pullback formula for tautological invariants of one dimensional stable sheaves. This in turn gives a nontrivial identity on primary and descendent invariants as studied in the works of Cao, Maulik and Toda.

연구 동기 및 목표

• Calabi-Yau 4-fold의 Hilbert 스킴에 대한 타우토로지적 불변량과 MacMahon 함수 사이의 관계를 제기한 Cao-Kool의 추측을 증명한다.
• 4-fold X의 불변량과 그의 매끄러운 부분다양체 D ⊂ X의 불변량을 연결하는 가상 끌림 공식을 수립한다.
• 가상 끌림 기법을 일차원 안정층으로 확장하고, 주요 불변량과 유도 불변량 사이의 새로운 항등식을 유도한다.
• 가상 끌림 프레임워크 하에서 X와 그의 부분다양체 D의 제로 차수 Gopakumar-Vafa 불변량 사이의 비자명한 관계를 확인한다.

제안 방법

• Hilbert 스킴 간의 오염 이론의 호환 다이어그램에 대해 가상 끌림 기법을 적용한다.
• Hilbert 스킴의 유도 모듈리 공간 구조와 그들의 이동된 심플렉틱 구조를 이용하여 가상 체를 정의한다.
• Borisov-Joyce의 DT4 가상 체 구조와 Oh-Thomas의 Z[1/2] 위에서의 대수적 사이클 상승 기법에 의존한다.
• Grothendieck-Riemann-Roch 정리와 행렬식 선다발의 동형을 사용하여 X의 타우토로지적 범주와 D의 타우토로지적 범주를 연결한다.
• 정규화된 보편층과 체른 특성의 분해를 적용하여 불변량을 유도 삽입으로 표현한다.
• 일차원 안정층에 대한 가상 끌림 공식을 유도하고, 이를 통해 불변량 간의 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 Calabi-Yau 4-fold의 Hilbert 스킴에 대한 타우토로지적 불변량의 생성함수가 Cao-Kool이 추측한 바와 같이 MacMahon 함수와 일치하는가?
• RQ2 가상 끌림 기법을 사용하여 Calabi-Yau 4-fold의 불변량과 그의 매끄러운 부분다양체의 불변량을 연결할 수 있는가?
• RQ3 일차원 안정층에 대한 주요 불변량과 유도 불변량 사이의 정확한 관계는 무엇인가?
• RQ4 가상 끌림 프레임워크 하에서 X와 D의 제로 차수 Gopakumar-Vafa 불변량은 어떻게 관련되어 있는가?
• RQ5 유도 불변량에 대한 추측 공식은 가상 끌림 방법을 통해 검증될 수 있는가?

주요 결과

• Cao-Kool의 추측이 확인되었다: 임의의 Calabi-Yau 4-fold X와 선다발 L에 대해 c₁(L) = c₁(𝒪_X(D))를 만족하는 매끄럽고 연결된 부분다양체 D가 존재할 경우, 불변량 Iₙ(X,L)의 생성함수는 M(−q)^∫_X c₁(L)·c₃(X)와 일치한다. 여기서 M(q)는 MacMahon 함수이다.
• 가상 끌림 공식은 직접적인 대응 관계를 수립한다: 주어진 조건 하에서 ∫_{[Hilbⁿ(X)]^vir} e(L^{[n]}) = ∫_{[Hilbⁿ(D)]^vir} 1이며, 방향성 부호를 제외한 채로 성립한다.
• 이 방법은 비자명한 항등식을 도출한다: ½⟨τ₀(c₁²(L))⟩_β + ¹⁄₁₂⟨τ₀(c₂(X))⟩_β + ⟨τ₁(c₁(L))⟩_β + ⟨τ₂(1)⟩_β = n₀,β(D)로, X와 D의 불변량을 연결한다.
• 결과는 일차원 안정층으로까지 확장되며, 이러한 모듈리 공간에 대해서도 가상 끌림 공식이 성립함을 보여준다.
• 논문은 X와 D의 제로 차수 Gopakumar-Vafa 불변량 사이의 추측 관계를 확인하며, D의 불변량이 X의 불변량의 조합으로 나타남을 보여준다.
• 증명는 ℙ⁵ 안의 매끄러운 섹스틱 4-fold의 모든 유효한 부분다양체에 대해 유효하며, Bertini의 정리에 의해 이러한 부분다양체가 존재하고 필요한 조건을 만족함을 확인한다.