[논문 리뷰] $C^*$-pseudo-Kac systems and duality for coactions of concrete Hopf $C^*$-bimodules

Thomas Timmermann|ArXiv.org|2007. 09. 28.

Algebraic structures and combinatorial models참고 문헌 12인용 수 5

한 줄 요약

이 논문은 $C^*$-pseudo-Kac 시스템과 축소된 와이어드 프로덕트를 도입하여, 구체적인 훈프 $C^*$-이중모듈러스에 대한 코작용으로 바아지-스칸달리 이중성의 일반화를 시도한다. 정규 $C^*$-pseudo-곱셈 단위원과 호아르 체계의 모듈러 함수로부터 유도된 대칭 단위원을 사용하여, 국소적으로 컴act한 군궤도와 관련된 훈프 $C^*$-이중모듈러스에 대한 코작용에 대해 바아지-스칸달리 이중성과 유사한 이중성 정리를 확립한다.

ABSTRACT

We study coactions of concrete Hopf $C^{*}$-bimodules in the framework of (weak) $C^{*}$-pseudo-Kac systems, define reduced crossed products and dual coactions, and prove an analogue of Baaj-Skandalis duality.

연구 동기 및 목표

• 구체적인 훈프 $C^*$-이중모듈러스에 대한 코작용으로 바아지-스칸달리 이중성을 일반화한다. 이는 훈프 $C^*$-대수의 일반화이다.
• 이전의 접근 방식에서 나타나는 제한적인 분해 가능성 조건을 극복한다. 예를 들어, 저자의 이전 작업에서 나타나는 조건을 포함한다.
• 기초 가정을 단순화하기 위해 $C^*$-가족이 아닌 $C^*$-대수의 프레임워크 내에서 작업한다.
• 이러한 코작용에 대해 축소된 와이어드 프로덕트와 쌍대 코작용을 구성함으로써, 이중성 프레임워크를 가능하게 한다.

제안 방법

• 축소된 와이어드 프로덕트를 정의하기 위한 프레임워크로 약한 $C^*$-pseudo-Kac 시스템을 도입한다.
• 국소적으로 컴팩트한 군궤도로부터 유도된 $C^*$-pseudo-곱셈 단위원을 통해 구체적인 훈프 $C^*$-이중모듈러스를 정의한다.
• $C^*$-대수의 구체적인 훈프 $C^*$-이중모듈러스에 대한 축소된 와이어드 프로덕트를 구성한다.
• 반대 $C^*$-pseudo-곱셈 단위원을 사용하여 축소된 와이어드 프로덕트 위의 쌍대 코작용을 정의한다.
• 하르 체계의 라돈-니코디모프 도함수로부터 유도된 대칭 단위원 $U$를 활용하여 이중성을 확립한다.
• 두 쌍대 구성의 병합이 원래 코작용을 안정화시킴을 증명한다. 이는 바아지-스칸달리 이중성과 유사하다.

실험 결과

연구 질문

• RQ1 바아지-스칸달리 이중성은 단지 훈프 $C^*$-대수에 국한되지 않고, 구체적인 훈프 $C^*$-이중모듈러스에 대한 코작용으로도 일반화될 수 있는가?
• RQ2 이전 연구에서 나타나는 분해 가능성 조건이 요구되지 않는 한, 이중성 이론은 어떻게 구성할 수 있는가?
• RQ3 $C^*$-pseudo-곱셈 단위원은 와이어드 프로덕트와 쌍대 코작용을 구성하는 데 어떤 역할을 하는가?
• RQ4 모듈러 함수로부터 유도된 대칭 단위원 $U$는 이중성 동형사상과 어떻게 관련이 있는가?
• RQ5 국소적으로 컴팩트한 군궤도와 관련된 훈프 $C^*$-이중모듈러스에 대한 코작용에 대해 이중성이 확립될 수 있는가?

주요 결과

• 국소적으로 컴팩트한 군궤도로부터 $C^*$-pseudo-Kac 시스템을 구성하는 것은 타당하며, $C^*$-pseudo-곱셈 단위원 $V$ 는 $L^2(G^2_{s,r}, \nu^2_{s,r})$ 위에서 $(V\theta)(x,y) = \theta(x, x^{-1}y)$ 로 정의된다.
• $(U\xi)(x) = \xi(x^{-1})D(x)^{-1/2}$ 로 정의된 대칭 단위원 $U$ 는 $U^2 = \mathrm{id}$ 를 만족하여 진정된 대칭임을 보장한다.
• 단위원 $V$ 의 쌍대 $\widehat{V}$ 는 $\widehat{V^*} = V^{\mathrm{op}} = \Sigma V^* \Sigma$ 를 만족하여 정규성을 확인한다.
• 연산자 $Z = \Sigma U_{[2]} V$ 는 $Z^3 = \mathrm{id}$ 를 만족하며, 이는 $C^*$-pseudo-Kac 시스템의 핵심 조건이다.
• 이중성 구성은 두 번의 적용을 통해 원래 코작용을 안정화시키며, 바아지-스칸달리 이중성의 일반화를 이룬다.
• 이 프레임워크는 분해 가능성 조건이 필요 없으며, $C^*$-대수 설정 그 자체에서 작동하여 이전의 접근 방식을 단순화한다.