[논문 리뷰] A triangulated category without models

Fernando Muro|arXiv (Cornell University)|2007. 03. 11.

Algebraic structures and combinatorial models참고 문헌 12인용 수 3

한 줄 요약

이 논문은 ℤ/4ℤ 위의 유한 생성 프로젝티브 모듈의 범주 P(ℤ/4ℤ)에 삼각 범주 구조를 구성하며, 이것이 대수적일 수도, 위상적일 수도 없음을 증명한다. 코homological 장애 이론과 H³에서 특정 토다 괄호의 비영성에 기반하여, 저자는 이 범주가 어떤 안정 모델 범주의 호모토피 범주의 전순수 삼각 부분범주로 나타날 수 없음을 보이며, 대수적 또는 위상적 의미에서 모델을 갖지 않는 삼각 범주의 첫 번째 예를 제공한다.

ABSTRACT

We exhibit a triangulated category which is neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category.

연구 동기 및 목표

• P(ℤ/4ℤ), 즉 ℤ/4ℤ-모듈의 유한 생성 프로젝티브 모듈의 범주에 삼각 범주 구조를 구성하는 것.
• 2의 곱셈을 포함하는 비자기 토다 괄호의 존재를 통해, 이 삼각 범주가 대수적이지 않음을 증명하는 것.
• 범주가 위상적이지 않다는 것을 입증하는 것, 즉 어떤 안정 모델 범주 M의 호모토피 범주 Ho(M)의 전순수 삼각 부분범주와 동치가 아니라는 것.
• 유니버설 토다 괄호가 주어진 정확한 삼각형을 지지하지 않는다는 것을 보여, 이로써 이 범주는 코homologically 삼각형이 아니라는 것을 확립하는 것.
• 삼각 범주 이론의 기초적인 질문을 해결하는 것: 모든 삼각 범주가 대수적 또는 위상적 모델에서 유래하는가?

제안 방법

• Frobenius 범주 위의 pretriangulated 구조 이론인 헬러 이론을 사용하여 P(ℤ/4ℤ)에 유일한 삼각 구조를 구성하는 것.
• 각 사상이 2의 곱셈인 ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ의 순서가 대수적 삼각 범주에서 요구하는 2-torsion 조건을 위반하는 정확한 삼각형을 이룬다는 것을 보이는 것.
• 맥 랜즈 코homology와 이동 코homology 이론을 사용하여 H³(𝒫(ℤ/4ℤ), Hom(Σ, –))에 속하는 클래스를 통해 가능한 삼각 구조를 분류하는 것.
• H³(𝒫(ℤ/4ℤ), Hom(–, ℤ/2ℤ ⊗ –))을 명시적으로 계산하여 이 것이 ℤ/2ℤ와 동형임을 보이고, 토다 괄호에 해당하는 그룹은 자명하다는 것을 보이는 것.
• [BD89]의 유니버설 토다 괄호 구성법을 적용하여, Ho(𝒫(ℤ/4ℤ)) 내의 모든 토다 괄호가 반드시 영이 되어야 하며, 이는 비자기 2-torsion 삼각형의 존재와 모순된다는 것을 보이는 것.
• 코homology 클래스의 pull-back과 push-forward의 다이어그램 추적을 통해, 2–2–2 순서와 관련된 토다 괄호가 어떤 위상적 실현에서도 영이 되어야 한다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 P(ℤ/4ℤ)에 대해 대수적이지도, 위상적이지도 않은 삼각 범주를 구성할 수 있는가?
• RQ2 P(ℤ/4ℤ)에서 2의 곱셈을 포함하는 비자기 토다 괄호의 존재가, 이 범주가 안정 모델 범주의 호모토피 범주의 부분범주로 실현되는 것을 방해하는가?
• RQ3 맥 랜즈 코homology를 통한 코homological 장애 이론이 삼각 범주가 모델을 갖지 못하는 데서 기인하는 실패를 감지할 수 있는가?
• RQ4 어떤 안정 모델 범주의 호모토피 범주 안에서 실현될 수 없는 토다 괄호 구조를 갖는 삼각 범주가 존재하는가?
• RQ5 삼각 범주의 코homology에 있는 유니버설 토다 괄호를 사용하여, 위상적 실현 가능성의 장애를 도출할 수 있는가?

주요 결과

• 범주 P(ℤ/4ℤ)는 항등함수를 번역으로 하는 유일한 삼각 구조를 지니며, 각 사상이 2의 곱셈인 ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ의 순서는 정확한 삼각형이다.
• 이 범주는 대수적이지 않다. 2의 곱셈과 관련된 토다 괄호가 비자기이기 때문에, 대수적 삼각 범주에서 요구하는 2·1_Y = 0 조건을 위반하기 때문이다.
• 이 범주는 위상적이지 않다: 어떤 안정 모델 범주 M의 호모토피 범주 Ho(M)에 전순수 충실하게 통합될 수 없다.
• 코homology 군 H³(𝒫(ℤ/4ℤ), Hom(–, ℤ/2ℤ ⊗ –))는 ℤ/2ℤ와 동형이지만, 2–2–2 순서와 관련된 토다 괄호는 어떤 위상적 실현에서도 영이 된다.
• 모순은 토다 괄호가 범주 내에서 비자기이지만, Ho(𝒫(ℤ/4ℤ)) 내의 모든 토다 괄호는 유니버설 토다 괄호의 pull-back이어야 하며, 이는 관련 호모모르피즘 아래에서 영이 되기 때문이다.