[논문 리뷰] Bridgeland Stability conditions on threefolds I: Bogomolov-Gieseker type inequalities

Arend Bayer, Emanuele Macrì외 1명|arXiv (Cornell University)|2011. 03. 25.

Algebraic Geometry and Number Theory참고 문헌 40인용 수 17

한 줄 요약

이 논문은 표준 t-구조의 이중 기울임을 사용하여 매끄럽고 사영인 3차원 다양체의 유도 범주에 대해 브리지갈란드 안정성 조건의 추측적 구성법을 제안한다. 안정한 복합체의 세 번째 체르누흐 특성치에 대한 보고몰로프-지제커 유형 부등식을 확립하고, 특정 케이스(예: 사영 공간)에서 이를 증명하며, $\pi^3$와 특정 2차 곡면 3차원 다각형에서 큰 체적 근처의 $\pi$-안정성에 대한 안정성 조건의 존재를 검증한다.

ABSTRACT

We construct new t-structures on the derived category of coherent sheaves on smooth projective threefolds. We conjecture that they give Bridgeland stability conditions near the large volume limit. We show that this conjecture is equivalent to a Bogomolov-Gieseker type inequality for the third Chern character of certain stable complexes. We also conjecture a stronger inequality, and prove it in the case of projective space, and for various examples. Finally, we prove a version of the classical Bogomolov-Gieseker inequality, not involving the third Chern character, for stable complexes.

연구 동기 및 목표

• 표준 t-구조의 이중 기울임을 사용하여 매끄럽고 사영인 3차원 다각형의 유도 범주에 대해 브리지갈란드 안정성 조건을 구성하기.
• 기울임 안정성 하에서 안정한 복합체에 대한 세 번째 체르누흐 특성치를 포함하는 보고몰로프-지제커 유형 부등식을 추측하기.
• 특정 케이스(예: 사영 공간 및 특정 2차 곡면 3차원 다각형 포함)에서 추측된 부등식을 증명하기.
• $\pi^3$ 및 완전한 예외적 열을 갖는 다른 3차원 다각형에서 큰 체적 근처의 안정성 조건 존재를 확립하기.
• 부등식이 성립할 경우 중심 임펄스 $Z_{\omega,B}$ 가 안정성 조건을 정의함을 증명하기 위해, 강한 예외적 열로 생성된 t-구조를 사용하기.

제안 방법

• 기울임 안정성에 대해 $\omega$를 기준으로 하여 $\mathrm{Coh}(X)$의 기울임을 먼저 수행하고, 그 결과로 얻어진 범주에서 새로운 안정성 조건을 사용해 다시 기울임을 수행함으로써 심장 $\mathcal{A}_{\omega,B}$ 를 구성하기.
• 중심 임펄스 $Z_{\omega,B}(E) = -\int_X e^{-B-i\omega} \mathrm{ch}(E)$ 를 정의하며, 이는 수치적 그로텐디크 군을 통해 인수화된다.
• 중심 임펄스를 $\mathrm{ch}_1^B, \mathrm{ch}_2^B, \mathrm{ch}_3^B$ 로 표현하기 위해 외삽된 체르누흐 특성치 $\mathrm{ch}^B(E) = e^{-B}\mathrm{ch}(E)$ 를 사용하기.
• 모든 유리수 $s,t$ 에 대해 $0 < t < \frac{1}{2}$ 이고 $s > \frac{7t-2}{6(t+1)}$ 를 만족할 경우, 쌍 $(Z^{s,t}, \mathcal{A}_t)$ 가 $\mathrm{D}^b(\mathbb{P}^3)$ 에서 안정성 조건을 정의함을 증명하기.
• Beilinson의 $\mathbb{P}^3$ 에서의 완전한 예외적 열을 사용하여 심장 $\mathcal{C}$ 를 갖는 t-구조를 정의하고, 이를 기준 안정성 조건으로 삼아 지지 성질을 검증하기.
• 일반 기준(정리 8.1.1)을 적용하여, $Z^{s,t}$ 가 $\mathcal{C}$ 에서 지지 조건을 만족하면, $\mathcal{A}_t$ 에서 안정성 조건을 정의함을 보여주기.

실험 결과

연구 질문

• RQ1 큰 체적 근처에서 매끄럽고 사영인 3차원 다각형의 유도 범주에 대해 브리지갈란드 안정성 조건이 존재하는가?
• RQ2 세 번째 체르누흐 특성치에 대한 보고몰로프-지제커 유형 부등식은 이러한 안정성 조건의 존재에 필수적이고 충분한가?
• RQ3 특정 케이스(예: $\mathbb{P}^3$ 또는 2차 곡면 3차원 다각형)에서 추측된 부등식을 증명할 수 있는가?
• RQ4 심장 $\mathcal{A}_{\omega,B}$ 의 이중 기울임 구성법이 유효한 t-구조를 제공하여 안정성 조건을 지지할 수 있는가?
• RQ5 $(Z^{s,t}, \mathcal{A}_t)$ 가 $\mathrm{D}^b(\mathbb{P}^3)$ 에서 안정성 조건을 정의하는 데 필요한 매개변수 $s,t$ 의 정확한 범위는 무엇인가?

주요 결과

• 논문은 모든 유리수 $s,t$ 에 대해 $0 < t < \frac{1}{2}$ 이고 $s > \frac{7t - 2}{6(t + 1)}$ 를 만족할 경우, $(Z^{s,t}, \mathcal{A}_t)$ 가 $\mathrm{D}^b(\mathbb{P}^3)$ 에서 안정성 조건을 정의함을 증명한다. 이는 $s = 3t$ 의 경우도 포함된다.
• $\omega = \sqrt{3}$ 일 때, $t = \frac{\omega^2}{6} = \frac{1}{2}$ 이고 $s = \frac{t}{3} = \frac{1}{6}$ 이면 강력한 추측이 성립하지만, $Z^{1/6,1/2}(\mathcal{O}_{\mathbb{P}^3}(1)) = 0$ 이므로 이 선택은 안정성 조건을 정의하지 못한다.
• 부등식 $s > \frac{7t - 2}{6(t + 1)}$ 는 날카로운 경계이다: $s = \frac{1}{6}$ 이고 $t = \frac{1}{2}$ 일 때 중심 임펄스가 $\mathcal{O}_{\mathbb{P}^3}(1)$ 에서 0이 되며, 안정성의 양성 조건을 위반한다.
• 저자들은 강력한 완전한 예외적 열을 사용하여, $\omega^3 < \frac{1}{12\sqrt{3}}$ 일 때 2차 곡면 3차원 다각형 $Q \subset \mathbb{P}^4$ 의 유도 범주에 대해 안정성 조건의 존재를 검증한다.
• 심장 $\mathcal{C}$ 가 $\langle \mathcal{A}_t, \mathcal{A}_t[1] \rangle$ 에 속한다는 것을 보여주는 것이 증명의 핵심이며, 이는 안정성 기준의 적용을 가능하게 한다.
• 이 구성은 $\mathbb{P}^3$ 와 같이 강력한 완전한 예외적 열을 갖는 다른 3차원 다각형으로 일반화되며, 선형 다발과 스피너 다발이 적절한 기울임 범주에 속한다는 것을 검증함으로써 가능해진다.