[논문 리뷰] Invariants of pure 2-dimensional sheaves inside threefolds and modular forms

Amin Gholampour, Artan Sheshmani|arXiv (Cornell University)|2013. 05. 06.

Algebraic Geometry and Number Theory참고 문헌 34인용 수 7

한 줄 요약

이 논문은 3차원 기하학에서 순수한 2차원 층의 도널드슨-타이너 불변량을 연구한다—K3 섬유화, ℙ²의 캐논리컬 번들의 쌍대기하, 양성 선다발을 가진 칼라비-야우 3차원 다양체—모듈라리티를 증명하고 기하학적 및 조합적 방법을 통해 적통성 추측을 검증하며, 알려진 모듈라 형식과 오일러 특성, MNOP 불변량과 같은 불변량을 바탕으로 명시적인 공식을 제시한다.

ABSTRACT

Motivated by S-duality modularity conjectures in string theory, we study the Donaldson-Thomas type invariants of pure 2-dimensional sheaves inside a nonsingular threefold X in three different situations: (1). X is a K3 fibration over a curve. We study the Donaldson-Thomas invariants of the 2 dimensional Gieseker stable sheaves in X supported on the fibers. Analogous to the Gromov-Witten theory formula established in the work of Maulik-Pandharipande, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the K3 surface and the Noether-Lefschetz numbers of the fibration, and prove that the invariants have modular properties. (2). X is the total space of the canonical bundle of P^2. We study the generalized Donaldson-Thomas invariants defined by Joyce-Song of the moduli spaces of the 2-dimensional Gieseker semistable sheaves on X with first Chern class equal to k times the class of the zero section of X. When k=1,2 or 3, and semistability implies stability, we express the invariants in terms of known modular forms. We prove a combinatorial formula for the invariants when k=2 in the presence of the strictly semistable sheaves, and verify the BPS integrality conjecture of Joyce-Song in some cases. (3). (Joint with Richard Thomas) X is a Calabi-Yau threefold and L is a sufficiently positive line bundle. We define new invariants counting a restricted class of 2-dimensional torsion sheaves, enumerating pairs (Z,H) in X where H is a member of the linear system |L| and Z is a 1-dimensional subscheme of H. The associated sheaf is the ideal sheaf of Z in H, pushed forward to X and considered as a certain Joyce-Song pair in the derived category of X. We express these invariants in terms of the MNOP invariants of X.

연구 동기 및 목표

• K3-섬유화 3차원에서 2차원 층에 대한 도널드슨-타이너 불변량의 모듈라 성질을 확립한다.
• ℙ²의 캐논리컬 번들의 전체 공간에서 층에 대한 일반화된 DT 불변량을 계산한다. 특히 k=1,2,3의 경우를 중심으로 한다.
• 조이스-송 쌍을 통한 칼라비-야우 3차원 다양체에서 선다발의 선형계 내 1차원 부분스키마를 세는 새로운 불변량을 정의한다.
• строго 준안정 층을 포함하는 특정 케이스에서 조이스-송의 BPS 적통성 추측을 검증한다.
• 칼라비-야우 3차원 다양체에서 새로운 불변량을 MNOP 불변량과 연결한다.

제안 방법

• K3 섬유화의 경우, 불변량을 K3 표면 위의 점들의 힐베르트 스킴의 오일러 특성과 노에터-레프슈츠 수치로 표현한다.
• ℙ²의 캐논리컬 번들의 경우, 조이스-송의 일반화된 DT 이론을 사용하여 첫 번째 체르니 클래스가 영점 섹션 클래스의 k배인 층에 대한 불변량을 정의한다.
• k=2의 경우, 엄격 준안정 층이 기여하는 상황에서 생성함수 기법을 사용하여 조합론적 공식을 유도한다.
• 칼라비-야우의 경우, 쌍 (Z,H)를 통해 불변량을 정의한다. 여기서 H ∈ |L|이며 Z는 H의 1차원 부분스키마이며, 관련 층을 X로 옮겨진다.
• 유도 범주 기법을 사용하여 H 내의 Z의 층을 X의 유도 범주에서 조이스-송 쌍으로 간주한다.
• 새로운 불변량을 배경 칼라비-야우 3차원 다양체의 MNOP 불변량으로 표현하는 공식을 수립한다.

실험 결과

연구 질문

• RQ1 K3 섬유화에서 2차원 기에세커 안정 층에 대한 도널드슨-타이너 불변량은 K3 표면 위의 점들의 힐베르트 스킴의 오일러 특성과 노에터-레프슈츠 수치와 어떻게 관련이 있는가?
• RQ2 ℙ²의 캐논리컬 번들의 경우, k=1,2,3일 때 2차원 층에 대한 일반화된 DT 불변량은 알려진 모듈라 형식으로 표현될 수 있는가?
• RQ3 엄격 준안정 층이 기여할 경우, 특히 k=2일 때 DT 불변량의 조합론적 구조는 어떠한가?
• RQ4 칼라비-야우 3차원 다양체에서 선형계 내 1차원 부분스키마를 세는 새로운 불변량은 어떻게 정의되고 기존의 불변량과 관련이 있는가?
• RQ5 새로운 불변량은 조이스-송의 BPS 적통성 추측을 어느 정도 만족하는가?

주요 결과

• K3 섬유화의 경우, 불변량이 모듈라 형식임을 보이며, K3 표면 위의 점들의 힐베르트 스킴의 오일러 특성과 노에터-레프슈츠 수치를 포함하는 명시적 표현이 존재한다.
• ℙ²의 캐논리컬 번들의 경우 k=1,2,3일 때 일반화된 DT 불변량이 알려진 모듈라 형식으로 표현되며, 이는 모듈라리티를 확인한다.
• k=2일 때 엄격 준안정 층이 존재하는 상황에서도 조합론적 공식이 도출되었으며, 이는 구체적인 계산 도구를 제공한다.
• 조이스-송의 BPS 적통성 추측은 엄격 준안정 층이 포함된 특정 케이스에서 검증되었으며, 이는 이러한 설정에서의 타당성을 지지한다.
• 칼라비-야우 3차원 다양체의 경우, 쌍 (Z,H)를 세는 새로운 불변량이 배경 3차원 다양체의 MNOP 불변량으로 표현됨을 증명하였으며, 서로 다른 계수 이론 간의 깊은 연결 고리를 확립한다.