[논문 리뷰] A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on K3 fibrations

Richard Thomas|ArXiv.org|1998. 06. 19.

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

한 줄 요약

이 논문은 안정층의 모듈리 공간에서 가상의 모듈리 사이클을 사용하여 칼라비-유우 3-fold에 대한 헬로모르픽 캐슨 불변량을 도입하며, 그 변형 불변성을 증명하고 K3 섬유화를 통해 명시적으로 계산한다. 이는 무카이-쌍대 3-fold의 과르모-위튼 불변량과의 이중성 관계를 확립하며, 미분형이지만 비이sov러널인 칼라비-유우 3-fold를 구별하고, 이중 3-fold가 동치인 코homology를 가진 칼라비-유우 3-fold임을 보여준다.

ABSTRACT

We briefly review the formal picture in which a Calabi-Yau $n$-fold is the complex analogue of an oriented real $n$-manifold, and a Fano with a fixed smooth anticanonical divisor is the analogue of a manifold with boundary, motivating a holomorphic Casson invariant counting bundles on a Calabi-Yau 3-fold. We develop the deformation theory necessary to obtain the virtual moduli cycles of \cite{LT}, \cite{BF} in moduli spaces of stable sheaves whose higher obstruction groups vanish. This gives, for instance, virtual moduli cycles in Hilbert schemes of curves in $\Pee^3$, and Donaldson-- and Gromov-Witten-- like invariants of Fano 3-folds. It also allows us to define the holomorphic Casson invariant of a Calabi-Yau 3-fold $X$, prove it is deformation invariant, and compute it explicitly in some examples. Then we calculate moduli spaces of sheaves on a general $K3$ fibration $X$, enabling us to compute the invariant for some ranks and Chern classes, and equate it to Gromov-Witten invariants of the ``Mukai-dual'' 3-fold for others. As an example the invariant is shown to distinguish Gross' diffeomorphic 3-folds. Finally the Mukai-dual 3-fold is shown to be Calabi-Yau and its cohomology is related to that of $X$.

연구 동기 및 목표

• 3차원 다양체 위상수학에서의 고전적 캐슨 불변량과 유사한 헬로모르픽 캐슨 불변량을 칼라비-유우 3-fold에 정의하기 위해.
• 높은 차수의 방해군이 없는 안정층의 모듈리 공간에 대한 변형 이론을 개발하여, 가상 사이클 구성이 가능하도록 하기 위해.
• K3 섬유화를 사용하여 특정 랭크와 체르누 클래스에 대해 헬로모르픽 캐슨 불변량을 명시적으로 계산하기 위해.
• 무카이-쌍대 3-fold의 과르모-위튼 불변량과의 이중성 관계를 통해 불변량을 연결하기 위해.
• 이 불변량이 미분형이지만 비이sov러널인 칼라비-유우 3-fold를 식별할 수 있음을 보여주기 위해.

제안 방법

• 높은 차수의 방해군이 없는 변형 이론을 사용하여, 칼라비-유우 3-fold의 안정층의 모듈리 공간에서 가상의 모듈리 사이클을 구성한다.
• 리-티안과 베르렌드-판테키의 가상 기본류 구성법을 P^3와 팔란 3-fold의 곡선의 힐버트 스킴에 적용한다.
• P^1 위의 K3 섬유화를 사용하여 층의 모듈리 공간을 분석하고, 열거 기법을 통해 불변량을 계산한다.
• 안정층의 모듈리 공간에서 가상 기본류의 차수로 헬로모르픽 캐슨 불변량을 정의한다.
• 무카이-쌍대 3-fold 구성법을 통해 헬로모르픽 캐슨 불변량과 과르모-위튼 불변량 사이의 이중성을 수립한다.
• 칼라비-유우 3-fold의 복소 구조 변형에 대해 불변함을 보여줌으로써 불변량이 변형 불변임을 증명한다.

실험 결과

연구 질문

• RQ1 가상 기본류를 사용하여 칼라비-유우 3-fold에 대해 헬로모르픽 캐슨 불변량을 정의할 수 있는가?
• RQ2 헬로모르픽 캐슨 불변량은 무카이-쌍대 3-fold의 과르모-위튼 불변량과 어떻게 관련이 있는가?
• RQ3 헬로모르픽 캐슨 불변량은 칼라비-유우 3-fold의 복소 구조 변형에 대해 불변인가?
• RQ4 이 불변량은 미분형이지만 비이sov러널인 칼라비-유우 3-fold를 식별할 수 있는가?
• RQ5 칼라비-유우 3-fold와 그 무카이-쌍대 사이의 코homological 관계는 무엇인가?

주요 결과

• 헬로모르픽 캐슨 불변량은 변형 불변이며, 칼라비-유우 3-fold의 복소 구조 변형에 대해 안정적임을 증명한다.
• 특정 랭크와 체르누 클래스에 대해, K3 섬유화의 층의 모듈리 공간을 사용하여 불변량을 명시적으로 계산한다.
• 일부 경우에서 불변량이 무카이-쌍대 3-fold의 과르모-위튼 불변량과 일치하여 이중성 관계를 확립한다.
• 그로스가 만든 미분형이지만 비이sov러널인 칼라비-유우 3-fold를 성공적으로 식별한다.
• 무카이-쌍대 3-fold가 칼라비-유우임을 보이며, 원래 3-fold와 동치인 코homology를 가짐을 보여준다.
• 가상의 모듈리 사이클 구성법은 P^3의 곡선 힐버트 스킴과 팔란 3-fold에 적용되며, 도널드슨- 및 과르모-위튼 유사 불변량을 도출한다.