고차원 군과 격자 위의 유한 가산 프레드홀 모듈 완전 분류

본 논문은 “유한 가산 프레드홀 모듈”(ℓᵖ‑summable Fredholm modules)이라는 개념을 고차원 실군과 그 격자에 적용하여, 이러한 모듈이 모두 평범한(자명) 표현으로 동형(동등)함을 증명한다. 서론에서는 K‑동형을 Kasparov이 정의한 프레드홀 모듈의 동형류로 소개하고, Connes가 만든 유한 가산 조건이 인덱스 계산을 단순화한다는 배경을 설명한다. 이어서 비가산 C⁎‑대수에서는 모든 K‑동형 클래스를 가산 프레드홀 모듈로 나타낼 수 없는 사례가 존재함을 언급한다(예: 비가산 이산군). 2장에서는 “부드러운 K‑동형”을 정의한다. 여기서 A는 C⁎‑대수, ℓᵖ‑가산 조건은 (F²−1), (F*−F),