[논문 리뷰] Weight structures in localizations (revisited) and the weight lifting property

Vladimir Sosnilo|arXiv (Cornell University)|2015. 10. 12.

Algebraic structures and combinatorial models참고 문헌 13인용 수 6

한 줄 요약

이 논문은 삼각 범주에 무게 구조가 존재할 때, 무게 정확한 국소화 함수자가 존재하는 조건을 규명한다. 특히, 부분범주가 오어 조건을 만족하는 사상들에 의해 생성될 경우, 국소화된 범주에서 비양의 무게로 매핑되는 대상들의 명시적 특성화를 제시하며, 이는 유도된 무게 구조의 간소화된 기술과 모티브 코homology 및 초우형 무게 homology에의 응용을 이끌어낸다.

ABSTRACT

The goal of the current paper is to study in detail the behaviour of weight structures under localizations. Let $\underline{D}$ be a triangulated subcategory of a triangulated category $\underline{C}$ endowed with a weight structure $w$; assume that any object of $\underline{D}$ admits a weak weight decomposition inside $\underline{D}$ (i.e., $\underline{D}$ is compatible with $w$ in a certain sense). Then we prove that the localized category $\underline{C}/\underline{D}$ possesses a weight structure $w_{\underline{C}/\underline{D}}$ such that the localization functor $\underline{C} \stackrel{L} o \underline{C}/\underline{D}$ is weight-exact (i.e., respects weights). Suppose moreover that $\underline{D}$ is generated by $B = \operatorname{Cone}(S)$, where $S \subset \operatorname{Mor}(\underline{Hw})$ is a class of morphisms satisfying the Ore condition. In this case we give a certain explicit description of those $X\in \operatorname{Obj} \underline{C}$ such that $L(X)$ has non-positive weights in $\underline{C}/\underline{D}$. This yields a new simplified description of $w_{\underline{C}/\underline{D}}$. We apply this result to the setting of Tate motives and prove some new properties of weight $0$ motivic cohomology of Tate motives. This result also will be applied to the study of the so-called Chow-weight homology. Furthermore, we ask whether there exists a description as above for objects having non-positive weights in $\underline{C}/\underline{D}$ for $\underline{D}$ being an arbitrary subcategory of $\underline{C}$ admitting weak weight decompositions. Under certain assumptions we find a necessary and sufficient condition in terms of $K_0(\underline{Hw})$ for having such a description (and we give an example where such a description is not possible).

연구 동기 및 목표

• 삼각 범주에 대한 국소화에서 무게 구조가 어떻게 행동하는지 이해하기 위해.
• 국소화 함수자가 무게 정확한 무게 구조를 유도할 수 있는 조건을 규명하기 위해.
• D가 오어 조건을 만족하는 사상들에 의해 생성될 경우, 국소화된 범주 C/D에서 비양의 무게로 매핑되는 대상들의 명시적 기술을 제공하기 위해.
• 결과를 타이트 모티브와 초우형 무게 homology에 적용하여, 무게 0 모티브 코homology의 새로운 성질을 밝혀내기 위해.
• 임의의 부분범주가 약한 무게 분해를 허용할 경우 이러한 명시적 기술이 가능한지 조사하고, K₀(Hw)를 통해 필요 및 충분 조건을 규명하기 위해.

제안 방법

• 논문은 약한 무게 분해를 허용하는 삼각 부분범주와 무게 구조의 호환성을 분석한다.
• 무게 구조의 하트 내에서 사상의 집합 S에 대해 오어 조건을 사용하여 부분범주 D를 생성한다.
• 국소화 C/D에 대한 유도된 무게 구조 w_{C/D}를 구성하며, 이때 국소화 함수자 L: C → C/D 가 무게 정확하다.
• D가 오어 조건을 만족하는 구조를 갖는다는 사실을 바탕으로, C의 대상 X 중 L(X)가 C/D에서 비양의 무게를 가질 조건을 특성화한다.
• 임의의 부분범주에 대해 이러한 특성화가 가능한지 판단하기 위해 K₀(Hw)를 도구로 사용한다.
• 결과를 특히 타이트 모티브를 포함한 모티브 범주에 적용하여, 무게 0 모티브 코homology의 성질을 도출한다.

실험 결과

연구 질문

• RQ1 무게 구조가 있는 삼각 범주를 국소화할 때, 국소화 함수자가 무게 정확한 무게 구조를 유도할 수 있는 조건은 무엇인가?
• RQ2 D가 오어 조건을 만족하는 사상들에 의해 생성될 경우, C/D에서 비양의 무게로 매핑되는 C의 대상들을 명시적으로 기술할 수 있는가?
• RQ3 약한 무게 분해를 허용하는 임의의 부분범주 D에 대해, C/D에서 비양의 무게를 가진 대상들의 일반적 특성화는 가능한가?
• RQ4 K₀(Hw)는 이러한 특성화의 존재를 판단하는 데 어떤 역할을 하는가?
• RQ5 이러한 결과는 타이트 모티브의 맥락에서 모티브 코hom로지와 초우형 무게 homology 연구에 어떤 함의를 갖는가?

주요 결과

• D가 원래의 무게 구조 w와 호환될 경우, 국소화된 범주 C/D는 무게 구조 w_{C/D}를 지니며, 국소화 함수자 L: C → C/D 는 무게 정확하다.
• D가 하트 내에서 오어 조건을 만족하는 사상들의 집합 S에 의해 생성될 경우, L(X)가 C/D에서 비양의 무게를 가질 대상 X ∈ C 는 S의 사상들에 관한 특정 조건을 만족한다.
• 이 특성화는 C/D에 존재하는 무게 구조 w_{C/D}에 대한 간소화되고 명시적인 기술을 이끌어낸다.
• 결과는 특히 국소화의 맥락에서 타이트 모티브의 무게 0 모티브 코homology에 대한 새로운 성질을 제공한다.
• 일반적으로 이러한 특성화가 존재할 수 있는 필요 및 충분 조건은 그로텐디크 군 K₀(Hw)를 통해 기술되며, 이러한 기술이 존재하지 않는 예시도 제시된다.