[논문 리뷰] A Note on the Grothendieck Group of an Additive Category

David E. V. Rose|arXiv (Cornell University)|2011. 09. 09.

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

한 줄 요약

이 논문은 추가 범주 𝒜의 분할 그로텐디크 군이 𝒜의 유한 복합체의 호모토피 범주에 대한 삼각형 그로텐디크 군과 동형임을 증명한다. 또한 복합체의 오일러 특성수—분할 그로텐디크 군에서 그 항들의 교대 합으로 정의된 것—이 호모토피 동치에 대해 불변임을 입증하여, 대수적 구조의 분류화 이론에서 기본적인 질문을 해결한다.

ABSTRACT

There are two abelian groups which can naturally be associated to an additive category A: the split Grothendieck group of A and the triangulated Grothendieck group of the homotopy category of (bounded) complexes in A. We prove that these groups are isomorphic. Along the way, we deduce that the `Euler characteristic' of a complex in A is invariant under homotopy equivalence.

연구 동기 및 목표

• 추가 범주 𝒜의 분할 그로텐디크 군이 그 유한 호모토피 범주에 대한 삼각형 그로텐디크 군과 동형인지 여부를 해결하기 위해.
• 추가 범주 내 복합체의 오일러 특성수가 호모토피 동치에 대해 불변임을 입증하기 위해.
• 특히 링크 불변량과 양자 대수학에서의 응용을 포함하여, 호모토피 범주를 분류화에 활용하는 데 기초가 되는 결과를 제공하기 위해.
• 유한 아래 복합체의 경우 무한 직합을 통해 오일러 특성수의 불변성을 비유한 복합체로 일반화하기 위해.

제안 방법

• 구분된 삼각형을 사용하여 분할 그로텐디크 군 K⊕(𝒜)에서 삼각형 그로텐디크 군 K△(Kb(𝒜))로의 전사 군 준동형사를 구성한다.
• 삼각형 A· → 0 → A[−1]· 를 이용해 ⟨A[−1]·⟩ = −⟨A·⟩ 를 도출함으로써 이동에 따른 부호 행동을 확립한다.
• 삼각형 A· → 0 → A[−1]· 와 귀납법을 적용하여 K△(Kb(𝒜)) 내에서 ⟨A·⟩ = χ(A·) = ∑(−1)^i⟨A^i⟩ 임을 보인다.
• 직합에 대한 관계 ⟨(A₁ ⊕ A₂)·⟩ = ⟨A₁·⟩ + ⟨A₂·⟩ 가 구분된 삼각형을 통해 성립함을 보여, 직합과의 호환성을 확보한다.
• 영-호모토피 복합체의 짝수 차수 및 홀수 차수 항들의 직합 간의 동형을 보이기 위해, 명시적인 행렬 R과 L을 구성한다.
• c_k가 k번째 카탈란 수일 때, α_k = (−1)^k c_k 를 이용해 행렬 원소를 정의하고, RL = LR = id 를 확인한다.

실험 결과

연구 질문

• RQ1 추가 범주 𝒜의 분할 그로텐디크 군과 그 유한 호모토피 범주의 삼각형 그로텐디크 군은 서로 동형인가?
• RQ2 추가 범주 내 복합체의 오일러 특성수가 호모토피 동치에 대해 불변인가?
• RQ3 영-호모토피 복합체에 대해 오일러 특성수가 0이 되는 성질이 비유한 복합체로까지 확장되는가?
• RQ4 구분된 삼각형과 이동에 의해 유도되는 관계 외에 추가적인 관계를 도입하지 않고도 K⊕(𝒜)와 K△(Kb(𝒜)) 사이의 동형성을 확립할 수 있는가?

주요 결과

• 분할 그로텐디크 군 K⊕(𝒜)는 자연스러운 군 동형사상에 의해 삼각형 그로텐디크 군 K△(Kb(𝒜))와 동형이다.
• 오일러 특성수 χ(A·) = ∑(−1)^i⟨A^i⟩ 는 호모토피 동치에 대해 불변이며, 짝수 차수와 홀수 차수의 전체 복합체 간의 동형성에 의해 입증된다.
• 모든 영-호모토피 복합체 A· 에 대해 짝수 차수 항들의 직합이 홀수 차수 항들의 직합과 동형이 된다. 즉, ⊕A^{2i} ≅ ⊕A^{2i+1} 이다.
• 이 동형성은 호모토피 사상과 카탈란 수와 관련된 계수 α_k 를 사용해 정의된 행렬 R과 L을 통해 명시적으로 실현된다.
• 이 결과는 유한 아래 복합체 K+(𝒜)로 확장되며, 이 경우 동형성의 무한한 극한이 ⊔A^{2i} ≅ ⊔A^{2i+1} 을 유도한다.
• 계수 α_k 는 α_k = (−1)^k c_k 를 만족하며, 이는 R과 L의 역행렬 쌍을 구성하는 데 사용된다.