[논문 리뷰] Invariants of t-structures and classification of nullity classes

Don Stanley|ArXiv.org|2006. 02. 12.

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 Noetherian 환의 코herent sheaf의 유도 범주에서 t-구조와 영도 클래스에 대한 완전한 불변량을 구성한다. 이 불변량은 정수에서 스펙트럼의 특수화 닫힌 부분집합으로 가는 증가 함수를 사용한다. 이 불변량이 $D_{\text{qc}}(R)$ 내의 모든 t-구조를 분류함을 증명하며, $D(\mathbb{Z})$ 내의 t-구조들이 집합이 아니며, 따라서 유한하거나 집합론적 분류가 불가능함을 보여준다.

ABSTRACT

We construct an invariant of t-structures on the derived category of a Noetherian ring. This invariant is complete when restricting to the category of quasi-coherent complexes, and also gives a classification of nullity classes with the same restriction. On the full derived category of $\mathbb Z$ we show that the class of distinct t-structures do not form a set.

연구 동기 및 목표

• Noetherian 환의 유도 범주에 대한 t-구조에 대한 완전한 불변량을 구성하는 것.
• 유도 범주 $D_{\text{qc}}(R)$ 내의 영도 클래스를 분류하는 것.
• $D(\mathbb{Z})$ 내의 t-구조들이 집합을 이루지 않음을 보여, 유한하거나 집합론적 분류가 불가능함을 시사하는 것.
• 스펙트럼에서 Bousfield의 분류 철학을 환의 유도 범주로 확장하는 것.
• t-구조와 국소화 부분범주 간의 구조적 차이를 조사하여 복잡성이 증가함을 강조하는 것.

제안 방법

• 영도 클래스 $\mathcal{A}$ 에 대해 불변량 $\phi(\mathcal{A})$ 를 정의하여 $\mathbb{Z}$ 를 $\operatorname{Spec}(R)$ 의 특수화 닫힌 부분집합으로 매핑한다.
• $n$ 에 대해 $\phi(\mathcal{A})(n)$ 을 $\tau^{\geq -n}\mathcal{A}$ 가 생성하는 두껍고 닫힌 부분범주의 지지부를 계산한다.
• Hopkins-Neeman 이 유한 복합체의 두껍고 닫힌 부분범주를 $\operatorname{Spec}(R)$ 내의 지지부를 통해 분류한 결과를 사용한다.
• 객체 $E$ 에서부터 아일스를 구성하기 위해 영도 함수자 $P_E$ 를 적용하고, 이를 $D_{\text{qc}}(R)$ 에 제한하여 연구한다.
• Shelah 의 아벨 군의 강성 체계를 사용하여 비가산 수의 서로 다른 $P_E$-국소화를 구성한다.
• 서로 다른 강성 체계가 서로 다른 영도 클래스를 유도함을 보이며, $P_E$-사상이 영이 아님을 통해 적절한 클래스 크기를 확립한다.

실험 결과

연구 질문

• RQ1 Can t-structures on $D_{\text{qc}}(R)$ be completely classified using spectral invariants?
• RQ2 What conditions must a function $\phi: \mathbb{Z} \to \{\text{specialization-closed subsets of } \operatorname{Spec}(R)\}$ satisfy to arise from a t-structure?
• RQ3 Is the class of t-structures in $D(\mathbb{Z})$ a proper class, implying no set-theoretic classification is possible?
• RQ4 Do the restrictions of $\overline{C(E)}$-type aisles to $D_{\text{qc}}(R)$ remain aisles, and under what conditions?
• RQ5 Can the invariant $\phi$ be used to classify all nullity classes in $D_{\text{qc}}(R)$, and is it complete?

주요 결과

• 불변량 $\phi$ 는 $D_{\text{qc}}(R)$ 내의 영도 클래스와 $\mathbb{Z}$ 에서 $\operatorname{Spec}(R)$ 의 특수화 닫힌 부분집합으로 가는 증가 함수 사이의 순서를 유지하는 전단사 사상이다.
• 이 분류는 $\phi$ 가 $D_{\text{qc}}(R)$ 내의 t-구조에 대한 완전한 불변량임을 시사한다.
• $D(\mathbb{Z})$ 내의 t-구조의 집합은 적절한 클래스이며, 집합이 아니며, 이는 비가산 수의 강성 체계의 존재로 인해 발생한다.
• 각각의 강성 체계 $\{A_\alpha\}$ 에 대해, $D(\mathbb{Z})$ 내의 영도 클래스 $\overline{C(A_\alpha)}$ 는 상호로 서로 다르다.
• 동일한 구성은 스펙트럼의 트라이앵귤레이티드 범주와 위상공간에서 비가산 수의 서로 다른 영도 클래스를 유도한다.
• 영도 클래스가 아일스임은 다음 조건을 만족할 때에만 성립한다: $p' \in \phi(\mathcal{A})(n)$ 이고 $p$ 가 $p'$ 를 포함하는 최대 원소이면, $p \in \phi(\mathcal{A})(n+1)$ 이다.