[논문 리뷰] Induction for Banach algebras, groupoids and KK^ban

Walther Paravicini|ArXiv.org|2009. 02. 24.

Advanced Operator Algebra Research참고 문헌 15인용 수 4

한 줄 요약

이 논문은 일반화된 사상 하에서 바나흐 대수와 군oids에 대한 Lafforgue의 $\operatorname{KK}^{\operatorname{ban}}$-이론의 함자성(functoriality)을 확립하며, 동치인 국소적으로 컴acts한 하우스도르프 군oids는 모리타 동치인 $L^1$-대수를 가지며, 바나흐 대수 계수를 가진 보스트 추측은 군oids 동치에 대해 불변임을 증명한다. 핵심 결과는 유도된 바나흐 대수의 $\operatorname{K}$-이론을 연결하는 교환 다이어그램으로, 이는 어떤 군oids에서 보스트 추측이 성립하는 것과 그와 동치인 다른 군oids에서의 성립 여부가 동치임을 보여준다.

ABSTRACT

Given two equivalent locally compact Hausdorff groupoids, the Bost conjecture with Banach algebra coefficients is true for one if and only if it is true for the other. This also holds for the Bost conjecture with C*-coefficients. To show these results, the functoriality of Lafforgue's KK-theory for Banach algebras and groupoids with respect to generalised morphisms of groupoids is established. It is also shown that equivalent groupoids have Morita equivalent L^1-algebras (with Banach algebra coefficients).

연구 동기 및 목표

• 바나흐 대수와 군oids에 대한 $\operatorname{KK}^{\operatorname{ban}}$-이론의 일반화된 사상 하에서의 함자성 확립.
• L^1-대수의 모리타 동치를 일반적인 조건수렴 완비화로 일반화.
• 국소적으로 컴팩트한 하우스도르프 군oids에 대한 동치에 대해 바나흐 대수 계수를 가진 보스트 추측이 불변임을 보임.
• 유도와 강하를 통해 위상적 $K$-이론과 바나흐 대수의 $K$-이론을 연결하는 교환 다이어그램 구축.
• 기존의 보스트 추측 결과를 바나흐 대수 계수로 확장하여 문헌에서의 격차를 메움.

제안 방법

• 군oids 바나흐 대수와 그의 조건수렴 완비화 $\mathcal{A}(\mathcal{G})$에 대한 체계적인 이론 개발.
• $\mathcal{H}$-바나흐 대수 $B$에 대해 $\mathcal{G}$-바나흐 대수를 구성하기 위한 유도 함자 $\operatorname{Ind}_\mathcal{H}^\mathcal{G} B$ 도입.
• $\mathcal{A}(\mathcal{H}, B) \sim_{\text{M}} \mathcal{A}(\mathcal{G}, \operatorname{Ind}_\mathcal{H}^\mathcal{G} B)$ 를 모리타 동치를 통해 증명.
• 다이어그램의 교환성 증명에서 컷오프 함수와 프로젝션을 사용하여 $\mathcal{A}(\mathcal{H}, \mathcal{C}_0(X|_{\mathcal{H}^{(0)}}))$ 와 $\mathcal{A}(\mathcal{L}, \mathcal{C}_0(X))$ 를 연결.
• 두 변수에 대해 $\operatorname{KK}^{\operatorname{ban}}$-이론의 함자성을 적용하여 핵심 다이어그램의 교환성 검증.
• 보스트 조립 사상이 $C^*$-대수의 경우 $\operatorname{K}^{\operatorname{top}2,\operatorname{ban}}$ 를 통해 인자화됨을 활용하여 결과를 $C^*$-계수로 확장.

실험 결과

연구 질문

• RQ1 바나흐 대수 계수를 가진 보스트 추측은 군oids 동치에 대해 불변하는가?
• RQ2 $\operatorname{KK}^{\operatorname{ban}}$-이론이 군oids의 일반화된 사상 하에서 함자성일 수 있는가?
• RQ3 동치인 군oids의 $L^1$-대수 간의 모리타 동치는 일반적인 조건수렴 완비화로 확장 가능한가?
• RQ4 유도와 강하의 관계는 군oids에 대한 바나흐 대수적 $K$-이론의 맥락에서 어떻게 작용하는가?
• RQ5 컷오프 함수와 프로젝션 리프팅을 통해 $K$-이론 다이어그램의 교환성이 확립될 수 있는가?

주요 결과

• 바나흐 대수 계수를 가진 보스트 추측은 군oids $\mathcal{G}$에서 성립하는 것과 그와 동치인 군oids $\mathcal{H}$에서 성립하는 것이 동치이며, 이는 $\operatorname{KK}^{\operatorname{ban}}$-이론의 군oids 동치에 대한 불변성 때문이므로 성립한다.
• 유도된 $\mathcal{G}$-바나흐 대수 $\operatorname{Ind}_\mathcal{H}^\mathcal{G} B$ 는 $\mathcal{A}(\mathcal{H}, B)$ 와 $\mathcal{A}(\mathcal{G}, \operatorname{Ind}_\mathcal{H}^\mathcal{G} B)$ 사이의 모리타 동치를 유도하며, 이는 $K$-이론이 동형임을 의미한다.
• 위상적 $K$-이론 $\operatorname{K}^{\operatorname{top}2,\operatorname{ban}}_*(\mathcal{H}, B)$, $\operatorname{K}_*(\mathcal{A}(\mathcal{H}, B))$, $\operatorname{K}_*(\mathcal{A}(\mathcal{G}, \operatorname{Ind}_\mathcal{H}^\mathcal{G} B))$ 를 연결하는 교환 다이어그램은 모리타 동치를 따라 당김과 밀림을 통해 확립된다.
• 다이어그램의 왼쪽 세로 화살표는 군oids 동치에 대한 $\operatorname{KK}^{\operatorname{ban}}$-이론의 불변성으로 인해 동형이다.
• 보스트 추측이 $C^*$-대수 계수를 가질 경우에도 군oids 동치에 대해 불변이며, 이는 바나흐 대수 버전을 통해 인자화되기 때문이다.
• 증명은 $X|_{\mathcal{H}^{(0)}}$ 에서의 컷오프 함수를 $X$ 로 확장하고, 해당 프로젝션들이 포함 사상 $\varphi_{{\mathcal{C}}_0(X)}$ 에 대해 유지됨을 보여서 기반을 두고 있다.