대수 K‑이론과 짝짓기의 불변성: 유한 가산 K‑동형론의 새로운 전개

논문은 복소수 대수 A 에 대해 “유한 가산 K‑동형론” FKₘ₋₁(A) 을 체계적으로 구축한다. 먼저, m‑summable Fredholm 모듈 F = (π, H, F) 을 정의하고, 두 모듈 F, G 의 차이가 Schatten m‑아이디얼 Lᵐ(H) 에 속하면 이를 “stable m‑summable perturbation”이라 부른다. 이러한 동형관계 ∼_fc 에 의해 Ellₘ₋₁(A) 을 나눈 것이 FKₘ₋₁(A) 이다. 섹션 2에서는 Chern‑Connes 문자 Ch: Ellₘ₋₁(A) → HCₘ₋₁(A) 를 소개한다. 여기서 τ_F 는 m‑summable Fredholm 모듈 F 에 대응하는 인덱스 코사이클이며, (b, B)‑복합체에서의 명시적 공식에 의해 정의된다. 핵심 정리 1.1은 G − F ∈ Lᵐ(H) 이면 Ch(F) = Ch(G) 가 사이클릭 동류에서 동일함을 증명한다. 증명은 일반화된 체인 Ω_T 를 구성해, 그 상부 Chern 문자의 최고 차원 성분이 소멸하고, 경계 ∂Ω_T 의 Chern 문자가 τ_G − τ_F 와 일치함을 보인다. 이 과정에서 Gorokhovsky의 일반화된 체인 이론과 (b, B)‑복합체의 주기성 연산 S 가 핵심 도구로 활용된다. 섹션 3에서는 FKₘ₋₁(A) 에 대한 구조적 성질을 탐구한다. 먼저, 위에서 정의한 Chern‑Connes 문자가 동형관계 ∼_fc 에 대해 불변이므로, 자연스럽게  Ch: FKₘ₋₁(A) → HCₘ₋₁(A) 가 정의된다. 이를 통해 FK∗(A) 와 HC∗(A) 사이의 쌍 τ: FK∗(A) × HC∗(A) → ℂ 가 만들어진다. 다음으로, Connes‑Karoubi 곱셈 문자 M: Ellₘ₋₁(A) × Kₘ(A) → ℂ/(2πi)⌈m/2⌉ℤ 을 고려한다. 정리 1.2는 위의 불변성 결과를 이용해, 이 곱셈 문자가 ∼_fc 에 대해 잘 정의된다는 것을 보인다. 즉,  M: FKₘ₋₁(A) × Kₘ(A) → ℂ/(2πi)⌈m/2⌉ℤ 가 성립한다. 이는 기존의 Connes‑Karoubi 문자와 동일한 값을 갖으며, 대수적 K‑이론과 유한 가산 K‑동형론 사이의 직접적인 연결 고리를 제공한다. 주기성에 관해서는, Schatten Lᵐ ⊂ Lᵐ⁺² 포함이 유도하는 사상  S: FK∗(A) → FK∗+2(A) 가 정의되고, 이는 사이클릭 동류의 주기성 연산 S와 정확히 일치한다. 또한, 전통적인 분석적 K‑동형론 K_j(A) (j = 0,1)과의 비교 사상  α: FKₘ₋₁(A) → K_j(A) 가 존재한다. 이는 스키마 아이디얼을 컴팩트 연산자로 포함시키는 자연스러운 사상이며, 많은 전 C∗‑대수에 대해 충분히 높은 차원에서 동형동형이 될 가능성을 제시한다. 마지막으로, 논문은 X. Wang의 Ext^τ 이론과의 연관성을 논한다. τ = Lᵐ ( m 짝수) 인 경우, Ext^τ 와 FKₘ₋₁ 는 동일한 구조적 성질을 공유한다는 점에서, 유한 가산 K‑동형론이 부드러운 확장 이론과도 깊게 연결된다는 점을 강조한다. 전체적으로, 저자는 유한 가산 조건을 통해 대수적 K‑이론과 사이클릭 동류 사이의 기존 장벽을 허물고, 곱셈 문자와 Chern‑Connes 문자를 동시에 다루는 일관된 프레임워크를 제공한다. 이는 비가산적 위상학, 비가산적 K‑이론, 그리고 분석적 K‑동형론 사이의 새로운 교량을 제시하며, 향후 비가산적 인덱스 이론 및 고차원 양자장 이론 등에 적용될 가능성을 열어준다.