안정적 번들과 리그 범주에서의 케이 이론 동등성

본 논문은 “가상 2‑벡터 번들은 K(ku) 로 분류된다”는 conjecture 를 증명함으로써, 2‑벡터 번들이 텔레스코픽 복잡도 2를 갖는 타원(co)동류와 동등한 기하학적 해석을 제공한다는 목표를 달성한다. 이를 위해 저자들은 작은 위상적 리그 범주 R(양이항 범주) 에 대해 두 가지 기본 가정을 둔다. 첫째, 모든 사상이 동형사상인 군형 구조를 갖는다; 둘째, 각 객체 X에 대한 전이함수 X⊕(–)가 충실하다. 이러한 조건은 실제로 다루고자 하는 주요 예시들—예컨 들어, 복소 유한 차원 벡터 공간들의 리그 V, 자유 A‑모듈들의 리그 F(A), 그리고 유한 집합들의 리그 E—에 모두 만족한다. 논문의 핵심 기술은 다음과 같은 단계로 전개된다. 1. **링 완성 \(\bar R\) 의 도입** 기존 리그 R 은 \(\pi_0R\) 가 일반적인 링이 아닐 수 있다(음수 원소가 없을 경우). 이를 해결하기 위해