대수적 Cuntz Pimsner 링의 K 이론과 긴 정확 수열

이 논문은 C*-대수 이론의 중요한 구성인 Cuntz-Pimsner 대수를 순수 대수적 맥락으로 일반화하고, 그 K-이론적 성질을 체계적으로 연구합니다. **서론**에서는 연구의 배경을 설명합니다. Pimsner(1997)는 계수 C*-대수 A와 힐베르트 A-모듈 H로부터 Toeplitz-Pimsner 대수 T_H와 Cuntz-Pimsner 대수 O_H,I를 구성하고, Kasparov의 이변량 K-이론을 사용하여 A → T_H 포함 사상의 K-이론적 역원을 구성함으로써 K-이론 긴 정확 수열을 유도했습니다. Carlsen과 Ortega(2011)는 이를 대수화하여, 링 R과 R-시스템 X(기능적 모듈의 일종)를 기반으로 한 대수적 Cuntz-Pimsner 링을 정의했습니다. 본 논문은 Cortiñas와 Thom(2006)이 Cuntz의 형식을 따라 개발한 대수적 이변량 K-이론(호모토피 K-이론과 밀접한 관련 있음)의 프레임워크 안에서, Pimsner의 증명 방식을 적응시켜 대수적 버전의 긴 정확 수열을 확립하는 것이 목표입니다. **제2장: 예비 지식**에서는 논문 전반에 사용될 핵심 개념들을 상세히 정의하고 검증합니다. 1. **기능적 모듈과 Burgstaller의 이론**: 비퇴화 스칼라 곱을 가진 기능적 모듈 (X, X', g)을 정의하고, 조임 연산자 링 L_R(X)와 콤팩트 연산자 링 K_R(X) ≅ X ⊗_R X'를 소개합니다. 특히, (FS) 조건 하에서 K_R(X)가 L_R(X)의 양측 아이디얼로 매립됨을 보입니다. Burgstaller의 핵심 결과(정리 2.11)는, 기능적 호모모피즘 X → R^(I)이 존재할 때, M-안정적 함자 E에 대해 코너 포함 사상 E(R) → E(K_R(R ⊕ X))가 동형사상이 됨을 보장합니다. 2. **대수적 Cuntz-Pimsner 링의 구성**: 국소 단위원을 가진 링 R과 그 양측 아이디얼 I, 그리고 I가 콤팩트 연산자로 왼쪽 작용하는 R-대응 X가 주어지면, 포크 공간 T(X) 위에 Toeplitz 링 T_X를 생성자 T_x, T_φ (x∈X, φ∈X')와 R의 작용으로 정의합니다. 그 후, I에 의해 생성된 특정 아이디얼 J_X,I로 T_X를 나누어 Cuntz-Pimsner 링 O_X,I를 얻습니다. **주요 결과**는 두 가지 정리로 제시됩니다. - **정리 A**: R이 국소 단위원 링이고 X가 R-대응일 때, 임의의 호모토피 불변, 분할 정확, M-안정적 함자 E는 포함 사상 R → T_X를 동형사상 E(R) ≅ E(T_X)로 보냅니다. 증명은 Burgstaller의 보조정리를 T_X의 보편성과 결합하여, 포함 사상이 코너 포함 사상과 호모토피 동치임을 보이는 방식으로 진행됩니다. - **정리 B**: 위 조건에 더해, 함자의 수열 (E_n)이 완전성(excision: 링 짧은 완전열을 긴 완전열로 보냄)을 만족하면, 다음과 같은 긴 정확 수열이 존재합니다. ... → E_n(I) → E_n(R) → E_n(O_X,I) → E_{n-1}(I) → ... 여기서 사상은 자연스러운 포함 사상들에 의해 유도됩니다. 이 정리의 증명은 정리 A에 의해 E_n(R) ≅ E_n(T_X)이고, O_X,I가 T_X의 몫이므로 완전성 가정으로부터 바로 유도됩니다. 논문은 이 정리들이 Weibel의 호모토피 K-이론이나 주기적 순환 호몰로지와 같은 구체적인 함자에 적용됨을 명시하며 마칩니다. 이를 통해 교차곱 R ⋊ Z나 유한 행의 퀴버에 대한 Leavitt 경로 대수 등 구체적인 예시들에 대한 K-이론 계산의 통일된 프레임워크를 제공합니다.