비가환 모티프를 통한 곱 구조와 곱셈적 체르 특성, 유한 계수의 새로운 해석

이 논문은 비가환 모티프(Non‑commutative motives)라는 최신 범주론적 프레임워크를 이용해 알제브라적 K‑이론의 핵심 구조인 곱 연산, 곱셈적 체르 특성, 그리고 유한 계수 K‑이론을 보편적인 ‘가법 불변량(additive invariant)’이라는 개념으로 통합한다. **1. 배경과 목표** 알제브라적 K‑이론은 오래전부터 곱 구조와 체르 특성(특히 부정적 사이클릭 호몰로지와 Dennis trace map) 등을 통해 다양한 수학적 현상을 설명해 왔다. 그러나 기존의 여러 구축은 서로 다른 기술에 의존하고, 고차 K‑이론까지 확장하기 어려운 점이 있었다. 저자는 이러한 상황을 ‘비가환 모티프’라는 범주를 통해 하나의 보편적 원리로 정리하고자 한다. **2. 비가환 모티프와 가법 불변량** - dg‑카테고리(dg‑category)와 그 파생 2‑카테고리 Ho(dgcat)를 고려한다. - ‘가법 불변량’은 필터드 동형극한을 보존하고, split exact sequence를 직접합으로 보내는 함자를 의미한다. - 모든 가법 불변량을 대표하는 보편 사상 \(U_{\!A}:Ho(dgcat)\to\mathrm{Mot}_A\) 를 구축한다. 여기서 \(\mathrm{Mot}_A\)는 삼각형 파생자이며, 대칭적 단조 구조를 갖는다. - 단위 객체 \(U_{\!A}(k)\)는 K‑이론 스펙트럼을 대표한다는 동등식 \