[논문 리뷰] Mutation via Hovey twin cotorsion pairs and model structures in extriangulated categories

Hiroyuki Nakaoka|arXiv (Cornell University)|2017. 01. 01.

Algebraic structures and combinatorial models참고 문헌 20인용 수 27

한 줄 요약

이 논문은 정확한 카테고리와 삼각형 카테고리의 일반화를 가능하게 하는 통합 프레임워크로, 외삼각형 카테고리(extriangulated categories)를 도입한다. 이는 Hovey 쌍대 코터션 쌍과 적합한 모델 구조 사이의 이항 대응 관계를 가능하게 하며, 국소화와 이상 몫 사이의 관계를 삼각형 호모토피 카테고리들을 통해 드러낸다. 이를 통해 정확한 카테고리와 삼각형 카테고리 양쪽 모두에서 코터션 쌍의 변형과 축소를 체계적으로 수행할 수 있는 방법을 제공한다.

ABSTRACT

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated categories are examples of extriangulated categories. We give a bijective correspondence between some pairs of cotorsion pairs which we call Hovey twin cotorsion pairs, and admissible model structures. As a consequence, these model structures relate certain localizations with certain ideal quotients, via the homotopy category which can be given a triangulated structure. This gives a natural framework to formulate reduction and mutation of cotorsion pairs, applicable to both exact categories and triangulated categories. These results can be thought of as arguments towards the view that extriangulated categories are a convenient setup for writing down proofs which apply to both exact categories and (extension-closed subcategories of) triangulated categories. This is a joint work with Yann Palu.

연구 동기 및 목표

• 새로운 범주론적 프레임워크를 도입하여 정확한 카테고리와 삼각형 카테고리에서의 코터션 쌍을 통합적으로 다루는 것.
• 정확한 카테고리와 삼각형 카테고리의 성질을 모두 포괄하는 일반화로서 외삼각형 카테고리를 정의하는 것.
• 외삼각형 카테고리에서 Hovey 쌍대 코터션 쌍과 적합한 모델 구조 사이의 이항 대응 관계를 수립하는 것.
• 이 대응 관계를 통해 국소화와 이상 몫이 삼각형 호모토피 카테고리를 통해 어떻게 연결되는지 보여주는 것.
• 정확한 카테고리와 삼각형 카테고리 양쪽 모두에 적용 가능한 코터션 쌍의 변형과 축소를 체계적으로 수행할 수 있는 방법을 제공하는 것.

제안 방법

• n-정확한 구조를 사용하여 정확한 카테고리와 삼각형 카테고리의 공통 일반화로 외삼각형 카테고리를 도입하는 것.
• 특정 호환성 및 완비성 조건을 만족하는 쌍대 코터션 쌍의 쌍으로서 Hovey 쌍대 코터션 쌍을 정의하는 것.
• 외삼각형 카테고리에서 Hovey 쌍대 코터션 쌍과 적합한 모델 구조 사이의 이항 대응 관계를 수립하는 것.
• 적합한 모델 구조의 호모토피 카테고리를 구성하고, 이가 삼각형 구조를 유지함을 보이는 것.
• 이 대응 관계를 활용하여 외삼각형 카테고리의 국소화가 삼각형 호모토피 카테고리를 통해 이상 몫과 관련이 있음을 밝히는 것.
• 삼각형 카테고리의 확장 닫힘 부분 카테고리에 이 프레임워크를 적용하여 고전적 설정에의 적용 가능성을 보여주는 것.

실험 결과

연구 질문

• RQ1 정확한 카테고리와 삼각형 카테고리에서의 코터션 쌍을 단일 범주론적 프레임워크 아래에서 체계적으로 통합할 수 있는가?
• RQ2 외삼각형 카테고리에서 Hovey 쌍대 코터션 쌍과 적합한 모델 구조 사이의 이항 대응 관계를 보장하는 조건는 무엇인가?
• RQ3 외삼각형 카테고리의 국소화가 호모토피 카테고리를 통해 이상 몫과 어떻게 관련되는가?
• RQ4 외삼각형 카테고리에서 적합한 모델 구조의 호모토피 카테고리가 삼각형 구조를 어떻게 유추하는가?
• RQ5 이 프레임워크를 사용하여 정확한 카테고리나 삼각형 카테고리 이외의 범주로도 코터션 쌍의 변형과 축소를 일반화할 수 있는가?

주요 결과

• 외삼각형 카테고리는 정확한 카테고리와 삼각형 카테고리를 자연스럽게 일반화하며, 코터션 쌍의 공통 처리를 가능하게 한다.
• 외삼각형 카테고리에서 Hovey 쌍대 코터션 쌍과 적합한 모델 구조 사이에 이항 대응 관계가 존재한다.
• 외삼각형 카테고리에서 적합한 모델 구조의 호모토피 카테고리는 삼각형 구조를 갖는다.
• 이 대응 관계는 외삼각형 카테고리에서 국소화와 이상 몫 사이의 체계적 관계를 가능하게 한다.
• 이 프레임워크는 정확한 카테고리와 삼각형 카테고리에서 코터션 쌍의 변형과 축소를 동일한 메커니즘을 통해 지원한다.
• 삼각형 카테고리의 확장 닫힘 부분 카테고리는 자연스럽게 외삼각형 카테고리이므로, 이 프레임워크의 고전적 설정에의 적용 가능성을 검증한다.