[논문 리뷰] Stability conditions, Bogomolov-Gieseker type inequalities and Fano 3-folds

Dulip Piyaratne|arXiv (Cornell University)|2017. 05. 11.

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

한 줄 요약

이 논문은 Fano 3-fold에 대한 수정된 Bogomolov-Gieseker 유형 부등식 추측을 제안하며, $\Omega \in H^4(X,\mathbb{Q})$ 이며 $\Omega \cdot H = 0$인 유리계수 클래스와 비음수 매개변수 $\xi$를 포함하는 조정 가능한 보정항을 도입한다. 저자들은 특정 클래스의 $\overline{\beta}_A$-안정 대상에 대해 부등식을 검증하는 것으로 추측을 확립하는 데 충분하며, 모든 일반적인 Fano 3-fold에 대해 수정된 부등식이 성립함을 증명한다. 이는 원래 추측이 실패하는 $\mathbb{P}^3$의 한 점에서의 블로우업 포함한다.

ABSTRACT

We develop a framework to modify the Bogomolov-Gieseker type inequality conjecture introduced by Bayer-Macri-Toda, in order to construct a family of geometric Bridgeland stability conditions on any smooth projective 3-fold. We show that it is enough to check these modified inequalities on a small class of tilt stable objects. We extend some of the techniques in the works by Li and Bernardara-Macri-Schmidt-Zhao to formulate a strong form of Bogomolov-Gieseker inequality for tilt stable objects on Fano 3-folds. Consequently, we establish our modified Bogomolov-Gieseker type inequality conjecture for general Fano 3-folds, including an optimal inequality for the blow-up of $P^3$ at a point.

연구 동기 및 목표

• 특정 Fano 3-fold, 예를 들어 $\mathbb{P}^3$의 한 점에서의 블로우업에서 [BMT]의 원래 Bogomolov-Gieseker 유형 부등식 추측이 실패하는 문제를 해결하기 위해.
• 추가 보정항 $\xi$와 $\Lambda \cdot H = 0$ 조건을 만족하는 유리계수 클래스 $\Lambda \in H^4(X,\mathbb{Q})$를 포함하는 수정된 부등식을 개발하여, 임의의 매끄러운 사영 3차원 다양체에 Bridgeland 안정 조건을 구성할 수 있도록 하기 위해.
• 수정된 부등식의 검증을 유한한 객체 클래스—구체적으로 $\overline{\beta}_A$-안정 객체—로 축소함으로써 문제를 단순화하기 위해.
• 모든 일반적인 Fano 3-fold에 대해 수정된 부등식을 확립하기 위해, 특히 $\mathbb{P}^3$의 한 점에서의 블로우업에 대한 최적의 경우를 포함하여.
• Li 및 Bernardara-Macr\'{i}-Schmidt-Zhao의 기법을 확장하여 Fano 3-fold에서의 기울기 안정 객체에 대해 Bogomolov-Gieseker 부등식의 강력한 형태를 제안하기 위해.

제안 방법

• 보정항 $\Lambda - \left(\xi + \frac{1}{6}\alpha^2\right)H^2$를 포함하는 수정된 디스크rim리넌트 불변량 $D^{B,\xi}_{\alpha,\beta}(E)$를 도입하며, 이는 $E$의 첫 번째 코homology 특성에 작용한다. $\Lambda$는 $\frac{c_2(X)}{12} - \frac{c_2(X) \cdot H}{12H^3}H^2$로 선택된다.
• 연속 함수 $A: B + \mathbb{R}\langle H\rangle \to \mathbb{R}_{\geq 0}$를 정의하고, $\overline{\beta}_A$-안정성의 개념을 도입하여, 기울기 안정 조건이 이웃 영역에서 유지되는 $\overline{\beta}$-값의 집합을 기록한다.
• 수정된 Bogomolov-Gieseker 부등식 추측(추측 1.1)이 $\overline{\beta}_A$-안정 객체에서만 부등식을 검증하는 것으로 동치임을 증명함으로써, 검증 부담을 크게 줄인다.
• 기울기 안정성 이론과 $\nu_{H,B+\beta H,\alpha}$-기울기 함수를 사용하여 카테고리 $\mathcal{B}_{H,B+\beta H}$ 내 객체의 안정성을 분석하고, 이와 중심 차수 및 t-구조의 하트 사이의 관계를 규명한다.
• 진보된 대수기하 기법, 특히 코homology 특성의 조작과 유리계수 코homology 클래스를 활용하여, 안정성 매개변수의 변형 하에서 $D^{B,\xi}_{\alpha,\beta}(E)$의 행동을 분석한다.
• 부등식이 모든 일반적인 Fano 3-fold에 대해 성립함을 증명하기 위해, 유한한 테스트 객체 집합으로 축소하고, 부록에서 명시적 다항식 분석과 양성 논증을 통해 부등식을 검증한다.

실험 결과

연구 질문

• RQ1 원래 Bogomolov-Gieseker 유형 부등식 추측이 실패하는 경우, 예를 들어 $\mathbb{P}^3$의 한 점에서의 블로우업을 포함한 모든 Fano 3-fold에 대해 수정된 부등식이 성립하도록 수정할 수 있는가?
• RQ2 수정된 부등식의 검증을 모든 기울기 안정 객체가 아닌, 유한하고 잘 정의된 객체 클래스—특히 $\overline{\beta}_A$-안정 객체—로 축소할 수 있는가?
• RQ3 모든 일반적인 Fano 3-fold에 대해 수정된 부등식이 성립하도록 보장하는 최적의 보정 클래스 $\Lambda \in H^4(X,\mathbb{Q})$ (단, $\Lambda \cdot H = 0$)는 무엇인가?
• RQ4 수정된 부등식은 임의의 매끄러운 사영 3차원 다양체에 대해 일차 매개변수를 가진 Bridgeland 안정 조건의 존재를 암시하는가?
• RQ5 Li 및 Bernardara-Macr\'{i}-Schmidt-Zhao의 기법을 확장하여 Fano 3-fold에서의 기울기 안정 객체에 대해 Bogomolov-Gieseker 부등식의 강력한 형태를 증명할 수 있는가?

주요 결과

• 모든 일반적인 Fano 3-fold에 대해 수정된 Bogomolov-Gieseker 유형 부등식 추측이 성립하며, 원래 추측이 실패하는 $\mathbb{P}^3$의 한 점에서의 블로우업 포함한다.
• 보정항 $\Lambda = \frac{c_2(X)}{12} - \frac{c_2(X) \cdot H}{12H^3}H^2$는 최적이며, Picard 계수 1인 Fano 3-fold과 아벨 3차원 다양체에서는 0이 된다.
• 수정된 부등식의 검증은 $\overline{\beta}_A$-안정 객체로만 확인하면 되므로 문제의 복잡도가 크게 단순화된다.
• 수정된 부등식는 [BMT]의 구성에 의해 임의의 매끄러운 사영 3차원 다양체에 대해 일차 매개변수를 가진 Bridgeland 안정 조건의 존재를 암시한다.
• $\mathbb{P}^3$의 한 점에서의 블로우업의 경우, 수정된 부등식은 Schmidt에 의해 발견된 반례를 수정하는 최적의 경계를 제공한다.
• 증명은 부록에서 다항식 부등식의 세밀한 분석을 바탕으로 하며, 수정된 디스크림리넌트 하에서 특정 코homology 특성 조합의 음이 아닌 성질을 보여준다.