비가환 동기에서 무한 행렬을 통한 보편적 서스펜션 모델

본 논문은 비가환 동기(Mot_loc(dg)) 범주에서 서스펜션 연산을 구체적인 대수적 모델로 구현한다는 목표로 전개된다. 서두에서는 dg‑카테고리와 로컬라이징 불변량(localizing invariant)의 개념을 재정리하고, 이러한 불변량이 비가환 동기 모티베이터 U_loc(dg)와 어떻게 연결되는지를 설명한다. 특히, U_loc(dg) 가 보편적인 로컬라이징 불변량을 대표하는 ‘보편적 동기화’ 역할을 함을 강조한다. 다음 섹션에서는 무한 행렬 대수 Γ와 그 하위 아이디얼 M_∞ 을 정의한다. Γ는 N×N 행렬이며, 전체 원소가 유한하고 각 행·열에 비제로 원소가 제한된 개수만 존재한다는 두 조건을 만족한다. 이러한 제한은 Γ가 ‘플라스키’(flasque) 구조를 가짐을 보이는 핵심이다. Γ는 단위 행렬 I를 포함하고, 전치 연산을 통해 자체 동형을 갖는다. Γ와 M_∞ 사이의 관계를 이용해 몫대수 Σ = Γ/M_∞ 를 만든다. Σ는 기존 문헌에서 음‑K‑이론을 정의할 때 등장한 대수와 동형이며, 좌측 부분집합 S = {I_n = I−I_n} 을 통해 Γ를 국소화하면 정확히 Σ와 동형임을 증명한다(정리 3.11). 이 과정에서 블록 행렬 표기법을 도입해 I_n·E·I_n 형태의 연산을 명시적으로 계산한다. 섹션 4에서는 dg‑카테고리 A에 대해 텐서 곱 Σ(A) = A⊗Σ 를 정의하고, A → Σ(A) → 0 의 정확한 삼각형을 구성한다. 여기서 핵심은 Γ‑모듈 W (Γ를 왼쪽 모듈로, 오른쪽 작용은 φ를 통해 뒤틀린 형태)와 Γ⊕W ≅ W 라는 동형을 이용해 정확한 시퀀스를 얻는 것이다. 섹션 5에서는 Γ가 플라스키임을 보인다. 즉, Γ‑모듈 W 이 Γ와 동형이면서 동시에 Γ⊕W와 동형이므로, Γ는 ‘자기 자신을 흡수’하는 성질을 가진다. 이 플라스키 성질은 정확한 삼각형이 ‘정확히’ 유지된다는 것을 보장한다. 이러한 준비를 바탕으로 섹션 6에서 주요 정리 1.2를 증명한다. 즉, 모든 dg‑카테고리 A에 대해 U_loc(dg)(Σ(A)) ≅ U_loc(dg)(A)