[논문 리뷰] Coactions and Fell bundles

S. Kaliszewski, Paul S. Muhly외 2명|ArXiv.org|2009. 09. 17.

Advanced Operator Algebra Research참고 문헌 20인용 수 12

한 줄 요약

이 논문은 국소적으로 컴acts한 군 G 위의 모든 펠 뱅글이 그에 관련된 C*-대수 C*(G, 𝒜) 위에 자연스러운 최대 코작용을 유도함을 증명한다. 이 코작용의 전체 교차곱과 그 쌍대 작용의 결과로 얻어진 대수는 C*(G, 𝒜) ⊗ 𝒦(L²(G))와 자연스럽게 동형임을 보이며, 이는 코작용이 최대임을 확인하고, 펠 뱅글 C*-대수에 대해 쌍대성 이론을 확장함을 의미한다.

ABSTRACT

We show that if $Å$ is a Fell bundle over a locally compact group $G$, then there is a natural coaction $δ$ of $G$ on the Fell-bundle $C^*$-algebra $C^*(G,Å)$ such that if $\hatδ$ is the dual action of $G$ on the crossed product $C^*(G,Å) times_δ G$, then the full crossed product $(C^*(G,Å) times_δG) times_{\hatδ}G$ is canonically isomorphic to $C^*(G,Å) \otimes\KK(L^2(G))$. Hence the coaction $δ$ is maximal.

연구 동기 및 목표

• 국소적으로 컴acts한 군 G 위의 펠 뱅글 𝒜의 C*-대수 C*(G, 𝒜) 위에 G의 자연스러운 코작용을 수립하기 위해.
• 이 코작용이 최대임을 증명하기 위해, 코작용의 전체 교차곱과 그 쌍대 작용이 C*(G, 𝒜) ⊗ 𝒦(L²(G))와 동형임을 보이는 것.
• 교차곱의 쌍대성 이론을 행동에 국한된 결과에서 더 일반적인 펠 뱅글 C*-대수의 맥락으로 확장하기 위해.
• 군oid 위의 펠 뱅글과 임프라미티브 정리, C*-동역계 시스템의 쌍대성 이론을 연결하는 더 넓은 프로그램의 기초 단계를 제공하기 위해.

제안 방법

• 펠 뱅글의 구조를 활용하여, 대수적 및 위상적 성질을 이용해 C*(G, 𝒜) 위에 G의 코작용 δ를 구성하기 위해.
• 군oid 위의 펠 뱅글에 대한 분해 정리를 사용하여 교차곱 C*(G, 𝒜) ⋊δ G 의 구조를 분석하기 위해.
• 좌측 이동을 통해 군oid G ×ₗₜ G 위의 새로운 펠 뱅글 𝒜 ×ₗₜ G 의 C*-대수와 C*(G, 𝒜) ⋊δ G 를 자연스럽게 동형으로 연결하기 위해.
• L²(G) 위의 표현 τ 를 사용하여, C*(G, 𝒜) ⋊δ G ⋊δ̂ G 와 C*(G, 𝒜) ⊗ 𝒦(L²(G)) 사이의 자연스러운 동형 사상 Υ 를 적용하기 위해.
• 이sov미즘 Θ, Ψ, Υ 를 포함하는 다이어그램의 가환성을 확인하여, 자연스러운 전성 사상 Φ 가 단사임을 증명하기 위해.
• C*(G, 𝒜) 의 충실한 표현 π 를 사용하고 행렬 계수를 계산하여, Φ 가 동형임을 확인하기 위해.

실험 결과

연구 질문

• RQ1 국소적으로 컴acts한 군 G 위의 모든 펠 뱅글은 그 C*-대수 C*(G, 𝒜) 위에 자연스러운 코작용을 유도하는가?
• RQ2 C*(G, 𝒜) 위에 구성된 코작용은 최대인가? 즉, 코작용의 전체 교차곱과 그 쌍대 작용이 C*(G, 𝒜) ⊗ 𝒦(L²(G)) 와 동형이 되는가?
• RQ3 교차곱의 쌍대성 이론은 행동의 맥락에서 더 일반적인 펠 뱅글의 맥락으로 확장될 수 있는가?
• RQ4 군oid 위의 펠 뱅글은 C*-대수 위의 코작용의 구성과 분석을 어떻게 지원하는가?

주요 결과

• 코작용 δ 는 최대이다. 왜냐하면 전체 교차곱 (C*(G, 𝒜) ⋊δ G) ⋊δ̂ G 가 자연스럽게 C*(G, 𝒜) ⊗ 𝒦(L²(G)) 와 동형이기 때문이다.
• 자연스러운 전성 사상 Φ: (C*(G, 𝒜) ⋊δ G) ⋊δ̂ G → C*(G, 𝒜) ⊗ 𝒦(L²(G)) 는 동형임을 확인하였으며, 이는 δ 가 최대임을 확인한다.
• 교차곱 C*(G, 𝒜) ⋊δ G 는 좌측 이동을 통한 군oid G ×ₗₜ G 위의 펠 뱅글 𝒜 ×ₗₜ G 의 C*-대수와 자연스럽게 동형이다.
• 표현 τ 를 사용하여 구성된 이sov미즘 Υ: C*(G ×ₗₜ G, 𝒜 ×ₗₜ G) → C*(G, 𝒜) ⊗ 𝒦(L²(G)) 는 전사적이고 등장적임이 증명되었다.
• 증명은 Θ, Ψ, Υ 를 포함하는 이sov미즘 다이어그램의 가환성을 행렬 계수의 명시적 계산을 통해 확인함에 기반한다.
• 결과는 코작용에 대한 카타야마의 쌍대성 이론을 일반화하며, 펠 뱅글 C*-대수에 대해 쌍대성 프레임워크를 확장하여, 행동 기반과 뱅글 기반의 쌍대성을 통합한다.