유한군을 위한 케스파로프 이론과 매키 펑터의 새로운 연결

초록

본 논문은 유한군 G에 대해 G‑equivariant KK‑이론을 G‑equivariant K‑이론으로 환원시키는 범용적인 방법을 제시한다. 핵심은 각 G‑C*‑대수 A에 대해 모든 부분군 H≤G에 대한 K‑이론 K*_H(Res⁽ᴳ⁾_H A)를 모아 만든 Z/2‑그레이드 매키 모듈 k_G*(A) 를 이용하는 것이다. 이 매키 모듈은 표현 그린 펑터 R_G 위의 모듈 카테고리 R_G‑Mac 에 자연스럽게 사상되며, 이는 KK‑카테고리의 보편적 안정 동질함사상이다. 이를 바탕으로 Ext‑그룹을 이용한 보편 계수 스펙트럴 시퀀스와 텐서곱에 대한 Künneth 스펙트럴 시퀀스를 구축하고, 특히 G‑cell 대수(즉 C(G/H) 로 생성되는 로컬라이징 삼각 부분카테고리)에서 강한 수렴성을 보인다.

상세 분석

이 논문은 두 가지 근본적인 관찰을 통해 G‑equivariant KK‑이론을 계산 가능한 형태로 전환한다. 첫 번째는 임의의 분리 가능한 G‑C*‑대수 A에 대해, 모든 부분군 H≤G에 대한 제한된 K‑이론 K*_H(Res⁽ᴳ⁾_H A) 가 자연스럽게 Z/2‑그레이드 매키 펑터를 형성한다는 점이다. 이 매키 펑터는 G‑셋 G/H 에 대한 동형 사상에 의해 정의되는 전이와 제한 사상, 그리고 공액 사상을 모두 포함한다. 특히, K*_H(Res⁽ᴳ⁾_H A) ≅ KK⁽ᴳ⁾*(C(G/H),A) 로 표현될 수 있기 때문에, 매키 펑터는 KK‑카테고리의 기본 객체들에 대한 동형 정보를 완전하게 담는다.

두 번째 관찰은 이 매키 펑터가 표현 그린 펑터 R_G(= K*_G(ℂ)) 위의 모듈, 즉 R_G‑Mac 이라는 완전한 아벨 군 카테고리로 사상된다는 점이다. R_G‑Mac 은 Grothendieck 토포스(완전한 가법 텐서 아벨리안 카테고리)이며, 여기서의 Ext와 Tor는 전통적인 호몰로지 연산과 동일한 성질을 가진다. 논문은 k_G* : KK⁽ᴳ⁾ → R_G‑Mac 을 ‘보편적 안정 동질함사상’으로 정의하고, 이는