곱셈 특성 대 행렬식 불변량: 대수 K‑이론 이차 불변량의 비교

논문은 크게 네 부분으로 구성된다. 1. **서론**에서는 두 불변량의 역사적 배경과 연구 동기를 제시한다. Connes‑Karoubi의 곱셈 특성 M_F 는 홀로모픽 Fredholm 모듈 (F, H) 와 연관된 2p‑summable 구조를 이용해 K₂(A) → ℂ/(2πi)^{p}ℤ 로 사상한다. 반면, Brown‑Helton‑Howe가 정의한 행렬식 불변량 d(X, ι) 는 L₁(H) 로부터 시작하는 정확한 C‑대수 확장 X와 포함 ι를 통해 K₂(B) → ℂ^* 로 사상한다. 두 사상이 서로 다른 출발점을 가지고 있지만, 동일한 K‑이론적 정보를 담고 있음을 보이는 것이 목표이다. 2. **행렬식 불변량의 정의**에서는 먼저 Čech 복합체 ˇC(f) 를 도입한다. 여기서 f는 두 심플리컬 집합 사이의 전사 사상이며, ˇC(f) 는 (m+2)‑튜플을 이용해 정의된 이중 복합체이다. 정리 2.1에 의해 Hₙ(f) ≅ Hₙ(Ker f) ≅ Hₙ(Coker δ_f) 로 동형임을 보이며, 이를 통해 상대 호몰로지를 계산한다. 이후 L(H) → C₁(H) (Calkin 대수) 의 군 사상 E(q) 를 이용해 H₁(Coker δ_{E(q)}) → ℂ^* 로 가는 det 사상을 정의하고, 경계 사상 ∂와 합성해 d: K₂(C₁(H)) → ℂ^* 를 만든다. 확장 X: 0→L₁(H)→E→B→0 와 포함 ι: E→L(H) 가 주어지면, ι_* 로 K₂(B) → K₂(C₁(H)) 를 얻고, 최종적으로 d(X, ι)=d∘ι_* 로 정의한다. 3. **곱셈 특성의 정의**에서는 먼저 상대 K‑이론 K_rel·(A)를 소개한다. 이는 R(A) 라는 심플리컬 집합의 기하학적 실현 |R(A)| 의 플러스 구성을 통해 정의되며, 장거리 정확한 수열 K_top^{n+1}(A) → K_rel^{n}(A) → K^{n}(A) 로 연결된다. 상대 Chern character ch_rel^{n}: K_rel^{n}(A) → HC_{n‑1}(A) 는 Hurwitz 사상, 로그 사상 L, 그리고 일반화된 트레이스 TR 의 합성으로 명시된다. 이후 2p‑summable Fredholm 모듈 (F, H) 에 대해 M_{2p‑1} 라는 Banach 대수를 정의하고, τ_{2p‑1}: HC_{2p‑1}(M_{2p‑1}) → ℂ 를 연속 사이클 코사이클로 정의한다. τ_{2p‑1}∘ch_rel^{2p} 은 K_rel^{2p}(M_{2p‑1}) → ℂ 로 사상하고, 이 사상의 핵은 K_{2p}(M_{2p‑1}) 의 이미지가 (2πi)^{p}ℤ 로 떨어지는 것을 보인다. 따라서 M_U: K_{2p}(M_{2p‑1}) → ℂ/(2πi)^{p}ℤ 가 정의되고, 이를 (ρ_F)_* 로 K_{2p}(A) → K_{2p}(M_{2p‑1}) 와 합성해 M_F를 얻는다. 4. **두 불변량의 비교**에서는 핵심적인 팩터화와 경계 계산을 수행한다. 먼저 M₁ (p=½) 에 대해 T₁이라는 중간 대수를 정의하고, 0→L₁(H)→T₁→M₁→0 라는 정확한 연속 확장을 만든다. 이때 연속 선형 섹션 s: M₁→T₁ 가 존재함을 이용해 상대 연속 사이클 호몰로지 HC₀(π₂) 와 HC₁(M₁) 사이의 경계 ∂ 를 정의한다. Lemma 4.1과 Theorem 4.2를 통해 τ₁ = –T∘∂ 로 표현됨을 보인다. 여기서 T는 트레이스가 적용된 경계 사상이다. 다음으로 상대 로그와 Fredholm 행렬식 사이의 관계를 이용한다. 경로 σ: