[논문 리뷰] Proper actions, fixed-point algebras and naturality in nonabelian duality

S. Kaliszewski, John Quigg외 1명|ArXiv.org|2007. 12. 30.

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

한 줄 요약

이 논문은 비아벨 dualit성의 맥락에서 Rieffel의 일반화된 고정점 대수의 함자적이고 자연스러운 프레임워크를 수립한다. 이를 통해 $(A,\alpha) \mapsto A^\alpha$의 할당이 $(C_0(X), \gamma)$에서의 $G$--equivariant 호모모르피즘을 지닌 $C^*$-동역계의 콤마 카테고리 위에서 잘 정의된 함자임을 보여준다. 주요 기여는 Rieffel의 $A^\alpha$와 축소된 외적곱 $A \times_{\alpha,r} G$ 사이의 모리타 동치가 자연스럽다는 것을 증명함으로써, Landstad dualit의 함자적 표현과 Mansfield의 추상적 이행 정리의 자연스러운 형태를 이끌어내는 데 있다.

ABSTRACT

Suppose a locally compact group G acts freely and properly on a locally compact Hausdorff space X, and let gamma be the induced action on C_0(X). We consider a category in which the objects are C*-dynamical systems (A, G, alpha) for which there is an equivariant homomorphism of (C_0(X), gamma) into the multiplier algebra M(A). Rieffel has shown that such systems are proper and saturated, and hence have a generalized fixed-point algebra A^alpha which is Morita equivalent to A times_{alpha,r} G. We show that the assignment (A, alpha) maps to A^alpha is functorial, and that Rieffel's Morita equivalence is natural in a suitable sense. We then use our results to prove a categorical version of Landstad duality which characterizes crossed products by coactions, and to prove that Mansfield imprimitivity for crossed products by homogeneous spaces is natural.

연구 동기 및 목표

• 적절하고 포화된 작용의 맥락에서 Rieffel의 일반화된 고정점 대수의 함자적 구조를 수립하기.
• 고정점 대수와 축소된 외적곱 사이의 Rieffel의 모리타 동치가 함자적 의미에서 자연스럽다는 것을 보여주기.
• 콤마 카테고리 구성법을 사용하여 코액션에 대한 Landstad dualit의 함자적 재구성 제공하기.
• 동일한 프레임워크 하에서 동차 공간에 대한 Mansfield의 이행 정리에서의 모리타 동치가 자연스럽게 실현됨을 보여주기.
• 자연 변환을 포함한 함자적 프레임워크에 통합하여 기존의 비아벨 dualit 이론을 일반화하기.

제안 방법

• 작용이 자유롭고 적절하게 작용하는 국소적으로 컴acts한 하우스도르프 공간 $X$에서 $G$-작용이 있는 $(C_0(X), \gamma)$를 바탕으로, $C^*$-동역계 $(A, \alpha)$ 중 $M(A)$로의 $G$-equivariant 호모모르피즘을 지닌 것들의 콤마 카테고리 정의.
• 밀도 있는 \'ast$-부분대수 $\operatorname{span} C_c(X) A C_c(X)$ 위에서 평균화 과정 $E$를 구성하고, 그 이미지가 일반화된 고정점 대수 $\operatorname{Fix}(A, \alpha, \phi)$를 생성함.
• 이후 $\operatorname{Fix}$가 콤마 카테고리에서 $C^*$-대수의 카테고리로의 함자로 확장됨을 증명하고, 각 시스템에 대해 일반화된 고정점 대수를 할당함.
• 작용이 자유로울 경우, $A^\alpha$와 $A \times_{\alpha,r} G$ 사이의 Rieffel의 모리타 동치가 고정점 함자와 축소된 외적곱 함자 사이의 자연 변환임을 증명.
• 이 프레임워크를 적용하여 $(C_0(G), \text{rt})$ 위의 콤마 카테고리에서의 시스템으로서 외적곱을 특성화하는 Landstad dualit의 함자적 형태를 도출하고, 동차 공간에 대한 Mansfield의 이행 정리에서의 모리타 동치의 자연스러움을 증명.
• 완전한 코액션과 축소된 코액션 간의 관계를 규명하기 위해 코액션 이론의 기술적 도구, 특히 정규화 및 축소 함자 등을 사용하여 완전한 외적곱 함자와 축소된 외적곱 함자 간의 자연스러운 동형을 확립함.

실험 결과

연구 질문

• RQ1 Rieffel의 일반화된 고정점 대수 구성법이 $(C_0(X), \gamma)$에서의 $G$-equivariant 사상이 있는 $C^*$-동역계의 콤마 카테고리 내에서 함자적일 수 있는가?
• RQ2 고정점 대수와 축소된 외적곱 사이의 모리타 동치가 함자적 의미에서 자연스럽게 나타나는가?
• RQ3 콤마 카테고리 구성법을 사용하여 코액션에 대한 Landstad dualit를 함자적으로 재구성할 수 있는가?
• RQ4 동차 공간에 대한 Mansfield의 이행 정리에서의 모리타 동치가 이 프레임워크 내에서 자연스럽게 실현되는가?
• RQ5 코액션에 대한 축소 및 정규화 함자들이 외적곱 구성의 자연스러움을 유지하는가?

주요 결과

• $(A, \alpha) \mapsto A^\alpha$의 할당은 $(C_0(X), \gamma) \downarrow \mathcal{A}(G)$에서 $C^*$-대수의 카테고리로의 함자로 정의된다.
• $G$가 $X$ 위에서 자유롭게 작용할 경우, $A^\alpha$와 $A \times_{\alpha,r} G$ 사이의 Rieffel의 모리타 동치는 고정점 함자와 축소된 외적곱 함자 사이의 자연 변환으로서 성립한다.
• 함자적 Landstad dualit가 확립되었다: 코액션에 의한 외적곱은 $(C_0(G), \text{rt})$ 위의 콤마 카테고리에 속하는 시스템들로 정확히 특성화되며, 이러한 시스템에 대한 새로운 특성화를 제공한다.
• Mansfield의 이행 정리에서 동차 공간에 대한 모리타 동치는 자연스럽게 실현됨이 입증되었으며, 몫군에 대한 이전 결과를 일반화한다.
• 완전한 코액션에 대한 정규화 함자는 외적곱 함자와 호환되며, $\textup{CP}^n \circ \textup{Nor}$는 $\textup{CP}^m$과 자연스럽게 동형임을 확인하여, 다양한 코액션 유형 간의 일관성을 입증한다.
• 결과적으로, 이는 비아벨 dualit의 이해를 향상시키는 통합된 함자적 프레임워크를 제공하며, 특히 이중성 함자와 자연 변환과의 관계에서 중요한 기여를 한다.