[논문 리뷰] Bridgeland-Stable Moduli Spaces for K-Trivial Surfaces

Daniele Arcara, Aaron Bertram외 1명|ArXiv.org|2007. 08. 16.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 42

한 줄 요약

이 논문은 K-trivial 표면—특히 K3 및 아벨 표면—에 대해 유도 범주 위에 일차 파arameter 안정성 조건의 한 가닥을 정의하여 Bridgeland-안정 모듈리 공간을 구성한다. 안정성 매개변수의 변화에 따른 벽-교차 행동을 이용하여, Mukai 플롭과 일반화된 기본 수정을 통해 유니버설 층의 수정을 통해 정밀한 모듈리 공간을 구성함으로써 상대 잭비안의 새로운 비동형 모델을 얻고, 곡선에 대한 Thaddeus의 안정 쌍의 자연스러운 일반화를 이룬다.

ABSTRACT

We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S) and $C \in |H|$. If, in addition, S is a K3 or Abelian surface, we use this description to construct a sequence of fine moduli spaces of Bridgeland-stable objects via Mukai flops and generalized elementary modifications of the universal coherent sheaf. We also discover a natural generalization of Thaddeus' stable pairs for curves embedded in the moduli spaces.

연구 동기 및 목표

• Picard 계수 1인 매끄럽고 사영인 K-trivial 표면의 유도 범주 위에 자연스러운 일차 파arameter 안정성 조건의 한 가닥을 정의한다.
• C ∈ |H|이면 $\mathcal{O}_C(H)$의 Chern 불변량과 일치하는 객체의 벽-교차 행동을 기술한다.
• 안정성 매개변수 $t$가 임계 벽을 초월할 때 Mukai 플롭을 통해 Bridgeland-안정 객체의 정밀한 모듈리 공간을 구성한다.
• 유도 범주적 맥락에서 Thaddeus의 안정 쌍 구성법을 안정 객체 모듈리 공간으로 일반화한다.
• 일반화된 기본 수정과 선다발 변환을 통해 모듈리 공간 위에 유니버설 코herent 층의 존재를 확립한다.

제안 방법

• 복소화된 앰플 클래스 $D+iF$ 와 지수 Chern 특성을 사용하여 유도 범주의 코herent 층의 Grothendieck 군 위에 중심 질량 $Z$ 를 정의하며, 여기서 $F=tH$ 이고 $D=\frac{1}{2}H$ 이다.
• 유도 범주 $\mathcal{D}(S)$ 위에 t-구조를 구성하며, 그 심장 $\mathcal{A}^\#$ 는 $Z$ 와 호환되어 Bridgeland 안정성 조건을 이룬다.
• 매개변수 $t$ 가 변화함에 따라 Chern 특성 $\mathrm{ch}(E) = H + H^2/2$ 를 가진 객체의 벽-교차 행동을 분석하고, 안정성 변화가 일어나는 임계 값을 식별한다.
• 심장 $\mathcal{A}^\#$ 내의 Harder-Narasimhan 및 Jordan-Hölder 분해를 이용하여 안정 객체를 분류하고, 벽을 넘는 동안의 불안정성 변화를 추적한다.
• 유니버설 층을 $\mathcal{O}_S(H)$, $\mathcal{O}_S[1]$, $i_*\mathcal{O}_C(H)$ 를 포함하는 특징적인 삼각형을 통해 수정함으로써 Mukai 플롭을 통해 모듈리 공간을 구성한다.
• 상대 Picard 군과 codimension-one 매칭을 통해 선다발 변환을 이용해 비동형 모델 간의 유니버설 가족을 매칭한다.

실험 결과

연구 질문

• RQ1 Brid지엘 안정성 조건의 일차 파arameter 가닥에서 안정성 매개변수 $t$ 가 변화함에 따라 Chern 특성이 $H + H^2/2$ 인 객체의 안정성은 어떻게 변화하는가?
• RQ2 심장 $\mathcal{A}^\#$ 내에서 $i_*\mathcal{O}_C(H)$ 가 불안정해지는 정확한 조건은 무엇이며, 그 대체로 작용하는 안정 객체는 무엇인가?
• RQ3 K-trivial 표면의 상대 잭비안은 벽-교차에 의해 유도되는 Mukai 플롭을 통해 체계적으로 새로운 비동형 모듈리 공간으로 변형될 수 있는가?
• RQ4 Bridgeland-안정 객체의 모듈리 공간 위에 유니버설 코herent 층을 어떻게 구성할 수 있으며, 플롭을 넘어서 어떻게 변형되는가?
• RQ5 K3 또는 아벨 표면에서의 벽-교차 구조로부터 자연스럽게 유도되는, Thaddeus의 안정 쌍 구성법의 유도 범주적 일반화가 존재하는가?

주요 결과

• $t > \frac{1}{2}$ 일 때 $\mathcal{O}_S(H)$ 는 $\mathcal{A}^\#$ 에서 안정적이며, $t < \frac{1}{2}$ 일 때 $i_*\mathcal{O}_C(H)$ 는 불안정해지고 $\mathbb{P}(H^0(S, \mathcal{O}_S(H))^*) \cong \mathbb{P}^{g-1}$ 에 의해 매개변수화되는 확장 $0 \to \mathcal{O}_S[1] \to E \to \mathcal{O}_S(H) \to 0$ 으로 대체된다.
• Bridgeland-안정 객체의 모듈리 공간은 안정성 매개변수 $t$ 의 벽-교차 사건 각각에 대응하는 정밀한 모듈리 공간의 열로 구성된다.
• 모듈리 공간 위의 유니버설 층은 일반화된 기본 수정을 통해 얻어지며, 그 구조는 $\mathcal{I}_{\mathcal{Z}_{12}}(H)$ 와 $\mathcal{I}_{\mathcal{Z}_{13}}^\vee[1]$ 을 포함하는 특징적인 삼각형에 의해 암시된다.
• 모듈리 공간의 $S^{[d]} \times S^{[d]}$ 위의 상대 Picard 군은 $\mathcal{O}_{\mathbb{P}^{g-2d}}(1)$ 의 당김으로 생성되며, 이는 비동형 모델 간의 호환성을 보장한다.
• $S \times \mathcal{M}$ 위에 Poincaré 유형의 유니버설 층 $\mathcal{U}$ 가 존재하며, $\mathcal{U}|_{S \times \mathbb{P}_d} \cong \mathcal{E}_d \otimes \mathcal{L}$ 를 만족하는 어떤 선다발 $\mathcal{L}$ 가 존재하여 플롭 간의 유니버설 가족이 매칭된다.
• 이 구성은 곡선에 대한 Thaddeus의 안정 쌍의 자연스러운 일반화를 제공하며, $\mathcal{O}_C(H)$ 와 동일한 불변량을 가진 유도 범주 내의 안정 객체로서 실현된다.