프레셰 알제브라의 2차 불변량과 유한합산 준동형사상에 관한 리만 로흐 정리

초록

프레셰 m-알제브라에 대해 동형 불변량(위상 K-이론·주기적 사이클릭 동류)과 2차 불변량(곱셈 K-이론·비주기적 사이클릭 동류)이 존재한다. 본 논문은 유한합산 준동형사상 아래에서 이들 불변량의 직접 상(푸시포워드) 구조를 구축하고, 리만‑로흐‑그로드엔크 정리를 확장하여 동형 및 2차 불변량 사이의 관계를 명시한다.

상세 분석

이 논문은 프레셰 알제브라, 특히 곱셈적으로 볼록한 토폴로지를 가진 프레셰 m‑알제브라를 연구 대상으로 삼는다. 기존에 알려진 위상 K‑이론(KU)과 주기적 사이클릭 동류(HP)는 호모토피 불변량으로, 연속적인 변형에 대해 불변성을 가진다. 반면, 곱셈 K‑이론(KM)과 비주기적 사이클릭 동류(HC)는 차수에 따라 변하는 2차 불변량으로, 정밀한 차수 정보를 보존한다는 점에서 중요하다. 저자는 이러한 두 종류의 불변량을 연결하는 매개체로 ‘유한합산(quasi‑summable) 준동형사상(quasihomomorphism)’을 도입한다. 이는 두 프레셰 알제브라 A, B 사이의 선형 사상 φ: A → B̂⊗𝓚 (𝓚는 컴팩트 연산자)이며, 차수 n에 대해 φ(a)·b−b·φ(a)가 Schatten 클래스 L^{n+1}에 속한다는 조건을 만족한다. 이 조건은 기존의 KK‑이론에서의 Kasparov 모듈과 유사하지만, 프레셰 토폴로지를 고려함으로써 연속성 문제를 정교하게 다룬다.

핵심 기술은 ‘직접 상’ 맵 f_!을 정의하는데, 이는 두 단계로 구성된다. 첫째, φ에 의해 유도된 K‑이론의 푸시포워드 f_: K_(A) → K_{+n}(B) 를 구성한다. 여기서 n은 φ의 차수이며, 차수 이동은 스펙트럼 시프트와 유사하게 작동한다. 둘째, 비주기적 사이클릭 동류에 대해서는 Connes‑Chern 문자 ch: K_(A) → HC_{}(A) 를 이용하고, φ가 정의하는 연산자‑값 형태의 트레이스 클래스를 통해 HC_{+n}(B) 로 전이한다.

논문은 이 두 푸시포워드가 Chern 문자와 교환한다는 ‘리만‑로흐‑그로드엔크 정리’를 증명한다. 즉, ch∘f_* = f_!∘ch 가 성립한다. 증명 과정에서는 차등 복소수 구조와 차수‑필터링을 활용한 복합적 사슬 복합체를 구성하고, 바운더리 연산자의 연속성 및 Schatten 클래스 추정치를 정밀히 제어한다. 또한, 곱셈 K‑이론의 경우, 차수‑전이된 K‑이론 군을 ‘곱셈적’으로 강화한 KM_* 를 도입하고, 이와 HC_* 사이의 비주기적 Chern 문자 ch^{np} 를 정의한다.

결과적으로, 저자는 프레셰 m‑알제브라 사이의 유한합산 준동형사상이 동형 및 2차 불변량 모두에 대해 일관된 직접 상을 제공함을 보이며, 이는 비가환 기하학에서 차수‑의존적 인덱스 정리와 비주기적 현상(예: 베타 함수, 로그항)의 해석에 새로운 도구를 제공한다.