Banach 대수와 군집의 귀납 및 KK이론

초록

동등한 로컬리 컴팩트 하우스도프 군집에 대해 Banach 대수 계수를 갖는 Bost 추측이 한 군집에서 성립하면 다른 군집에서도 성립함을 보인다. 이를 위해 Lafforgue의 Banach 대수용 KK-이론이 군집의 일반화된 사상에 대해 함자성(functoriality)을 갖는 것을 증명하고, 동등 군집들의 L¹-대수들이 Morita 동형임을 보여준다. C*계수를 위한 경우도 동일하게 적용된다.

상세 분석

이 논문은 두 군집 G와 H가 Morita 동등(또는 동등)하다는 전제 하에, Bost 추측—특히 Banach 대수 계수를 허용하는 형태—이 한 군집에서 성립하면 반드시 다른 군집에서도 성립한다는 강력한 전달 원리를 제시한다. 핵심 기술은 Lafforgue가 정의한 Banach 대수용 KK-이론(KK^{ban})이 일반화된 군집 사상, 즉 Haar 시스템을 보존하는 연속적인 functorial morphism에 대해 완전한 함자성을 갖는다는 점이다. 저자는 먼저 군집 간의 일반화된 사상(그룹오이드 코스톤, 혹은 Hilsum–Skandalis 맵)을 정확히 정의하고, 이러한 사상이 Banach 대수 계수를 보존하면서 L¹-교차곱 대수와 그 KK-클래스를 어떻게 변환시키는지를 체계적으로 분석한다. 특히, L¹(G, A)와 L¹(H, A) (여기서 A는 G와 H 모두에 작용하는 Banach 대수) 사이에 Morita 동형을 구축함으로써, 두 대수의 K-이론이 동등함을 보인다. 이는 Bost 추측이 요구하는 K-이론 동형성을 확보하는 핵심 단계이다.

다음으로, 저자는 이 Morita 동형이 KK^{ban} 수준에서 강한 동형을 제공한다는 점을 증명한다. 구체적으로, G와 H 사이의 일반화된 사상이 주어지면, 이를 통해 L¹(G, A)와 L¹(H, A) 사이에 KK^{ban} 클래스