[논문 리뷰] A generalised Green-Julg theorem for proper groupoids and Banach algebras

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

Advanced Operator Algebra Research참고 문헌 14인용 수 5

한 줄 요약

이 논문은 적절한 국소적으로 컴acts한 군oids와 바나흐 대수로 그린-줄그 정리를 일반화하며, 바나흐 대수에 대한 등변 KK-이론과 교차곱에 대한 상대 KK-이론 사이의 표준적 동형사상을 확립한다. 주요 결과는 Bost 조립 맵이 적절한 바나흐 대수에 대해 분할 전성임을 보이며, 이는 기존에 C*-대수에 대해서만 알려진 K-이론 및 연산자 대수학의 기초적 결과를 초월한다.

ABSTRACT

The Green-Julg theorem states that K_0^G(B) is isomorphic to K_0(L^1(G,B)) for every compact group G and every G-C*-algebra B. We formulate a generalisation of this result to proper groupoids and Banach algebras and deduce that the Bost assembly map is surjective for proper Banach algebras. On the way, we show that the spectral radius of an element in a C_0(X)-Banach algebra can be calculated from the spectral radius in the fibres.

연구 동기 및 목표

• 콤팩트 군들과 C*-대수에서부터 적절한 군oids와 바나흐 대수로 그린-줄그 정리를 확장하기.
• 바나흐 대수에 대한 V. 라포르그의 이변량 KK-이론의 맥락에서 일반화된 그린-줄그 동형사상을 수립하기.
• Bost 조립 맵이 적절한 바나흐 대수에 대해 분할 전성임을 증명하기. 이는 이전에는 C*-대수에 대해서만 알려진 결과이다.
• C*-이론에 의존하지 않고 바나흐 대수 기법을 사용하여 이 전성의 비C*-대수적 증명을 제공하기.

제안 방법

• ${\mathcal{R}}KK^{\text{ban}}$의 범주를 사용하여 ${\mathcal{C}}_0(X)$-바나흐 대수에 대한 일반화된 그린-줄그 동형사상을 수립하기.
• 교차곱 $B \rtimes_r {\mathcal{G}}$를 $C_c({\mathcal{G}})$의 비조건적 완비화 ${\mathcal{A}}({\mathcal{G}}, B)$로 대체하며, $\|f\|_{\mathcal{A}}$는 $|f(\gamma)|$에만 의존한다.
• 바나흐 대수 설정에서 내림 맵을 다루기 위해 $\operatorname{{\mathcal{R}}KK}^{\text{ban}}$의 변종을 도입하기.
• $G$-불변 열린 부분집합 $U \subseteq \underline{E}{\mathcal{G}}$에서 $\mathcal{G}\backslash U$가 상대적으로 컴팩트한 경우에 대해 직접 극한을 사용하여 ${\mathcal{A}}({\mathcal{G}}, B)$의 $K$-이론을 분석하기.
• 콤팩트 몫공간에서의 분할을 끌어올려 자연성 원리를 사용하여 Bost 조립 맵 $\mu_{{\mathcal{A}}}^B$에 대한 자연스러운 분할 $\tau$를 구성하기.
• $\mu_{{\mathcal{A}}}^B \circ \tau = \text{Id}$를 증명하여 직접 극한의 논리와 $K$-이론의 연속성에 기반해 분할 전성을 확립하기.

실험 결과

연구 질문

• RQ1 그린-줄그 정리는 콤팩트 군들과 C*-대수에서부터 적절한 군oids와 바나흐 대수로 일반화될 수 있는가?
• RQ2 계수로 C*-대수가 아니라 바나흐 대수를 사용할 경우 Bost 조립 맵이 여전히 전성인가?
• RQ3 Bost 맵의 전성 증명은 C*-대수 방법에 의존하지 않고 수행될 수 있는가?
• RQ4 군oids, 바나흐 대수, 그리고 완비화 ${\mathcal{A}}({\mathcal{G}})$에 어떤 조건이 성립하면 일반화된 그린-줄그 동형사상이 성립하는가?
• RQ5 상대적으로 컴팩트 몫공간을 따른 직접 극한의 구조에서 ${\mathcal{A}}({\mathcal{G}}, B)$의 $K$-이론은 어떻게 분해되는가?

주요 결과

• 일반화된 그린-줄그 동형사상이 성립한다: $\operatorname{KK}^{\text{ban}}_{{\mathcal{G}}}({\mathcal{C}}_0(X), B) \cong \operatorname{{\mathcal{R}}KK}^{\text{ban}}({\mathcal{C}}_0(X/{\mathcal{G}}); {\mathcal{C}}_0(X/{\mathcal{G}}), {\mathcal{A}}({\mathcal{G}}, B))$이며, 이는 약간의 정규성 조건 하에 성립한다.
• 적절한 ${\mathcal{G}}$-바나흐 대수 $B$에 대해 Bost 조립 맵 $\mu_{{\mathcal{A}}}^B$는 분할 전성이다. 이는 ${\mathcal{A}}({\mathcal{G}})$가 정규적이며 컷오프 함수를 가질 경우에 성립한다.
• 분할 전성은 $G$-불변 열린 부분집합 $U \subseteq \underline{E}{\mathcal{G}}$에서 $\mathcal{G}\backslash U$가 상대적으로 컴팩트한 경우에 대한 직접 극한 논리에 기반한다.
• Bost 조립 맵 $\mu_{{\mathcal{A}}}^B$에 대한 자연스러운 분할 $\tau$의 구성은 직접 극한에서의 $K$-이론의 자연성과 연속성에 의존한다.
• 결과는 $\mathcal{A}(G) = L^1(G)$와 그 대칭화된 형태에 대해 성립하며, 이들은 정규적인 비조건적 완비화이다.
• 핵심 기술적 단계는 $X$가 제2가산일 경우 $\mathcal{C}_0(X)$-바나흐 대수에서 스펙트럼 반경이 $X$ 위에서 섬유별로 계산될 수 있음을 보이는 것이다.