[논문 리뷰] Generalized Donaldson-Thomas Invariants of 2-Dimensional sheaves on local P^2

Amin Gholampour, Artan Sheshmani|arXiv (Cornell University)|2013. 08. 31.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 3

한 줄 요약

이 논문은 $\mathbb{P}^2$의 캐논리컬 번들의 총공간 위의 2차원 층에 대해 일반화된 도널드슨-테이터 불변량을 계산하며, 조이스-송의 안정 쌍 이론과 모티브성 벽교차 기법을 사용하여 $k=1,2,3$에 대해 세미안정성일 때 안정성이 성립하는 경우의 불변량을 도출한다. $k=2$에 대해 조합적 공식을 증명하고 특정 케이스에서 BPS 정수성 추측을 검증하며, 이러한 불변량을 알려진 모듈러 형식으로 표현한다.

ABSTRACT

Let X be the total space of the canonical bundle of P^2. We study the generalized Donaldson-Thomas invariants, defined in the work of 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.

연구 동기 및 목표

• 캐논리컬 번들의 총공간 위의 2차원 기에제르 세미안정 층에 대해 첫 번째 체른 클래스가 영단면 클래스의 $k$ 배인 경우의 일반화된 도널드슨-테이터 불변량을 계산한다.
• 세미안정성일 때 안정성이 성립하는 조건 하에서 $k=1,2,3$일 때 이러한 불변량을 알려진 모듈러 형식으로 표현한다.
• $k=2$일 때, 엄밀히 세미안정 층을 포함한 경우의 일반화된 DT 불변량에 대한 조합적 공식을 유도한다.
• 모티브성 벽교차를 통해 스택형 올리고메트릭 오일러 지표를 계산함으로써, 조이스-송의 BPS 정수성 추측을 특정 케이스에서 검증한다.

제안 방법

• 조이스-송의 안정 쌍 이론을 활용하여, 세미안정 층의 모듈리 공간의 스택형 가중 올리고메트릭 오일러 지표로 일반화된 DT 불변량을 정의한다.
• 조이스와 콘체비치-소이벨만의 모티브성 벽교차 기법을 적용하여 안정 쌍의 불변량과 세미안정 층의 불변량을 연결한다.
• 가상 기본류와 완전한 오염 이론을 사용하여 층의 모듈리 공간 위에 변형에 관계없이 불변인 불변량을 구성한다.
• 쌍 $(\mathcal{F},s)$의 축소된 힐베르트 다항식과 안정성 조건을 사용하여 안정성을 정의하고 정수성 보장을 한다.
• 스택 함수의 할람 대수를 통한 일반화된 DT 불변량 구성 기법을 활용하여, 다양한 안정성 영역 간의 불변량을 연결한다.
• $\Delta$-가족의 조합적 수세기와 관련 데이터 표를 사용하여 $k=2$에 대해 불변량을 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 세미안정성이 안정성으로 이어지는 조건 하에서, 국소 $\mathbb{P}^2$ 3차원 공간 위의 2차원 층에 대해 일반화된 도널드슨-테이터 불변량을 어떻게 계산할 수 있는가?
• RQ2 엄밀히 세미안정 층을 포함한 경우, $k=2$일 때 일반화된 DT 불변량에 대한 명시적 조합적 공식은 무엇인가?
• RQ3 모티브성 벽교차와 안정 쌍 이론을 통해 이 불변량에 대한 BPS 정수성 추측을 검증할 수 있는가?
• RQ4 주어진 안정성 조건 하에서, $k=1,2,3$에 대한 일반화된 DT 불변량이 알려진 모듈러 형식과 얼마나 일치하는가?

주요 결과

• 세미안정성이 안정성으로 이어지는 조건 하에서 $k=1,2,3$일 때 일반화된 DT 불변량은 알려진 모듈러 형식으로 표현된다.
• 엄밀히 세미안정 층이 존재하는 경우에도 $k=2$에 대해 $\Delta$-가족 데이터와 스택형 올리고메트릭 오일러 지표를 사용하여 일반화된 DT 불변량에 대한 조합적 공식이 도출된다.
• 모티브성 벽교차를 통한 명시적 불변량 계산을 통해 특정 케이스에서 BPS 정수성 추측이 검증된다.
• $k=2$의 불변량은 86개의 $\Delta$-가족 표를 사용하여 계산되며, 각 항목이 총 스택형 올리고메트릭 오일러 지표에 기여한다.
• 일부 구성에 대해 $k=2$의 일반화된 DT 불변량이 $-2$로 나타나며, 엄밀히 세미안정 층의 비자명한 기여가 있음을 시사한다.
• 결과적으로 일반화된 DT 불변량이 유리수임을 확인하고, BPS 정수성 추측에서 예측한 정수성 제약 조건을 만족함을 입증한다.