[논문 리뷰] Weight structures for triangulated categories: weight filtrations, weight spectral sequences and weight complexes; applications to motives and to the stable homotopy category

Mikhail V. Bondarko|arXiv (Cornell University)|2007. 04. 30.

Homotopy and Cohomology in Algebraic Topology인용 수 3

한 줄 요약

이 논문은 삼중 분류 범주에서 가중치 구조를 도입하여, t-구조의 이중 프레임워크를 제공하며, K(B)에서의 둔한 절단을 공리화한다. 정규화된 가중치 스펙트럴 시퀀스를 구성하고, K_0(C) ≅ K_0(Hw)인 K-이론의 동형을 증명하며, 모티프와 안정적 호모토피 이론에 응용하여 델리그레의 및 아티야-히르체브루흐 스펙트럴 시퀀스를 특수한 경우로 회복한다.

ABSTRACT

This paper is dedicated to triangulated categories endowed with weight structures (a new notion; D. Pauksztello has independently introduced them as co-t-structures). This axiomatizes the properties of stupid truncations of complexes in $K(B)$. We also construct weight structures for Voevodsky's categories of motives and for various categories of spectra. A weight structure $w$ defines Postnikov towers of objects; these towers are canonical and functorial 'up to morphisms that are zero on cohomology'. For $Hw$ being the heart of $w$ (in $DM_{gm}$ we have $Hw=Chow$) we define a canonical conservative 'weakly exact' functor $t$ from our $C$ to a certain weak category of complexes $K_w(Hw)$. For any (co)homological functor $H:C o A$ for an abelian $A$ we construct a weight spectral sequence $T:H(X^i[j])\implies H(X[i+j])$ where $(X^i)=t(X)$; it is canonical and functorial starting from $E_2$. This spectral sequences specializes to the 'usual' (Deligne's) weight spectral sequences for 'classical' realizations of motives and to Atiyah-Hirzebruch spectral sequences for spectra. Under certain restrictions, we prove that $K_0(C)\cong K_0(Hw)$ and $K_0(End C)\cong K_0(End Hw)$. The definition of a weight structure is almost dual to those of a t-structure; yet several properties differ. One can often construct a certain $t$-structure which is 'adjacent' to $w$ and vice versa. This is the case for the Voevodsky's $DM^{eff}_-$ (one obtains certain new Chow weight and t-structures for it; the heart of the latter is 'dual' to $Chow^{eff}$) and for the stable homotopy category. The Chow t-structure is closely related to unramified cohomology.

연구 동기 및 목표

• 삼중 분류 범주에서 t-구조의 이중 프레임워크로서, K(B)에서의 둔한 절단에 영감을 받아 가중치 구조를 도입하고 공리화하는 것.
• 보에보츠키의 모티프 범주와 스펙트럼의 범주에 대해 가중치 구조를 구성하는 것.
• Hw가 가중치 구조의 하트일 때, C → K_w(Hw)인 정규화된 보존적인 약한 정확한 함자 t를 정의하는 것.
• 모든 (코)호모로지 함자 H에 대해, H(X^i[j]) ⇒ H(X[i+j]) 형태의 정규화된, 함자적인 가중치 스펙트럴 시퀀스 T를 수립하는 것.
• 적절한 조건 하에서 K₀(C) ≅ K₀(Hw) 및 K₀(End C) ≅ K₀(End Hw)를 증명하여, 범주의 K-이론과 그 하트의 K-이론을 연결하는 것.

제안 방법

• t-구조의 공리와 이중적인 성질을 갖는 가중치 구조 w를 삼중 분류 범주 C에서 정의함으로써, 둔한 절단의 성질을 포괄하는 공리계를 설정한다.
• 각 객체에 대해, 호모로지에서 사라지는 사상들에 대해 유일한, 함자적인 코어 스펙트럴 시퀀스를 갖는 포스트니코프 타워를 구성한다.
• 가중치 0인 객체들의 전부의 부분범주로 하트 Hw를 정의하고, Hw 위의 약한 복합체 범주 K_w(Hw)를 구성한다.
• 객체들을 그 가중치 복합체로 보냅니다. 정규화된 보존적인 '약한 정확한' 함자 t: C → K_w(Hw)를 정의한다.
• t에 의한 X의 이미지로부터 스펙트럴 시퀀스 T: H(X^i[j]) ⇒ H(X[i+j])를 유도하며, E₂-페이지는 가중치 복합체의 호모로지에 의해 결정된다.
• 가중치 구조와 t-구조 사이의 수반 관계를 수립하며, 특히 DM^{eff}_-와 안정적 호모토피 범주에서 이중 카우 초구조를 유도한다.

실험 결과

연구 질문

• RQ1 t-구조의 이중 프레임워크를 사용하여 삼중 분류 범주에서의 둔한 절단의 성질을 어떻게 공리화할 수 있는가?
• RQ2 보에보츠키의 모티프와 스펙트럼과 같은 범주에서 가중치 구조를 체계적으로 구성할 수 있는가?
• RQ3 가중치 스펙트럴 시퀀스가 델리그레의 또는 아티야-히르체브루흐의 알려진 스펙트럴 시퀀스를 어느 정도 회복하는가?
• RQ4 삼중 분류 범주와 그 가중치 하트의 K-이론 사이의 관계는 무엇인가?
• RQ5 가중치 구조는 t-구조와 어떻게 상호작용하는가? 그리고 핵심 범주에서 이중 또는 인접한 구조를 정의하는 데 사용될 수 있는가?

주요 결과

• 삼중 분류 범주 C에 가중치 구조 w가 존재하면, 각 객체에 대해, 호모로지에서 사라지는 사상들에 대해 유일한, 함자적인 포스트니코프 타워가 유도된다.
• 이 구성은 E₂-페이지에서 시작하는 정규화된, 함자적인 가중치 스펙트럴 시퀀스 T: H(X^i[j]) ⇒ H(X[i+j])를 유도하며, 이는 모티프의 경우 델리그레의 가중치 스펙트럴 시퀀스로 특수화되고, 스펙트럼의 경우 아티야-히르체브루흐 스펙트럴 시퀀스로 특수화된다.
• Hw 위의 하트에서의 복합체의 약한 범주 K_w(Hw)로 객체들을 그 가중치 복합체로 보내는 보존적이며, 약한 정확한 함자 t: C → K_w(Hw)가 존재한다.
• 적절한 조건 하에서, C의 K-이론은 K₀(C) ≅ K₀(Hw)를 만족하며, 동일하게 End C의 경우에도 K₀(End C) ≅ K₀(End Hw)가 성립한다.
• DM^{eff}_-에서 가중치 구조 w가 존재하며, 이는 t-구조와 인접해 있으며, 이로 인해 효과적인 카우 범주와 이중적인 하트를 갖는 이중 카우 t-구조가 유도된다.
• DM^{eff}_-에서의 카우 t-구조는 무분할 호모로지와 밀접하게 관련되어 있으며, 이는 가중치 구조 프레임워크를 통해 더 깊은 산술적 연결을 암시한다.