외곽곱을 이용한 K‑이론 연산과 가상 특성 클래스

**1. 서론** 논문은 텐서와 외곽곱을 갖는 임의의 아벨 범주 C에 대해, 전통적인 프로젝트ive bundle 공식을 사용하지 않고도 가상 특성 클래스를 정의하는 새로운 접근법을 제시한다. 이는 K‑이론과 특성 클래스 이론을 범주론적 수준에서 통합하려는 시도이며, 특히 외곽곱이 존재하지만 프로젝트ive bundle이 정의되지 않는 상황에 유용하다. **2. 외곽곱과 특성 클래스** - **ACTEP 정의**: C가 텐서곱 ⊗와 외곽곱 λⁿ을 갖는 아벨 범주라면, 이를 ACTEP라 명명한다. 텐서곱은 교환·결합 법칙을 만족하고, 1⊗가 단위 객체이며, 외곽곱은 차원(rank)와 정확한 시퀀스에 대해 필터링을 제공한다. - **Grothendieck 군 K₀(C)**: 직접합을 덧셈, 텐서곱을 곱셈으로 하여 환 구조를 만든다. - **λ‑연산**: λⁿ(