[논문 리뷰] Projectivity and Birational Geometry of Bridgeland moduli spaces

Arend Bayer, Emanuele Macrì|arXiv (Cornell University)|2012. 03. 20.

Algebraic Geometry and Number Theory참고 문헌 75인용 수 19

한 줄 요약

이 논문은 K3 표면 위의 복합체의 Bridgeland 모듈리 공간 위에 정규화된 가속자류의 가람을 구성하며, 안정성 조건에 따라 자연스럽게 변하고 일반적인 안정성 조건에서는 앰플리튜드임을 보인다. 핵심 기여는 Bridgeland 안정성에서의 벽을 넘는 현상과 최소 모델 프로그램 사이의 체계적인 연결고리 수립으로, 이는 측도의 구조적 기하학과 Hilbert 점의 스킴에 대한 새로운 결과를 가능하게 한다.

ABSTRACT

We construct a family of nef divisor classes on every moduli space of stable complexes in the sense of Bridgeland. This divisor class varies naturally with the Bridgeland stability condition. For a generic stability condition on a K3 surface, we prove that this class is ample, thereby generalizing a result of Minamide, Yanagida, and Yoshioka. Our result also gives a systematic explanation of the relation between wall-crossing for Bridgeland-stability and the minimal model program for the moduli space. We give three applications of our method for classical moduli spaces of sheaves on a K3 surface: 1. We obtain a region in the ample cone in the moduli space of Gieseker-stable sheaves only depending on the lattice of the K3. 2. We determine the nef cone of the Hilbert scheme of n points on a K3 surface of Picard rank one when n is large compared to the genus. 3. We verify the "Hassett-Tschinkel/Huybrechts/Sawon" conjecture on the existence of a birational Lagrangian fibration for the Hilbert scheme in a new family of cases.

연구 동기 및 목표

• 안정성 조건에 따라 자연스럽게 변하는 Bridgeland-안정 복합체의 모듈리 공간 위에 정규화된 가속자류의 가람을 구성하는 것.
• Bridgeland 안정성에서의 벽을 넘는 현상과 모듈리 공간에 대한 최소 모델 프로그램 사이의 체계적인 연결고리를 확립하는 것.
• 구성된 가속자류가 K3 표면 위에서 일반적인 안정성 조건에서 앰플리튜드임을 증명하고, 이는 이전 결과를 일반화하는 것.
• 이 방법을 고전적인 측도의 모듈리 공간과 Hilbert 점 스킴에 적용하여 그들의 구조적 기하학에 대한 새로운 결과를 도출하는 것.
• Hassett-Tschinkel/Huybrechts/Sawon 추측, 즉 Hilbert 스킴에 대해 구조적 라그랑주 피복의 존재성에 대해 새로운 경우에서 검증하는 것.

제안 방법

• 곡선 C ⊂ S에 대해, 중심 전하 비율의 허수부를 통해 모듈리 공간 S 위에 수치적 카르티에 가속자류 ℓσ,ℰ를 정의: ℓσ,ℰ([C]) = Im(−Z(Φℰ(𝒪C))/Z(v)).
• Abramovich와 Polishchuk의 카테고리적 구성 방법을 사용하여 가속자류가 네프임을 증명하며, GIT를 피하고 추가 선택 없이도 양의 성질을 확보한다.
• 안정성 매니폴드의 벽-채널 분해를 이용하여 안정성 조건의 변화와 모듈리 공간의 구조적 변형 사이의 관계를 규명한다.
• K3 표면에 대해 이론을 적용하기 위해 공통된 열린 부분집합을 통해 모듈리 공간의 Néron–Severi 군을 식별하고, 벽을 넘는 동안의 구조적 사상으로 확장한다.
• 유도 범주 내의 기본 수정을 통해 채널 간의 가속자류를 비교하여, 공통 열린 부분집합에서 ℓσ₀,ℰ₊ = ℓσ₀,ℰ₋ 임을 보인다.
• 모듈리 공간이 K-자명하고 곡선의 브라우어 군이 자명함을 이용하여 가속자류의 가속도를 올리고, 가속도를 비교한다.

실험 결과

연구 질문

• RQ1 어떻게 Bridgeland 모듈리 공간 위에 안정성 조건에 따라 자연스럽게 변하는 정규화된 가속자류의 가람을 구성할 수 있는가?
• RQ2 Bridgeland 안정성에서의 벽을 넘는 현상과 모듈리 공간에 대한 최소 모델 프로그램 사이의 정확한 관계는 무엇인가?
• RQ3 구성된 가속자류가 앰플리튜드가 되는 조건은 무엇이며, 이는 이전의 측도 모듈리에 대한 결과를 어떻게 일반화하는가?
• RQ4 이 방법을 사용하여 Hilbert 점 스킴과 같은 고전적인 모듈리 공간의 네프 및 앰플리튜드 콘을 결정할 수 있는가?
• RQ5 이 방법은 Hilbert 스킴에 대해 구조적 라그랑주 피복의 존재성에 대한 Hassett-Tschinkel/Huybrechts/Sawon 추측을 새로운 경우에서 검증하는가?

주요 결과

• 모든 Bridgeland 안정성 조건 σ와 반세미안정 대상의 가람에 대해 구성된 가속자류 ℓσ,ℰ는 네프이며, 해당 대상이 곡선 C에 따라 S-등가일 때에만 ℓσ,ℰ. C = 0 임을 만족한다.
• K3 표면 위에서 일반적인 안정성 조건에 대해 가속자류 ℓσ,ℰ는 앰플리튜드이며, Minamide, Yanagida, Yoshioka의 결과를 일반화한다.
• 이 방법은 K3 람다의 구조에만 의존하는 Gieseker-안정 측도의 모듈리 공간의 앰플리튜드 영역을 제공한다.
• Picard 계수 1인 K3 표면 위의 n개 점의 Hilbert 스킴에 대해, n이 종수보다 충분히 클 경우 네프 콘은 결정된다.
• 이 방법은 Hilbert 스킴에 대해 구조적 라그랑주 피복의 존재성에 대한 Hassett-Tschinkel/Huybrechts/Sawon 추측을 새로운 가족의 경우에서 검증한다.
• 유도 범주 내의 기본 수정을 통해 벽을 넘는 동안의 구조적 모델 간에 가속자류가 변화하지 않음을 보였으며, 이는 ℓσ,ℰ 가 동일하게 유지됨을 의미한다.