[논문 리뷰] A relation between higher-rank PT stable objects and quotients of coherent sheaves

Jason Lo|arXiv (Cornell University)|2018. 10. 02.

Algebraic structures and combinatorial models참고 문헌 23인용 수 1

한 줄 요약

이 논문은 매끄럽고 사영인 3차원 다양체의 유도 범주에서의 고계수 PT 안정 대상에서, 계량층의 몫들로 가는 함자 F를 수립하며, 계수와 차수 조건이 서로소일 경우 그가 본질적으로 전성임을 보인다. 주요 기여는 Toda의 고계수 DT/PT 대응을 Gholampour-Kool의 몫 스킴 공식과 연결하는 이중성 구성에 기반하여, 계수 1의 안정 쌍을 고계수로 일반화하는 것이다.

ABSTRACT

On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime assumption on rank and degree, the domain of $\mathcal{F}$ coincides with the category of higher-rank PT stable objects, which appear on one side of Toda's higher-rank DT/PT correspondence formula. The codomain of $\mathcal{F}$ is the category of objects that appear on one side of another correspondence formula by Gholampour-Kool, between the generating series of topological Euler characteristics of two types of quot schemes.

연구 동기 및 목표

• 매끄럽고 사영인 3차원 다양체 위에서 고계수 PT 안정 대상과 계량층의 몫들 사이의 범주적 다리를 수립한다.
• Toda의 고계수 DT/PT 대응을 Gholampour-Kool의 몫 스킴 생성 함수 공식과 통합한다.
• 유도 범주 기법과 이중성에 기반해 계수 1의 안정 쌍 구성법을 고계수 대상으로 일반화한다.
• 구축된 함자 F의 섬유를 분석하고, 유도 범주에서의 동형과 계량층의 사상 범주에서의 동형 사이의 차이를 명확히 한다.
• 기존의 코hen-맥컬레이 곡선의 이상층에 의한 안정 쌍 구성법을 고계수 계량층 몫으로 확장하여 고계수 PT 안정 대상을 생성한다.

제안 방법

• D^b(Coh(X))에서 두 항의 복합체로 이루어진 범주 E₀를 정의하며, 이는 코homology가 -1과 0차 수준에 존재하며, 모든 PT 준안정 대상을 포함한다.
• E₀ → ∐_{F ∈ Coh(X), hd(F)≤1} S(Ext¹(F, O_X))^{op}로 가는 반대함자 F를 구성하며, 객체들을 0차원 계량층으로 가는 전성 사상으로 매핑한다.
• 계수 r과 차수 Dω²가 서로소일 조건 하에서 F의 본질적 전성성을 증명하며, 이는 PT 안정 대상과 Gholampour-Kool 공식에 나타나는 몫들 사이의 연결을 보여준다.
• 유도 범주에서의 이중성과 옥타드론 공리를 사용하여 함자 F가 계량층 몫으로부터 고계수 PT 안정 대상을 구성하는 것과 관련됨을 밝힌다.
• 정확한 삼각형과 코homological 기법을 사용하여 F의 섬유를 분석하고, D^b(X)에서의 동형과 Coh(X)의 사상 범주에서의 동형을 구분한다.
• H⁻¹(E) = ker(q)일 때 Ext²(K, O_X)로부터 두 항의 복합체를 구성함으로써, 계수 1의 안정 쌍 구성법(Ext¹(IC, O_X) ։ Q)을 고계수로 일반화한다.

실험 결과

연구 질문

• RQ1 고계수 PT 안정 대상은 어떻게 체계적으로 계량층의 몫들과 연결될 수 있는가?
• RQ2 Gholampour-Kool의 몰 스킴 공식은 어떻게 고계수 유도 범주적 구성에 의해 Toda의 고계수 DT/PT 대응과 연결될 수 있는가?
• RQ3 유도 범주에서의 동형과 계량층 사상 범주에서의 동형 사이의 정확한 관계는 무엇인가?
• RQ4 계수 1의 안정 쌍 구성법은 어떻게 고계수 PT 안정 대상을 생성하기 위해 일반화될 수 있는가?
• RQ5 PT 안정 대상을 몫들로 매핑하는 함자 F의 섬유는 어떤 구조를 지니는가?

주요 결과

• 함자 F: E₀ → ∐_{F, hd(F)≤1} S(Ext¹(F, O_X))^{op}는 본질적으로 전성이며, 고계수 PT 안정 대상과 계량층의 몫들 사이의 범주적 연결을 수립한다.
• 계수 r과 Dω²가 서로소일 조건 하에서, ch₀ = −r 및 ch₁ = −D인 PT 안정 대상으로 제한된 F의 제약은 역시 본질적으로 전성이다.
• Surjection q: Ext¹(H⁻¹(E), O_X) ։ Q로부터 유도된 두 항의 복합체 H⁻¹(E)∗∗ → Ext²(K, O_X)는 H⁻¹(E)가 비가역적이고 그 이중이 국소적으로 자유로울 경우 고계수 PT 안정 대상을 생성한다.
• 두 항의 복합체에서의 사상 s는 정확한 삼각형 (H⁻¹(E)∗)∨ → K∨[2] → G → (H⁻¹(E)∗)∨[1]에서 H⁰(φ)와 정확히 일치하며, 이는 함자 F가 일반화된 안정 쌍 구성법과 연결됨을 보여준다.
• H⁻¹(E)가 국소적으로 자유롭지 않지만 그 이중은 자유로울 경우, 삼각형에서의 사상 φ는 두 항의 복합체에서의 사상 s와 일치하며, 이는 계수 1의 경우를 일반화한다.
• H⁻¹(E) = I_C일 때, 코헨-맥컬레이 곡선 C에 대해 기존의 계수 1 안정 쌍이 복구되며, 이는 계량층 몫과 이중성을 통해 고계수로 확장된다.