[논문 리뷰] T-model structures on chain complexes of presheaves

Halvard Fausk|ArXiv.org|2006. 12. 14.

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

한 줄 요약

이 논문은 그로텐디크 토포스에서 R-모듈의 프레시브의 체인 복합체 위에 텐서 모델 구조를 구성하며, 프로젝티브 모델 구조를 일반화하고 스토크와이즈 호모로지 동형사상으로 국소화한다. 토포스가 충분한 점을 가질 경우, 이 모델 구조의 호모토피 범주는 유도 범주와 동치이며, 펄서브 t-구조를 일반화한 특정 t-구조들이 체인 복합체 범주의 t-모델 구조로 올라간다.

ABSTRACT

A tensor model structure is constructed on the category of chain complexes of presheaves of R-modules for a sheaf of rings R in a Grothendieck topos. If the topos has enough points, then the homotopy category is equivalent to the derived category. Some t-structures, generalizing the perverse t-structures, are constructed on the derived category.

연구 동기 및 목표

• 그로텐디크 토포스에서 R-모듈의 프레시브의 체인 복합체로 프로젝티브 모델 구조를 확장한다.
• 스토크와이즈 호모로지 동형사상으로 프로젝티브 모델 구조를 국소화하여 이 범주에 대한 텐서 모델 구조를 구성한다.
• 토포스가 충분한 점을 가질 경우, 결과적으로 얻어진 호모토피 범주는 R-모듈의 층의 유도 범주와 동치임을 보인다.
• 특정 t-구조들, 특히 일반화된 펄서브 t-구조들을 포함하여, 유도 범주에서 체인 복합체의 모델 범주로 t-모델 구조를 형성하기 위해 올리는 것.

제안 방법

• 약한 동치를 프레시브 호모로지 동형사상으로 정의하여, R-모듈의 체인 복합체에 대한 프로젝티브 모델 구조를 프레시브의 체인 복합체로 일반화한다.
• 일반화된 프로젝티브 모델 구조가 텐서 성질을 가지며, 모노이드 구조를 유지함을 증명한다.
• 준-심플렉스 모델 구조를 도입하고, 프로젝티브 모델 구조가 준-심플렉스 공리를 만족함을 보인다.
• 스토크와이즈 호모로지 동형사상으로 프로젝티브 모델 구조를 국소화하여 스토크와이즈 모델 구조를 얻는다.
• 스토크와이즈 모델 구조가 텐서 모델 범주임을 보이며, 토포스가 충분한 점을 가질 경우 그 약한 동치들이 층 호모로지 동형사상과 정확히 일치함을 보인다.
• 각 점에 대해 Z ∪ {±∞}의 컷오프 값 할당을 통해 D_R에서 t-구조를 구성하고, 이들이 체인 복합체 범주에서 t-모델 구조로 올라감을 보인다.

실험 결과

연구 질문

• RQ1 프로젝티브 모델 구조를 R-모듈에서 그로텐디크 토포스의 프레시브의 체인 복합체로 확장하면서 텐서 구조를 유지할 수 있는가?
• RQ2 스토크와이즈 모델 구조의 체인 복합체에서의 호모토피 범주가 언제 R-모듈의 층의 유도 범주와 일치하는가?
• RQ3 유도 범주에서의 t-구조들은 어떻게 체인 복합체의 범주로 t-모델 구조로 올라갈 수 있는가?
• RQ4 충분한 점을 가진 토포스에서 스토크와이즈 호모로지 동형사상과 층 호모로지 동형사상 사이의 관계는 무엇인가?
• RQ5 유도 범주에서의 일반화된 펄서브 t-구조들은 모델 범주의 체인 복합체로 얼마나 잘 t-모델 구조로 올라갈 수 있는가?

주요 결과

• R-모듈의 프레시브의 체인 복합체 위의 프로젝티브 모델 구조가 일반화되었으며, 이는 모노이드 구조와의 호환성을 보장한다.
• 스토크와이즈 호모로지 동형사상으로 프로젝티브 모델 구조를 국소화하여 얻어진 스토크와이즈 모델 구조는 텐서 모델 범주이다.
• 토포스가 충분한 점을 가질 경우, 스토크와이즈 모델 구조의 약한 동치들은 정확히 층 호모로지 동형사상이며, 그 호모토피 범주는 D_R과 동치이다.
• 각 토포스의 점에 대해 Z ∪ {±∞}에서의 컷오프 값 할당을 통해 D_R에서의 t-구조의 가닥을 구성하며, 표준적 및 펄서브 t-구조를 일반화한다.
• 이 t-구조들은 체인 복합체의 범주에서 t-모델 구조로 올라가며, 유도 t-구조의 모델 이론적 실현을 제공한다.
• 특히 잘 행동하는 t-구조와 관련된 부분 범주 (D_R)≥0 및 (D_R)≤0에 대한 명시적 기술이 제공된다.