[논문 리뷰] A note on cohomological localization

Henning Krause|ArXiv.org|2006. 11. 04.

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

한 줄 요약

이 논문은 코homological 함수 $ H^*: \mathcal{T} \to \mathcal{A} $ 를 통해 아벨 범주에서 삼각 범주로 국소화 함수를 올리는 방법을 확립한다. 이는 원래 국소화와 올린 국소화 사이의 호환성을 보장한다. 주요 결과는 코homological 함수 $ H^* $ 가 동형사상을 반영하고 국소화 $ L $ 이 정확성을 유지할 경우, $ H^* \tilde{L} \cong L H^* $ 를 만족하는 삼각 국소화 함수 $ \tilde{L} $ 가 존재하며, 이는 유일하다는 것이다.

ABSTRACT

Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated category. This discussion of Bousfield localization is combined with a basic introduction to the concept of localization for arbitrary categories.

연구 동기 및 목표

• 아벨 범주에서 삼각 범주로 국소화 함수를 코homological 함수를 사용하여 올리는 일반적인 프레임워크를 제공하는 것.
• 안정 호모토피 이론과 표현 이론의 맥락에서 이전 공동 연구 결과를 명확히 하고 일반화하는 것.
• 아벨 범주에서의 국소화가 코homological 함수와 호환되도록 삼각 범주로 올라가기 위한 조건을 설정하는 것.
• 올린 국소화 함수 $ \tilde{L} $ 가 코homological 함수 $ H^* $ 와 아벨 국소화 $ L $ 에 의해 유일하게 결정됨을 보여주는 것.

제안 방법

• 삼각 범주 $ \mathcal{T} $ 에서의 국소화 함수를 $ \tilde{L} = G \circ F $ 의 복합으로 정의한다. 여기서 $ F: \mathcal{T} \to \mathcal{D} $ 와 $ G: \mathcal{D} \to \mathcal{T} $ 는 $ G $ 가 전부 충실한 동치 쌍을 이룬다.
• 자명한 변환 $ \Psi: \mathrm{id}_{\mathcal{T}} \to \tilde{L} $ 를 사용하여 $ \tilde{L} $ 가 $ \tilde{L} \Psi \cong \Psi \tilde{L} $ 를 만족하고 $ \tilde{L} \Psi $ 가 가역임을 특성화한다.
• 코homological 함수 $ H^* $ 가 반영하는 동형사상과 함께, $ H^* \tilde{L} \cong L H^* $ 를 만족하는 올린 국소화 $ \tilde{L} $ 를 구성한다.
• $ \tilde{L} $-비순환 대상이 정확히 $ H^* $-비순환 대상과 일치함을 보여, $ \mathcal{T} $ 와 $ \mathcal{A} $ 에서의 국소화 간 호환성을 확보한다.
• $ \tilde{L} $-비순환 대상의 집합에 의해 완전히 결정되므로, $ \tilde{L} $ 가 유일하게 결정됨을 증명한다.
• 만약 $ C $ 가 $ \mathcal{T} $ 의 생성자이고 $ L $ 이 작은 쌍대합을 유지한다면, $ H^* \tilde{L} \cong L H^* $ 와 $ H^* $ 가 동형사상을 반영한다는 사실에 의해 $ \tilde{L} $ 도 작은 쌍대합을 유지함을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 아벨 범주에서의 국소화 함수가 코homological 함수를 통해 삼각 범주로 올라갈 수 있는가?
• RQ2 주어진 코homological 함수 $ H^*: \mathcal{T} \to \mathcal{A} $ 와 아벨 범주 $ \mathcal{A} $ 에서의 국소화 $ L $ 에 대해, $ H^* \tilde{L} \cong L H^* $ 를 만족하는 삼각 국소화 함수 $ \tilde{L} $ 를 어떻게 구성할 수 있는가?
• RQ3 $ \mathcal{T} $ 에서의 $ \tilde{L} $-비순환 대상과 $ \mathcal{A} $ 에서의 $ L $-비순환 대상 사이의 정확한 관계는 무엇인가?
• RQ4 $ \tilde{L} $-국소화 함수는 유일한가? 만약 그렇다면, $ H^* $ 와 $ L $ 에 의해 어떻게 결정되는가?
• RQ5 어떤 조건에서 올린 국소화 $ \tilde{L} $ 가 작은 쌍대합을 유지하는가?

주요 결과

• $ H^* $ 가 동형사상을 반영하고 $ L $ 이 $ \mathcal{A} $ 에서의 국소화 함수일 경우, $ H^* \tilde{L} \cong L H^* $ 를 만족하는 삼각 국소화 함수 $ \tilde{L} $ 가 존재하며, 이는 유일하다.
• 모든 $ X \in \mathcal{T} $ 에 대해 $ X $ 가 $ \tilde{L} $-비순환 대상이 되는 것과 $ H^*X $ 가 $ L $-비순환 대상이 되는 것은 동치이며, 이는 두 범주 간 비순환 대상 간 직접적인 대응 관계를 설정한다.
• 올린 국소화 $ \tilde{L} $ 는 $ \tilde{L} $-비순환 대상의 집합에 의해 결정되므로, 유일하게 결정된다.
• $ H^* $ 가 동형사상을 반영한다는 가정 하에, 자연 변환 $ \Psi: \mathrm{id}_{\mathcal{T}} \to \tilde{L} $ 가 동형사상이 되는 것은 $ H^*X $ 가 $ L $-국소화일 때이고, 그 경우에만 해당한다.
• 만약 $ C $ 가 $ \mathcal{T} $ 의 생성자이고 $ L $ 이 작은 쌍대합을 유지한다면, $ H^* \tilde{L} \cong L H^* $ 와 $ H^* $ 가 동형사상을 반영한다는 사실에 의해 $ \tilde{L} $ 도 작은 쌍대합을 유지한다.
• 유도된 함수 $ J: \mathcal{T}/\ker \tilde{L} \to \mathcal{A}/\ker L $ 는 $ \operatorname{Hom}^*_{{\mathcal{T}}/{\ker \tilde{L}}}(C,X) \cong LH^*X $ 를 통해 명시적으로 기술되며, 몫 구조 간의 호환성을 보여준다.