비경계 이변수 K 이론과 비가환 기하학의 대응 관계

본 논문은 비가환 기하학의 핵심 도구인 스펙트럼 3중체와 이변수 K-이론(KK-이론)을 매끄러운 구조를 통해 연결하는 체계를 구축합니다. 서론에서는 스펙트럼 3중체가 콘네스에 의해 비가환 다양체와 K-호몰로지 사이클로 소개된 역사와, 바흐와 윌그가 이를 C*-모듈을 사용해 이변수 설정(KK-사이클)으로 확장한 배경을 설명합니다. 논문의 목표는 비경계 KK-사이클 사이의 카스파로프 곱을 대수적 공식으로 직접 정의하고, 이를 사상으로 하는 스펙트럼 3중체의 범주를 구성하는 것입니다. 1장과 2장은 준비 장으로, 각각 C*-모듈과 비경계 연산자 이론, 그리고 KK-이론의 경계 및 비경계 표현을 검토합니다. C*-모듈은 가환 기하학에서 에르미트 벡터 다발에 해당하며, 인접 가능 연산자와 콤팩트 연산자, 텐서곱 연산을 정의합니다. 비경계 정규 연산자와 유계 변환 b(D)의 개념도 소개됩니다. KK-이론에서는 카스파로프 곱이 호모토피 범주에서의 합성으로, 비경계 사이클에서는 외적 곱이 간단한 대수적 형태를 가짐을 언급합니다. 3장에서는 핵심 도구인 연산자 공간과 연산자 모듈 이론을 소개합니다. 특히, Haagerup 텐서곱은 연산자 대수의 곱셈을 선형화하여, 후속 장에서 비가환 미분 형식을 정의하는 데 필수적입니다. 4장이 본 논문의 첫 번째 주요 개념적 기여인 '매끄러움'을 도입하는 장입니다. 스펙트럼 3중체 (A, H, D)가 주어지면, 연산자 D의 그래프 G(D)와 연속적인 소볼레프 연쇄 G(Dⁿ)을 구성합니다. 표현 a →