결정함수와 K 이론의 새로운 통합 접근법

초록

본 논문은 Deligne의 결정함수 개념을 Waldhausen 범주, (강하게) 삼각형 범주 및 파생자까지 확장한다. 각 경우에 보편적 결정함수를 명시적으로 구축하고, 그 목표가 K‑이론의 차원 0·1을 계산함을 보인다. 이를 통해 Maltsiniotis와 Neeman이 제기한 삼각형 범주의 K‑이론 문제와 Grothendieck‑Knudsen 질문에 답한다. 또한 저차원 K‑이론의 가법성 정리와 여러 K₁‑그룹의 생성자·관계를 제시한다.

상세 분석

이 논문은 결정함수(det functor)의 개념을 기존의 정확 범주(exact category)에서 보다 일반적인 구조로 확장한다는 점에서 혁신적이다. Deligne가 제시한 ‘가상 객체’ Picard 군oid V(E)는 K₀(E)와 K₁(E)를 각각 객체 동형류와 텐서 단위의 자동동형군으로 구현했으며, 이는 결정함수의 보편성을 보장한다. 저자들은 이 아이디어를 Waldhausen 범주 W에 적용해, 약한 동형류(weak equivalences)와 코피베이션(cofibration) 구조만을 이용해 결정함수를 정의한다. 핵심은 코피베이션 시퀀스 Δ: X → Y → C_f에 대해 det(Δ): det(C_f)⊗det(X)→det(Y)라는 가법성 데이터를 부여하고, 이 데이터가 자연성 및 일관성 법칙을 만족하도록 하는 것이다.

보편적 결정함수 det: W → V(W)의 존재는 V(W)의 객체군이 Gar­kusha의 파생 K₀(W)와 자동동형군이 파생 K₁(W)와 동형임을 보임으로써 증명된다. 여기서 파생 K‑이론은 S·-구조를 이용한 스펙트럼 K(W)의 1‑type을 모델링한다. 저자들은 이 과정을 S·‑범주(C•) 전반에 일반화하여, 어떠한 S·‑범주에 대해서도 보편적 결정함수와 그 목표 Picard 군oid가 K‑스펙트럼의 π₀, π₁을 정확히 계산함을 보인다. 이는 기존 Waldhausen K‑이론의 스펙트럼 구성을 재해석하는 동시에, 결정함수라는 카테고리적 도구를 통해 저차원 K‑이론을 직접적으로 접근할 수 있게 한다.

삼각형 범주 T에 대해서는 ‘진정한 삼각형(true triangles)’을 코피베이션 시퀀스로 보는 새로운 접근법을 도입한다. 이를 통해 파생 결정함수와 비파생 결정함수가 동등함을 보이며, Neeman이 제시한 K₁(d T)=K₁(v T) conjecture를 증명한다. 또한 K₁(d T)와 K₁(v T) 사이에 일반적으로 차이가 있음을 예시로 제시한다. 강하게 삼각형 범주(∞‑triangulated category) T^∞에 대해서는 Maltsiniotis가 정의한 K‑이론 K_*(s T^∞)와의 연결을 확립하고, 두 개의 Maltsiniotis conjecture를 반례를 통해 부정한다.

기술적 핵심은 ‘strict Picard 군oid’를 이용해 가상 객체 군을 엄격하게 모델링하고, 이를 stable quadratic module이라는 2‑category 구조와 동등시켜 계산을 단순화한다는 점이다. 이 구조는 Baues가 제시한 stable quadratic module을 기반으로 하며, K‑이론의 1‑type을 완전히 포착한다. 마지막으로, 저자들은 K₁‑그룹의 생성자와 일부 관계식을 명시적으로 기술하고, 이를 기존 결과(Nenning, Vaserstein, Muro‑Tonks)와 비교한다. 전체적으로, 결정함수라는 범주론적 도구를 통해 다양한 고차 구조의 K‑이론을 저차원에서 완전히 이해하고, 기존에 열려 있던 여러 문제에 대한 해답을 제공한다.