비가변 순환동형론과 콘네스 쌍대쌍의 비가환 동기에서의 구현

초록

본 논문은 비가변 순환동형론과 그 변형들을 비가환 동기 범주에서 대표화함을 보이고, 콘네스의 쌍대쌍이 구성 연산과 일치함을 증명한다. 또한 무한 행렬을 이용한 (비)정지 모델을 제시한다.

상세 분석

이 연구는 비가환 대수기하학에서 핵심적인 역할을 하는 비가변 순환동형론(bivariant cyclic cohomology, BCC)을 비가환 동기(non‑commutative motives) 범주 안에서 어떻게 대표화할 수 있는지를 체계적으로 탐구한다. 저자들은 먼저 dg(미분 그라디언트) 범주와 그들의 Morita 동형, 그리고 이를 기반으로 한 비가환 동기의 삼각형 구조를 정리한다. 비가변 순환동형론은 기존의 순환동형론을 두 객체 사이의 ‘쌍대’ 형태로 일반화한 것으로, Hochschild, cyclic, periodic cyclic cohomology를 모두 포함한다. 이러한 이론은 일반적인 ‘additive invariant’의 성질을 만족하지만, 기존 문헌에서는 이를 비가환 동기 범주 안에서의 내부 Hom 객체로서 명시적으로 구현하지 못했다.

핵심 정리는 BCC와 그 변형들(Hochschild, negative cyclic 등)이 비가환 동기 범주의 객체들 사이의 Hom‑set으로서 나타난다는 것이다. 구체적으로, 두 dg‑카테고리 𝔄, ℬ에 대해 BCC^{*}(𝔄,ℬ)≅Hom_{Mot_{nc}}(U(𝔄),U(ℬ)