그룹오이드 코사인과 K 이론의 새로운 연결고리

초록

이 논문은 로컬 컴팩트 하우스도프 그룹오이드 𝔊에 정의된 실값 코사인 c가, 적절한 완만한 가정 하에, (C⁎(𝔊), C⁎(ℍ)) 쌍을 위한 비유계 홀수 ℝ‑등변 바이모듈(𝔈, D)을 만든다는 사실을 입증한다. 코사인이 단위공간 𝔊⁽⁰⁾의 연속적인 준불변 측도에서 유도될 경우, 해당 KK₁^ℝ 원소는 K₁^ℝ(C⁎(𝔊))→ℂ 로 가는 지수 지도를 정의한다.

상세 분석

논문은 먼저 로컬 컴팩트 하우스도프 그룹오이드 𝔊와 그 Haar 시스템을 전제조건으로 설정한다. 코사인 c:𝔊→ℝ 은 그룹오이드 동형사상으로, 각 원소 g에 대해 c(gh)=c(g)+c(h) 를 만족한다. 저자는 “mild conditions”이라 부르는 두 가지 핵심 가정을 제시한다. 첫째, 코사인의 값이 정수값이면 자동으로 만족되는 ‘정수값 코사인’ 조건이다. 이는 특히 étale 그룹오이드에서 자연스럽게 발생한다. 둘째, 코사인이 단위공간 𝔊⁽⁰⁾ 위의 연속적인 준불변 측도 μ와 연관될 때, μ가 c‑정규화된 Radon 측도라는 추가적인 정규성 조건이다. 이 두 가정 하에 저자는 코사인 c 를 이용해 Hilbert C⁎‑모듈 𝔈 = L²(𝔊, μ) 를 구성하고, 그 위에 비유계 자기수반 연산자 D 를 정의한다. D는 기본적으로 함수 f(g)에 대해 (Df)(g)=c(g)·f(g) 로 정의되며, 이는 코사인의 실값을 곱하는 형태의 ‘곱연산자’이다. 중요한 점은 D가 𝔊‑동형성에 대해 ℝ‑등변성을 갖는다는 것이다. 즉, ℝ‑작용 t·(𝔈,D) = (𝔈, D+t·1) 로 변환될 때 K‑이론적 동형을 유지한다.

다음으로 저자는 (𝔈,D) 가 비유계 홀수 ℝ‑등변 바이모듈임을 증명한다. 여기서 ‘비유계’는 D가 비유계 스펙트럼을 가지며, ‘홀수’는 차수가 1임을 의미한다. 이 구조는 Kasparov의 KK‑이론에서 ℝ‑등변 KK₁ 클래스