계수 Z/kZ를 갖는 기하학적 K‑동형론 모델 구축

본 논문은 K‑동형론에 계수 ℤ/kℤ 를 도입하는 새로운 기하학적 모델을 제시한다. 기존 Baum‑Douglas 모델은 사이클을 (M,E,f) 로 정의했으며, 여기서 M 은 spinⁿ c 다양체, E 는 복소수 벡터 번들, f 는 목표 공간 X 로의 연속 사상이다. 저자는 이 구조를 ℤ/kℤ‑계수에 맞게 변형하기 위해 **Z/kZ‑다양체** 라는 특수한 특이 다양체를 도입한다. **1. Z/kZ‑다양체의 정의** Q 를 경계가 k개의 서로 다른 복사본 (∂Q)_i 로 분리된 유향 매끄러운 유한 차원 다양체라 하자. P 를 별도의 유향 다양체라 두고, 각각의 경계 복사본 (∂Q)_i 와 P 사이에 방향 보존 미분동형 γ_i : (∂Q)_i → P 를 지정한다. 이렇게 하면 (Q,P,γ_i) 가 Z/kZ‑다양체가 된다. 경계가 없는 경우에도 P=∅ 로 두어 Z/kZ‑다양체로 간주한다. **2. Z/kZ‑벡터 번들** (E,F) 라는 쌍으로 정의한다. E 는 Q 위의 복소수 벡터 번들, F 는 P 위의 번들이며, ∂Q 위에서 E 는 F 의 k‑중복과 동형이다. 이러한 구조는 특이 공간 ˜Q 의 K₀ 군과 일대일 대응한다. **3. 사이클 정의** 논문은 사이클을 **((Q,P),(E,F),f)** 로 정의한다. 여기서 (Q,P) 는 spinⁿ c Z/kZ‑다양체, (E,F) 는 Z/kZ‑벡터 번들, f : (Q,P) → X 는 연속 사상이다. X 는 유한 CW‑복합체라고 가정한다. **4. 동등 관계** 세 가지 기본 변환을 사용한다. - **bordism**: 두 Z/kZ‑다양체가 spinⁿ c bordism 으로 연결될 때, 해당 사이클은 동등하다. - **vector bundle modification**: (E,F) 를 K‑이론 클래스에 따라 바꾸는 변환으로, 이는 전통적인 Baum‑Douglas 모델의 “vector bundle modification” 과 동일한 역할을 한다. - **disjoint union / direct sum**: 사이클을 합치는 연산으로, 이는 K‑동형론의 가법 구조와 일치한다. **5. Freed‑Melrose 지수정리와 위상학적 지수** spinⁿ c Z/kZ‑다양체 Q 가 짝수 차원일 때, Dirac 연산자 D(E,F) 를 정의하고, Q 를 충분히 큰 차원의 표준 모델 (H_{2N}^k, D^{2N‑1}) 로 삽입한다. 삽입에 의해 유도되는 잘못된 방향 푸시‑포워드 지도 π_{˜Q}! : K₀(˜Q) → K₀(˜H_{2N}^k) ≅ ℤ/kℤ 가 정의된다. 이 지도는 바로 **위상학적 지수**이며, Freed‑Melrose 정리에서 제시한 ℤ/kℤ‑값 지수와 동일하다. 따라서 사이클의 bordism 관계는 위상학적 지수가 보존되는지를 검사함으로써 검증된다. **6. Bockstein 정확한 수열** 주요 결과인 Theorem 2.20 은 위의 사이클을 이용해 K‑동형론에 대한 Bockstein 정확한 수열을 구축한다. 구체적으로 0 → K_{*+1}(X) ⊗ ℤ/kℤ → K_*(X;ℤ/kℤ) → Tor(K_*(X),ℤ/kℤ) → 0 가 성립한다. 증명은 K₀(pt;ℤ/kℤ) 의 경우를 상세히 다루며, 여기서 사이클은 단순히 (Q,P) 로만 표현되고, 위상학적 지수와 동형류가 ℤ/kℤ 로 정확히 대응함을 보인다. **7. 일반 계수 그룹으로의 확장** 마지막 장에서는 가산 아벨 군 G 를 ℤ/k₁ℤ ⊕ ℤ/k₂ℤ ⊕ … 와 같은 직접합 형태로 표현하고, 각 ℤ/k_iℤ‑모델을 위에서 만든 사이클과 동형 관계를 보존하도록 연결한다. 귀납적 극한을 취함으로써 모든 가산 아벨 군에 대해 동일한 Bockstein 수열과 동형 관계를 갖는 기하학적 K‑동형론 모델을 얻는다. **8. 결론 및 전망** 이 모델은 계수 그룹을 직접적인 기하학적 구조( Z/kZ‑다양체 ) 로 구현함으로써, 기존의 K‑이론/동형론 사이의 추상적 관계를 보다 직관적인 지수 이론과 연결한다. 특히 Freed‑Melrose 정리와의 연계는 계수 K‑동형론이 실제 분석적 지수와 어떻게 맞물리는지를 명확히 보여준다. 향후 연구에서는 비가산 군, 비정방형 계수, 그리고 비가환 C*‑대수와의 연계 등을 탐구할 여지가 있다.