[논문 리뷰] Topologies on a triangulated category

So Okada|ArXiv.org|2007. 01. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 3

한 줄 요약

이 논문은 안정 조건을 갖춘 삼각 범주에서 중심 전하를 이용해 대상들에 대한 위상구조를 정의하는 위상구조를 제안한다. 충실하거나 수치적으로 충실한 안정 조건 하에서 이 위상구조가 그로텐디크 군 또는 수치적 그로텐디크 군과 호환되며, 이 위상구조 하에서 대상들의 공간이 연결되어 있음을 증명한다.

ABSTRACT

On objects of a triangulated category with a stability condition, we construct a topology.

연구 동기 및 목표

• 삼각 범주에서 안정 조건의 중심 전하를 이용해 대상들에 대한 위상구조를 정의한다.
• 충실하거나 수치적으로 충실한 안정 조건 하에서 이 위상구조가 그로텐디크 군 또는 수치적 그로텐디크 군과 호환됨을 확립한다.
• 삼각 범주에 안정 조건이 주어진 경우, 유도된 위상구조 하에서 대상들의 공간이 연결되어 있음을 보여준다.
• 특히 반안정 대상과 그 S-등치류에 대해 중심 전하의 역상의 구조를 분석한다.

제안 방법

• 중심 전하 사상으로 삼각 범주에서 대상들의 집합에 위상구조를 정의하며, 위상좌표로 단계를 다룬다.
• 하드러-나라시마 필터링과 조르당-횔더 분해를 이용해 반안정 대상과 그 사이클의 구조를 분석한다.
• 선형 독립인 대상들이 $K({\rm T})_{{f Q}}$ 또는 $N({\rm T})_{{f Q}}$ 내에서 서로 다른 단계를 가지도록 보장하기 위해 충실 및 수치적으로 충실한 안정 조건의 개념을 도입한다.
• 대상 $E$에 대해 역상 $\tilde{Z}^{-1}(\tilde{Z}(E))$를 분석하며, 충실성 조건 하에서 이러한 역상이 $\mathbb{P}^1$ 상의 점 대상들의 직합과 동형임을 보인다.
• 자기동치와 토글 함수(예: $T_{{\mathcal{O}}_{{\mathbb{P}}^{1}}(w-1)}$)를 적용해 서로 다른 단계에 있는 대상들을 연결하고 위상적 구조를 유지한다.
• 오일러 쌍형과 음수 및 고도의 근처에서 호모지오미즈 공간이 사라지는 성질을 이용해 가능한 확장들을 제약하고, 특정 호모지오미즈 공간의 자명성을 증명한다.

실험 결과

연구 질문

• RQ1 안정 조건이 주어진 삼각 범주에서 대상들에 자연스럽게 위상구조를 어떻게 정의할 수 있는가?
• RQ2 이 위상구조가 그로텐디크 군 또는 수치적 그로텐디크 군과 호환되는 조건은 무엇인가?
• RQ3 삼각 범주에 안정 조건이 주어진 경우, 유도된 위상구조 하에서 대상들의 공간은 연결되어 있는가?
• RQ4 반안정 대상에 대해 중심 전하 사상의 역상의 구조는 어떠한가?
• RQ5 자기동치와 토글 함수는 대상들의 위상적 구조에 어떻게 영향을 미치는가?

주요 결과

• 중심 전하를 통한 유도된 위상구조는 삼각 범주의 대상들에 대해 공간이 연결되어 있음을 보여준다.
• 충실한 안정 조건 하에서, 역상 $\tilde{Z}^{-1}(\tilde{Z}(E))$ 는 S-등치류와 자기동치를 제외한 $\mathbb{P}^1$ 상의 점 대상들의 직합과 동형이다.
• 만약 $\sigma$ 가 수치적으로 충실한 경우, 위상구조는 수치적 그로텐디크 군 $N({\mathcal{T}})$ 와 호환된다.
• 안정 대상 $E$ 와 같은 단계를 갖는 $\mathcal{O}_x$ 에 대해 오일러 쌍형 $\chi(E, E)$ 는 0이 되며, 이는 $\dim\operatorname{Hom}^1(E, \mathcal{O}_x) = 0$ 을 의미한다.
• 하드러-나라시마 필터링은 $[E_x] = [{\mathcal{O}}_{{\mathbb{P}}^{1}}(w-1)[1]] + [{\mathcal{O}}_{{\mathbb{P}}^{1}}(w)]$ 를 만족하는 모든 대상 $E_x$ 가 반안정이 되게 하며, 인자들 사이에 비자명한 사상이 존재하지 않기 때문이다.
• 만약 $|n| > 1$ 이면, $K({\mathcal{T}})$ 에서 $[E] = n[\mathcal{O}_x]$ 를 만족하는 반안정 대상 $E$ 는 조각 인자들이 $\mathcal{O}_x$ 와 동형인 조르당-횔더 분해를 가지며, 따라서 $E$ 는 점들의 $n$ 중복 직합과 S-등치이다.