그로텐딕 범주에서 기하학적 불변량의 가법성

초록

본 논문은 임의의 그로텐딕 범주 A에 대해 파생 범주 D(A)가 May가 제시한 “호환 삼각구조”를 갖는다는 사실을 모델 범주론을 사용하지 않고 순수하게 D(A)의 구조적 성질만으로 증명한다. 이를 기반으로 트레이스 맵을 통한 가법성 정리를 얻고, 차르 캐릭터의 가법성을 Hodge 공동(cohomology)으로 표현되는 새로운 군 동형사상으로 해석한다.

상세 분석

논문은 크게 두 부분으로 나뉜다. 첫 번째 부분에서는 Grothendieck 범주 A가 충분히 일반적인 상황임을 강조한다. A가 AB5와 충분한 인젝티브(또는 프로젝트베) 객체를 가짐을 가정하면, 그 파생 범주 D(A)는 표준적인 삼각구조를 갖는다. 여기서 핵심은 May가 2001년에 제시한 “compatible triangulation” 개념을 어떻게 D(A) 안에 구현하느냐이다. 기존 문헌에서는 모델 범주론을 도입해 cofibrant‑fibrant 교체와 같은 기술을 사용해 호환성을 보였지만, 저자는 D(A)의 내재된 구조—특히 완전한 사상체계, 사상들의 삼각화, 그리고 표준적인 시프트(functor)와 사상들의 cone 구성을—만을 이용해 May의 네 가지 공리(정밀성, 교환성, 삼각성, 연속성)를 직접 검증한다.

특히, “trace map”을 정의하기 위해서는 강한 듀얼리티와 완전한 유한 차원 객체들의 존재가 필요하다. 저자는 A가 충분히 많은 강한 듀얼을 가질 때, D(A) 내의 완전한 강한 이중성(dualizable objects) 집합이 삼각구조와 호환됨을 보인다. 이때 trace는 강한 듀얼리티를 이용한 평가(evaluation)와 공역(coevaluation) 사상의 합성으로 정의되며, May의 가법성 정리(삼각형의 각 변에 대한 trace의 합이 0이 되는 성질)를 그대로 만족한다.

두 번째 부분에서는 이러한 추상적인 가법성 결과를 구체적인 기하학적 불변량에 적용한다. 먼저, K‑이론의 원소에 대한 트레이스가 가법적임을 보이고, 이를 통해 Chern character χ_i: K_0(A) → H^{i,i}(A)와 유사한 군 동형사상을 구축한다. 여기서 H^{i,i}(A)는 A에 대한 i‑번째 Hodge 공동을 의미하며, 전통적인 차르 캐릭터가 Chow 군에 매핑되는 역할을 대체한다. 저자는 이 사상이 정확히 “additive”임을 증명한다: 두 객체 X, Y에 대해 χ_i(