[논문 리뷰] Fourier-Mukai Transforms and Bridgeland Stability Conditions on Abelian Threefolds

Antony Maciocia, Dulip Piyaratne|arXiv (Cornell University)|2013. 04. 14.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 46

한 줄 요약

이 논문은 프린시팔리티가 있는 애벨 3차곡면에서 Picard 계수 1인 경우에 대해, 특정한 기울기 안정성 객체의 범주에 대해 보고몰로프-지제커 유형 부등식을 증명하여 브리지랜드 안정 조건을 수립한다. 심플한 구조를 유지하는 푸리에-무카이 변환을 사용하여 심플한 객체들이 심플한 객체들로 매핑됨을 보이고, 이는 필요한 부등식을 검증하고, 따라서 칼라비-양 3차곡면에서 안정 조건을 구성하는 데 기여한다.

ABSTRACT

We show that the construction of Bayer, Bertram, Macri and Toda gives rise to a Bridgeland stability condition on a principally polarized abelian threefold with Picard rank one by establishing their conjectural generalized Bogomolov-Gieseker inequality for certain tilt stable objects. We do this by proving that a suitable Fourier-Mukai transform preserves the heart of a particular conjectural stability condition. We also show that the only reflexive sheaves with zero first and second Chern classes are the flat line bundles.

연구 동기 및 목표

• 프린시팔리티가 있는 애벨 3차곡면에서 Picard 계수 1인 경우에 브리지랜드 안정 조건을 구성하는 것.
• 기본적으로 기울기 안정성 객체의 제한된 범주에 대해 보고몰로프-지제커 유형 부등식을 검증하는 것.
• 특정한 푸리에-무카이 변환이 안정 조건의 심플한 구조를 유지함을 보여, 부등식 증명을 가능하게 하는 것.
• 특히 이전에 알려진 예가 없었던 칼라비-양 3차곡면, 특히 애벨 3차곡면에 대해 브리지랜드 안정 조건의 프레임워크를 확장하는 것.

제안 방법

• 저자들은 표준 t-구조의 이중 기울기 안정성으로 정의된 심플한 구조 $\mathcal{A}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$를 정의한다.
• 푸리에-무카이 변환 $\Psi = L\Phi$를 사용하여 심플한 구조 내의 객체들의 코homological 행동을 분석한다. 이 변환의 커널은 피카르 번들이다.
• 핵심 기술적 단계는 $\Psi$ 및 $\widehat{\Psi}$에 의한 심플한 구조 $\mathcal{B}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$의 이미지가 0, 1, 2차 코homology를 제외한 나머지 차수에서 비영인 코homology를 가지지 않음을 증명하는 것이다.
• 심플한 구조 $\mathcal{A}$ 내에서 $\Psi[1]$ 및 $\widehat{\Psi}[1]$가 유지를 보임으로써, 심플한 객체들이 심플한 객체들로 매핑됨을 보이고, 이는 최상위 체르니 캐릭터 성분에 대한 경계를 유도한다.
• 스펙트럴 시퀀스와 코homological 분해를 사용하여, 변환에 의한 토르션 층과 토르션 프리 층의 이미지를 분석한다.
• 증명은 $\Psi \circ \widehat{\Psi} \cong (-1)^*[-2]$의 동형사상에 기반하며, 이는 쌍대성과 코homological 소멸을 이용하여 필요한 부등식을 유도하는 데 기여한다.

실험 결과

연구 질문

• RQ1 프린시팔리티가 있는 애벨 3차곡면에서 Picard 계수 1인 경우, 특히 칼라비-양의 경우 브리지랜드 안정 조건이 존재하는가?
• RQ2 애벨 3차곡면의 유도 범주에서 제한된 범주에 속하는 기울기 안정성 객체에 대해 보고몰로프-지제커 유형 부등식을 검증할 수 있는가?
• RQ3 애벨 3차곡면에서 표준 t-구조의 이중 기울기 안정성으로 정의된 t-구조의 심플한 구조를 유지하는 푸리에-무카이 변환이 존재하는가?
• RQ4 푸리에-무카이 변환에 의한 코homology 행동을 어떻게 활용하여 브리지랜드 안정성의 맥락에서 수치적 부등식을 도출할 수 있는가?
• RQ5 이러한 안정 조건이 체르니 계수가 0인 벡터 복합체에 대한 비평탄한 헤르미티안-에인슈타인 접속의 존재성에 어떤 영향을 미치는가?

주요 결과

• 저자들은 $\operatorname{NS}(X) = \mathbb{Z}[\ell]$인 프린시팔리티가 있는 애벨 3차곡면에서 브리지랜드 안정 조건을 구성하였으며, 칼라비-양 3차곡면에서 이러한 조건의 존재를 확인한다.
• 심플한 객체의 제한된 범주에 대해 푸리에-무카이 변환에 의한 심플한 구조의 유지 덕분에, $\mathcal{A}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$ 내에서 보고몰로프-지제커 유형 부등식이 검증된다.
• $\Psi[1]$ 및 그 역 $\widehat{\Psi}[1]$이 애벨 분류 $\mathcal{A}$의 자가동치로 나타남을 보였으며, 이는 부등식 증명에 필수적이다.
• $\Psi$ 및 $\widehat{\Psi}$에 의한 $\mathcal{B}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$의 이미지가 0, 1, 2차 코homology를 제외한 나머지에서 비영인 코homology를 가지지 않음을 보였으며, 이는 핵심 기술적 결과이다.
• 증명은 체르니 계수가 0이고 $c_2(E) = 0$인 복합체 $E$가 비평탄한 헤르미티안-에인슈타인 접속을 가질 수 없다는 것을 암시한다.
• 이 방법은 다른 칼라비-양 3차곡면과 다른 애벨 3차곡면에 대한 안정 조건로 일반화될 수 있는 프레임워크를 제공한다.